模态逻辑系统S5中的范式定理及其在知识系统中的应用

研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法.作为范式定理的应用,讨论了知识库中的一个基本问题,证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题.     

主范式的运算性质

文[6]研究了极大项、极小项的运算性质,本文研究公式的主范式的运算,给出求A,A ∨ B,A ∧ B,A→B,AB的主范式的公式,由此可用程序化的方法求任意公式的主范式。     

逻辑方程和逻辑方程组的解法

首先给出了一类线性逻辑方程组的解法,然后通过主和取范式把F(x1,x2,…,xn)=1、F(x1,x2,…,xn)=0,F(x1,x2,…,xn)=G(x1,x2,…,xn)等类型的逻辑方程转化为线性逻辑方程组求解,最后给出了任意逻辑方程组的求解方法.     

离散数学中的一个充要条件

为了化简主范式的求解过程，该文给出了一个充要条件。     

命题公式主范式的自动生成与形式输出

在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出.     

极小项与极大项的运算性质

研究了极小项、极大项的运算性质，给出了一组运算公式，利用这些运算公式可以使求命题公式的主范式运算更简洁。     

主成分分析法在商业银行绩效评价中的应用

目前商业银行的绩效评价体系存在一些缺陷,主要表现在评价指标过多,指标具有明显的相关性,指标权重赋值具有明显的主观性和固定性,指标体系缺乏动态性等。本文在传统绩效评价的基础上,引入主成分分析方法,旨在利用主成分方析,对原评价体系进行简化指标,客观赋值和动态评价的优化。     

硬盘主引导扇区软故障浅析

本文简析了硬盘主引导扇区的结构、硬盘的引导过程以及主引导扇区损坏引起的软故障,并对调用BIOS磁盘I/O中断进行维护的简单方法进行了介绍。     

任意角度应变花主应变与主方向的计算机方法

在结构试验中采集到的成百上千个已知任意角度应变花的读数，可用本文编写析计算机程序确定其主应变、主应力及主方向，从而替代了科研人员大量的手工计算，既省时省力，又减少差错。文中给出用QBasic编写的源程序AASPP．BAS和算例，满足科研人员对原始数据物理量进行整理换算的需要。     

基于主成分分析和Fisher准则的脑电信号分类

脑-机接口(brain-computer interaction,BCI)利用脑电信号实现人脑与计算机或其它电子设备的通讯和控制,P300拼写范式是脑机接口中的一种常用方法.将遗传算法和支持向量机用于脑电信号的分类.选取三个实验者的实验数据作为处理对象,采用主成分分析和Fisher准则相结合提取特征.在用主成分分析降维后,Fisher准则进一步提取有效特征,提升分类准确率.采用支持向量机对特征数据分类.Fisher准则在特征提取中具有良好的效果.     

一般非线性控制系统的零动态与弱正则标准形

将零动态分为几种类型,运用泛函分析等工具,研究了一般非线性系统与其作为仿射非线性系统的伴随系统的零动态之间的关系．结果表明,两者之间存在密切关系．通过这些联系,并利用仿射非线性系统的已有结果得到了一般非线性系统的弱正则标准形,从而简化对输出跟踪等一些问题的处理．     

s~A的矩阵范数的一些性质

要 :设A是d×d阶实矩阵 ,s>0 ,t∈R。利用矩阵A的特征值 ,给出了矩阵sA 和etA 的一些范数不等式及范数极限等式 ,并且给出了矩阵sA 和etA 对应的行列式值与矩阵A的特征值的关系     

关于一般方阵的特征值扰动估计的一点注记

主要是考虑一般方阵的特征值扰动问题．对Kahan，Parlen，蒋尔雄的结果中的扰动上界进行了改进，从而得到一般方阵的特征值的扰动结果．此结果在一定程度上优于已知结果．最后给出了一些推论．     

浅谈现代建设工程造价管理

现代建设工程投资巨大，工期较长，直接影响国民经济的发展，因此管理好工程造价势在必行。针对建设单位，应用“运筹学”和“系统论”的方法介绍建设各阶段造价管理的一些方法和措施，力求使建设项目发挥最大的经济效益。     

关于矩阵范数的几个问题

矩阵算子范数和矩阵酉不变范数是两大类矩阵范数。它们既有区别又有联系。本文首先讨论了一个矩阵范数‖·‖既是算子范数又是酉不变范数的条件。另外，文[4]中在讨论正规矩阵谱变分问题时，用到单调范数和单调酉不变范数的概念。本文证明了，只有F－范数是单调的酉不变范数。另外，在所有的p－范数中，只有1－范数和∞－范数是单调范数。     

格上三角模及其构造方法

首先引进格上三角模的概念，给出7个格上三角模的具体模型。研究了格上三角模的基本性质，并给出了构造格上三角模的一般方法。     

关于实四元数方阵数值半径的注记

文[1]给出了实四元数方阵数值半径的概念和一些不等式。文[2]给出了数值半径幂的不等式,C—数值半径所满足的不等式。本文在[1]与[2]的基础上研究了数值半径,矩阵的谱范数和矩阵范数之间的关系,又给出了一些新的不等式。有些不等式在复矩阵理论中也是新的。     

关于实四元数矩阵数值半径的综述(续)

对实四元数矩阵的数值半径做了综述研究 ,对某些已知结果给出了新的证明。所研究的内容只涉及作者过去几年所做的工作     

矩阵方程X~s+A~*X~(-t)A=I的Hermite正定解注记

考虑非线性矩阵方程Xs+A*X-tA=I,其中A是n阶非奇异复矩阵,I是n阶单位矩阵.讨论了该矩阵方程Hermite正定解的特性,改进了以往相应的结论.     

一类关于矩阵范数的不等式及其应用

给出了2种常用的矩阵范数，得出了几个重要的不等式，并讨论了矩阵范数在优化领域中的应用．