基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证

结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。     

基于UML状态图的测试用例自动生成方法

随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记忆化搜索高效地生成测试用例。实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率。     

UML建模方法及其在 HIS开发中的应用

目前,医院信息化建设已成趋势,现有的管理系统不能满足应用要求,医院信息管理系统设计成为迫待解决的问题。文章首先使用UML建模工具对系统进行了分析,介绍了UML的静态和动态建模机制,给出了UML分析过程主要模型及相互关系图。并就其中一个重要组成部分-门诊子系统进行了详尽的设计和实现。在此过程中,进行了问题领域的分析,确定了医院管理系统功能模块图,采用了用例建模、顺序图建模的方法,来完成系统各模块层的实现,同时对用户界面层的功能进行了介绍,最后对系统的未来发展趋势进行了展望。     

基于DEVS的目标跟踪系统UML建模

目标跟踪系统的建模是信息融合研究的热点之一.本文在目标跟踪系统分析的基础上,将DEVS的形式化描述和UML图形化描述结合起来,研究DEVS的数学模型到UML类模型的映射关系和建模过程,为目标跟踪系统的设计和实现提供了一种可行的方法,并通过EclipseUML环境下的建模和JAVA编程证明其有效性.     

卫生机构人力资源基本信息数据归类与数据建模

目的对卫生机构人力资源基本信息数据归类并建模,以探讨国家卫生信息数据元标准化的思路和方法。方法依据国家卫生信息概念数据模型的实体分类对卫生机构人力资源基本信息归类和抽象,用UML方法对数据进行建模,参考已有的标准规范数据元。结果总结了卫生机构人力资源基本信息的实体归类及其对象图,规范化的数据元。结论通过对卫生机构人力资源基本信息的数据归类和建模,总结出一套数据元标准化的思路和方法,为国家卫生信息标准化工作和卫生统计调查制度的改革提供了科学依据。     

卫生机构基本信息数据归类与数据建模

目的: 对卫生机构基本信息数据归类并建模,以探讨国家卫生信息数据元标准化的思路和方法. 方法: 依据国家卫生信息概念数据模型的实体分类对卫生机构基本信息归类和抽象,用UML方法对数据进行建模,参考已有的标准规范数据元. 结果: 得到了卫生机构基本信息的实体归类结果及其对象图,并提出了规范化数据元的标准. 结论: 通过对卫生机构基本信息的数据归类和建模,总结出一套数据元标准化的思路和方法,为国家卫生信息标准化工作和卫生统计调查制度的改革提供科学依据.     

UML视图的一种形式化模型及其分析

UML是一种得到广泛应用的系统建模语言，但是由于它缺乏形式化语义和严格的推理机制，从而影响了系统建模的准确性和开发效率。TCOZ是一种将Object—Z和TCSP相结合的形式化语言，具有丰富的建模能力。基于TCOZ，本文建立了UML视图的一种形式化模型，对类图和协作图等提出了转换规则，使得TCOZ中的推理可用于分析UML视图。通过某学校信息系统的实例，阐述了UML视图的形式化建模方法和分析技术。     

居民健康档案个体标识与标准化

目的 探讨居民健康档案个体标识与标准化.方法 以HL7 RIM为依据,采用UML建模工具对数据进行建模,参照<国家卫生数据字典>和<医院信息基本数据集标准>定义元数据.结果 对个体标识信息进行了属性划分及属性定义,构建个体标识信息数据模型.结论 形成符合当前医疗保健信息系统需要的个体标识信息数据项与数据标准,为建立居民健康档案索引数据库与健康档案最小数据集提供前提.     

基于UML的信息融合系统自适应敏捷建模

敏捷建模是面向实践的建模过程。研究了基于UML的自适应敏捷建模方法。结合信息融合系统分析,敏捷建模使用UML的一个子集,从域模型出发,进行健壮性和自适应分析,将系统动态建模和静态建模结合起来,快速、有效地构建系统模型。通过关联算法模块的建模证明：该方法可以大大方便设计人员和使用人员的沟通,缩短研发周期,提高研发效率,对信息融合系统的研究具有实际意义。     

一元线性回归模型设计及C++实现

针对统计方法中一元线性回归问题,详细描述了其建模方法。根据建模方法设计了一元线性回归模型类,同时给出了统一建模语言(UML)类图;再利用C++语言实现了一元线性回归模型类:最后给出了测试实例,测试结果表明了本文设计以及实现的一元线性回归模型类具有较好的可靠性以及较高的精度。为工程应用奠定基础。     

溶菌酶在尿素体系中变性的荧光光谱研究

目的对溶菌酶在尿素溶液中失活的变性模型进行研究。方法用荧光分光光度计测定数据,采用荧光相图法分析所测定的数据。结果随着尿素浓度增加,最大波长由336 nm移至340 nm附近。在pH4.16尿素浓度为6.0 mol.L-1时,最大波长发生明显红移,而在pH7.00尿素浓度为7.0 mol.L-1时,最大波长才发生明显红移。尿素浓度从0.0 mol.L-1变化至5.0 mol.L-1时,溶菌酶从天然态转变为部分折叠中间态,尿素浓度从5.0 mol.L-1变化至8.0 mol.L-1时,溶菌酶从中间态转变为去折叠态。结论尿素诱导溶菌酶变性过程符合典型的"三态模型"。     

基于TCOZ的UML用例图的形式化模型

基于TCOZ，本文建立了UML视图的一种形式化模型，不仅为UML提供了一种精确的数学描述，也为其正确性分析和验证奠定了基础。     

The syntax and semantics of the PROforma guideline modeling language

PROforma is an executable process modeling language that has been used successfully to build and deploy a range of decision support systems, guidelines, and other clinical applications. It is one of a number of recent proposals for representing clinical protocols and guidelines in a machine-executable format (see 〈www.openclinical.org〉). In this report, the authors outline the task model for the language and provide an operational semantics for process enactment together with a semantics for expressions, which may be used to query the state of a task during enactment. The operational semantics includes a number of public operations that may be performed on an application by an external agent, including operations that change the values of data items, recommend or make decisions, manage tasks that have been performed, and perform any task state changes that are implied by the current state of the application. Disclosure: PROforma has been used as the basis of a commercial decision support and guideline technology Arezzo (Infermed, London, UK; details in text).     

场景分析在公共卫生信息概念模型构建中的应用研究

目的:探索场景分析方法在公共卫生概念模型构建中的应用。方法:应用场景分析概念和功能,对公共卫生业务活动各要素进行归类、特化与泛化,探索公共卫生概念模型框架,并应用公共卫生业务实例验证其有效性。结果构建了公共卫生领域信息活动场景,初步形成了公共卫生概念模型框架。结论:场景分析是公共卫生概念建模过程中抽象业务活动、提取模型类及类关联的有效方法。     

一种基于Petri网的面向方面的用例建模方法

对传统的用例建模方法进行扩展,并针对用例描述的文本语言中经常出现的二义性、冲突以及遗漏信息的问题,提出一种基于Petri网的面向方面的用例建模方法。构建了从面向方面用例模型到面向方面Petri网模型的映射规则,引入面向方面的形式化的建模与分析技术,并利用时态逻辑检验织入时机的正确性。最后给出实例和分析,验证了该方法的有效性。