知识库上逻辑程序图搜索的一种启发函数

本文把A~*算法的启发搜索应用到逻辑程序的求解过程中,就逻辑程序这一特定的问题领域,构造出A~*算法相应的一种启发函数。利用该启发函数,通过A~*算法可求得逻辑程序的“最佳解”。     

对偶原理在组合逻辑电路设计中的应用

本文讨论了对偶原理在组合逻辑电路设计中的应用,这种应用为我们设计电路选择器件又提供了一种方法。     

保安闭路电视系统的设计和安装

作者设计安装的保安CCTV系统利用自行研制的集中控制台将68台设备有机地组成一个先进的、高性能价格比的系统,充分发挥其潜在功能,基本实现全自动化。该系统已连续正常运行一年多。并已通过技术鉴定,取得较显著的社会效益和经济效益。     

PLC在厦门航空港生活区泵站自动供水系统控制中的应用

可编程序控制器由于其高可靠性、高性价比、广泛的工业现场适应性和方便的工艺扩展性能,在工业自动控制过程中得到了越来越广泛的应用,相比于传统的继电器控制有较大的优势.介绍了PLC在厦门航空港生活区泵站自动供水系统控制中的应用,详述了PLC控制系统的设计.本系统经过实际运行达到了良好的控制效果.     

蕴涵和预设的理论基础和实际运用

蕴涵是用来描述句子命题之间的真值概念。预设是推理过程中必须认定的前提。预设有语义预设和语用预设。预设的性质或归结为衍推或归结为含义。蕴涵和预设理论有赖于语义学、逻辑学、句法学、语用学共同发展;加深对蕴涵和预设理论的认识,有助于这些学科进一步发展。蕴涵和预设理论既丰富又深化我们对自然语言语料的认识,自然语言语料又能推动蕴涵和预设理论进一步发展。     

基于KG逻辑的3GPP AKA协议形式化分析与改进

3GPP AKA协议的设计者使用BAN逻辑对协议进行形式化的分析，并生成所有的安全目标已经达到。但是由于BAN逻辑的局限性，设计者并没有找到协议对于重定向攻击和重放攻击的脆弱性。本文给出基于信仰变化的KG逻辑方法，指出脆弱性所在，并对改进后的协议方案进行验证。     

基于HMI和PLC的步进电机控制系统设计

介绍了DOP-B07S200触摸屏(HMI)与DVP-40EH可编程控制器(PLC)相结合在步进电机控制系统中的应用,详细阐述了基于HMI和PLC控制系统的设计过程,包括从外部电路连接到HMI画面编辑、组件地址设置、画面Cycle宏与组件On宏编辑以及PLC软件设计等过程。现场使用能满足实际要求,运行稳定,效果很好。     

我们能够获得那些可能性或必然性的知识吗?--以威廉姆森的观点为契机

模态知识论的核心问题是:"我们如何证成或知道那些仅仅属于可能性(mere possibility)的宣称,与那些既非逻辑亦非数学的必然性宣称?"对于这个问题,威廉姆森论证并主张:由于每一类的模态宣称都逻辑上等价于某一类的反事实条件句宣称,因而日常透过"想象模拟"去评估反事实条件句的认知能力也就给了我们认知形而上学模态性的能力。威廉姆森并且认为,有些这样得来的反事实条件句知识和模态知识,既非先验,亦非后验,应被归属为第三类的"椅验知识"(armchair thinking)。作者们认为威廉姆森的理论虽大体上可信,但仍至少有九个问题需要进一步探讨。     

间歇生产气井井网智能系统的研制

随着天然气的产出,地层能量下降,间歇气井愈发增多,针对衰竭但尚有一定产气量的间歇生产气井进行增产投资与收益不成正比的问题,在传统单井监控系统基础上,基于三菱FX系列可编程逻辑控制器研制了一套间歇生产气井井网智能监控系统。该系统将单个气井物联,形成井网,以三菱FX系列可编程逻辑控制器为系统中枢,统筹数据采集、监控与逻辑处理、数据传输、应急阀系与供电五大子模块,使得全井站数据实时传入控制终端,结果表明,该系统能以较低的成本投资,实现全井站气井整个寿命周期的实时数据监测,特别针对间歇生产气井可实现后期衰竭饱和自动采集,极大程度提升了井站的实时监控效果、间歇生产气井的开发程度与节能效果。     

基于Logic SQL安全数据库的隐蔽通道分析

Logic SQL数据库是自主研制基于linux的高安全级别安全数据库,本文根据近年来成熟的隐蔽通道分析技术针对Logic SQL安全数据库的隐蔽通道进行分析,从隐蔽通道的标识、带宽的计算、隐蔽通道的处理等方面进行分析.并展望下一步Logic SQL安全数据库的隐蔽通道研究方向.