一种基于模型集成运算的嵌入式构件开发工具     

吴国华  李松坡  郑秋华 《科技通报》2011,27(2):203-206

设计并实现了一种基于模型集成运算的嵌入式构件开发工具.该开发工具支持嵌入式构件的创建、编辑和管理,提供cidl编译器、VC工程文件生成器和模型转换器等集成工具.可以实现cidl文件的编译、VC工程文件和模型文件的生成.应用实例表明了该嵌入式构件开发工具的优越性.  相似文献   

一种基于Petri网的模型调度方法     

肖景  郑秋华 《科技通报》2011,27(2):186-189,194

针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析.该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术,实现对软件模型的正确性验证,解决了系统建模时存在的问题.应用实例和实验结果验证了该方...  相似文献   

基于领域建模的代码自动生成方法     

周礼  郑秋华 《科技通报》2011,27(2):199-202

提出一种基于领域建模的代码自动生成方法,该方法以模型集成计算(model integrated computing,MIC)为基础,开发人员以领域元模型作为领域建模语言来对应用系统进行领域建模,再通过模型解释器实现从领域模型到平台无关模型(platform independent model,PIM)的自动转换,最后使...  相似文献   

基于二层贝叶斯网的网络入侵检测实验分析     

程传慧  郑秋华 《教育技术导刊》2009,8(12):149-151

提出了一种基于二层贝叶斯网的网络入侵检测方法,该方法能够从审计数据中自动学习知识生成入侵模型,并根据该模型检测入侵行为,从而提高入侵检测系统的自适应性和可移植性,降低系统的误报率和误检率。实验结果表明:该方法在只使用10%训练数据和部分记录属性来学习的情况下,检测效果仍比较好。  相似文献