超盒粒代数系统

研究了超盒粒的表示方法、超盒粒之间的偏序关系和超盒粒之间的运算,构造由粒集、超盒粒之间的偏序关系和算子组成的代数系统,给出了超盒粒的格代数系统的相关定理及其证明。     

WBR0-代数的Pt-模和Ps-模表示

三角模和蕴涵算子是逻辑代数中的一对相互关联的基本算子,而WBR0-代数是仅以蕴涵算子为基本算子定义于一般集合上的逻辑代数。对WBR0-代数进行了再研究。给出了WBR0-代数的Pt-模（偏序集上的t-模）的表现形式;在偏序集上通过 Pt-模结合蕴涵算子给出了WBR0-代数的表示形式;证明了WBR0-代数原始定义中的二元运算[⊕]是WBR0-代数的Ps-模（偏序集上的s-模）。结果对进一步探讨WBR0-代数及其相关的逻辑代数有积极的参考价值。     

基于模糊格的超盒粒计算分类器

粒的表示、粒之间的关系和运算是粒计算的主要研究内容。利用向量表示超盒粒, 分析向量之间的偏序关 系和超盒粒之间的偏序关系的不一致性, 并引入保序函数消除该不一致性。利用格和其对偶格之间的非线性正评价函数和保序函数构造超盒粒之间模糊包含关系。为得到不同粒度的粒, 设计超盒粒之间的合并算子和分解算子, 证明由超盒粒集、超盒粒之间的模糊包含关系、合并算子、分解算子构成的代数系统是模糊格, 构造基于模糊格的超盒粒计算分类器。用机器学习数据集中的分类问题, 验证该分类器具有和模糊格推理分类器相同的推广能力并减少超盒粒的数量。     

动态系统的一致同余安全

研究动态系统的安全问题．针对动态系统运行时间配置的可变特性，引入了动态系统的进程代数模型和复杂动态系统概念，定义了动态系统的一致安全性质和一致同余安全性质．基于观察同余等价，构造了一类一致同余安全模型．本文证明，动态系统的安全性质是一致安全性质，而对于复杂动态系统，其安全性质是一致同余安全性质．     

基子粒计算的偏序粗集模型研究

本文依据标准粗糙集理论，结合粒计算思想，将基于等价关系的粗糙集模型扩展到偏序关系下，并进一步利用偏序关系的性质构造了不同分类来探讨上、下近似集，构造了基于粒计算的偏序粗集模型。模型在一定程度上扩充了标准粗集理论的应用范围，有利于人们研究生活中具有偏序关系的问题，文章结合信号传播现象阐述了其现实意义。     

基于Lukasiewicz三角模及其剩余蕴涵的模糊粗糙集

讨论基于Lukasiewicz三角模及其剩余蕴涵的模糊粗糙集模型,研究了相应模糊粗糙集的代数性质,证明了自反模糊关系下该模型中的下近似集构成一个模糊拓扑,且上、下近似算子恰为其闭包及内部算子。     

区间集上的格蕴涵代数、FI-代数、MV-代数的研究

区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵今,构造了格蕴涵代数,讨论了格蕴涵代数的一系列性质。同时在区间集上也重新定义了可换FI-代数和MV-代数,证明了格蕴涵代数、FI-代数和MV-代数3种不同的代数系统是等价的。     

概率信息流安全属性分析

以进程代数作为分析信息流安全属性的工具,将安全进程代数（SPA）扩展到概率系统,形成概率安全进程代数．使用概率安全进程代数对概率系统建模,在弱概率互拟等价的基础上,讨论了概率信息流安全属性,提出了P_PBNDC,S_PBNDC,CP_PBNDC等基于复合的不可演绎的属性,分析了这些安全属性之间的关系,并给出了一个实际的概率系统的例子．     

Grey集上的逻辑和运算算子

通过定义单位区间I的全体灰信息域上的偏序关系,给出grey集和grey关系在一个格上的定义。由单位区间上的模糊逻辑和运算算子,依据经典扩张原理构造了定义在Θ（I）上相应的grey算子。由格运算的性质导出grey关系合成运算的表示,依照模糊化算子和判决化算子的定义得出对应的grey算子。讨论有关算子的基本性质并举例说明其应用。通过对grey语义的语言值上一组运算的数学描述,旨在提高信息系统对灰信息的处理能力,将处理范围由模糊语言值拓展到基于gray语义的语言值。     

粗糙模糊集的构造与公理化方法

用构造性方法和公理化研究了粗糙模糊集．由一个一般的二元经典关系出发构造性地定义了一对对偶的粗糙模糊近似算子,讨论了粗糙模糊近似算子的性质,并且由各种类型的二元关系通过构造得到了各种类型的粗糙模糊集代数．在公理化方法中,用公理形式定义了粗糙模糊近似算子,各种类型的粗糙模糊集代数可以被各种不同的公理集所刻画．阐明了近似算子的公理集可以保证找到相应的二元经典关系,使得由关系通过构造性方法定义的粗糙模糊近似算子恰好就是用公理化定义的近似算子。     

基于Petri网的信息流安全属性的分析与验证*

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。     

面向方面程序的属性推断

为简化面向方面程序(aspect-oriented programming,AOP)的形式化验证问题,Djoko等人对aspect进行了系统的分类,并确定了每类aspect能够保持的属性.分类之一的observer指一类对基程序的变量只读不写,且不修改其控制流的aspect,这类aspect能够保持所有的不包含Next算子的安全属性和活性属性.Djoko等人的工作可以避免针对织后程序的直接验证.在Djoko等人工作的基础上,提出了一种新的aspect分类——functor,并提出了属性推断的概念.functor是一种仅在特定条件下修改基程序性质的aspect.functor的确会造成基程序已有性质的失效,但却是以一种可预测的方式.属性推断就是根据基程序已有的性质和functor的特有性质,直接推断出织后程序的性质.functor同样避免了针对织后程序的直接验证,是对Djoko等人工作的重要补充.     

