关于条件蕴涵的一个注记(英文)

非单调推理与条件蕴涵之间存在着紧密的联系 ,众多研究人员从不同角度对此进行了研究 ,其中 ,C.Boutili-er与 P.Lamarre证明了一些条件逻辑系统刻画的条件蕴涵可以作为非单调后承的对应物。本文基于 Friedman与Halpern提出的 PS(Plausibility space)概念 ,探讨了具有非单调特性的条件蕴涵的性质 ,刻画了可以充当非单调后承在对象语言层对应物的条件蕴涵的一般特征     

案例调整技术在固体火箭发动机总体设计中的应用

以提高固体火箭发动机(SRM)总体设计中设计经验和设计知识的重用为目的,将基于知识工程的设计方法应用于SRM总体设计。研究了SRM总体设计案例表示方式,提出了两级层次结构的案例调整模式,并针对SRM系统特点建立了SRM总体设计的因果过程模型。在此基础上,提出了SRM总体设计的案例调整框架。最后,应用该调整技术实现了具体设计实例,通过与传统总体设计比较,设计结果一致性好,证明了该技术的有效性。     

航空维修管理(1)——维修的基本原理

编者的话:《航空维修管理》是一本把维修、工程和管理等三方面内容作为一个完整的体系,提供民航维修与工程部门总体运作必要知识的教材,面向具有一定航空维修背景和经历并希望获得晋升的人士和希望获得一定技术背景的管理人员,同时也可以为想要晋升到维修管理层的机务人员和技术人员提供帮助.     

航空工业企业面向战略管理的知识管理技术平台模型

从航空工业企业的知识入手,对航空工业企业中支持战略管理的知识作了分析;论述了航空工业企业的业务信息系统、支持战略管理的知识、知识管理技术平台之间的关系.     

基于知识本体的航空发动机设计知识组织模型

依据基于知识本体的设计知识组织模型建立的设计知识仓库系统不仅能够迅速、准确地定位设计者所需的设计知识,而且能够通过系统内置的联接服务,自动关联发现相关的设计知识,实现对发动机设计活动的智能知识动态配置,从而辅助航空发动机的快速和创新设计.     

UGS——最佳PLM供应商

“国防科技工业信息技术应用标准化论坛”于2007年1月30日在北京成功举办,针对此次论坛“信息技术应用标准化问题”在国防军工领域受到普遍的关注和重视。同时多年来致力于服务军工企业客户的几家知名软件公司也应邀本加了此次论坛。他们凭借先进的产品技术和服务理念获得众多军工企业用户的认可,以论坛为途径,他们不仅向更多的军工企业展示了自己的产品平台,而且还通过此次论坛了解到军工行业信息技术的发展方向。本次论坛上“企业先锋”栏目记者特别采访了其中五家企业的负责人。     

基于知识的贝叶斯诊断网络模型建造方法

复杂系统贝叶斯诊断网络模型需要一个非常艰难的人工建造过程,而且故障样本的获得比较困难,通常面临故障样本缺乏的情况.围绕这些问题,本文提出了提取领域专家知识建造因果映射网络,转化因果映射网络为贝叶斯诊断网络的方法,并以运载火箭伺服系统关键部件伺服阀为应用对象,阐述了运用此方法建造贝叶斯诊断网络模型的关键步骤.最后,通过在单故障情况和多故障情况下的案例仿真,验证了贝叶斯诊断网络模型和模型建造方法的有效性.     

东航江苏公司以知识管理为契机，提升核心竞争力

安德鲁·卡内基说过：机构拥有的唯一不可替代的资本就是员工的知识和能力。这～资本的生产力取决于人们如何有效地将其能力与那些能够利用能力的人共享。知识资源越来越成为企业的关键资源,为企业带来竞争优势。在时空无限、信息量巨大并以比特速度变化的知识经济时代,知识管理是企业适应形势的主要手段。知识管理能通过对企业内部的知识整理和收集,知识的共享和应用以及企业文化的建设为企业带来核心竞争力。     

大型复杂装备研发成本控制专家系统

根据大型复杂装备研发周期长、耗资大、风险大的特点,引入前馈控制机制,建立了大型复杂装备研发项目成本控制专家系统的体系结构,同时以该体系结构为主体,给出专家系统的知识表示及推理机的一种实现方法,最终使得知识库和推理机得以独立实现.实现后的系统以知识库和专家系统相结合的方式对装备研发成本进行实时监控和预测,对于输入的问题,系统经过推理后给出相应的参考建议,为成本管理智能化提供可行依据.由于知识库和推理机是相对独立实现,因此该系统相对传统专家系统来说具有更好的可维护性和可靠性.     

语篇分析在听力教学中的运用

自上而下模式要求听话者运用相关的宏观知识积极解读听力信息,包括图式知识和语境知识。语篇分析离不开语篇语境,且遵守自上而下模式。本文以自上而下模式为基础,从图式知识、语篇的衔接和语篇的连贯三个方面探讨了语篇分析在听力教学中的运用。