基于领域本体的需求获取与表示方法

提出了一种需求获取与表示方法——基于领域本体知识的需求获取与表示方法。方法的主要特点是用框架作为形式化需求的主要工具,即通过抽象需求资源的语义信息来建立表征其语义的本体模型,以增强面向对象方法的表达能力和弥补面向对象方法的知识推理能力。     

专家系统开发平台OKPS的设计与实现

采用面向对象知识表示方法描述和存贮知识 ,设计实现了一个名为 OKPS的专家系统开发平台 ,用于构造和使用专家系统 .系统由两部分组成 ,即知识获取和管理工具 ,以及面向对象推理机 .前者为知识工程师提供高效地建立、扩充和维护专家系统的工具 ,它采用面向对象知识表示方法 ,分层次地向知识工程师展示知识库的全部结构 ,采用可视化的手段辅助知识工程师构造知识库 ,同时还隐藏了知识库到数据库这一存贮映射过程的实现细节 ;后者通过人机交互界面为专家系统最终用户提供解释和执行专家系统中推理规则的机制 .此外 ,系统还引入了一种专用高级语言 :推理控制语言 ICL,用于描述和操作专家知识与规则 ,并控制推理过程     

基于管理决策问题中的异构知识集成推理研究

探讨了基于管理决策问题异构知识的集成推理及应用，在异构(混合)知识的面向对象表示的基础上，构建了一个在推理策略控制下，以元推理机为核心，四种功能推理机协调工作的推理系统。这里首先对管理决策问题中的异构知识进行定义和表示，然后阐述推理系统的各推理机的功能和推理机制。最后以企业评价决策问题为例，说明异构知识表示及其推理求解，以改善管理决策智能水平和提高问题的求解能力。     

专家系统开发平台OKPS的设计与实现

采用面向对象知识表示方法描述和存贮知识，设计实现了一个名为OKPS的专家系统开发平台，用于构造和使用专家系统。系统由两部分组成，即知识获取和管理工具，以及面向对象推理机。前者为知识工程师提供高效地建立、扩充和维护专家系统的工具，它采用面向对象知识表示方法，分层次地向知识工程师展示知识库的全部结构，采用可视化的手段辅助知识工程师构造知识库，同时还隐藏了知识库到数据库这一存贮映射过程的实现细节；后者通过人机交互界面为专家系统最终用户提供解释和执行专家系统中推理规则的机制。此外，系统还引入了一种专用高级语言；推理控制语言ICL，用于描述和操作专家知识与规则，并控制推理过程。     

面向对象的专家系统及其在油气储集层保护的智能化系统中的应用研究

本文把面向对象的方法用于专家系统的设计。文中结合石油钻井工程中油气储集层保护专家系统的设计,讨论了面向对象的知识表示及面向对象的推理实现。并介绍了其开发环境的软件实现。     

面向对象知识表示方法在摩托车设计中的应用

知识表示是建立设计专家系统的关键技术之一.针对摩托车整车总体设计的要求,研究摩托车设计的知识和经验的分类,分析了产生式规则、框架和面向对象等知识表示方法的特点,结合面向对象方法的抽象性、封装性、继承性等特性.提出了以面向对象为主、产生式规则为辅的知识表达方法,并采用面向对象封装产生式规则的方法,在C 程序语言环境下实现摩托车设计知识的表示,同时给出托车车架计的知识表示实例.     

旋转机械故障诊断的框架知识表示

专家系统的核心是知识，有效，正确的知识表示是专家系统中知识处理的最基本前提，针对旋转机械故障专家系统中的知识表示问题，作 用框架结构对其知识进行表示，并讨论了框架结构表示的推理技术和搜索技术，使旋转机械故障诊断专家系统能利用这些知识进行迅速推理并得出正确的诊断结论。文中给出了其在C＋＋语言环境下的实现方式，顺便讨论了框架知识表示与面向对象知识表示之间的关系。并在VC＋＋集成开发环境下开发出了一个知识表示的演示模型，结果说明该知识表示方式是有效的。     

可移植的自然语言生成系统中知识库的设计

从可移植的角度对自然语言生成系统中任务域处理进行了研究,结合面向对象的知识库的基本理论,从知识表示、知识获取、知识推理、知识更新等方面提出了可移植的自然语言生成系统中知识库的设计方法,并通过实验结果证明该方法是可行的.     

电站锅炉故障诊断系统的广义故障树知识表示方法

故障诊断知识表示是知识处理中最基本的一个问题,其目的在于把领域诊断专家的知识以一定的表达范式表示出来。针对电站锅炉的故障诊断问题,提出了面向对象基于框架、规则、模型与过程集成的广义故障树知识表示方法。它是在故障树的基础上,以诊断对象为中心,应用面向对象技术将多种单一的知识表示方法集成一种混合的表示形式,并给出电站锅炉系统广义故障树诊断对象描述实例。这种知识表示方法具有简洁、灵活、透明,且易于诊断推理的特点。     

面向对象知识表示在专家系统开发工具中的应用

介绍面向对象知识表示在专家系统开发工具中的应用,按照面向对象的形式定义,结合专家系统的具体特征,设计适用于专家系统开发工具的知识表示语言,利用面向对象技术的封装性、继承性等特点,使系统的代码重用、消息传递、图形化界面的实现取得了较好效果,增强了专家系统开发工具的结构化知识表示能力,有利于开发大型专家系统,面向对象方法与知识表示的结合,拓展了系统的知识表示能力,提高了专家系统开发工具的实用性。     

中卡三轴载货车制动系统的匹配设计

