首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   11篇
  免费   5篇
  国内免费   2篇
电工技术   1篇
综合类   1篇
机械仪表   3篇
无线电   1篇
自动化技术   12篇
  2023年   1篇
  2022年   1篇
  2020年   3篇
  2019年   1篇
  2014年   3篇
  2013年   1篇
  2011年   1篇
  2008年   7篇
排序方式: 共有18条查询结果,搜索用时 15 毫秒
1.
该文提出了一种数字式高温燃油控制阀,可以实现对高温燃油的连续精确控制。首先,针对高温的恶劣工况,进行了方案设计,包括前置级伺服阀的选用、主阀阀口的设计、整阀的冷却设计,介绍了其结构组成及工作原理;之后分别对高温阀的热特性和控制特性进行了仿真分析,结果表明该方案的高温阀能够满足设计要求。  相似文献   
2.
3.
讨论了一种机械反馈式液压伺服作动器在工作时出现自振和啸叫问题。通过对自振频率以及噪声频谱的分析,得出了力矩马达自振引起了产品的工作不稳定。针对产品故障模式,制定了减小阻尼孔以增加阻尼的方式,提高了产品的工作稳定性。  相似文献   
4.
陈祖希  徐中伟  霍伟伟  喻钢 《电子学报》2014,42(7):1338-1346
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一阶逻辑公式不可满足情况下的插值存在性定理,对线性混成自动机的有界模型检测公式进行指定的划分,使用支持线性算术插值计算的可满足性模理论后端证明引擎的线性时间复杂度的消解反证技术获得这两部分公式间的插值公式,按一阶逻辑Craig插值的性质,所得到的插值公式就是模型检测过程中最强后件公式的上近似表示.有效地避免了使用逻辑编码方案实现线性混成自动机模型检测过程中需要双指数时间复杂度的量词消去操作求取最强后件公式,也不需像有界模型检测按步长展开变迁公式进行可满足性判定.最后本文在此最强后件计算的基础上,以有界模型检测技术作为反例确认方法,实现了一种无假反例的混成系统近似可达集计算算法.实验证明该算法与目前已经得到广泛工业应用的有界模型检测算法相比具有更优的性能.  相似文献   
5.
针对MIPS CPU流水线工作过程产生的数据相关,基于FPGA设计并实现了能有效解决数据相关的数据通路.设计五种基本数据通路,并采用流水线技术将它们整合成五级数据通路;在EX段后到ALU之间和WB段后到ALU之间构建旁路通路,从而形成总的数据通路;使用VHDL实现数据通路;编写测试程序对数据通路进行验证,并在FPGA平台上进行仿真验证.结果表明:所设计的数据通路能使数据正常流动,解决由数据相关产生的断流问题.  相似文献   
6.
基于自动机理论的模型检测技术在形式化验证领域处于核心地位, 然而传统自动机在时态算子上不具备可组合性, 导致各种时态逻辑的模型检测算法不能有机整合.本文为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测, 提出一种RTCTL*正时态测试器构造方法, 以及相关符号化模型检测算法.证明了所提出的RTCTL*正时态测试器构造方法是完备的.也证明了该算法时间复杂度与被验证系统呈线性关系, 与公式长度呈指数关系.我们基于JavaBDD软件包成功开发了该算法的模型检测工具MCTK 2.0.0.我们完成了MCTK与著名的符号化模型检测工具nuXmv之间的实验对比分析工作, 结果表明MCTK虽然在内存消耗上要多于nuXmv, 但是MCTK的时间复杂度双指数级小于nuXmv, 使得利用MCTK验证大规模系统的实时时态性质成为可能.  相似文献   
7.
偏导射流液压放大器是偏导射流伺服阀中的核心组件,其性能一定程度上决定了整阀性能,流量增益是偏导射流液压放大器的一项关键特性。通过定性分析及理论推导相结合的方式,得出了偏导射流液压放大器流量增益非线性模型,该非线性与偏导板喷射口宽度及分流劈尖宽度有关。当偏导板位移较小时,流量增益为恒值;当偏导板位移达到喷射口宽度及分流劈尖宽度之和的一半时,偏导射流液压放大器的流量特性达到饱和。最后,通过对实物进行测试验证了模型的正确性。  相似文献   
8.
UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。  相似文献   
9.
基于模糊识别的汽车目标识别研究与实现   总被引:1,自引:1,他引:0  
本文结合实际路面状况,将模糊模式识别技术应用到汽车识别中,对汽车特征进行分析,设计了适用于高速公路汽车防撞系统的汽车目标模糊识别算法,并完成相关的系统软硬件设计与实现.  相似文献   
10.
向荣  陈祖希  莫岚 《计算机工程》2008,34(14):258-260
在现有网格监控系统中,单个目录服务因存储数据量过大而导致查询效率低下,而采用分布式的目录结构又会使系统相对比较松散。该文提出一种按域划分基础上的分层目录服务体系结构。实验证明,在大规模的应用中,该系统的效率优于传统的单个目录服务的监控系统,符合网格环境的特点。该系统以域为单位进行网格节点的信息组织,符合单位或机构的管理模式,具有较强的可扩展性。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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