首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   19篇
  免费   0篇
  国内免费   4篇
综合类   6篇
机械仪表   1篇
石油天然气   1篇
无线电   3篇
原子能技术   2篇
自动化技术   10篇
  2021年   1篇
  2018年   1篇
  2013年   2篇
  2012年   2篇
  2010年   1篇
  2009年   1篇
  2008年   1篇
  2007年   7篇
  2004年   3篇
  2003年   2篇
  2000年   1篇
  1999年   1篇
排序方式: 共有23条查询结果,搜索用时 15 毫秒
1.
为避免可达性分析方法生成协议测试序列状态过程中爆炸问题的出现,提出了一种启发式探索协议状态格局空间的可执行测试序列生成算法. 该算法采用权值扩展有限状态机建模被测协议,以启发式状态格局探索策略替代传统的宽度优先搜索方式生成可执行协议测试序列;把协议可执行测试序列生成转化为在协议状态格局空间中探寻最小权值路径的问题. 实验数据表明,与宽度优先可达性分析方法相比,新算法具有较好的时空特性.  相似文献   
2.
提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议中的数据部分进行了充分的测试,从而提高了一致性测试的效率。  相似文献   
3.
扩展有限状态机EFSM模型行为的动态解释是基于EFSM模型协议一致性测试中的关键技术之一.首先深入探讨了两类经典的模型行为解释技术:基于编译的方法和基于第三方软件扩展接口的方法.然后,在分析两类方法优缺点的基础上,提出了一种基于动态脚本交互技术的模型行为解释新方法.新方法把模型行为复杂的词法和语法解释任务化简为一个基于动态交互技术的脚本执行问题.最后,通过一个应用实例验证了新方法的可行性.  相似文献   
4.
在以扩展有限状态机 (EFSM)为模型描述的协议一致性测试系统中,为了提高可执行状态验证序列 (ESIS)的计算效率,提出一种ESIS序列自适应生成算法.新算法采用基于可执行分析树 (EAT)的可执行分析方法确保生成的ESIS序列的可执行性.引入变迁区分度因子和节点收敛度因子,计算EAT搜索树节点权重来评价当前搜索方向的正确性.利用EAT搜索树节点权重函数作为节点搜索引擎,根据当前已经搜索节点的权重自适应选择下一步搜索的目标节点,把ESIS序列自动生成问题转化为自适应搜索权重最大的EAT节点问题来解决.实验数据表明,与宽度优先可执行性分析方法相比,自适应算法具有更小的状态格局搜索空间.  相似文献   
5.
多波切仑柯夫振荡器的粒子模拟   总被引:3,自引:0,他引:3  
本文运用维相对论电磁模粒子模拟方法,对多波切仑柯夫振荡器进行模拟研究,模拟中考虑束波非线性相互作用。用实例分析两组结构参数的器件,得到与实验符合的结果,给出反映物理实质的清晰图象,以及器件性能与一些结构参数的依赖关系,并对之进行合理的解释。模拟表明:产生的微波在X波段,微波辐射效率达到25%,最大辐射功率为2.3GW。因此,粒子模拟方法可以作为多波切仑柯夫振荡器结构设计中一种方便经济的辅助工具。  相似文献   
6.
5kg TNT当量爆炸容器的研制   总被引:4,自引:0,他引:4  
介绍了爆炸容器的设计方法 ,用此方法设计了一台 5kgTNT当量爆炸容器并对该容器进行了动态测试 ,测试结果表明 :该容器设计合理 ,工作安全、可靠  相似文献   
7.
基于VoiceXML技术的信息服务集成   总被引:4,自引:0,他引:4  
舒挺  张国煊 《计算机应用》2003,23(6):114-116
分析了当前信息服务平台的现状与不足,介绍了新兴的VoiceXML技术和基于该项技术的语音应用开发模式,提出了构建相应信息服务集成平台的新框架,同时给出了实现基于该项技术的语音信箱和呼叫转移功能的核心代码段。  相似文献   
8.
舒挺  张国煊 《计算机工程》2004,30(16):182-184
分析了传统电子执照系统安全模型的缺陷,并提出了一种利用XKMS技术确保电子执照系统安全的新框架,该框架比传统的结构具有更好的通用性和灵活性,最后展望了该架构在其它领域的应用前景。  相似文献   
9.
舒挺  魏仰苏 《计算机工程与设计》2007,28(16):3846-3848,3851
研究了设计模式和形式化描述语言SDL相结合的SDL模式技术,分析了通信协议开发中存在的两类SDL模式:结构模式和行为模式,提出了一种基于SDL模式开发通信协议软件的方法,并通过PPP协议的开发实践验证了该方法的可行性.该方法可以有效的重用已有成功的软件开发成果,减少通信协议软件开发难度,缩短系统开发周期,提高软件质量.  相似文献   
10.
介绍了欧洲从事自由电子激光研究的几个重要实验室的概况和研究进展.简要分析了近期欧洲在发展短波长、高输出功率、高效率自由电子激光方面的相关计划和发展情况.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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