逻辑程序

摘要： 本文介绍了宣钢氧气厂7号空压机仪控系统节能优化改造项目的实施原因,并对具体改造实施方案进行了解读。该项目是在原ABB控制系统的基础上新增了一套先进的高性能CCC控制系统,使7号空压机在防喘震调节和导叶控制效果方面都有了很大的提升。通过此次7号空压机仪控系统技术革新,优化了空压机的启、停车操作及连锁控制逻辑程序,稳定了空压机的运行工况,降低了空压机因仪控系统故障而引发停车的事故几率,节约了动力设备电耗,制氧成本大为降低,为空分设备采用CCC先进防喘震控制系统树立了成功典范。

摘要： 随着科技的不断发展,传统的纸质媒介管理已经不能满足当前人们对档案管理、查找等方面的需求,基于电子信息技术存储的网络化档案成为发展的必然趋势,档案上"云"也成为了越来越多的选择,但是由于网络本身具有极高的开放性、共享性和广泛联结等特性,一旦出现程序逻辑和管理方面的漏洞,极易造成档案信息泄露,给企业乃至互联网带来信息安全威胁,因此,做好互联网档案信息安全管理至关重要.通过深入分析当前档案信息安全面临的各种隐患,从逻辑程序入手,探究控制访问、安全监测、数字加密、漏洞排查以及防火墙等先进技术,为实现数字化档案安全保障提供建议.

摘要： 随着科技的不断发展,传统的纸质媒介管理已经不能满足当前人们对档案管理、查找等方面的需求,基于电子信息技术存储的网络化档案成为发展的必然趋势,档案上“云”也成为了越来越多的选择,但是由于网络本身具有极高的开放性、共享性和广泛联结等特性,一旦出现程序逻辑和管理方面的漏洞,极易造成档案信息泄露,给企业乃至互联网带来信息安全威胁,因此,做好互联网档案信息安全管理至关重要。通过深入分析当前档案信息安全面临的各种隐患,从逻辑程序入手,探究控制访问、安全监测、数字加密、漏洞排查以及防火墙等先进技术,为实现数字化档案安全保障提供建议。

摘要： 以北京地铁八通线一期工程为例,分析低压配电系统进线开关失压逻辑程序在实际运营工作中的问题.结合轨道交通安全运营工作需求提出了优化方案,通过调整、完善低压配电系统进线开关失压逻辑程序设置,从而提高轨道交通供电系统的可靠性和连续性,保障轨道交通供电系统安全可靠运行.

摘要： 对库存走势的讨论成为近期金融市场上宏观投资逻辑关注重点之一,部分观点认为中国经济未来将开启的补库存进程会成为经济企稳回升的主要动力之一.但要建立这个逻辑程序,还需要厘清几个问题:首先,当前库存是否处于低位;其次,库存低位就一定会补库存吗;再次到底是库存决定了需求的变化呢,还是需求决定了库存的走势?

摘要： 调机路径规划的核心是合理编排各台编组(解体)调机的移动路径以完成编组(解体)任务.但目前的编制工作仍以人工为主,存在编制作业的工作量大、计划编制不及时、计划调整困难等问题.为此,给出基于回答集程序(ASP)与有限域约束逻辑程序(CLP(FD))的设计方法.在轨道规模增大的情况下,讨论2种方法在求解不同问题规模时的时间效率以及对应求解器的运行规律.实验结果表明,ASP在解决调机路径规划问题时比CLP(FD)表现更优,能快速地得到路径编排结果,对应的DLV求解器能更有效地克服轨道数目增减带来的影响.%The core of the shunting engine path planning is to arrange the moving path of each group (disintegration) to complete the grouping(disintegration) task.But the current preparation work is still man-mode,there is big workload,planning is not timely and difficult to adjust.Therefore,a logic programming method based on Answer Set Program (ASP) and Constraint Logic Program over Finite Domains(CLP(FD)) is given.In the case of increasing orbital scale,the time efficiency of the two methods in solving different problem scales and the operation of the corresponding solver are discussed.Experimental results show that ASP is better than CLP(FD) in solving this kind of problem,and the results of path scheduling can be obtained quickly.The corresponding DLV solver can overcome the influence of increasing or decreasing the number of tracks.