初步建立了中卡三轴(6×2)载货汽车的制动力学模型,在此基础上,参照相关法规及国家标准的要求,对其制动系统的主要参数及制动器进行了设计计算,并在滚筒反力式制动检验台上对车辆的制动性能进行检测。结果表明该制动力学模型能较好地模拟制动过程中制动力的分配,整车制动系统的设计是合理的,可为其他中卡车型制动系统的优化设计提供参考。     

京唐公司管线钢KR法脱硫

研究了京唐公司采用KR法进行铁水预处理生产管线钢时的脱硫率及其影响因素。结果表明：随着初始硫含量的升高,脱硫剂用量增加,铁水预处理的脱硫率越大;在硫含量相同的情况下,铁水初始温度越高,喷吹速度增加,脱硫率越高。对京唐公司采用KR法进行铁水预处理操作时的生产数据分析知,处理后铁水中硫含量小于0.002%的炉次占总处理炉次的95%以上,可满足生产需求。     

一种改进的KR模式匹配算法

在分析BF、KMP和KR等模式匹配算法的基础上提出一种改进的KR算法(IKR),在产生哈希冲突时利用双向比较法进行匹配.实验结果表明,该算法可以快速有效地进行模式匹配.     

跑台运动通过增加MicroRNA-126改善高脂饮食诱导的肥胖大鼠血运重建

目的探讨跑台运动对高脂饮食诱导的肥胖大鼠Mi RNA-126表达和骨骼肌血运重建的影响。方法 40只雄性SD大鼠笼中饲养,适应1周后,大鼠随机分为正常饮食组和高脂饮食组,高脂饮食组大鼠给予15周高脂饮食建立肥胖模型。肥胖诱导成功后,大鼠随机分为正常对照组(WT);WT+运动组(WTE);肥胖对照组(OC)和肥胖+运动组(OE)。运动组大鼠进行跑台运动,每天40 min,每周5次,共8周。结果与WT组相比,OC组大鼠比目鱼肌毛细血管稀疏。WTE组毛细血管/肌纤维比率增加约40%,OE组比率与WT组无统计学差异。与其他三组相比,OC组骨骼肌VEGF,PI3K和e NOS水平降低。OE组这些蛋白水平与WT组相似。OC组Mi RNA-126水平降低,PI3KR2水平升高。运动组(WTE和OE)Mi RNA-126表达水平升高,PI3KR2表达水平降低。结论研究结果表明,肥胖导致大鼠骨骼肌毛细血管稀疏,这可能受Mi RNA-126水平下降和PI3KR2增加的调节。运动恢复Mi RNA-126水平和VEGF信号通路。     

新钢业炼钢厂KR法铁水脱硫搅拌装置改造

攀钢(集团)西昌新钢业有限公司炼钢厂,于2007年建成一套60t铁水罐KR法铁水脱硫搅拌装置,该装置建成后,设备故障不断,设计制造厂家现场安装调试人员不能解决。为使该装置尽快投用,新钢业炼钢厂等部门技术人员联合攻关,通过对设计缺陷逐一分析,对该铁水搅拌装置和升降小车升降机构进行了彻底改造,最终取得较好使用效果。     

基于Fluent的搅拌流场模拟研究

使用Fluent对某钢厂KR脱硫搅拌工艺过程进行数值模拟,研究桨叶长度、搅拌头插入深度及转速对搅拌效果的影响。结果表明,尺寸为2B=1 300mm的长浆叶搅拌头搅拌效果较好,搅拌头插入深度为液面下800mm左右较为适宜,搅拌头转速以80～120r/min为宜。     

低碳低硅铝镇静钢（SPHC）BOF—LF—CCM的生产实践

介绍了济钢第三炼钢厂生产低碳低硅铝镇静钢（SPHC）的工艺实践。通过优化KR、BOF、CAS、LF、CCM等各工序的生产工艺,使钢水中的成分达到了精确控制;钢中夹杂物大量减少,提高了钢水的可浇性,铸坯的表面及内部质量均达到了相关要求。     

纱线捻度对针织面料服用性能的影响分析

实验以纬平针组织为研究对象,采用24tex纯棉纱线为原料,科学地选取具有一定代表性的纱线捻度值进行加捻实验,通过KH-868／KR-838型针织横机编织形成相应织物。对由不同纱线捻度值形成的针织物进行服用性能测试,包括透气性、悬垂性、起毛起球性、拉伸断裂性能,以分析不同的纱线捻度对针织面料服用舒适性能产生的重要影响。实验得出,对于S捻的24tex纯棉并捻纱线,纱线捻度值在4r／10cm时,织物的力学性能、透气性、柔软性和悬垂性等均达到较理想水平。     

斜坡堤加糙插砌条石护面消浪效果试验研究

试验研究了加糙斜坡堤插砌条石护面的消浪特性及波浪爬高。考虑了斜坡提坡度、相对水深、波坦、平面与立面加糙率等因素对波浪爬高衰减系数ＫＲ的影响。试验获得了各种因素间的相关曲线,其中以平面加糙率对波浪爬高衰减系数影响较为明显。通过理论和试验结果分析,提出了计算加糙斜坡堤波浪爬高的计算公式。     

可公开验证的UC安全签密协议

在UC框架下,基于KR模型,对签密协议进行研究.根据签密协议的安全性要求,提出签密的理想功能函数,并依此设计协议的一般化形式;随后基于UC安全的定义,通过模拟技术,证明所设计的一般化协议安全实现了理想的功能函数,即此一般化协议是UC安全的;同时,在UC框架下对所设计协议的存在性不可伪造进行讨论,利用反证法证明其安全性;最后,从一般到具体,设计了一个具体的签密协议,同样满足UC安全性.在复杂的网络环境中,UC安全的协议作为一个模块,能与其他协议组合使用,不破坏组合协议的安全性.