论句式修辞的逻辑手段

一般汉语著作和修辞学专著多半只讲到句式修辞的语法手段,句式修辞的逻辑手段则很少涉及。句式修辞的逻辑手段就是根据命题形式的等值转换进行句式变换,丰富句式修辞的内容。命题形式的等值转换主要有:直言命题的等值转换、关系命题的等值转换、负模态命题的等值转换、负直言命题的等值转换、负复合命题的等值转换、假言命题与选言命题之间的等值转换、假言命题之间的等值转换。     

基于本体的电力系统异构数据查询机制

随着电力企业信息化进程的不断推进,大量信息管理系统被应用于各种业务中,造成这些系统间存在异构数据,难以共享,甚至还存在各种语义冲突,影响数据的挖掘和分析.为此,提出了一种利用本体技术对电力企业内部的异构数据源进行融合的综合查询机制,可以有效解决电力企业内部数据源的语法和语义异构问题,把来自于各部门的多个数据源进行整合,为数据分析系统提供统一的数据查询接口.实验表明,该机制能够有效消解异构数据源之间的语义冲突,为数据集成提供基础.     

系统Z上的谓词演算

本文在非经典形式系统Ｚ（它用来刻划辩证否定的特有性质）之上，引入若干条公理，建立一个谓词演算系统ＺＱ，并把系统Ｚ的语义推广到系统ＺＱ中去。附带地，也在系统ＺＴ上建立了谓词演算系统ＺＱＴ（但ＺＱ的成立不依赖于ＺＱＴ成立与否）。     

一种潜在语义索引差异模型

通过对全局模型和局部模型的分析,提出一种新的潜在语义索引差异模型,能将类别信息反应在词项中、以医学网页为实验对象,将网页中的文本抽取出来并分别用全局模型和差异模型表示,采用SVD和SLSI降维,利用SVM算法进行分类并计算分类正确率和F1指标．实验发现：采用差异模型表示时,2种降维技术下分类正确率和F1指标较全局模型都有明显提高;同时采用差异模型和SLSI算法并不能对分类结果有更大改善     

一类波动方程解的渐近行为

研究三维空间中一类非线性波动方程解的渐近理论,在古典空间C2中得到了渐近近似解的合理性在长时间     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

CFSM模型的有限自动机语义

研究CFSM模型的自动机语义,提出了一种从CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统,利用自动机的同步性模拟CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对CFSM模型进行分析和验证奠定了基础。     

公司的利益相关者与股权保护

从性质上讲,股份公司是所有权的一种实现形式,所以我国现在公司的最重要的问题是投资者保护问题,而非利益相关者问题;相关者利益不是一个承认不承认的问题,而是一个实现方式、实现途径的问题,可以基于经济关系、企业伦理、公共关系等多角度去处理。在公司治理的方式中,股东通过董事会的监督属于事中的、过程性的监督,能够最有力地对股权进行保护。     

多种失效形式时机械零件的可靠度计算

讨论了在n个不失效判据中随机变量存在相关的条件下机械零件的可靠度计算问题,给出了相应的机械零件可靠度计算公式。计算结果表明:具有多种失效形式时机械零件的可靠度随相关系数的增大而增大。同时,给出了可靠度计算的几种方法。     

具可变输入率的M/M/n模型的常微分方程形式

针对实际中存在的排队现象：顾客在加入队列之前发现排队顾客较多而发生犹豫，从而因影响他加入队列的可能性。利用随机建模的全概率法则推导了具有可变输入率的M／M／n模型的常微分方程形式，为从理论上分析该模型动态解及其稳定性奠定了基础。