摘要： 为了研究江苏LNG变电所综保可靠性,分析了江苏LNG接收站变电所综保F650各种保护逻辑。重点剖析了各个保护的逻辑程序及其定制设置步骤。结果显示江苏LNG接收站变电所综合保护器能对各种故障或异常运行状态做出正确判断并实施相应的保护措施。

摘要： 提出一个基于逻辑程序和基于角色访问控制并且具有柔性授权、逻辑形式化和策略集成特点的柔性授权框架。研究了如何使用逻辑程序强大的表达能力确定现实中复杂的安全需求,平衡柔性访问控制规范的表达性、简单性和有效性,处理柔性访问控制中的冲突,利用常识推理刻画柔性特征,以及集成已有授权理论的优点。

摘要： 本文对逻辑程序设计语言G(o)del中等词的实现进行了研究。文章围绕含等词的逻辑程序一致匹配算法、G(o)del语言的类型系统机制、 G(o)del语言含等词的SLDE-反驳消解实现等进行了论述。

摘要： 文章介绍了安徽鑫龙电器DPX200D微机保护单元在10kV变电所备自投逻辑中的应用，分析备自投逻辑程序，介绍备自投及保护定值设置及备自投出口的动作过程。

摘要： 本文通过一例DAM机开机故障的处理过程和处理方法,详细阐述了DAM机的开机逻辑程序以及信号链路图.故障初次发生时（面板并没有欠激励显示），应该只是K1的辅助接点不吸合，导致K2的不动作。但是反复强制K1和K2吸合并且在开关机的过程中，已导致115 V保险烧毁，单纯更换K1已无法解决故障。这时处理人员陷入一个误区，认为只有开机过程完成后，检测电路才能检测到欠激励故障，因此大家一直是围绕在K2无法得到控制电压这条链路上寻找故障点。在找到115 V保险的故障点之前，在K2端给了一个低电平，强制K2吸合时，K2驱动电路中的E4烧毁，所以更换保险后的故障现象（K1动作释放，而K2不动作，面板显示正常），虽然和初始故障现象是一样的，但故障点不一样，前者是K1的辅助接点不通，使得K2无法得到控制信号，后者是K2的驱动电路中的光电耦合器出现故障。

摘要： 本文简要介绍了兰州石化公司110KV橡胶变电站供电系统及主变继电保护的配置情况，详细介绍了几种微机保护单元在兰州石化公司110KV橡胶变电站主变压器继电保护中的应用，还介绍了110KV橡胶变电站进线各自投的实现方式，分析了110KV进线备自投的逻辑程序，此种备自投实现方式应用效果很好。

摘要： 随着访问控制理论和现实应用中安全需求的发展，表达能力和灵活性现在已成为访问控制系统的顶级要求；逻辑程序被普遍认为是形式化安全策略的最好方法。本文主要研究如何用逻辑程序确定柔性访问控制策略，包括分析柔性访问控制的特征，探索RBAC的柔性特点，研究基于LPOD程序冲突消解策略，提出一种基于逻辑程序的柔性授权框架。

摘要： 使用UML模型图研发大型软件系统时,自动验证UML模型图的正确性十分重要。但现有的验证方法都局限于一个或两个UML模型图。提出一个可自动验证多种UML模型图正确性的方法。基于答案集程序设计,提出了将UML模型图和模型图的属性转换成逻辑程序的方法。通过验证UML模型图的属性在该逻辑程序的答案集语义中是否为真,来判断UML模型图的正确性，与现有的方法比较,本文的方法更具有普适性,适用于所有的UML模型图。

摘要： 安全协议的主要目标是使多个通信主体能够在开放式的网络环境(如Internet)中正确地进行身份认证和安全地交换敏感数据(如会话密钥、电子交易数据等).安全协议的安全性质包括认证性(Au-thenticity)、秘密性(Secrecy)、完整性(Integrity)、不可否认性(Non-repudiation)等.

