带模理论的回答集程序设计

基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架，它不仅是正规逻辑程序的一般化，对带聚合函数的ASP而言，也与SPT—PDB的回答集语义一致。经证明，当背景理论是命题逻辑时，该框架与Shen和You提出的方法一致。     

交换主理想整环上交错矩阵的距离与极大集

讨论了交换主理想整环上交错矩阵的算术距离与距离之间的关系,并用两个矩阵之间的算术距离得到了交换主理想整环上交错矩阵极大集的结构.     

非光滑B- 预不变凸优化问题的解集刻画 (运筹学与控制论)

给出了具有不等式约束的非光滑B-预不变凸优化问题的最优解集的各种刻画。首先,利用Clarke次微分建立了该优化问题最优解的充分必要条件;再讨论了该优化问题在其解集S上的一个性质:最后建立了该优化问题解集的5种等价形式,即S={x∈M〈^ξ,η(z,x)〉=0,^ξ∈cf(x)=(x∈M〈^ξ,η(z,x)〉≥0,^ξ∈cf(x)}={x∈M〈^ξ,η(x,z)〉=〈^ζ,η(z,x)〉,^ξ∈C(z),^ζ∈cf(x)}={x∈M〈^ξ,η(x,z)〉≥〈^ζ,η(z,x)〉,^ξ∈C(z),^ζ∈cf(x)}={x∈M〈^ξ,η(x,z)〉=〈^ζ,η(z,x)〉=0,^ξ∈C(z),^ζ∈cf(x)},并举例验证这5个集合都相等,为S={0}。     

基于双向投影法的概率语言多属性群决策

针对概率语言信息下的多属性群决策问题,首先基于概率语言术语集(probabilistic linguistic term sets, PLTS)的调整规则和语言尺度函数,定义了PLTS的新运算,并证明其满足代数运算的基本性质。然后,为解决现有向量模公式在下标对称语言下计算结果与实际不符的问题,提出一种改进的概率语言信息下的向量模公式。在此基础上定义方案与正、负理想解形成的向量表示式,并建立针对概率语言信息的双向投影法,由此提出新的贴近度公式。最后,通过应用算例的对比分析验证了本文所提方法的有效性和可行性。该方法充分考虑了PLTS的数据特征,在简化计算的同时避免了信息损失,为解决概率语言信息中数值差异较小的问题提供了新的方法和思路。     

Rough Sets and Three Valued Connectives Extended Abstract

<正>1 Introduction In[5]we investigated the significance of some truth-functional three valued logics of ill-known sets described by pairs of disjoint(or pairs of nested) subsets.In particular,we referred to the case of rough sets showing that if from a mathematical standpoint we obtain sound results,the interpretation with respect to     

半分离空间的等价性定理

１９６３年，Ｎ．Ｌ，ｌｅｖｉｎｅ引进了半开集的概念￣［１］，此后人们进行了大量的研究，定义了半分离空间￣［２］，给出了半分离空间与分离空间的关系，本文将讨论半分离空间的几种等价性定理．     

水轮发电机组微机在线监测系统

给出７５ＭＷ水轮发电机组二级微机在线监测系统及其硬、软件设计．本系统可对机组运行的上百个电量与非电量参数进行实时监测、数据处理、图文显示、越限声、光报警，并形成相应报表记录，这对了解机组运行工况，分析事故原因都有重要意义．     

单形上Bernstein多项式的快速求值

给出单形上Ｂｅｒｎｓｔｅｉｎ多项式求值的一种快速赋值方式，速度比ｄｅ Ｃａｓｔｅｌｊａｕ算法快一个数量级，稳定性优于Ｓｃｈｕｍａｋｅｒ方法，且乘除量也少于Ｓｃｈｕｍａｋｅｒ方法。     

解决型谱系列择优的一种新方法

型谱系列择优是一个大规模复杂系统问题。本文运用模糊数学中的相似优先比来建立型谱系列中各可能方案与单机最优方案间的模糊关系矩阵，通过取适当的人水平截集，就可找出一种既符合型谱要求、又与单机最优方案最接近的系列最优方案，为解决这类问题提供了一种比较适用、可行的方法。     

凸集投影方法在谱分析中的应用

本文讨论了POCS谱分析法。该方法可以利用任意多的非线性约束,它的基本思想是:假设对待估计谱的任何约束限定了谱在一个适当定义的闭凸集中,对于n个约束,待估计谱就在这n个闭凸集的交集中。给定到每个闭凸集上的投影算子P_i,待估计谱就可用迭代方法得到。本文给出了两个仿真例子,说明了POCS谱分析的优良性能。