基于T-S模糊逻辑的混合储能孤岛直流微电网功率分配控制

在含混合储能的直流微电网中,传统阻容下垂控制无法解决由线路电阻和负荷功率波动导致的系统功率分配失衡问题。为此,提出一种基于Takagi-Sugeno(T-S)模糊逻辑的自适应阻容下垂控制方法以实现混合储能的分频分配。根据蓄电池和超级电容的物理特性,建立单个蓄电池支路输出电压、蓄电池组间输出功率差额和阻性下垂系数之间的T-S模糊逻辑关系,以及单个超级电容支路输出功率及其变化率、超级电容组间功率差额和容性下垂系数之间的T-S模糊逻辑关系,并由此构建基于T-S模糊逻辑的阻容下垂控制器。推导含混合储能的直流微电网中各部分的平均阻抗模型,并采用阻抗比分析法对微电网的小信号稳定性进行研究。MATLAB/Simulink仿真结果表明,基于T-S模糊逻辑的阻容下垂控制可保证在线路电阻和负荷功率波动情况下系统功率的合理分配。

基于Hoare逻辑的密码软件形式化验证系统

在Hoare逻辑理论和ACSL语法规范的基础上,设计一种针对密码软件的形式化验证系统,由程序规范、验证推理规则、可靠性策略、验证推理等模块组成。以OpenSSL中RC4算法的软件实现为例,对其功能正确性、保险性和信息流安全性进行验证,结果表明,该系统具有较高的自动化水平,可在一定程度上降低形式化验证方法的复杂度。

一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．

用Hoare逻辑验证程序的一般方法及实例

本文引用一个简单的语言说明如何验证一个程序的正确性，并且给出一个实例来进行验证，并指明了今后的研究方向。

[α_1,α_2]1-概率拟Hoare逻辑及其可靠性证明

基于C.A.R.Hoare提出的Hoare逻辑,给出了[α_1,α_2]1-概率拟Hoare逻辑,并证明了其可靠性。

概率拟Hoare逻辑

基于Hoare逻辑,给出了概率拟Hoare逻辑,用于刻画程序执行的正确度,定量地描述理论与程序(或软件)实际执行之间的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实际执行时出错的可能性,以及解释正确度很高的两个程序串行复合之后的整体正确度可能并不高等问题。

基于Hoare逻辑的过程调用的形式化方法

采用Hoare逻辑风格的推理,提出了一些从源代码推导过程和这些过程调用的形式化语义规范的技术和算法。为了推导一个过程调用的语义,将过程看作一个抽象单元从程序分离出来,提取过程的形式化语义规范。对于一个具体的过程调用,形式化这个调用的前置条件,根据这些条件形式化求解调用的最强后置条件,也就是调用的语义作用。

Mediative Sugeno’s-TSK Fuzzy Logic Based Screening Analysis to Diagnosis of Heart Disease

Fuzzy logic is an approach which deals with the incomplete information to handle the imperfect knowledge. In the present research paper we have proposed a new approach that can handle the imperfect knowledge, in a broader way that we will consider the unfavourable case also as the intuitionistic fuzzy logic does. The mediative fuzzy logic is an extensive approach of intuitionistic fuzzy logic, which provides a solution, when there is a contradiction in the expert knowledge for favourable as well as unfavourable cases. The purpose of the present paper is to design a mediative fuzzy inference system based Sugeno-TSK model for the diagnosis of heart disease. Our proposed method is the extension of Sugeno-TSK fuzzy logic controller in the form of Sugeno-TSK mediative fuzzy logic controller.

A measurable refinement method of design and verification for micro-kernel operating systems in communication network

A secure operating system in the communication network can provide the stable working environment,which ensures that the user information is not stolen.The micro-kernel operating system in the communication network retains the core functions in the kernel,and unnecessary tasks are implemented by calling external processes.Due to the small amount of code,the micro-kernel architecture has high reliability and scalability.Taking the microkernel operating system in the communication network prototype VSOS as an example,we employ the objdump tool to disassemble the system source code and get the assembly layer code.On this basis,we apply the Isabelle/HOL,a formal verification tool,to model the system prototype.By referring to the mathematical model of finite automata and taking the process scheduling module as an example,the security verification based on the assembly language layer is developed.Based on the Hoare logic theory,each assembly statement of the module is verified in turn.The verification results show that the scheduling module of VSOS has good functional security,and also show the feasibility of the refinement framework.