摘要： 为了明确安全协议分析和验证中所必需的参与者个数的上确界,改进了基于Horn逻辑的踪迹模型,在该模型中增加了策略向量,描述了攻击者对消息的截留能力以及消息接收的不确定性;提出了在Herbrand域和Herbrand基上的映射,该映射将潜在无穷的参与者限制在有穷的个体内;使用该映射给出了分析安全协议的保密性所必需的参与者个数的上确界n(ψ),定义了语义保持.结果显示,对于安全协议的任意安全性质,若其Horn子句与协议程序在影射后保持原来的语义关系,则町以得出分析该性质所必需的参与者个数的上确界.

摘要： 本发明公开了一种可编程逻辑器件中逻辑程序下载状态的检测方法及装置，采用该技术方案，能够在可编程逻辑器件被使用前检测出逻辑程序是否成功下载。其中，逻辑程序用于为可编程逻辑器件提供运行逻辑，还用于为预设的一个或多个寄存器提供输入测试数据与输出测试结果的逻辑关系；主要检测过程包括：向一个或多个寄存器输入测试数据，并读取寄存器输出的测试结果；比较测试结果和预设的测试结果，该预设的测试结果根据逻辑程序为寄存器提供的逻辑关系以及输入的测试数据确定；若比较结果为一致，则确定该可编程逻辑器件中逻辑程序下载成功；否则，确定该可编程逻辑器件中逻辑程序下载失败。

摘要： 本发明的一种基于逻辑程序的关系型数据库搜索方法属于人工智能和计算机技术领域，包含两个步骤：第一步，首先基于分层搜索方法对搜索请求和关系型数据库进行匹配筛选处理，得到目标数据；第二步，然后将筛选后的目标数据自主映射成逻辑程序可识别的形式，即事实表，再结合所要搜索的请求和目标，生成相应的逻辑规则，并组合事实和规则进行求解。本发明提供一种动态的搜索模式，能够自主完成对数据库数据的映射及搜索，实现更人性化的查询，更好满足用户搜索需求。该方法还解决了因数据、条件、规则变更、系统维护以及数据知识推理需求的出现，普通查询无法解决的这种动态变化问题。

摘要： 本发明公开一种基于回答集逻辑程序的LPMLN推理方法，1、首先输入LPMLN程序和推理参数，其中推理参数包括强转化参数等，然后对输入的LPMLN程序进行语法分析，从而得到输入程序的Herbrand域以及关键的语法要素；2、根据步骤一中的强转化参数判断输入的LPMLN程序是进行强转化操作还是弱转化操作，并通过强转化或弱转化方法转化为对应的回答集程序；3、调用回答集程序推理机求解步骤二中转化得到的回答集程序；4、将步骤三中通过回答集程序推理机求解输出的可能世界变换为输入LPMLN程序所对应的推理结果。本发明能够在线性时间内将输入的LPMLN程序转化为相应的回答集程序，并利用回答集程序推理机实现其推理。

摘要： 一种基于归纳逻辑程序设计的数据本体逻辑推理方法，包括以下具体步骤：对需要进行逻辑推理的数据本体进行预处理；提取数据本体中的主语、谓语和客体；根据数据本体中提取出来的主语、谓语和客体将数据本体转化为子句；并建立子句的集合；确定指定的论域A；对子句集合中每一个子句确定赫尔布兰德解释，得到不同的论域B；将论域B与论域A进行比对确定最终的论域范围C；基于论域范围C进行处理，得到推理结果；本发明通过对数据本体进行预处理，再经过子句、赫尔布兰德解释确定论域范围后基于归结原理和逆归结原理，得到推理结果。

摘要： 本发明公开了一种可编程逻辑器件中逻辑程序下载状态的检测方法及装置，采用该技术方案，能够在可编程逻辑器件被使用前检测出逻辑程序是否成功下载。其中，逻辑程序用于为可编程逻辑器件提供运行逻辑，还用于为预设的一个或多个寄存器提供输入测试数据与输出测试结果的逻辑关系；主要检测过程包括：向一个或多个寄存器输入测试数据，并读取寄存器输出的测试结果；比较测试结果和预设的测试结果，该预设的测试结果根据逻辑程序为寄存器提供的逻辑关系以及输入的测试数据确定；若比较结果为一致，则确定该可编程逻辑器件中逻辑程序下载成功；否则，确定该可编程逻辑器件中逻辑程序下载失败。

