知识库的一致性与完备性检验

本文讨论了基于知识的系统的知识库的一致性与完备性检验;给出了知识库的一致性与完备性的定义及检验方法;探讨了知识库的各种潜在问题对推理过程及结果的影响.     

不完全信息下模糊互补判断矩阵的排序方法

给出了不完全信息下的模糊互补判断矩阵及其拟一致性的定义，并研究了不完全信息下的模糊互补判断矩阵拟一致的充要条件，提出了不完全信息下模糊互补判断矩阵的最小二乘排序方法，并把它推广到群体决策的情形，最后通过一个算例说明该方法计算简洁有效．     

AHP判断矩阵排序的一种新方法

为了得到一种更适用的互反判断矩阵排序方法,根据一致性判断矩阵中任意两行对应元素之比为常数这一性质,运用约束规划模型推导出一种简便实用的判断矩阵排序的新方法。实际算例结果表明,应用该新方法得到的排序权重比传统的判断矩阵排序方法得到的排序权重的分辨率更高,且该新方法易于程序实现。     

低碳钢碳氮析出物的热力学计算

钢中的碳氮析出物通过细晶强化和析出强化方式对钢的力学性能有非常重要的作用. 基于规则溶液的双亚点阵模型(其中一个为金属亚点阵,另一个为间隙原子亚点阵)建立了碳氮化钛、氮化铝以及硫化锰的热力学计算模型用以研究析出物的析出开始温度、给定温度的奥氏体成分,并将这一结果应用于CSP过程. 经计算得Ti(CxN1-x),MnS和 AlN的析出温度分别是1 200 ℃,1 440 ℃和1 010 ℃,最大的体积分数分别为2.315×10-5,4.18×10-4和3.1×10-4. 对比发现热力学的计算结果与Thermo-Calc的计算结果和有关文献的实验数据有较好的一致性.     

高性能烧结NdFeB磁体的制备技术

采用鳞片铸锭、氢爆加气流磨制粉、脉冲场振动取向加橡皮模等静压成型等改进的技术在工业生产线上成功制造了N52高性能烧结NdFeB磁体. 用X射线衍射仪、光学金相显微镜、透射电镜和扫描电镜研究了磁体的结构;用磁强自动记录仪测量了磁体的退磁曲线. 实验结果表明,Nd29.0Pr0.5Ga0.2Fe69.1Nb0.2B1.0磁体室温磁性能达到Br=1.457 T, Hci=1 097 kA·m-1, (BH)max=409 kJ·m-3,且磁体的均匀性和一致性较好.     

排污申报控制方式的博弈分析

污染物排放总量控制是当前我国遏制环境污染的重要手段,其基础是初始排污权的合理分配,其中按比例分配法配合排污申报制度是管理部门目前采取的主要方法.该方法的采用带来了管理部门和企业之间在排污信息不对称情况下的动态博弈行为.在该博弈中,有两种控制方式可供管理部门选择,即控制排污削减总量和控制允许排污总量.Stackelberg模型是经典的完全信息动态博弈模型,基于该模型对两种控制方式下的博弈行为进行了建模和分析.以此为基础,侧重在政策的动态一致性方面,对两种控制方式进行了比较,结果是,在管理部门有信誉的情况下,前者一般不具有动态一致性,而后者总具有动态一致性,从而得出了后者优于前者的结论.     

改进的聚类算法及在复杂大群体决策中的应用

针对现有FCM聚类算法中存在的局部极值和伸缩性较差等问题,提出了基于全部最小连通支配集算法(minimum connected donating set algorithm,MCDSA)的改进的聚类算法(minimum fuggy C-means,MF-CM)。用改进的聚类算法MFCM辅助复杂大群体决策(complex huge group-decision,CHGDS),定义了群体偏好矢量和群体一致性指标,提供了一种新的解决CHGDS中群体决策的理论和方法,并通过实验证明了该方法的有效性和稳定性。还提供了基于属性加权进化的群体一致性决策机制新思路。     

地理要素多尺度表达的基本问题

地理要素的多尺度表达问题是目前GIS亟待解决的问题之一.针对国内外该领域的研究进展,探讨了多尺度表达的内涵,从多尺度空间数据库建库的角度,重点评述了GIS地理要素多尺度表达领域在形式化描述、数据结构、数据存储、智能缩放显示等方面的研究历程和现状,剖析了目前存在的目标内连、一致性维护、动态查询、协同更新等方面的学术问题,指出了未来几年内多尺度表达研究的方向和重点,对多尺度GIS的研究和开发具有一定的借鉴意义.     

科学发展观与三个代表重要思想的一致性

科学发展观与“三个代表”重要思想既一脉相承又与时俱进,在概念内涵、价值取向、理论基础、实践要求等方面都坚持了马克思主义世界观和方法论,是一致的。     

ARM926EJ-S处理器中Cache一致性问题的探讨

在基于高性能ARM 处理器的SoC结构中，Cache致性问题是系统稳定运行的潜在威胁，消除该障碍是 系统设计师必须解决的问题。介绍了ARM926EJ-S处理器内Cache的工作原理以及基于该处理器的典型SoC结 构，重点论述了产生Cache致性问题的原因，并提出具体的解决方法。相关测试表明该方法切实可行，能够有效 避免数据不一致情况的发生，已被成功应用于课题项目中。