教学课程资源库 更多>>

关键词： 临床路径   中医   信息化  

摘要： 临床路径的成功实施在保证医疗质量,控制医疗费用等方面发挥了重要作用。如何保证中医临床路径管理的顺利实施,从路径模板制定、管理、准入评估及路径执行等几个方面结合中医的诊疗特点做了一些探索研究。

关键词： UML   车辆管理   需求分析  

摘要： UML作为一种面向对象的可视化的统一建模语言,可广泛应用于软件需求分析、系统设计等众多方面。基于此,以某电力企业大型车辆管理系统为实例,在充分调研用户车辆管理业务相关需求的基础之上,根据面向对象UML建模思路,采用UML建模技术构建需求模型,并利用结构型图、行为型图完成系统需求建模,为车辆管理系统的实现夯实基础。

关键词： 存储环境   网络技术   利好   并发控制机制   信息内涵   体系结构设计   查询优化   中间件   信息应用   信息安全厂商  

摘要： 从IT时代进入BT时代的倒计时,不知是否可以从现在算起。近来,围绕大数据的种种讨论不绝于耳,各种与之有关的概念扑面而至,数据经济炙手可热,用户对大数据的兴趣、期待甚浓,我们或已经或正在享受大数据给工作和生活带来的利好。安全、信任、责任,是任何网络技术应用都绕不过的话题,大数据时代当然也不会例外。安全的存储环境。

关键词： RBAC   直接用户授权   约束   UML   建模  

摘要： 针对核心RBAC模型在实际应用中存在的不足,提出一种对角色和用户混合授权的RBAC改进模型.在模型中加入直接用户权限指派方便了临时授权,在角色和用户权限中分别设置优先级约束和继承约束避免了权限冲突,给出了模型的形式化描述与认证算法.针对RBAC模型抽象化、形式化及开发者难以理解的问题,基于UML对RBAC改进模型进行了静态和动态建模,缩短了理论安全模型和实际应用开发间的差距.

关键词： 中职学校   结构化程序设计   Visual   FoxPro   6.0  

摘要： 本文以Visual FoxPro 6.0为例说明结构化程序设计在中职学校的教学现状,课堂教学中在练习题的设计和使用的技巧,从提高学生的学习成绩入手,培养学生从实际问题出发、学以致用的学习态度,突出程序设计类课程对当代中职学生在升学就业等各方面的重要性和作用。

关键词： 计算无关模型   多视图多层次模型   模型一致性   模型形式化  

摘要： 以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computation independent mo del,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是实现高层概念模型至代码自动转换的关键。首先介绍了现有CIM建模内容和方法;然后分析了现有CIM模型形式化方法现状与不足;最后探讨了针对不同应用系统可行的多视图多层次CIM建模方法及一致性问题研究,并提出CIM完全形式化方法研究的可行方案。

关键词： 本体   飞机工装   设计知识   知识表示  

摘要： 首先分析工装设计知识,抽取出主要的概念、概念之间的关系和属性信息,建立了包含设计对象、设计流程、设计人员和设计知识的工装设计本体;然后利用Protégé软件构建了平尾前梁装配型架的设计本体实例,并用OWL语言进行了本体表示;最后开发了工装设计知识管理原型系统,在国内某大型航空制造企业得到了示范应用。

关键词： 网络考试系统   C/S结构   系统设计   建模分析  

摘要： 随着互联网技术的发展,各种版本的网络在线考试系统层出不穷,只有适应市场和学校需求的产品才能得到推广与应用,本系统基于C/S结构的模式,采用C#和SQL Server 2000实现了网络在线考试系统的各种功能。本文就网络考试系统的相关技术进行介绍,并对该系统功能进行说明,最后对UML建模进行分析。

关键词： 实例化过程模型   软件过程   建模   验证   模型检测   形式化方法  

摘要： 软件过程的性能是由软件过程模型和软件过程实例化两方面因素决定,如果对软件过程进行了不恰当的实例化,会导致成本超支、进度延期、甚至项目失败.已有的过程描述法不足以分析实例化过程模型,由于没有考虑实例化阶段的时间资源约束,语法结构正确的过程模型并不能保证过程执行的正确性.提出一种带时间和资源约束的实例化过程模型验证方法,为目前已有的s-TRISO/ML建模语言增加时间和资源约束属性,然后提出了从s-TRISO/ML模型转换成时间自动机的转换方法和实现算法,利用已有的分析工具Uppaal对转换得到的时间自动机的性质进行验证,得到一个合理的实例化模型,从而为真实的开发流程提供指导.

关键词： Experiment design   Structured eigenvalue assignment   Design methodologies   Modeling operation and control of power systems   Optimization-based controller synthesis  

摘要： We consider the design problem for a Marx generator electrical network, a pulsed power generator. We show that the components design can be conveniently cast as a structured real eigenvalue assignment with significantly lower dimension than the state size of the Marx circuit. Then we present two possible approaches to determine its solutions. A first symbolic approach consists in the use of Grobner basis representations, which allows us to compute all the (finitely many) solutions. A second approach is based on convexification of a nonconvex optimization problem with polynomial constraints. We also comment on the conjecture that for any number of stages the problem has finitely many solutions, which is a necessary assumption for the proposed methods to converge. We regard the proof of this conjecture as an interesting challenge of general interest in the real algebraic geometry field. (C) 2014 Elsevier Ltd. All rights reserved.