基于布尔推理的极大相容块构造方法

极大相容块是非完备信息系统中的最小知识单元,在非完备信息系统的知识表示、属性约简、粒度分析及知识获取方面有重要的应用价值。提出了一种获取非完备信息系统中极大相容块的方法。通过定义的区分关系,构造了新的布尔函数,证明了极大相容块与构造的布尔公式的素蕴含之间存在一一对应的关系。因此,这种新的布尔函数可以被用来获得系统的所有极大相容块,这将有助于非完备信息系统中的知识获取。     

布尔表达式的化简与并行排序网络验证

为设计出能够验证并行排序网络正确性的有效工具,根据[0,1]原理和布尔函数的特点和性质,提出一种布尔表达式的化简算法,并根据此算法设计出验证工具.对[0,1]原理和布尔函数的特点和性质进行了讨论,指出有利于化简操作的性质.设计出的工具能够根据并行排序网络的参数显示网络图形、自动生成布尔表达式并实现化简验证,工具的输出有利于对排序网络的分析,也可以用于辅助排序网络的设计和优化.实验结果表明了该工具的有效性.     

Boolean Operations on Conic Polygons

An algorithm for Boolean operations on conic polygons is proposed.Conic polygons are polygons consisting of conic segments or bounded conics with directions.Preliminaries of Boolean operations on general polygons are presented.In our algorithm,the intersection points and the topological relationships between two conic polygons are computed.Boundaries are obtained by tracking path and selecting uncrossed boundaries following rule tables to build resulting conic polygons. We define a set of rules for the i...     

精馏过程动态机理模型建立

为了实现精馏过程的动态优化和先进控制,必须解决精确的动态数学模型的建立问题.本文介绍了精馏过程动态机理建模的方法,该模型的特点是考虑每块塔板温度、压力、汽相流量、液相流量、汽相浓度、液相浓度和持液量的动态特性,并且,利用正交配置方法离散模型方程,利用牛顿一拉夫逊方法解模型方程,研究结果表明该模型精度高,误差小于3%,适合于精馏过程的动态优化和先进控制策略研究.     

一种改进的启发式离散化算法及应用

Nguyen S.H提出的布尔逻辑和粗糙集理论相结合的离散化算法是粗糙集理论中的离散化算法在思想上的重大突破。通过定义分界点来区分Nguyen S.H离散化算法中定义的断点对决策系统的分辨关系是否有贡献,并仅取分界点集作为初始断点集,使得初始断点数目较大幅度地降低,提出了一种改进的启发式离散化算法并应用于一个实际的决策系统的连续属性离散化。应用实例表明改进算法较大程度地减小了算法空间复杂性和时间复杂性,具有正确性和实用性。     

二元关系的运算

本文给出了二元关系运算的矩阵表示,包括二元关系R和S的并运算、交运算、对称差运算、复合运算、减运算;二元关系R的补运算、逆运算、闭包运算。     

The rest stays unchanged (concurrency and state-based specification)

Pre-/postconditions have been extensively used in program specification, e.g. Z [Spi89], VDM [Jon86], and proof, e.g. Hoare logic, Dijkstra's guarded commands [DiF88]. In [ScP86, SPB90] the authors introduced neutral and central relations to formalise the concept of the rest stays the same. In this paper we abstract away from the specific definition of neutral relation given in [SPB90], through the mechanism of relational boolean algebras. This leads to the definition of implicitly central relations which are easier for the user in practical examples and facilitate the use of pre-/postcondition reasoning about truly concurrent behaviour.     

Implicit discrete-time fast terminal sliding mode control with disturbance compensation

In this paper, an implicit discrete-time fast terminal sliding mode (DFTSM) control with disturbance compensation is designed and analyzed for uncertain high-order systems. First, a recursive discrete sliding surface is constructed based on implicit Euler technique, which can completely eliminate discretization chattering so as to significantly reduce the boundary layer of sliding mode motion. With the help of a high-order disturbance compensator, the accuracy limitation of implicit DFTSM control systems is overcome by increasing the order of sliding mode. Then the finite-time convergence of implicit DFTSM is proved for the first time, and the influence relationship of control parameters on the convergence speed and control accuracy of the algorithm is established. Finally, two numerical examples are provided to demonstrate the effectiveness and superiority of the proposed design approach.     

两类非线性密码组件可重构研究与电路设计

为解决对称密码中s盒和非线性布尔函数（NBF）在实现密码专用处理器时采用异构化设计导致的资源浪费问题,提出一种类AESs盒和NBF的可重构电路结构方法。分析s盒问题中的原有非线性布尔函数模块（NBFM）,4-4、6-4的s盒电路能够提供更好的适配性,但不能很好地支持8-8的s盒电路。基于塔域分解理论,论证不同的类AESs盒电路差异在于输入前后的转换矩阵。采用混合基的方法将类AESs盒电路分解成GF （16）上的各个运算模块,并推导出模块比特级别表达式,在具体适配运算模块时采取门级实现、NBFM适配实现或对NBFM进行改进3种方案,实现类AESs盒和NBF的可重构电路。实验结果表明,该方法在不影响原有NBF功能的基础上,利用4个NBFM与22.7%的s盒电路面积即可实现一个完整的类AESs盒电路。     

On filter theory of residuated lattices

The aim of this paper is to develop the filter theory of general residuated lattices. First, we extend some particular types of filters and fuzzy filters in BL-algebras and MTL-algebras naturally to general residuated lattices, and further enumerate some relative results obtained in BL-algebras or MTL-algebras, which still hold in general residuated lattices. Next, we introduce the concepts of regular filters and fuzzy regular filters to general residuated lattices, which are two new types of filters and fuzzy filters, and derive some of their characterizations. Finally, we discuss the relations between (fuzzy) regular filters and several other special (fuzzy) filters, and also characterize some special classes of residuated lattices by filters or fuzzy filters.