首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   23篇
  免费   10篇
  国内免费   8篇
综合类   2篇
建筑科学   11篇
无线电   1篇
自动化技术   27篇
  2017年   1篇
  2014年   2篇
  2012年   1篇
  2011年   5篇
  2010年   7篇
  2009年   4篇
  2008年   5篇
  2007年   1篇
  2006年   3篇
  2004年   1篇
  2003年   1篇
  2002年   1篇
  2001年   2篇
  1997年   1篇
  1996年   1篇
  1994年   1篇
  1991年   1篇
  1990年   1篇
  1989年   2篇
排序方式: 共有41条查询结果,搜索用时 15 毫秒
1.
根据安全性测试的需求,建立了检测软件内部安全逻辑故障的故障模型,提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法,可以有效识别软件是否具备对于故障的安全防护能力,在我国高速铁路列控中心安全性测试中说明了方法的有效性。  相似文献   
2.
陈祖希  徐中伟  霍伟伟  喻钢 《电子学报》2014,42(7):1338-1346
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一阶逻辑公式不可满足情况下的插值存在性定理,对线性混成自动机的有界模型检测公式进行指定的划分,使用支持线性算术插值计算的可满足性模理论后端证明引擎的线性时间复杂度的消解反证技术获得这两部分公式间的插值公式,按一阶逻辑Craig插值的性质,所得到的插值公式就是模型检测过程中最强后件公式的上近似表示.有效地避免了使用逻辑编码方案实现线性混成自动机模型检测过程中需要双指数时间复杂度的量词消去操作求取最强后件公式,也不需像有界模型检测按步长展开变迁公式进行可满足性判定.最后本文在此最强后件计算的基础上,以有界模型检测技术作为反例确认方法,实现了一种无假反例的混成系统近似可达集计算算法.实验证明该算法与目前已经得到广泛工业应用的有界模型检测算法相比具有更优的性能.  相似文献   
3.
1问题的提出 随着微处理器技术、传感技术、液压集成技术的飞速发展以及在路面冷铣刨机中的应用,路面冷铣刨机的控制功能和工作精度得到大幅提高。由纵、横坡传感装置、电比例装置(控制阀)、深度控制装置(微处理器)组成的带负反馈的深度及自动调平闭环控制系统,可使铣刨后的路面平整度误差控制在±  相似文献   
4.
5.
熊静  喻钢  胡珉  周定康 《现代计算机》2006,(8):32-34,60
DT_DSS是一个利用多种数据计算模型对现有施工数据进行分析,根据分析结果指导后期施工的智能咨询系统.遗传算法是DT_DSS中众多数据计算模型当中的一种,它主要用于实现预测和控制地面沉降及设计轴线的作用,从而保证后期施工的安全.本文介绍了遗传算法的基本知识,并详细分析它在双圆隧道工程智能咨询系统DT_DSS中的设计实现与应用.  相似文献   
6.
在现今复杂的分布式应用环境中,消息中间件技术能够利用高效可靠的消息传递机制进行平台无关的数据交流,并基于数据通信来进行分布式系统的集成。而Web服务作为一种新型的快速集成应用技术,能够更充分地体现分布式计算的优势。所以本文将两种技术进行整合,设计井初步实现了基于Web Service的消息中间件WS_MOM的原型系统,初步实现了一种异步可靠Web服务的解决方案。  相似文献   
7.
一种粗糙集属性约简算法   总被引:8,自引:3,他引:5       下载免费PDF全文
庄静芸  徐中伟  喻钢 《计算机工程》2009,35(15):67-69,7
基于粗糙集理论提出一种新的属性重要度的度量方法,引入决策强度的概念,克服经典粗糙集理论约简定义的不完备性及无法获得最优属性约简的缺陷,改进基于信息熵的启发式属性约简算法,通过对既有线CTCS-2级车站列控中心软件测试平台的测试数据的实证分析,成功获得最优属性约简,发现数据之间的潜在联系及规律,给出决策规则,使决策分析更为高效。  相似文献   
8.
熊静  喻钢  徐中伟  郦萌 《计算机应用》2010,30(8):2181-2184
高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统的安全性测试和评估需求,设计了场景—事件驱动的测试脚本语言SED_TSL,提出了高速铁路CTCS-2列控系统测试环境的功能、系统框架、测试策略,实现了基于SED_TSL的CTCS-2列控系统自动化测试环境,并投入到铁道部的CTCS-2列控系统产品制式检测中,有效地实现了列控系统产品的功能与安全性测试。  相似文献   
9.
基于MPLS的分级故障恢复机制   总被引:4,自引:0,他引:4  
网络可靠性已经成为IP网的一个重要问题.目前关于IP网可靠性的讨论集中于MPLS的故障恢复机制.IETF提出了两种MPLS故障恢复模型保护交换和重路由,每种模型的恢复时间和资源开销是不同的.该文提出一种基于MPLS的分级故障恢复机制MBCR,它可以保证应用对可靠性和QoS的要求,同时使网络资源得到充分利用.  相似文献   
10.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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