摘要： 本发明的一种基于逻辑程序的关系型数据库搜索方法属于人工智能和计算机技术领域，包含两个步骤：第一步，首先基于分层搜索方法对搜索请求和关系型数据库进行匹配筛选处理，得到目标数据；第二步，然后将筛选后的目标数据自主映射成逻辑程序可识别的形式，即事实表，再结合所要搜索的请求和目标，生成相应的逻辑规则，并组合事实和规则进行求解。本发明提供一种动态的搜索模式，能够自主完成对数据库数据的映射及搜索，实现更人性化的查询，更好满足用户搜索需求。该方法还解决了因数据、条件、规则变更、系统维护以及数据知识推理需求的出现，普通查询无法解决的这种动态变化问题。

摘要： 本发明提出一种危化品装卸车过程对用户逻辑程序的监控系统，包括批量控制器，批量控制器设有操作屏、控制单元和IO模块，所述控制单元设有监控模块，其中IO模块，采集监控信号，IO模块将监控信号传输到监控模块；控制单元,运行装卸车用户逻辑程序，进入保护模式，控制单元设有监控模块和处理模块；监控模块，预设正常工作数据信号，监控模块判断监控信号与预设正常工作数据信号是否一致，若不一致则生成报警信号和报警内容并传输到处理模块；处理模块，在接收报警信号和报警内容后，发送报警内容到操作屏操作屏，显示报警内容。本发明有效对批量控制器用户逻辑程序的实际运行进行监控，对现场装卸车故障进行报警。

摘要： 本发明实施例提供一种光纤通道节点卡的逻辑程序升级方法及光纤通道总线设备，属于光纤总线技术领域。所述光纤通道总线设备包括：命令接收单元，用于接收升级命令；升级文件获取单元，用于根据所述升级命令，获取升级逻辑文件；总线命令生成单元，用于生成SPI总线操作命令；光纤通道节点卡，包括所述FPGA和所述Flash芯片，以及所述FPGA经由SPI总线连接至Flash芯片；其中，所述FPGA用于执行所述SPI总线操作命令，以将所述升级逻辑文件写入Flash芯片。由此，将升级逻辑文件通过上位机操作直接写入Flash芯片，而不是通过硬件JTAG线进行烧录，不需要对设备进行拆卸，不通过JTAG，就能较方便低管理光纤通道总线设备（例如军工设备）的逻辑程序的升级与管理。

摘要： 本发明公开一种基于回答集逻辑程序的LPMLN推理方法，1、首先输入LPMLN程序和推理参数，其中推理参数包括强转化参数等，然后对输入的LPMLN程序进行语法分析，从而得到输入程序的Herbrand域以及关键的语法要素；2、根据步骤一中的强转化参数判断输入的LPMLN程序是进行强转化操作还是弱转化操作，并通过强转化或弱转化方法转化为对应的回答集程序；3、调用回答集程序推理机求解步骤二中转化得到的回答集程序；4、将步骤三中通过回答集程序推理机求解输出的可能世界变换为输入LPMLN程序所对应的推理结果。本发明能够在线性时间内将输入的LPMLN程序转化为相应的回答集程序，并利用回答集程序推理机实现其推理。

摘要： 连接电机底层模块与逻辑程序的中间模块，包括上层的电机逻辑和底层模块，增加了用来连接底层模块的配置和上层的电机逻辑的独立的中间层，中间层包含了底层模块中所有电机驱动需要用到的模块，中间层的各个模块和底层模块内的模块对应。本实用新型具有以下有益效果：极易移植的电机控制程序，程序员不需要每次都要根据原理图重新配置各个寄存器和IO口这些底层操作，可以有效地缩短开发周期，提高研发效率。