TSP问题次优化求解方法的比较

针对几种次优化求解了ＴＳＰ的方法，通过计算机仿真对优化性能，时间性能，波动性进行了比较研究，并归纳出各方法的特点和适用域。对大规模网络优化问题提出了分区分层化的思路，并通过仿真说明其可行性。     

Fe2O3纳米团簇的电学性质及其在 光敏器件中的应用研究

探讨了Ｆｅ２Ｏ３纳米团簇的合成条件，结果表明，各种合成条件对钠米团簇的形貌及大小有较大的影响，对该团簇的电学性质研究发现，它具有良好的顺磁特性，并对特定的光学区域具有敏感性，同时也对某种特定的电学状态具有较好的量子特性。     

DES S-box generator

The Data Encryption Standard (DES) is a cryptographic algorithm, designed by IBM, that was selected to be the national standard in 1977 by the National Bureau of Standards. The algorithm itself was entirely published, but the design criteria were kept secret until 1994 when Coppersmith, one of the designers of DES, published them. He stated that the IBM team already knew about the attack called differential cryptanalysis during the design of the algorithm and that it had an effect on choosing the S-boxes. To be more specific, he mentioned eight design criteria that all the S-boxes of DES are based on. How the S-boxes were generated is a mystery, as the legend says this was outsourced to the NSA. Indeed, building a set of S-boxes respecting these criteria is not a trivial task.

In this article, the authors present an efficient S-box generator respecting all criteria and more. Coppersmith’s design criteria served as a basis, but were strengthened for better resistance to linear cryptanalysis. While other researchers have already proposed S-box generators for DES satisfying either non-linearity or good diffusion, our generator offers both. Moreover, apart from suggesting a new set of eight S-boxes, it can also very quickly produce a large pool of S-boxes to be used in further research.     

普通玉米杂交种淀粉的糊化和热力学性质的比较

采用实验室制取玉米淀粉的方法提取了17种普通玉米杂交种淀粉，并采用快速粘度测定仪(RVA)和差示扫描量热仪(DSC)分别分析了玉米杂交种淀粉的糊化和热力学性质。结果表明：普通玉米杂交种间RVA各参数均存在极显著差异；RVA某些参数之间、DSC某些参数间及RVA与DSC某些参数间存在显著相关性。     

企业能耗过程性质判定及能量守恒性分析

为实现工业企业能源消耗过程行为和结构特性的分析,在企业能耗过程模型的基础上,研究了与模型相关的动态性质与结构性质,并有针对性地分析了网系统的能量守恒性。为实现生产中各物质流的动态逻辑关系以及工艺流程静态拓扑结构的描述,提出了动态与静态关联矩阵的概念并分别给出定义;分别研究了与动态行为有关的动态平衡量、稳态运行区间等性质;在模型加权守恒性研究的基础上,提出了一种基于S不变量的网系统能量守恒性计算方法并延伸出对设备与产品能效的分析计算。分析表明,方法有助于实际能源消耗过程中物料平衡性、产品或原料积压以及产品能效等特性的分析与检查。     

提高小型柴油机动力性能与经济性能的措施

小型柴油机（８．８ｋＷ）是我国农村中使用数量最多的小型动力机械。由于机械的使用、磨损以及维修保养不当等原因，致使小型柴油机技术状态变差、耗油率增高。为此，提出采取措施对小型柴油机进行改造修理。本文从理论上、工艺上及其效果等方面进行了论证。     

国内外典型城市群交通网络特性对比分析*

为了研究城市群交通网络特性,运用ICN dual approach方法构建了以美国东北部大西洋沿岸城市群、日本太平洋沿岸城市群、英国伦敦为核心的城市群、长江三角城市群、京津唐城市群、珠江三角城市群等国内外典型城市群交通网络模型,使用MATLAB和VC++分别对它们的平均度、网络密度、n-聚集系数、平均最短路径、随机网络聚集系数、随机网络平均最短路径、网络结构熵、全局系数等网络特性指标进行计算和比较分析,得到以下结论:a)六个城市群交通网络都具有小世界性而不具有无标度性,一般可以推论城市群交通网络只有小世界性、不具有无标度性;b)六个城市群交通网络都存在着极少道路介数很大,对整个网络的整体性、连通性和安全性意义重大;c)六个城市群交通网络中珠江三角城市群交通网络的整体效率最高,日本太平洋沿岸城市群交通网络结构熵最小,表明其最有序。     

城市群城镇交通网络特性研究

为了研究城市群城镇交通网络特性,本文运用primal approach方法以城镇为节点,以其之间的道路为边构造长沙城镇交通网络、株洲城镇交通网络等城市群城镇交通网络模型,使用Matlab和VC++6.0分别对它们的平均度、网络密度、聚集系数、平均最短路径、随机网络聚集系数、随机网络平均最短路径、网络结构熵、全局系数等网络特性指标进行计算和比较分析,得到以下结论:(1)城市群城镇交通网络都具有小世界性,是小世界网络;(2)城市群城镇交通网络都不存在幂律特征,不存在无标度性,不是无标度网络;(3)城市群城镇交通网络都不存在指数特征,不是随机网络;(4)城市群城镇交通网络中,长株潭城市群市县交通网络整体效率最高、网络密度最大,长株潭城市群城镇交通网结构熵最小,表明其最有序。