您当前所在位置: 首页 > 学者
在线提示

恭喜!关注成功

在线提示

确认取消关注该学者?

邀请同行关闭

只需输入对方姓名和电子邮箱,就可以邀请你的同行加入中国科技论文在线。

真实姓名:

电子邮件:

尊敬的

我诚挚的邀请你加入中国科技论文在线,点击

链接,进入网站进行注册。

添加个性化留言

已为您找到该学者20条结果 成果回收站

上传时间

2009年01月19日

【期刊论文】于UML状态图的C4ISR系统的建模和实时分析

周献中, 扛金龙, 孙勇成

计算机工程,2005,31(22):15-17,-0001,():

-1年11月30日

摘要

针对C4ISR系统的实时性强的特点,对UML状态图进行时间扩展,使用时间扩展的UML状态图对C4ISR系统进行建模。同时为分析C4ISR系统的实时性,采用一定的转化规则,将时间扩展状态图模型转化成时间Petri网模型,使用时间Petri网的可达树来分析C4ISR系统的时间特性。应用一个C4ISR防空实例表明了该方法的可行性和实用性。

UML, 状态图, 时间Petri网, C4ISR, 实时性分析

上传时间

2009年01月19日

【期刊论文】不完备信息系统中基于联系度的粗集模型拓展

周献中, 黄兵

系统工程理论与实践,2004(1):88-92,-0001,():

-1年11月30日

摘要

在分析几种已有的针对不完备信息系统的粗集拓展模型基础上,提出了一种基于联系度的粗集拓展模型。该模型的方法是:通过引人阈值将原不完备信息系统进行划分,再利用基于联系度的容差关系确定类,利用产生的这些类得到上下近似。通过例说明该模型是符合客观实际的,更重要的是在容差类的划分中通过引人阈值考虑了根据人的主观要求,这与人机结合以人为主的系统方法论是一致的。

粗集, 等价关系, 容差关系, 相似关系, 限制容差关系, 联系度容差关系

上传时间

2009年01月19日

【期刊论文】基于使用模型和遗传算法的测试数据自动产生技术

周献中, 孙勇成, 江金龙

兵工学报,2006,27(6):1051-1055,-0001,():

-1年11月30日

摘要

测试数据的自动产生技术是软件测试的一个重要研究领域,是提高软件测试效率和效果的有效方法。为保证被测对象中实际运行更频繁的部分得到更充分的测试,把使用模型和遗传算法相结合,以整个被测试对象所需测试数据量为优化目标,给出了相应的规划模型,并提出了路径权重和目标路径集的确定方法,设计的适应性函数综合考虑了路径权重、路径覆盖率和路径接近程度三要素。实例证明了模型与方法的合理性及有效性。

计算机软件, 软件测试, 测试数据, 使用模型, 遗传算法

上传时间

2009年01月19日

【期刊论文】基于灰色关联分析的仿真模型验证及其改进

周献中, 孙勇成, 李桂芳, 江金龙

系统仿真学报,2005,17(3):522-524,-0001,():

-1年11月30日

摘要

分析比较了仿真模型可信性验证常用方法的特点,把灰色关联分析方法运用于仿真模型的可信性验证中,给出了具体的操作步骤,然后分析了灰色关联分析模型运用于仿真模型可信性验证中存在的风险,并针对仿真模型可信性验证的特殊需要,对灰色关联分析模型进行了一定的改进,最后通用实例验证了改进的合理性及风险的降低。

仿真模型, 验证, 灰色关联度, 可信度

上传时间

2009年01月19日

【期刊论文】基于DEVS的UML建模方法: UML. BD

周献中, 江金龙, 孙勇成

计算机工程,2005,31(16):21-23,-0001,():

-1年11月30日

摘要

DEVS是一种层次的模块化的系统说明方法,它提供了一种层次的模块化的系统说明方法。文中给出的UML-BD方法就是在UML中结合DEVS这一特点,对UML进行一定的扩展;同时还在UML中增加了时间的约束,满足系统的实时性的要求。该方法适合一类层次结构清晰、实时性强的系统的建模,如C4I系统。

模块化, 时间约束, 实时性

合作学者

  • 周献中 邀请

    南京大学,江苏

    尚未开通主页