期刊文献+
共找到399篇文章
< 1 2 20 >
每页显示 20 50 100
The Fundamental Theory of Artificial Intelligence—Logic Structure and Logic Engineering
1
作者 Dong H. Liu 《Intelligent Control and Automation》 2024年第1期28-62,共35页
The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. Th... The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. The work I have done in my research includes: improving logical structure and logical engineering, using my theory to study the innovation of the development path of artificial intelligence, using my theory to create biomimetic logic, a new intersection of artificial intelligence and biological research, and exploring the innovation of human methodology through the previous two works. The results of the research are as follows: 1) Introduction to bionic logic, incorporating simulations of people, society, and life as core principles. 2) Definition of the logical structure as the primary focus of research, with logic mechanics serving as foundational research principles. 3) Examination of the logical structure’s environment through logical fields and networks. 4) Study of logical structure communication via logical networks and main lines. 5) Proposal of data logic. 6) Investigation into the logic of logical structures, employing structural diagrams of logical equations. 7) Development of a theory of life activity within logical structures, encompassing information reasoning, its corresponding control structure, and structural reasoning. 8) Introduction of the lifecycle theory for logical structures and examination of the clock equation. 9) Exploration of logical structure intelligence. 10) Study of logical structures in mathematical forms. 11) Introduction of logic engineering. 12) Examination of artificial intelligence’s significance. 13) Investigation into the significance of human methodology. 展开更多
关键词 Bionic logic Structural diagram of logical Equation Data logic Intelligence
下载PDF
Importance Analysis of a Multi-state System Based on Direct Partial Logic Derivatives and Multi-valued Decision Diagrams 被引量:1
2
作者 古莹奎 李晶 《Journal of Donghua University(English Edition)》 EI CAS 2014年第6期789-792,共4页
Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because th... Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because the multi-valued decision diagram( MDD) can reflect the relationship between the components and the system state bilaterally, it was introduced into the reliability calculation of the multi-state system( MSS). The building method,simplified criteria,and path search and probability algorithm of MSS structure function MDD were given,and the reliability of the system was calculated. The computing methods of importance based on MDD and direct partial logic derivatives( DPLD) were presented. The diesel engine fuel supply system was taken as an example to illustrate the proposed method. The results show that not only the probability of the system in each state can be easily obtained,but also the influence degree of each component and its state on the system reliability can be obtained,which is conducive to the condition monitoring and structure optimization of the system. 展开更多
关键词 multi-state system(MSS) importance analysis reliability multi-valued decision diagram(MDD) direct partial logic derivative(DPLD) diesel engine fuel supply system
下载PDF
SmartCtrlLogic软件在自控设计中的应用 被引量:3
3
作者 范文进 《石油化工自动化》 CAS 2013年第2期52-54,共3页
介绍了专用于绘制自控逻辑图的SmartCtrlLogic软件,简要说明了软件的使用方法,总结了该软件与传统设计模式相比较的优势。从应用角度,证明该软件的运用提高了自控逻辑设计的效率,同时指出了软件仿真功能还有待完善。
关键词 自控 逻辑图 设计软件
下载PDF
航空发动机健康管理系统功能架构优化方法
4
作者 王净巍 吴新 +3 位作者 蔡景 张瑞 杨旭 陈晓哲 《航空发动机》 北大核心 2024年第5期47-55,共9页
航空发动机健康管理系统是目前先进发动机提升自身安全性、可靠性以及经济可承受性的核心系统之一,而架构设计是该系统的关键技术,高效合理的系统架构能够充分发挥系统的功能与作用。针对航空发动机健康管理系统架构设计需求,为了提升... 航空发动机健康管理系统是目前先进发动机提升自身安全性、可靠性以及经济可承受性的核心系统之一,而架构设计是该系统的关键技术,高效合理的系统架构能够充分发挥系统的功能与作用。针对航空发动机健康管理系统架构设计需求,为了提升系统架构的高效性、合理性,实现系统功能的最优分配,开展航空发动机健康管理系统功能架构优化方法研究。比较和分析了国外发动机和飞机健康管理系统功能架构,总结了健康管理系统共同特征,并结合健康管理系统用户需求分析,提炼形成通用的发动机健康管理系统功能架构;基于该架构采用逻辑决断图和层次分析法(AHP),提出了一种针对部件和故障的功能分配方法。结果表明:所提出的分配方法可实现状态监测、故障诊断、故障预测、寿命管理及趋势分析功能向机载和地面系统的定性与定量分配;在军民用航空发动机健康管理系统设计中,可应用通用健康管理系统架构实现发动机健康管理系统核心功能及用户需求的全面覆盖,并根据发动机结构及特点采用功能分配方法实现机载、地面系统功能的优化配置。 展开更多
关键词 发动机健康管理系统 架构设计 逻辑决断图 层次分析法 功能分配
下载PDF
核电厂智能化DCS数据管理系统建设
5
作者 卢俊 《仪器仪表用户》 2024年第3期80-82,85,共4页
本文针对福清核电DCS系统,因不同平台的技术差异,图纸、组态和接口数据量大,文件复杂,使用和管理过程效率低下,人因风险高。基于此,提出了一种以面向内容为核心,以计算机数据库技术为基本方法,依托设计输入文件和运行过程数据,构建要素... 本文针对福清核电DCS系统,因不同平台的技术差异,图纸、组态和接口数据量大,文件复杂,使用和管理过程效率低下,人因风险高。基于此,提出了一种以面向内容为核心,以计算机数据库技术为基本方法,依托设计输入文件和运行过程数据,构建要素间普遍联系的DCS数据管理系统。有效梳理了相关业务所需要的各类数据和文件的获取与处理方式,实现数据组织、图纸与组态数据的精确关联,并设计和建设了一站式检索平台,对数据和图纸进行深度分析,实现自动化风险提示的变更管理,以服务于现场执行控制系统相关工作和检查的各个过程。本文详细论述了需求分析和项目建设办法,为类似项目的建设、维护提供经验。 展开更多
关键词 DCS 数据处理 变更管理 组态数据 逻辑图 信号流图 通信
下载PDF
浅议自控联锁逻辑图的编制
6
作者 赵光旭 何文东 《中国仪器仪表》 2024年第7期75-78,共4页
本文主要探讨自控联锁逻辑图在自动化设计中的编制方法。首先,介绍了自控联锁逻辑图的基本概念和作用;然后,详细阐述了编制自控联锁逻辑图的过程,包括联锁指令介绍、编制基本原则和思路、逻辑图的编制方法;最后,对联锁图的编制过程进行... 本文主要探讨自控联锁逻辑图在自动化设计中的编制方法。首先,介绍了自控联锁逻辑图的基本概念和作用;然后,详细阐述了编制自控联锁逻辑图的过程,包括联锁指令介绍、编制基本原则和思路、逻辑图的编制方法;最后,对联锁图的编制过程进行了总结。 展开更多
关键词 逻辑图 联锁旁路 复位
下载PDF
动态逻辑电子图纸在信号集中监测系统中的应用 被引量:1
7
作者 陶晶 何会连 +1 位作者 冯德贵 杨勇 《铁道通信信号》 2024年第7期77-83,共7页
铁路信号图纸是信号工程施工、日常维护和应急处置的重要依据。为此提出利用信号集中监测系统的动态逻辑电子图纸功能,将信号图纸电子化、动态化、逻辑化,并与监测数据结合,实现实时动态的信号电路数字孪生显示,同步展现电路中关键开关... 铁路信号图纸是信号工程施工、日常维护和应急处置的重要依据。为此提出利用信号集中监测系统的动态逻辑电子图纸功能,将信号图纸电子化、动态化、逻辑化,并与监测数据结合,实现实时动态的信号电路数字孪生显示,同步展现电路中关键开关量、模拟量信息,监测故障定位范围,并动态模拟各类电路故障,辅助指导现场逐段测量排查,从而大幅提高现场问题处理效率,减少故障排查时间,对铁路信号设备日常维护、应急处置和技能培训具有重要意义。 展开更多
关键词 动态逻辑 电子图纸 信号原理图 图实一致性 数字孪生 信号集中监测
下载PDF
火电厂图形化智能“两票”系统应用研究
8
作者 陈剑荣 陈华 《电工技术》 2024年第14期92-95,共4页
目前火力发电厂一般都建设有电子化“两票”管理系统,但实际运行中在“两票”的管理和执行层面仍存在一定的不足。从火电厂“两票”管理的实际情况出发,提出一种能够进一步提升“两票”安全防范作用的图形化智能“两票”系统实现方法。... 目前火力发电厂一般都建设有电子化“两票”管理系统,但实际运行中在“两票”的管理和执行层面仍存在一定的不足。从火电厂“两票”管理的实际情况出发,提出一种能够进一步提升“两票”安全防范作用的图形化智能“两票”系统实现方法。通过图形化智能“两票”系统应用,能够实现“两票”中各操作内容之间的防误逻辑闭锁判断,改“人防”为“技防”,进一步提高火电厂生产运行过程中的安全管理水平。 展开更多
关键词 智能“两票” 图形化开票 防误逻辑闭锁 动态系统图
下载PDF
基于common logic的UML类图形式化及验证 被引量:1
9
作者 郭雨婷 潘文林 江涛 《云南民族大学学报(自然科学版)》 CAS 2015年第6期506-509,共4页
统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的语义描述,模型之间容易出现不一致问题,因此,UML类图的形式化问题尤为重要.common logic是一阶逻辑的一个特殊拓展,语法简洁,无符号,易... 统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的语义描述,模型之间容易出现不一致问题,因此,UML类图的形式化问题尤为重要.common logic是一阶逻辑的一个特殊拓展,语法简洁,无符号,易读易掌握易使用,语义精确,满足一阶模型理论,相较于其它逻辑语言,更适合UML类图进行形式化规约.因此,提出采用common logic对UML类图进行形式化,得到形式化的语义规约,并对实例模型进行一致性验证. 展开更多
关键词 COMMON logic UML类图 形式化 一致性验证
下载PDF
基于CRCLA的形式化描述与退火遗传映射算法
10
作者 杨晨光 李伟 +1 位作者 杜怡然 陈韬 《计算机工程与设计》 北大核心 2024年第5期1368-1375,共8页
为解决密码算法映射到粗粒度可重构密码逻辑阵列(CRCLA)过程的描述困难问题,提出一种数据流图节点与划分后节点簇的描述形式,并以一种坐标序列描述形式精确显示CRCLA中资源的占用情况;针对密码算法映射到CRCLA上性能不高及编译时间过长... 为解决密码算法映射到粗粒度可重构密码逻辑阵列(CRCLA)过程的描述困难问题,提出一种数据流图节点与划分后节点簇的描述形式,并以一种坐标序列描述形式精确显示CRCLA中资源的占用情况;针对密码算法映射到CRCLA上性能不高及编译时间过长的问题,提出一种能快速收敛到全局最优解的退火遗传算法,从初始温度、降温系数等方面对退火算法进行改进,增加遗传算法的筛选、交叉与变异流程。实验结果表明,编译时间与性能平均降低了30.6%与13.4%,验证了算法的高能效映射。 展开更多
关键词 密码算法 数据流图 划分 描述形式 粗粒度可重构密码逻辑阵列 快速收敛 退火遗传算法
下载PDF
基于空间形态数据的铁路通信数字工程设计系统 被引量:2
11
作者 武文斌 《计算机系统应用》 2023年第3期133-141,共9页
建筑信息模型(building information modeling,BIM)技术作为建筑业实现信息化数字化转型的核心技术,在铁路建设全生命周期中具有很高的研究价值.在铁路通信机械室内、站场、区间设计中,将铁路通信实体的空间位置、形状、大小、关系等空... 建筑信息模型(building information modeling,BIM)技术作为建筑业实现信息化数字化转型的核心技术,在铁路建设全生命周期中具有很高的研究价值.在铁路通信机械室内、站场、区间设计中,将铁路通信实体的空间位置、形状、大小、关系等空间形态描述数据化,结合铁路通信设计规范、相关铁路BIM标准以及专业实际设计需求,研究开发出铁路通信数字工程设计系统.本系统以空间形态数据为支撑,铁路工程实体结构分解标准为基础,在三维环境下实现了铁路通信机械室内机柜设备的智能布设,站场通信沟槽线缆的路径规划,区间通信信息点位置的准确布置.系统进一步基于数字工程模型和图论基本原理,实现了从数字工程模型中获取逻辑关系并生成通信逻辑网图.经实际工程验证,系统对铁路通信数字工程设计效率和准确率都有较大提升,从工程源头实现了铁路通信工程数字化成果交付和应用,促进了铁路通信工程项目全过程技术升级和数字化模式革新. 展开更多
关键词 铁路通信数字工程 空间形态数据 工程实体结构分解 空间矩阵变换 通信逻辑网图
下载PDF
基于监控对象模型抽象技术的监控系统设计
12
作者 韦二龙 王高成 +1 位作者 韩续 杨胜广 《计算机与网络》 2023年第19期49-52,共4页
随着计算机技术快速发展,软件工程运用越来越广泛,如何让软件运行环境长期稳定,不仅取决于软件技术本身,也依赖于硬件环境的稳定。提出了一种基于监控对象模型抽象技术的软硬件监控系统设计方法,通过采集软硬件实时运行状态,建立监控对... 随着计算机技术快速发展,软件工程运用越来越广泛,如何让软件运行环境长期稳定,不仅取决于软件技术本身,也依赖于硬件环境的稳定。提出了一种基于监控对象模型抽象技术的软硬件监控系统设计方法,通过采集软硬件实时运行状态,建立监控对象模型,生成监控对象逻辑结构拓扑图及三维模型,实现对全系统的实时监控,并对异常数据进行分析判定,及时对异常情况进行告警,便于运维人员对设备以及系统的运行状态、故障信息、故障位置和故障类型等实时掌控,提高系统运维效率。 展开更多
关键词 监控对象模型 逻辑拓扑图 机房模型 系统监控
下载PDF
基于PLC的种子烘干机自动控制系统设计 被引量:3
13
作者 王文立 《农机化研究》 北大核心 2023年第4期225-228,共4页
以种子烘干机为研究对象,对种子烘干工艺流程进行分析,确定种子烘干过程中以烘干温度及种子湿度为关键控制参数,并对PLC基本组成和工作流程进行分析,利用PLC进行种子烘干机的自动控制。根据控制参数需求进行PLC选型,并结合PLC控制对自... 以种子烘干机为研究对象,对种子烘干工艺流程进行分析,确定种子烘干过程中以烘干温度及种子湿度为关键控制参数,并对PLC基本组成和工作流程进行分析,利用PLC进行种子烘干机的自动控制。根据控制参数需求进行PLC选型,并结合PLC控制对自动控制系统中种子的温度和湿度进行模拟量转换计算,按照计算值设定系统工作参数,编写PLC控制程序梯形图,根据自动控制系统的采集值与设定值对比结果,进行烘干过程的自动控制。 展开更多
关键词 种子烘干机 自动控制系统 可编程控制器 梯形图
下载PDF
基于核心公式诱导思维的理论力学知识网络图构建与应用 被引量:4
14
作者 罗国宇 《高教学刊》 2023年第7期86-91,95,共7页
针对理论力学课程由于内容庞杂、分散而导致学生难学、畏学,教师难教的问题,提出基于核心公式诱导思维构建理论力学知识网络图的方法。该方法以理论力学核心公式为线索,采用诱导思维的逻辑对繁杂的理论力学知识点进行有机串联,最终利用... 针对理论力学课程由于内容庞杂、分散而导致学生难学、畏学,教师难教的问题,提出基于核心公式诱导思维构建理论力学知识网络图的方法。该方法以理论力学核心公式为线索,采用诱导思维的逻辑对繁杂的理论力学知识点进行有机串联,最终利用思维导图工具构建理论力学课程完整的知识网络图。基于该方法,给出构建理论力学知识网络图的一个完整实例,并分别从“把厚书读薄”和“把薄书读厚”两个方面阐述其应用于教学实践的思路。 展开更多
关键词 理论力学 知识体系 知识网络图 思维导图 逻辑思维
下载PDF
数理逻辑下维特根斯坦的可说与不可说问题探究
15
作者 黄恩浩 《西部学刊》 2023年第13期58-61,共4页
维特根斯坦在其著作《逻辑哲学论》中对语言本身的规范性进行了探究,意图通过逻辑图示的提出明确可说与不可说部分的界限。对此问题的探究,通过数理逻辑的方式,以集合和图象的说明方式,分别从概念本身和反证法两个方面论证了该界限本身... 维特根斯坦在其著作《逻辑哲学论》中对语言本身的规范性进行了探究,意图通过逻辑图示的提出明确可说与不可说部分的界限。对此问题的探究,通过数理逻辑的方式,以集合和图象的说明方式,分别从概念本身和反证法两个方面论证了该界限本身存在的矛盾性,但这种矛盾性只是针对界限的明确性而言,也就是说,并不存在这样一种“公式”可以将所有可说的说清楚,而这种可说与不可说的分类方式却是成立的,也是合理的。由此可以得出一个结论,即可说与不可说是存在的但不是分离的,如果将二者完全剥离开就会陷入二元对立的矛盾中,对于世界而言,可说与不可说在同一件事物上的表现形式是混杂的、复合的,这也是维特根斯坦后期为何转入语言游戏的猜想之一。 展开更多
关键词 维特根斯坦 《逻辑哲学论》 逻辑图示 数理逻辑 可说与不可说
下载PDF
基于FPGA技术的浮点运算器的设计与实现 被引量:11
16
作者 周宁宁 陈燕例 李爱群 《计算机工程与设计》 CSCD 北大核心 2005年第6期1578-1581,共4页
日趋进步和完善的FPGA(现场可编程门阵列)技术推动了当前数字电路的设计。浮点运算器是计算机的一个组成部件,结构比较复杂,利用FPGA技术设计浮点运算器可以缩短产品的开发周期。介绍了基于FPGA技术的浮点运算器的设计与实现。描述了采... 日趋进步和完善的FPGA(现场可编程门阵列)技术推动了当前数字电路的设计。浮点运算器是计算机的一个组成部件,结构比较复杂,利用FPGA技术设计浮点运算器可以缩短产品的开发周期。介绍了基于FPGA技术的浮点运算器的设计与实现。描述了采用VHDL(VHSIC硬件描述语言)和原理图方式设计完成浮点运算器的方法和步骤。利用FPGA技术,能方便灵活地设计出浮点运算器。 展开更多
关键词 FPGA 浮点运算器 VHDL 原理图
下载PDF
固态钍基熔盐堆概率安全评价始发事件分析研究 被引量:10
17
作者 梅牡丹 邵世威 +1 位作者 何兆忠 陈堃 《核技术》 CAS CSCD 北大核心 2014年第9期43-50,共8页
始发事件分析是反应堆概率安全评价的起点。本文以10 MW固态钍基熔盐堆(Thorium Molten Salt Reactor,TMSR-SF1)为研究对象,采用主逻辑图分析方法,基于TMSR-SF1的最新概念设计,在参考已有氟盐冷却高温堆、高温气冷堆和钠冷快堆的始发事... 始发事件分析是反应堆概率安全评价的起点。本文以10 MW固态钍基熔盐堆(Thorium Molten Salt Reactor,TMSR-SF1)为研究对象,采用主逻辑图分析方法,基于TMSR-SF1的最新概念设计,在参考已有氟盐冷却高温堆、高温气冷堆和钠冷快堆的始发事件清单和始发事件分析理论的基础上,针对TMSR-SF1始发事件分析进行初步探索研究,初步确定了TMSR-SF1的始发事件清单,共得到了TMSR-SF1的37个始发事件(功率运行情况下),并按照故障类型分类的方法对这些始发事件进行分组,共分为6组。为TMSR-SF1下一步的深入分析研究始发事件及其概率安全评价(Probabilistic safety assessment,PSA)中事故序列分析奠定了重要基础,也为安全分析的完整性提供了支持。 展开更多
关键词 固态钍基熔盐堆 概率安全评价 主逻辑图 始发事件分析
下载PDF
炼化装置故障链式效应定量安全预警方法 被引量:6
18
作者 胡瑾秋 张来斌 王安琪 《化工学报》 EI CAS CSCD 北大核心 2016年第7期3091-3100,共10页
炼化装置故障及其故障链式效应对油气生产和人民生命安全所造成的危害严重。从故障链角度进行事故风险研究,提出炼化装置故障链式效应定量安全预警方法。首先分析炼化装置故障链式关系结构,基于目标树成功树-动态主逻辑图(GTST-DMLD)建... 炼化装置故障及其故障链式效应对油气生产和人民生命安全所造成的危害严重。从故障链角度进行事故风险研究,提出炼化装置故障链式效应定量安全预警方法。首先分析炼化装置故障链式关系结构,基于目标树成功树-动态主逻辑图(GTST-DMLD)建立其故障链式效应关系模型,揭示炼化装置故障链式效应行为规律和关联本质,从而评价装置异常工况下的安全状态。进一步以马尔可夫过程为理论基础,建立故障链式效应预测模型,预测故障传播的后果和方向,并计算各后果的发生概率,为现场操作人员进行主动维修或应急处置提供依据。案例分析中通过对某化工厂常压塔装置、减压炉装置为研究对象进行应用与验证,结果表明该方法可以准确地对系统故障发生后的状态进行评价和预测,方法有效、可行,便于操作人员在处置已有故障的同时,注意预防其他异常工况的发生,降低油气生产加工过程中的整体风险。 展开更多
关键词 过程系统 目标树成功树-动态主逻辑图 故障链式效应 安全 预测
下载PDF
加速器驱动次临界系统始发事件的选取研究 被引量:4
19
作者 王强龙 杨志义 +3 位作者 胡丽琴 王家群 李亚洲 FDS团队 《核科学与工程》 CSCD 北大核心 2013年第3期274-279,共6页
概率安全评价(PSA)是一种重要的反应堆安全分析方法,对反应堆的设计、运行具有指导作用。始发事件的选取是对反应堆实施概率安全评价的起点和基础。加速器驱动次临界系统(ADS)由于先进的设计特征、复杂的系统构成及缺乏工程和运行经验,... 概率安全评价(PSA)是一种重要的反应堆安全分析方法,对反应堆的设计、运行具有指导作用。始发事件的选取是对反应堆实施概率安全评价的起点和基础。加速器驱动次临界系统(ADS)由于先进的设计特征、复杂的系统构成及缺乏工程和运行经验,其始发事件的确定具有一定的难度。本文基于目前设计方案,分析该ADS系统具有的安全特性及特殊问题,采用主逻辑图(MLD)推导其始发事件,并参考其他先进研究堆相关经验,最终得到一组始发事件清单,为下一步安全评价工作的展开提供了依据。 展开更多
关键词 ADS 概率安全评价 始发事件 主逻辑图
下载PDF
基于主逻辑图的安全风险建模研究 被引量:7
20
作者 曾士勇 龚时雨 《中国安全科学学报》 CAS CSCD 2003年第10期66-68,共3页
概率风险评估已成为研究复杂系统安全风险较为成熟的方法 ,其风险模型的建立是基于故障树/事件树的 ,风险分析具有众多的静态特性。然而 ,大的复杂系统往往存在诸多动态因素 ,在风险研究需要考虑这些动态因素的情况下 ,基于传统故障树 ... 概率风险评估已成为研究复杂系统安全风险较为成熟的方法 ,其风险模型的建立是基于故障树/事件树的 ,风险分析具有众多的静态特性。然而 ,大的复杂系统往往存在诸多动态因素 ,在风险研究需要考虑这些动态因素的情况下 ,基于传统故障树 /事件树的模型则难以提供支持。笔者对此进行了分析 ,提出了基于主逻辑图的安全风险建模 ;主要介绍了主逻辑图的概念及其建模方法 ,并对模型进行了分析 ;在此基础上 ,基于主逻辑图分析事故场景 ,对场景风险的量化评估进行了简要介绍 ,并结合某核反应堆例子进行了分析。 展开更多
关键词 主逻辑图 安全风险 事故场景 建模
下载PDF
上一页 1 2 20 下一页 到第
使用帮助 返回顶部