搜索筛选:
搜索耗时2.0128秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[期刊论文] 作者：邵晨曦,胡香冬,等,
来源：电子学报 年份：2002
为了将模型检测这种强有力的系统验证技术应用于网络协议的安全分析，形式化建模仍然是目前的关键问题和难点所在。本文提出了一种基于高级过程描述语言的建模方法。根据入侵者......
[期刊论文] 作者：邵晨曦,胡香冬,白方周,
来源：系统仿真学报 年份：2004
提出了一种新的基于定性仿真的非线性动力系统相图构造方法。首先对在定性仿真中应用最为广泛的QSIM算法进行改进,提出了适合于非线性系统的基于具体代数约束表示的仿真算法。在此基础上,对二维分叉系统以及非奇异的三维系统的相图构造实践进行实例分析。结果表......
[期刊论文] 作者：邵晨曦,胡香冬,熊焰,蒋凡,
来源：电子学报 年份：2002
为了将模型检测这种强有力的系统验证技术应用于网络协议的安全分析,形式化建模仍然是目前的关键问题和难点所在.本文提出了一种基于高级过程描述语言的建模方法.根据入侵者...
[期刊论文] 作者：涂永忠, 邵晨曦, 蔡维德, 胡香冬,,
来源：计算机研究与发展 年份：2004
介绍了一种新的设计模式:用于测试面向对象程序的影子模式.它为每个使用它的对象生成一个影子对象.这种模式允许测试脚本无缝地嵌入到程序中,无需额外的测试驱动或测试插件....
相关搜索：