Theoretical design of single-molecule NOR and XNOR logic gates by using transition metal dibenzotetraaza[14]annulenes

The idea of replacing traditional silicon-based electronic components with the ones assembled by organic molecules to further scale down the electric circuits has been attracting extensive research focuses.Among the molecularly assembled components,the design of molecular logic gates with simple structure and high Boolean computing speed remains a great challenge.Here,by using the state-of-the-art nonequilibrium Green’s function theory in conjugation with first-principles method,the spin transport properties of single-molecule junctions comprised of two serially connected transition metal dibenzotetraaza[14]annulenes(TM(DBTAA),TM=Fe,Co)sandwiched between two single-walled carbon nanotube electrodes are theoretically investigated.The numerical results show a close dependence of the spin-resolved current-voltage characteristics on spin configurations between the left and right molecular kernels and the kind of TM atom in TM(DBTAA)molecule.By taking advantage of spin degree of freedom of electrons,NOR or XNOR Boolean logic gates can be realized in Fe(DBTAA)and Co(DBTAA)junctions depending on the definitions of input and output signals.This work proposes a new kind of molecular logic gates and hence is helpful for further miniaturization of the electric circuits.

Formal Semantics of OWL-S with Rewrite Logic

SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Although OWL-S has given semantics to concepts by ontology technology, it gives no semantics to control-flow and data-flow. This paper presents a formal semantics framework for OWL-S sub-set, including its abstraction, syntax, static and dynamic seman-tics by rewrite logic. Details of a consistent transformation from OWL-S SOS of control-flow to corresponding rules and equations, and dataflow semantics including “Precondition”, “Result” and “Binding” etc. are explained. This paper provides a possibility for formal verification and reliability evaluation of software based on SOA.

The Action Logic of China's Human Rights Development in Three Dimensions

Building a moderately prosperous society in all respects is a milestone in China’s human rights development.It clearly reflects the profound action logic of the CpC leading the Chinese people to fight for and realize the protection of rights.At the level of values,the logic of rights for China’s human rights development is mainly manifested in four aspects:prioritizing the right to subsistence and the right to development in the rights system;importance given to citizenship and democracy by the goal of building a moderately prosperously society in all respects;advocating the right to unity and the right to participate in the common cause of the Chinese people;implementing the responsibility of leaders and managers to safeguard human rights.At the practical level,the protection logic of China’s human rights development mainly includes four links:firstly,gradual upgrading is a reliable procedure for the coordination of the human rights system;secondly,the rule of law is a solid foundation for the steady development of human rights;thirdly,the courage to explore is the important factor for the success of human rights practice;lastly,seeking common ground while shelving differences is the key consensus for mutual learning among human rights civilizations.In terms of time and space,China’s human rights development has achieved world-recognized success,laying a solid foundation for this endeavor to proceed,and providing experience and reference for people all over the world to pursue common human rights ideals.

The Physical Laws and Mathematical Axioms of the Brain’s OS and the Traditional Fundamental Laws of Thought of Logic and Philosophy

This article presents four (4) additions to a book on the brain’s OS published by SciRP in 2015 [1]. It is a kind of appendix to the book. Some familiarity with the earlier book is presupposed. The book itself proposes a complete physical and mathematical blueprint of the brain’s OS. A first addition to the book (see Chapters 5 to 10 below) concerns the relation between the afore-mentioned blueprint and the more than 2000-year-old so-called fundamental laws of thought of logic and philosophy, which came to be viewed as being three (3) in number, namely the laws of 1) Identity, 2) Contradiction, and 3) the Excluded Middle. The blueprint and the laws cannot both be the final foundation of the brain’s OS. The design of the present paper is to interpret the laws in strictly mathematical terms in light of the blueprint. This addition constitutes the bulk of the present article. Chapters 5 to 8 set the stage. Chapters 9 and 10 present a detailed mathematical analysis of the laws. A second addition to the book (Chapter 11) concerns the distinction between the laws and the axioms of the brain’s OS. Laws are part of physics. Axioms are part of mathematics. Since the theory of the brain’s OS involves both physics and mathematics, it exhibits both laws and axioms. A third addition (Chapter 12) to the book involves an additional flavor of digitality in the brain’s OS. In the book, there are five (5). But brain chemistry requires a sixth. It will be called Existence Digitality. A fourth addition (Chapter 13) concerns reflections on the role of imagination in theories of physics in light of the ignorance of deeper causes. Chapters 1 to 4 present preliminary matter, for the most part a brief survey of general concepts derived from what is in the book [1]. Some historical notes are gathered at the end in Chapter 14.

