摘要：Good access to traffic information provides enormous potential for automotive powertrain *** propose a logical control approach for the gearshift strategy,aimed at improving the fuel efficiency of *** driver power demand in a specific position usually exhibits stochastic features and can be statistically analyzed in accordance with historical driving data and instant traffic conditions;therefore,it offers opportunities for the design of a gearshift control *** to the discrete characteristics of a gearshift,the control design of the gearshift strategy can be formulated under a logic system *** this end,vehicle dynamics are discretized with several logic states,and then modeled as a logic system with the Markov process *** fuel optimization problem is constructed as a receding-horizon optimal control problem under the logic system framework,and a dynamic programming algorithm with algebraic operations is applied to determine the optimal strategy *** results demonstrate that the proposed control design has better potential for fuel efficiency improvement than the conventional method.

摘要：Argumentation (abduction) is widely applied in artificial intelligence (AI) and law reasoning. However, the problem of how to perform argumentation in disjunctive logic programming (DLP) is still *** addition, a unifying semantic framework is required for incorporating various semantics for DLP. An argumentation-theoretic framework for DLP by taking the disjuncts of negative literals as abducibles is presented. This semantics not only is a simple and intuitive framework for performing argumentation and abduction in DLP, but also provides a unifying framework for many key semantics of disjunctive logic programs. In particular, it is shown that the EGCWA, well-founded model and disjunctive stable models can all be embedded into this semantics.

摘要：Smart grid design and structures are somehow depending on the way of designing and operating Microgrids. In this research a unique design of microgrid is proposed as in medium tension isolated power distribution system contains diesel generation unit and photovoltaic generation. Storage system is a part of the control strategy to reduce the diesel usage and to maintain the balance between generation and demand which might be disturbed due to the presence of PV system. Fuzzy logic control scheme has been chosen compared with conventional controller to be the main controller for both the diesel unit and storage system. Promising result has been found by digital simulation using Matlab Simulink proving the possibility of reducing the dependency on fossil fueled generators and increase the utilization of renewable energy.

摘要：Nowadays, application model systems for decision-making based on non-classical logic such as Paraconsistent logic are used successfully in the treatment of uncertainties. The method presented in this paper is based on the fundamental concepts of Paraconsistent Annotated logic with annotation of 2 values (PAL2v). In this study, two algorithms based on PAL2v are presented gradually, to extract the effects of the contradiction in signals of information from a database of uncertain knowledge. The Paraconsistent Extractors Algorithms of Contradiction Effect-Para Extrctr is applied to filters of networks of analyses (PANets) of signal information, where uncertain and contradictory signals may be found. Software test case scenarios are subordinated to an application model of Paraconsistent decision-making, which provides an analysis using Paraconsistent logic in the treatment of uncertainties for design software testing strategies. This quality-quantity criterion to evaluate the software product quality is based on the characteristics of software testability analysis. The Para consistent reasoning application model system presented in this case study, reveals itself to be more efficient than the traditional methods because it has the potential to offer an appropriate treatment to different originally contradicting source information.

摘要：汽车音响的使用,已经成为大众与音响接触最为普遍与方便的方式之一了。在车厢中为得到理想的听音效果,在基于虚拟环绕声技术之上,由杜比实验室开发的Pro logicⅡ与莱斯康公司开发的logic 7系统相继推出了各自汽车音响系统解决方案。以两者为例,浅述了Pro logicⅡ与logic 7的由来、原理及各自的技术特点。

摘要：logic SQL数据库是自主研制基于linux的高安全级别安全数据库,本文对logic SQL安全数据库的B2级安全机制的研究与设计,从标识与认证机制、访问控制机制、审计机制、加密机制、三权分立机制、客体重用保护机制等方面进行研究.并展望下一阶段logic SQL的B2级安全机制的实现还需要进行的研究.

摘要：基于PLCopen标准,结合PLC(可编程逻辑控制器)编程和运动控制编程,设计并实现了一种运动控制器.此运动控制器采用PLCopen标准定义的功能块模块模型,一方面达到了PLCopen标准定义的运动控制要求,另一方面实现了运动控制器的图形化编程模式.为了满足PLCopen定义的功能块模式的变换,在研究PLCopen标准定义的模块间关系基础上,设计了一种打断锁,通过对打断锁的操作,实现了PLCopen标准定义的模块间不同模式的交互方式.最后,在基于Beremiz开源开发平台上,以单轴模块验证了运动控制系统的可行性.

摘要：为了构建一套数字化核测量系统,设计并实现了一种适用于阻容反馈式和开关复位式核探测器的前端控制器。导出了辐射计数率n、输入信号幅度Vin、后续ADC变换量程?V及线性放大倍数A之间的数量关系;通过CPLD(Complex Programmable logic Device)对数字电位器的控制来实现增益的分段调节;通过碲锌镉探测器的不同增益下的测量实验验证了设计的可行性。

摘要：针对工程实践中造纸机PLC控制程序存在设计效率低、通用性不强等特点,提出运用软件工程方法对其进行标准化设计。通过分析造纸机多分部传动控制的特点,采用结构化方法进行需求分析和程序设计。实践验证,该方法应用在造纸机上是可行的,且能提高程序的设计效率和通用性。软件工程的软件设计方法在工业控制领域的应用具有很好的前景。

摘要：可编程逻辑器件(Programmable logic Device,简称PLD)是20世纪70年代发展起来的一种新型逻辑器件,它是现代数字电子系统向超高集成度、超低功耗、超小型封装和专用化方向发展的重要基础。它的应用和发展不仅简化了电路设计,降低了成本,提高了系统的可靠性和保密性,而且给数字系统的设计方法带来了革命性的变化。CPLD(Complex Programmable logic Device),即复杂可编程逻辑器件,它是20世纪90年代初期出现的EPLD改进器件。同EPLD相比,CPLD增加了内部连线,对逻辑宏单元和I/O单元也有重大的改进。Xilinx是世界上最大的可编程逻辑器件供应商之一,FPGA的发明者。产品种类较全,主要有:XC9500/4000,Coolrunner(XPLA3),Spartan,Vertex。在本文中,我们将通过对CPLD的发展、结构、应用和设计等方面的认知,了解CPLD的基本原理,并设计出CPLD脱机编程写入器的电路图。