首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   39篇
  免费   6篇
  国内免费   3篇
机械仪表   1篇
无线电   4篇
自动化技术   43篇
  2015年   1篇
  2014年   3篇
  2012年   2篇
  2011年   1篇
  2010年   3篇
  2009年   6篇
  2008年   3篇
  2007年   4篇
  2006年   9篇
  2005年   9篇
  2004年   2篇
  2003年   1篇
  2002年   1篇
  2001年   1篇
  1997年   1篇
  1994年   1篇
排序方式: 共有48条查询结果,搜索用时 15 毫秒
1.
邢熠  叶新铭 《计算机工程》2009,35(24):36-38
针对一致性测试中的静态需求测试通常采用手工方法而产生的效率低问题,提出一种基于统计学习的方法,包括静态需求的关联规则表示,并对采样的协议数据进行关联规则挖掘,如果得到的规则与需求规则一致,静态需求就可以得到统计上的测试检验。该方法在OSPFv3协议测试中取得了较好的效果。  相似文献   
2.
C/S模式的软件系统具有多层次结构、采用面向对象编程技术等特点,为其生成一致性测试变得十分困难.使用UML状态图,为一个C/S模式的软件系统建模,将建立好的模型转换为扩展的有限状态机,并在该有限状态机上使用UIO序列与中国邮递员算法相结合的方法进行测试例的生成,最后应用数据流分析技术对生成的测试例进行分析,排除了其中不可执行的测试例.该方法利用了UML状态图易于建模的优点,降低了测试生成的难度,缩短了测试例的长度并节省了软件开发的成本.  相似文献   
3.
协议一致性测试平台的设计和实现   总被引:1,自引:0,他引:1  
何立强  叶新铭 《计算机工程》2001,27(8):27-28,35
简要介绍了协议一致性测试平台的基本要求和设计思想,给出了整体的设计框架,并且详细讨论了在平台实现过程中涉及到的5部分工作,包括测试例的生成、选择和执行,同时给出了一些简单的实例。  相似文献   
4.
柔性工作流技术研究的现状与趋势   总被引:25,自引:2,他引:23  
工作流变更和异常是柔性研究的重要内容,界定了这两个概念,并从不同的角度,分别对系统的灵活性、动态性和自适应性等进行了研究.从理论和实现两个层次上深入探讨了柔性工作流的解决策略和方法,介绍了支持柔性的系统体系结构和元模型,并对一些具体的实现机制进行了讨论和比较,介绍了一些成熟的工作流系统,分析了系统中相关的柔性实现;最后,说明了理论研究和系统实践的未来趋势和发展方向.  相似文献   
5.
周建涛  史美林  叶新铭 《电子学报》2005,33(6):1060-1065
目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(Component Based Reduction,CBR)和化简规则,为过程语义验证提供有力支持.  相似文献   
6.
从Web应用性能状况得到性能瓶颈及解决方案是Web性能测试报告的主要功能.然而,当前流行的Web性能测试工具仅仅能够提供被测Web应用的性能状况,性能瓶颈的确定和解决方案的选择均需要测试人员手动完成.根据Web性能数据自动确定其瓶颈所在和解决方案将显著提高测试人员的工作效率.本文提出基于模糊Petri网的Web性能优化建议推理方法,使测试报告能够提供更有价值的信息.  相似文献   
7.
李华  叶新铭  吴承勇  丁雪莲 《通信学报》2006,27(Z1):151-154
首先对BGP4+进行了分析,然后阐述了BGP4+的分布式的一致性测试系统的设计方法,包括主测试系统的设计、从测试系统、测试套的描述方法的设计以及它们的部分设计框图.最后使用一个简化的分布式测试系统对BGP4+协议实现进行了一致性测试实践.  相似文献   
8.
对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷,发现协议的不精确性.本文将使用具有强数学基础和强分析能力的着色Petri网(Colored Petri Net,简称CP-Nets)对NS公钥认证协议(NeedhamSchoeder Public-Key Authentication Protocol)进行建模,在此基础上分析验证该协议,阐明协议存在的缺陷并给出改进的方法.  相似文献   
9.
引言 平面足迹的分析检验在刑侦和司法实践中有着不可替代的作用.几十年来许多痕迹专家为此进行了大量卓有成效的研究和实践,总结了许多办案经验,也提出了多种有价值的检验方法.但这些方法大多是手工操作,标定和测量标准不一,非明确特征的识别受主观和经验影响.因而在实践中,出现检验不规范,标定不精确,形象描述模糊和检验标准不易把握等情况.为此,寻找一种能客观反映足迹特征,并能使用同一标准对其进行分析测量的方法,是实现检验规范化和自动化的关键所在.  相似文献   
10.
IPv6流标签提供的服务质量支持   总被引:3,自引:0,他引:3  
作为下一代互联网协议,IPv6除了在地址空间上明显优于IPv4之外,还在数据报头中保留了20位流标签字段为实时流提供有别于尽力而为流的服务。流标签的研完尚处于试验阶段,目前还没有制定出正式的规范。本文在介绍了流和流标签的定义及属性之后,从流标签支持包分类、加速包转发、支持资源预留以及支持QoS的格式定义等多个方面探讨了流标签支持服务质量的能力,分析各种方式的利弊,给出可能的发展方向。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号