LSI Logic宣布推出半高SATA Ⅱ 3Gb／s MegaRAID适配器

LSILogic近日向渠道发布了其半高SATAⅡ3Gb／s MegaRAID适配器。该半高适配器是MegaRAID家族中的最新产品，是那些对成本较敏感、存储环境空间较小的用户的理想之选。MegaRAID SATA 300—8XLP适配器提供一个133MHz的PCI-X主机接口，配有8个SATAII的端口，板载128MB的DDRI缓冲存储器。该适配器可完全向后兼容所有的SATA Ⅰ 1．5Gb／s驱动器，并支持所有的SATA2．5修订版的规范。

网格化治理的实践逻辑——以S县为例

基层是社会治理最深厚的支撑点和最基础的单元。网格化治理为基层创新提供了有效治理手段和治理工具。通过对安徽省S县网格化治理实践的个案观察,以内容分析法对该县网格化治理的文本资料进行挖掘发现,S县的网格化治理呈现以双向嵌入重构科层结构、以需求导向形成治理议题、以技术赋能整合条块资源、以双向动员撬动治理力量、以制度为基保障治理效能的特点。基层网格化治理形成两条实践路径,即自上而下的党政统合引领和自下而上吸纳社会力量并嵌入网格实现共治,通过技术赋能实现上下两条路径的有效整合。

马克思共同体思想视域下中国式现代化的逻辑意蕴研究

在中国共产党的带领下,中国在现代化实践中合理处理人与自然、个人与社会、国家与世界的关系,绘就更高历史位阶的社会主义文明图景与和平共享的世界文明图景,开辟人类现代文明新境界,为创造人类文明新形态贡献中国力量。基于马克思共同体思想,分析中国式现代化化解西方现代化悖论的实践维度和拓展世界现代化道路的理论维度,探索中国式现代化的创新意义。

T-S模糊故障树重要度分析方法

传统部件重要度分析方法建立在布尔逻辑门的基础上,需要精确已知部件之间的联系,并且不能全面考虑部件所有状态及部件之间的联系对多状态系统可靠性的影响。针对上述问题,首先通过给出传统二态、多态逻辑门的T-S门规则形式,验证了T-S模糊故障树分析方法的可行性,进而将传统二态和多态部件重要度分析方法推广到T-S模糊故障树中,提出了T-S重要度概念及其计算方法,包括T-S结构、概率及关键重要度。然后,与传统部件重要度分析方法进行算例对比与分析,验证方法的可行性。最后,给出了液压系统T-S模糊故障树分析及其重要度计算实例。

T-S模糊故障树分析方法

提出一种新的T-S模糊故障树分析方法,该方法将模糊逻辑和T-S模糊模型引入到故障树分析中,使故障树具有处理模糊信息的能力.T-S模糊故障树分析中不需要精确了解部件的故障概率,也不需要精确了解故障的机理,从而解决了系统的事件和故障机理的不确定性问题.最后给出了INS/GPS组合导航系统可靠性分析实例.

一种有效缩减AES算法S盒面积的组合逻辑优化设计

通过对AES算法S盒构造原理的研究,利用其中仿射变换的系数具有循环移位的周期性特点对电路结构进行改进,提出一种面积优化的AES算法S盒组合逻辑电路设计方法.该方法基于流水线技术,采用倍频复用的电路结构,较传统结构减少了逻辑资源的使用.经过EDA工具综合仿真和实际系统验证,该方法比Wolkerstorfer和Satoh的S盒有限域实现的硬件规模分别缩减了47.53%和41.49%,比Morioka的S盒真值表实现的硬件规模缩减了21.43%.该设计方案已成功用于一种基于FPGA实现的密码专用处理器设计中.

基于模糊逻辑和D-S证据理论的一种态势估计方法

战场态势分析是指挥决策的基础 ,如何进行合理的态势估计是C4ISR数据融合系统中的一个重要环节。分析了态势估计问题的本质特征和推理模式 ,提出了一种基于模糊逻辑和D -S证据理论的综合推理方法 ,并构造了一个对战场态势进行分析、推理和预测的求解模型。该模型能够通过融合推理得到态势假设和事件之间的潜在关系 ,为决策提供依据。