期刊文献+
共找到78篇文章
< 1 2 4 >
每页显示 20 50 100
海上航天发射基础设施标准体系研究
1
作者 陈卫 姜奎书 +6 位作者 安洁 熊绍东 杜健 邓祥武 陈丹月 胡春利 王鹏 《中国标准化》 2025年第3期92-99,共8页
国内外低轨互联网星座建设方兴未艾,陆基航天发射存在工位稀缺、拥挤排队等问题,海上航天发射作为陆基发射方式的重要补充,正逐渐受到国内外的广泛关注。本文针对海上航天发射基础设施建设运营,聚焦标准化支撑海上航天发射基础设施高质... 国内外低轨互联网星座建设方兴未艾,陆基航天发射存在工位稀缺、拥挤排队等问题,海上航天发射作为陆基发射方式的重要补充,正逐渐受到国内外的广泛关注。本文针对海上航天发射基础设施建设运营,聚焦标准化支撑海上航天发射基础设施高质量发展的主题展开研究。首先梳理分析海上航天发射基础设施国内外标准组织及标准现状,在此基础上,提出海上航天发射基础设施标准体系构建的目标、原则,构建了海上航天发射基础设施结构分区图、标准体系逻辑框架图、标准体系结构图。最后对海上航天发射基础设施标准化提供可参考的建议。 展开更多
关键词 海上航天发射 基础设施 标准体系 逻辑框架图
在线阅读 下载PDF
航空发动机健康管理系统功能架构优化方法
2
作者 王净巍 吴新 +3 位作者 蔡景 张瑞 杨旭 陈晓哲 《航空发动机》 北大核心 2024年第5期47-55,共9页
航空发动机健康管理系统是目前先进发动机提升自身安全性、可靠性以及经济可承受性的核心系统之一,而架构设计是该系统的关键技术,高效合理的系统架构能够充分发挥系统的功能与作用。针对航空发动机健康管理系统架构设计需求,为了提升... 航空发动机健康管理系统是目前先进发动机提升自身安全性、可靠性以及经济可承受性的核心系统之一,而架构设计是该系统的关键技术,高效合理的系统架构能够充分发挥系统的功能与作用。针对航空发动机健康管理系统架构设计需求,为了提升系统架构的高效性、合理性,实现系统功能的最优分配,开展航空发动机健康管理系统功能架构优化方法研究。比较和分析了国外发动机和飞机健康管理系统功能架构,总结了健康管理系统共同特征,并结合健康管理系统用户需求分析,提炼形成通用的发动机健康管理系统功能架构;基于该架构采用逻辑决断图和层次分析法(AHP),提出了一种针对部件和故障的功能分配方法。结果表明:所提出的分配方法可实现状态监测、故障诊断、故障预测、寿命管理及趋势分析功能向机载和地面系统的定性与定量分配;在军民用航空发动机健康管理系统设计中,可应用通用健康管理系统架构实现发动机健康管理系统核心功能及用户需求的全面覆盖,并根据发动机结构及特点采用功能分配方法实现机载、地面系统功能的优化配置。 展开更多
关键词 发动机健康管理系统 架构设计 逻辑决断图 层次分析法 功能分配
在线阅读 下载PDF
动态逻辑电子图纸在信号集中监测系统中的应用 被引量:1
3
作者 陶晶 何会连 +1 位作者 冯德贵 杨勇 《铁道通信信号》 2024年第7期77-83,共7页
铁路信号图纸是信号工程施工、日常维护和应急处置的重要依据。为此提出利用信号集中监测系统的动态逻辑电子图纸功能,将信号图纸电子化、动态化、逻辑化,并与监测数据结合,实现实时动态的信号电路数字孪生显示,同步展现电路中关键开关... 铁路信号图纸是信号工程施工、日常维护和应急处置的重要依据。为此提出利用信号集中监测系统的动态逻辑电子图纸功能,将信号图纸电子化、动态化、逻辑化,并与监测数据结合,实现实时动态的信号电路数字孪生显示,同步展现电路中关键开关量、模拟量信息,监测故障定位范围,并动态模拟各类电路故障,辅助指导现场逐段测量排查,从而大幅提高现场问题处理效率,减少故障排查时间,对铁路信号设备日常维护、应急处置和技能培训具有重要意义。 展开更多
关键词 动态逻辑 电子图纸 信号原理图 图实一致性 数字孪生 信号集中监测
在线阅读 下载PDF
加速器驱动次临界系统始发事件的选取研究 被引量:4
4
作者 王强龙 杨志义 +3 位作者 胡丽琴 王家群 李亚洲 FDS团队 《核科学与工程》 CSCD 北大核心 2013年第3期274-279,共6页
概率安全评价(PSA)是一种重要的反应堆安全分析方法,对反应堆的设计、运行具有指导作用。始发事件的选取是对反应堆实施概率安全评价的起点和基础。加速器驱动次临界系统(ADS)由于先进的设计特征、复杂的系统构成及缺乏工程和运行经验,... 概率安全评价(PSA)是一种重要的反应堆安全分析方法,对反应堆的设计、运行具有指导作用。始发事件的选取是对反应堆实施概率安全评价的起点和基础。加速器驱动次临界系统(ADS)由于先进的设计特征、复杂的系统构成及缺乏工程和运行经验,其始发事件的确定具有一定的难度。本文基于目前设计方案,分析该ADS系统具有的安全特性及特殊问题,采用主逻辑图(MLD)推导其始发事件,并参考其他先进研究堆相关经验,最终得到一组始发事件清单,为下一步安全评价工作的展开提供了依据。 展开更多
关键词 ADS 概率安全评价 始发事件 主逻辑图
在线阅读 下载PDF
顺序任务梯形图的一种设计方法 被引量:2
5
作者 李志武 马伯渊 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1999年第4期401-405,共5页
基于Petri网理论和方法,研究了可编程序控制器程序设计语言的一种自动设计方法.首先把控制任务自动综合为Petri网,其次研究了由该Petri网到梯形图的转换算法.这种方法尤其适合于小型可编程序控制器,其改进后还可以... 基于Petri网理论和方法,研究了可编程序控制器程序设计语言的一种自动设计方法.首先把控制任务自动综合为Petri网,其次研究了由该Petri网到梯形图的转换算法.这种方法尤其适合于小型可编程序控制器,其改进后还可以处理更复杂的多路径顺序任务问题. 展开更多
关键词 梯形国科 可编程序控制器 PETRI网 LLD语言
在线阅读 下载PDF
三值触发器设计及其变换 被引量:6
6
作者 方振贤 《电子学报》 EI CAS CSCD 北大核心 1993年第11期95-98,共4页
本文研究基于状态图设计三值触发器的通用方法,对称和非对称三值逻辑均适用,用一个状态图统一地导出主从结构和维持阻塞结构触发器,以及其它等效触发器。本文设计出双极性cp触发器,改进了mR和JK触发器。
关键词 三值逻辑 状态图 触发器 设计
在线阅读 下载PDF
逻辑图表的发展 被引量:3
7
作者 张留华 《现代哲学》 CSSCI 北大核心 2002年第2期127-134,共8页
长期以来,逻辑图表被逻辑学家们仅仅视为教学辅助工具;但逻辑图表从Euler图到Venn图再到存在图表和概念图表的发展表明,它已经超越出教学工具这一狭隘界限,从而获得了更为深刻、广泛的意义。实际上逻辑图表是与我们标准数理逻辑记法相... 长期以来,逻辑图表被逻辑学家们仅仅视为教学辅助工具;但逻辑图表从Euler图到Venn图再到存在图表和概念图表的发展表明,它已经超越出教学工具这一狭隘界限,从而获得了更为深刻、广泛的意义。实际上逻辑图表是与我们标准数理逻辑记法相区别的另一种有效的逻辑记法,而且有着更强的直观性和可应用性。 展开更多
关键词 逻辑图表 EULER图 Venn图 存在图表 概念图表 可视化推理
在线阅读 下载PDF
基于组合逻辑电路实现方法的探究 被引量:8
8
作者 孙津平 《电子设计工程》 2011年第8期151-153,共3页
为缩短理论与实践的距离,提高灵活应用数字元器件的能力,提出了组合逻辑电路设计的第五步。组合逻辑电路设计通常有四步,设计完成画出符合功能要求的逻辑图,一般是把其转换成TTL与非门形式的逻辑图。第五步研究用多少个、何种逻辑门、... 为缩短理论与实践的距离,提高灵活应用数字元器件的能力,提出了组合逻辑电路设计的第五步。组合逻辑电路设计通常有四步,设计完成画出符合功能要求的逻辑图,一般是把其转换成TTL与非门形式的逻辑图。第五步研究用多少个、何种逻辑门、译码器、数据选择器,怎样实现组合逻辑电路。实践证明,只要把逻辑电路与选择实现功能器件相互对应输入输出的关系研判准确,就能按要求实现所设计电路的逻辑功能,减少器件数目,降低成本,提高电路的可靠性。 展开更多
关键词 组合电路 逻辑图 设计方法 对应关系 实现方法 74LS00 74LS10 74LS138 74LS151
在线阅读 下载PDF
基于NCL路径平衡的抗功耗分析方法 被引量:4
9
作者 罗芳 欧庆于 吴晓平 《通信学报》 EI CSCD 北大核心 2013年第S1期76-83,共8页
由于对路径结构平衡的本质以及设计方法缺乏系统的研究,导致其在实际应用中严重依赖设计者自身的经验,难以推广到各类自动化综合方法中。对实现路径平衡结构的形式化定义及充分条件进行了研究,并给出了证明,进而提出了一种基于改进二元... 由于对路径结构平衡的本质以及设计方法缺乏系统的研究,导致其在实际应用中严重依赖设计者自身的经验,难以推广到各类自动化综合方法中。对实现路径平衡结构的形式化定义及充分条件进行了研究,并给出了证明,进而提出了一种基于改进二元决策图(BDD,binary decision diagram)的零协议逻辑(NCL,null convention logic)异步电路路径平衡扩展方法。该方法能够简便地扩展至各类自动化综合过程中,并能在不改变目标电路特性的前提下,有效实现NCL异步电路的路径平衡结构,抵消由于寄生电容和负载电容差异所造成的密码芯片旁路信息泄露。 展开更多
关键词 功耗分析 路径平衡 二元决策图 零协议逻辑
在线阅读 下载PDF
基于模糊描述逻辑的模糊UML类图形式化 被引量:2
10
作者 周波 张亚非 +2 位作者 陆建江 王进鹏 苗壮 《解放军理工大学学报(自然科学版)》 EI 北大核心 2010年第4期386-391,共6页
由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)... 由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。 展开更多
关键词 模糊UML 类图 模糊描述逻辑 形式化
在线阅读 下载PDF
可编程控制器梯形图到语句表的转换算法与实现 被引量:2
11
作者 谭爱国 琚长江 《上海理工大学学报》 CAS 北大核心 2009年第5期455-458,共4页
介绍了基于二叉树数据结构的可编程控制器梯形图转换为语句表的方法,阐述了转换时用到的主要数据结构、节点串并联关系确立时搜索节点左右连接的迷宫算法、二叉树的生成以及基于二叉树的指令表语句输出过程.对梯形图转换的特殊情况进行... 介绍了基于二叉树数据结构的可编程控制器梯形图转换为语句表的方法,阐述了转换时用到的主要数据结构、节点串并联关系确立时搜索节点左右连接的迷宫算法、二叉树的生成以及基于二叉树的指令表语句输出过程.对梯形图转换的特殊情况进行了论述,实验结果证明了本算法是可行的. 展开更多
关键词 可编程控制器 梯形图 语句表 二叉树
在线阅读 下载PDF
基于布尔表达式图的可逆电路综合方法 被引量:1
12
作者 卜登立 郭鸣 《电子学报》 EI CAS CSCD 北大核心 2020年第3期494-502,共9页
本文基于布尔表达式图(Boolean Expression Diagram,BED)提出一种可逆电路综合方法.该方法使用BED表示函数,采用逐BED结点方式综合可逆电路.在综合一个结点时,通过考虑其子结点函数的值是否还会被后续电路使用,基于由NOT、CNOT以及混合... 本文基于布尔表达式图(Boolean Expression Diagram,BED)提出一种可逆电路综合方法.该方法使用BED表示函数,采用逐BED结点方式综合可逆电路.在综合一个结点时,通过考虑其子结点函数的值是否还会被后续电路使用,基于由NOT、CNOT以及混合极性Peres门构成的门库构建该结点的局部最优可逆子电路.为进一步改善所得电路的成本,根据函数表达式的乘积项中变量对的共享度对变量进行分组实现BED中变量的排序.使用一组基准函数对所提出方法进行了验证.结果表明所提出方法具有较高时间效率.与现有使用决策图作为函数表示模型的综合方法相比,所提出方法能改善综合所得可逆电路的量子成本,且在许多情况下还能减少量子位数和垃圾线数. 展开更多
关键词 可逆电路 逻辑综合 布尔表达式图 变量排序
在线阅读 下载PDF
PLC在机场行李系统自动控制中的应用 被引量:11
13
作者 王喜明 石晓梅 《电子工程师》 2001年第3期1-3,共3页
介绍了在机场行李系统自动控制过程中 ,PLC(可编程逻辑控制器 )的控制方法、PLC与安检系统的联动控制、PLC梯形图的编程以及 PLC与监视中心计算机的数据交换。
关键词 PLC 联动控制 监视计算机 机场 行李系统 自动控制
在线阅读 下载PDF
成品油顺序输送首站发油系统典型SCADA逻辑流图探讨 被引量:1
14
作者 李津 《炼油技术与工程》 CAS 北大核心 2006年第2期50-53,共4页
回顾了中国成品油管道工程建设与SCADA(Supervisory Control And Data Acquisition)系统运用的历史过程,介绍了成品油顺序输送首站典型流程,探讨了首站发油系统典型SCADA逻辑流图。
关键词 成品油 顺序输送 SCADA 逻辑流图 探讨
在线阅读 下载PDF
一种新型的掩膜管理控制系统的研制
15
作者 刘云 徐德 +3 位作者 汪建华 王秀青 赵晓光 谭民 《高技术通讯》 CAS CSCD 北大核心 2007年第1期32-38,共7页
研制了一种与掩膜光刻机相配套的新型掩膜管理控制系统。系统硬件由1个4自由度机械手、2个版库、粗预对准机构、精细预对准机构、PIE控制器和伺服驱动器等构成;系统软件由基于VC的上层管理程序以及基于梯形图的底层流程控制程序构成,... 研制了一种与掩膜光刻机相配套的新型掩膜管理控制系统。系统硬件由1个4自由度机械手、2个版库、粗预对准机构、精细预对准机构、PIE控制器和伺服驱动器等构成;系统软件由基于VC的上层管理程序以及基于梯形图的底层流程控制程序构成,其中上掩膜版和卸掩膜版是流程控制的主要组成部分。介绍了四象限光电探测器的对准工作原理和掩膜版的粗、精细预对准方法,实验测试了上、卸掩膜版的节拍,粗、精细预对准时间和掩膜版经过精细预对准后的重复定位精度,讨论了激光器和四象限光电探测器相对位姿的标定方法,并指出了该系统的特点。实验结果表明,该系统性能稳定,主要指标能够满足掩膜光刻机的实际生产要求。 展开更多
关键词 掩膜版 预对准 四象限光电探测器 控制系统 光刻机 梯形图
在线阅读 下载PDF
一种顺序控制器的设计和验证方法
16
作者 李志武 朱东波 马伯渊 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2000年第2期243-247,共5页
针对顺序控制任务 ,给出了一种基于Petri网的顺序控制器设计和验证方法 .将顺序控制的规格说明描述为Petri网 ,传感器信号定义为变迁的属性 ,通过网的不变式理论对其加以验证 .由于现有工控机和可编程序控制器并不支持基于Petri网的控... 针对顺序控制任务 ,给出了一种基于Petri网的顺序控制器设计和验证方法 .将顺序控制的规格说明描述为Petri网 ,传感器信号定义为变迁的属性 ,通过网的不变式理论对其加以验证 .由于现有工控机和可编程序控制器并不支持基于Petri网的控制程序 ,所以研究了基于Petri网的控制器到梯形图的转换方法 . 展开更多
关键词 顺序控制器 PETRI网 梯形图 可编程序控制器
在线阅读 下载PDF
基于GTST—MLD的舰船安全风险分析方法研究 被引量:2
17
作者 周浩 翁辉 《中国修船》 2007年第3期34-37,共4页
舰船系统结构复杂,在使用过程中,存在着各方面的安全风险。嵌入主逻辑图(MLD)的目标树—成功树(GTST)的建模方法可以完整的描述系统各组成部分安全风险的关联关系和各要素交互作用的信息。文章论述了GTST—MLD模型的特点及其建模步骤,... 舰船系统结构复杂,在使用过程中,存在着各方面的安全风险。嵌入主逻辑图(MLD)的目标树—成功树(GTST)的建模方法可以完整的描述系统各组成部分安全风险的关联关系和各要素交互作用的信息。文章论述了GTST—MLD模型的特点及其建模步骤,并且将它们运用到舰船系统的安全风险分析上,解决了舰船系统完备的安全风险模型建立的问题。 展开更多
关键词 功能模拟 目标树-成功树 主逻辑图 安全风险分析
在线阅读 下载PDF
UML 2.0的形式化语义研究 被引量:4
18
作者 张广泉 戎玫 黄正宝 《南京邮电大学学报(自然科学版)》 EI 2007年第3期39-43,共5页
由于UML2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证。基于此,在描述UML2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2.0顺序图和状态图之间的模... 由于UML2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证。基于此,在描述UML2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础。 展开更多
关键词 线性时序逻辑 形式化语义 UML2.0 顺序图 状态图 XYZ/E
在线阅读 下载PDF
南宁机场T2航站楼暖通设备监控系统设计 被引量:3
19
作者 谷现良 《暖通空调》 北大核心 2016年第2期47-56,共10页
以南宁机场T2航站楼暖通设备监控系统设计为例,介绍了暖通设备监控系统的组成和设计流程。从暖通工程师的角度着重介绍了暖通空调设备的监控原理图、监控策略以及逻辑控制图,并简单介绍了设备监控软件的编制。最后,结合工程实践,介绍了... 以南宁机场T2航站楼暖通设备监控系统设计为例,介绍了暖通设备监控系统的组成和设计流程。从暖通工程师的角度着重介绍了暖通空调设备的监控原理图、监控策略以及逻辑控制图,并简单介绍了设备监控软件的编制。最后,结合工程实践,介绍了暖通工程师在暖通设备监控系统设计中承担的任务和一些工作方法。 展开更多
关键词 暖通设备 监控系统 原理图 策略 逻辑控制图 航站楼
在线阅读 下载PDF
基于PLC的SBR法污水处理控制仪 被引量:4
20
作者 吴凌云 叶献方 《石油仪器》 2002年第5期13-14,60-61,共2页
序批式活性污泥法又称SBR(SequencingBatchReactor)法 ,是目前广泛使用的间歇式运行的废水生物处理技术。文章介绍了一种基于PLC的SBR法污水处理控制仪 ,较详细地介绍了SBR法工艺过程及控制仪的软、硬件设计。该仪器既可用于实验室进行... 序批式活性污泥法又称SBR(SequencingBatchReactor)法 ,是目前广泛使用的间歇式运行的废水生物处理技术。文章介绍了一种基于PLC的SBR法污水处理控制仪 ,较详细地介绍了SBR法工艺过程及控制仪的软、硬件设计。该仪器既可用于实验室进行小型试验 ,又可用于工业现场进行实际控制。 展开更多
关键词 PLC SBR法 污水处理控制仪 序批式活性污泥法 可编程序控制器 梯形图
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部