期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于xMAS模型的SpaceWire信誉逻辑的形式化验证 被引量：1
1
作者 李艳春 李晓娟 +3 位作者 关永 王瑞 张杰 魏洪兴 《计算机科学》 CSCD 北大核心 2016年第2期113-117,134,共6页
空间总线(SpaceWire)协议是应用于航空航天领域的高速通信总线协议,保证其可靠性至关重要。但是由于通信系统具有队列量、分布控制和并发性等特点,传统仿真模拟的验证方法存在不完备性的问题,采用模型检测方法对高层次属性进行验证时,... 空间总线(SpaceWire)协议是应用于航空航天领域的高速通信总线协议,保证其可靠性至关重要。但是由于通信系统具有队列量、分布控制和并发性等特点,传统仿真模拟的验证方法存在不完备性的问题,采用模型检测方法对高层次属性进行验证时,通常会出现状态爆炸的问题。基于xMAS模型对SpaceWire通信系统中的信誉逻辑进行形式化建模、验证,xMAS模型既保留了底层的结构信息,又可以验证高层次的属性。对通信系统中信誉逻辑进行抽象进而建立了xMAS模型,提取了可发送性、可接收性和数据一致性等3个关键属性,运用定理证明工具ACL2对关键属性的正确性进行了自动验证。该方法为验证指导下的系统设计提供了有效的参考。 展开更多
关键词 xmas模型 信誉逻辑 SPACEWIRE 形式化验证 ACL2
在线阅读 下载PDF
圣诞娇娃 威刚Merry Xmas
2
《电脑自做》 2005年第12期80-80,共1页
关键词 圣诞节 威刚科技 闪盘 MERRY xmas
在线阅读 下载PDF
XMAS
3
作者 黄乐炘 刘畅（画） 《小百科（读写版）》 2010年第12期14-15,共2页
小班
关键词 《xmas》 小学生 英语学习 阅读
原文传递
矿井主通风机自动监控系统的设计 被引量：18
4
作者 王利华 王小松 魏广金 《工矿自动化》 2010年第12期95-99,共5页
为了保障主通风机安全、可靠、经济地运行,提出了一种基于S7-300 PLC的矿井主通风机自动监控系统的设计方案;给出了该系统的结构,详细介绍了该系统中PLC的硬件及软件结构、模拟量的检测实现及采用智能型PID调节器XMA5000对风机负压和流... 为了保障主通风机安全、可靠、经济地运行,提出了一种基于S7-300 PLC的矿井主通风机自动监控系统的设计方案;给出了该系统的结构,详细介绍了该系统中PLC的硬件及软件结构、模拟量的检测实现及采用智能型PID调节器XMA5000对风机负压和流量进行自动调节的方法。实际应用表明,该系统能够实现通风机的就地、集中、远方3种控制方式,提高了主通风机的自动化程度和运行可靠性。 展开更多
关键词 矿井主通风机 自动监控 S7-300 PLC XMA5000
在线阅读 下载PDF
抗硫化氢结构钢和30XMA钢
5
作者 谢燮揆 《大型铸锻件》 1994年第2期43-45,共3页
一、抗硫化氢结构钢 在含硫化氢和二氧化碳气的石油气中工作的设备材料往往会出现硫化氢腐蚀裂纹。 硫化氢和水气裂变时在钢表面由于腐蚀过程而形成活性(原子)氢渗入钢内并使钢脆化。氢脆与氢易于贯穿和位移到钢内以及在夹杂物一基体边... 一、抗硫化氢结构钢 在含硫化氢和二氧化碳气的石油气中工作的设备材料往往会出现硫化氢腐蚀裂纹。 硫化氢和水气裂变时在钢表面由于腐蚀过程而形成活性(原子)氢渗入钢内并使钢脆化。氢脆与氢易于贯穿和位移到钢内以及在夹杂物一基体边界处应力集中部位聚集位错有关。同时,建立了脆性断裂的有利条件。根据上述情况,抗硫化氢结构钢的合金化和组织应具备如下要求: 展开更多
关键词 抗硫化氢钢 30XMA钢 结构钢
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部