赵冬
- 作品数：5 被引量：5H指数：2
- 供职机构：郑州大学更多>>
- 相关领域：自动化与计算机技术经济管理理学更多>>
- 对时间输入/输出自动机一致性测试的改进被引量：2
- 2002年
- Jan.S等提出了对时间输入 /输出自动机 (TIOA)模型进行黑盒一致性测试的算法 .针对其生成的测试序列数量太大这一问题 ,提出用可最小化的时间自动机 (MTA)模型来描述稠密的实际系统 ,并用递归算法实现了对测试序列的首部即转换覆盖 P的构造 .由分析得出结论 :使用 MTA模型可使上述测试算法生成的测试序列的数量大大减少 。
- 赵冬叶克江
- 对时间输入/输出自动机有效地进行一致性测试
- 论文首先介绍了时间输入/输出自动机(TIOA)模型,及该模型的测试序列的概念.然后介绍了栅格自动机,并给出对于时间输入/输出自动机进行黑盒一致性测试所需的测试组的产生算法.该算法是第一个从稠密的实时系统得到一个有穷且完整...
- 赵冬
- 关键词：实时系统时间自动机
- 文献传递
- 细胞自动机的可分类性
- 2002年
- 突出了输入和输出的惯例在描述信息内容方面与一个计算的动态性相对立的重要性 .Wolfram在许多的文章中都提到的将细胞自动机分为四类的方法 ,其中有关增长率的建议的一种自然的形式化并不能给出对所有的细胞自动机进行分类的方法 :对任意的有理数p ,q(p ,q≥ 0 )且满足p +q =1 ,存在一个细胞自动机Ap,q它在第三类中的概率为p,在第四类中的概率为q .还构造了一个以logt的速度 ,而不是以常数速度单调递增的自动机 .
- 赵冬
- 关键词：细胞自动机图灵机
- 不对称氮杂环配体和羧酸配体构筑的功能配合物的合成、结构及性能研究
- 近年来,科研人员对设计和合成具有金属.有机框架(MOFs)的配位聚合物产生了浓厚的兴趣。因为配位聚合物不仅在气体吸附,光学,电学,磁学和催化等方面具有潜在的应用前景,而且还具有多种多样的奇特的拓扑结构。到目前为止,虽然文...
- 赵冬
- 关键词：氮杂环配体配位化学
- 文献传递
- 报废农机逆向物流网络优化研究
- 随着农机产量与社会保有量的急剧上升，亟待报废的农机数量不断增长。开展报废农机的回收再利用，能提高资源的重复利用率，减少废弃物对环境的污染，降低农机伤人事件的发生。基于此，本文以报废农机逆向物流网络为研究对象，优化了网络节...
- 赵冬
- 关键词：逆向物流网络混合遗传算法
