国家重点基础研究发展计划(2004CB318001-03)
- 作品数：6 被引量：11H指数：2
- 相关作者：杜玉越蒋昌俊张福新唐艳刘伟更多>>
- 相关机构：山东科技大学中国科学院软件研究所同济大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 主动形状模型中搜索过程与搜索空间的改进被引量：1
- 2008年
- 主动形状模型是近年来广泛使用的特征点对准算法.但是其搜索空间难以重构出现实中复杂多变的搜索对象.另外,搜索过程中由于没有提示或约束,故所得结果不稳定.因此,本文改进搜索空间与搜索过程,通过在搜索空间中加入主要形状变化子空间,重构模型更加泛化,利用搜索过程中的误差来分析搜索状态,反馈约束下一步的搜索方向和过程.这样的反馈、迭代搜索过程大大增加搜索过程的主动性和目的性,且搜索结果唯一.最终的人脸对准实验证明,本文的改进较大地提高了对准精度.
- 何良华胡蝶蒋昌俊
- 关键词：主分量分析
- 基于工作流网的电子商务平台建模技术研究被引量：1
- 2010年
- 建模是系统开发过程中十分重要的一步,传统的图形化建模工具,不能对系统设计的可行性作出定量的分析。提出一种新的软件建模思路,应用工作流网技术完成了对电子商务平台的建模,解决了电子商务平台业务流程与网上银行业务流程的协作问题。运用关联矩阵和状态方程,精确分析了模型的重要性质,应用Petri网模拟分析工具PN-applet,对系统模型进行了模拟运行,并评价了系统设计的可行性,对系统开发有积极的指导意义。
- 李鹏杜玉越孙海霞
- 关键词：工作流网PETRI网电子商务平台关联矩阵
- 网格体系的Petri网模拟与分析
- 2005年
- 应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够清晰地描述网格体系的动态行为、静态性质及动作的因果关系.
- 张鹏杜玉越杜玉越左风朝
- 关键词：网格PETRI网形式化分析
- 改进的最小割集生成算法与联锁系统模型的安全性测试被引量：5
- 2009年
- 为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。
- 张福新杜玉越
- 关键词：联锁系统故障树分析最小割集PETRI网安全测试
- 基于MDA和可执行形式化的可信软件设计被引量：2
- 2009年
- 提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。
- 唐艳杜玉越刘伟
- 关键词：PETRI网
