基于极性的非循环术语集调试

通过定义公理中概念的极性和极性冲突,用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中,利用极性冲突作为启发信息,选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测,在一般情况下,加入极性冲突信息的极小不可满足保持子集求解策略有较高的效率。     

当妈后遗症生娃有怎样不为人知的痛

<正>生育过程中,压力性尿失禁只是冰山一角,每个妈妈都承受了常人不可忍受的痛苦,才把我们带到这个世界上。今年母亲节,Ella发了一篇微博,讲述了自己做妈妈的心路历程。尤其是产后症状对她生活质量的不良影响。由于生产过程有些困难,造成了她子宫和膀胱脱垂,使她打     

基于海姆斯言语事件构成要素理论分析《绝望主妇》

由于语言的情景语境不同，某些典型的言语事件比其他言语事件出现次数更为频繁，且更富本族语特色。经研究，美剧《绝望主妇》中出现的部分言语事件，如母亲对孩子的教导、朋友间的倾诉、发出邀请建立关系等言语事件经常出现。从戴尔·海姆斯（DellHymes）的言语事件构成素理论（SPEAKING）视角分析所选定的言语事件，可以帮助观众更客观更深刻地理解作品。     

分布式离散事件系统的安全可诊断性算法

采用有限状态自动机对分布式离散事件系统建模, 提出一种分布式离散事件系统的安全可诊断性算法. 首先, 获得系统的全局模型, 剪枝并确定系统是否可诊断. 若系统可诊断, 则构建该系统的安全诊断器, 在全局模型中添加安全标签, 判断系统是否安全可诊断. 实验结果表明: 该算法可判断分布式离散事件系统是否安全可诊断, 缩小了求解空间; 最好情况下实例状态数约缩减至7倍, 平均情况下实例状态数约缩减5.45倍.     

基于粗集理论的C3I信息融合性能评估方法

讨论了基于粗集理论的信息融合系统性能评估的理论和方法, 以C³I的应用为背景建立了信息融合性能指标体系. 给出基于粗集理论进行系统综合评估的一般步骤和确定评估指标权值的算法, 尤其是在有信息遗失情况下的信息处理方法. 同时提出一种用于多传感器信息融合性能测试与评估的系统结构, 通过软件测试的方法, 对融合算法进行测试与评估, 实现了对融合算法选择和参数选择的指导, 实验结果验证了本文方法的有效性.     

用Delphi和0racle开发会计信息系统

简要介绍会计信息系统的结构和功能，结合财政局集中支付信息系统的开发实例，探讨如何利用先进的Delphi工具和Oracle数据库开发基于三层客户机／服务器的会计信息系统．     

基于分层任务网络的一致性规划方法

给出一种求解一致性规划问题的新方法, 并给出了此求解方法的有效性分析. 在求解一致性规划问题时, 先将各个可能世界都转移到某个中间状态, 再从中间状态做一次求解. 结果表明, 该方法具有较高的效率和较好的扩展性.     

基于GIS的铁路道口安全管理与控制系统

针对铁路道口安全性问题,应用系统工程理论、远程控制理论及网络技术,在互联网络平台上,建立了基于GIS的铁路道口安全控制系统,以及时提供准确的安全管理及救援信息,实现集中管理和监控分散的道口,设计了系统的目标、功能模块组成、实现方法。实践表明,应用该系统可提高铁路道口安全管理水平,实现铁路道口安全管理与控制的信息化和自动化。     

离散事件系统故障的极小观测序列

为了提高可诊断离散事件系统故障的在线诊断效率,本文从判定故障发生的可观测事件的角度,提出了故障极小观测序列方法.文中选取有限状态自动机对离散事件系统进行建模.首先,在离线状态下,建立系统的故障模型,以排除对于判定系统故障无关的路径.然后,根据故障模型进一步建立判定系统故障的极小观测序列模型.当离散事件系统在线诊断时,仅需将逐步增加的在线观测事件序列与故障的极小观测序列模型进行比对.若能找到满足该模型的任何一条路径,则说明路径终止状态上故障标签对应的系统故障发生;否则,说明系统无故障发生.文中对可诊断离散事件系统进行实验对比,通过故障的极小观测序列模型能尽快判定有无故障发生,以及发生了哪些故障.该模型能有效地缩小系统在线诊断的时间,提高系统在线诊断的效率.     

面向对象的调度专家系统

面向对象的方法是对世界的一种模型描述，本文把面向对象的方法用于专家系统设计之中，并紧密结合制造系统调度问题，从知识获取、表示和推理三个层面进行了论述，从中可以获得面向对象的专家系统的一系列独特性质。