排序方式: 共有42条查询结果,搜索用时 15 毫秒
11.
针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模型来构建复杂系统的可执行模型,并为可执行模型定义了行为语义。为了支持可执行模型的仿真,设计了相应的仿真执行系统,定义模型仿真所需要的仿真语言和执行规约,将行为模型转换为可执行的进程项,依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。复杂系统; 可执行模型; 可执行模型代数; 模型验证 相似文献
12.
多数目标建模方法关注于不同层次的目标关系.针对同一层次上的目标之间的时序关系,给出与目标建模相关的若干形式定义和命题,帮助分析人员判断目标间时序关系、并发及死锁.基于时序关系的传递性,给出目标关系建模的传递闭包算法,帮助分析人员直观地判断目标间的时序关系及其存在问题,科学、合理地标记各个目标的时序等级属性,便于目标精化工作的完成. 相似文献
13.
为了准确地获取和复用军事电子信息系统需求,提出了基于领域知识复用的需求建模方法.介绍了利用领域知识进行需求建模的过程,利用目标模型表达用户需求,并通过复用领域知识建立目标模型;通过目标查询匹配和复用获取目标相关需求,建立应用本体;利用顶层本体概念与MEISRDL业务框架的映射关系,根据应用本体生成需求模型.实例表明,通过复用领域知识,不仅保证了需求模型的质量,而且提高了需求建模的效率. 相似文献
14.
为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法.在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型.用该元模型扩展统一建模语言,使其可用于领域规则建模.给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成.通过模型验证案例分析,说明了该方法的可用性. 相似文献
15.
为了准确描述军事电子信息系统的需求,在研究军事电子信息系统体系结构的基础上,提出从3个方面描述系统的需求:系统的业务需求、系统的技术需求和系统的功能和操作需求.结合UML语言,利用面向对象的思想详细给出了业务、技术以及功能操作的需求描述语言的语法,并明确3个模型之间的关系,构建了军事电子信息系统的需求模型体系,为军事电子信息系统需求建模提供有效的工具. 相似文献
16.
17.
本文采用双网格双二次样条插值方法,发展了p-T热力学面上全区域(273.16K相似文献
18.
一种高效的酿酒酵母和毕赤酵母电击转化法 总被引:2,自引:0,他引:2
电击转化由于其高效率而被广泛地应用于酿酒酵母的转化过程中。但是由于菌种退化或是暴露于污染的环境,很多菌种的转化效率会显著地下降2~4个数量级。探索了一种改进的电击转化方法,它借助于单链载体DNA和转化后在YPD培养基中的复苏过程,可以使转化效率比之前曾报道过的已经最优化的用醋酸锂和二硫苏糖醇进行预处理的转化方法效率提高13倍。在毕赤酵母中使用这一改进的方法,可以使转化效率提高高达114倍,在一些已经退化的酿酒酵母菌株中,此方法也可以提高转化效率将近100倍。这一方法将为几乎所有酿酒酵母和毕赤酵母的分子操作提供极大的便利。 相似文献
19.
上下文感知计算是普适计算研究领域中最为重要的一个方面,针对上下文感知计算中缺乏与自动推理支持的问题,提出了一种基于本体描述语言(web ontology language, OWL)的上下文感知建模与推理方法。OWL是以描述逻辑为基础的本体形式化语言,可以满足上下文知识共享与上下文本体自动推理的需要。该方法首先提出了一种本体引导的上下文模型框架,根据抽象层次的不同将上下文分为元模型与领域特定模型两层结构,然后采用OWL形式化描述该上下文模型,设计了上下文模型到OWL的转换算法,并利用本体自动推理工具完成了上下文推理,并以一个实际案例说明该方法的可行性。 相似文献
20.
在C4ISR系统能力需求开发过程中,非功能性需求建模是一个难点,在综合模糊统一建模语言(unified modeling language,UML)与云模型的基础上,提出了一种面向C4ISR系统效能需求的建模与分析方法。首先,从系统效能需求建模入手,提出一种兼顾C4ISR系统功能和效能综合建模的需求分析框架,并通过扩展传统的UML来提高其领域适用性,实现对效能等模糊信息的建模。其次,结合该框架设计了一种效能云模型逆向生成算法,并提出基于云模型的综合效能评估函数构建方法,可以实现对系统效能的定量分析,评价系统完成使命任务的效果。最后,通过一个精简的区域防空系统案例验证了方法的可行性与正确性。 相似文献