新一代OMEST系统的研究与开发

介绍了面向对象的机械设计专家系统的组成、系统结构，知识的表示方法和推理机制，利用面向对象方法中的信息隐蔽性、数据抽象和封装及继承性，为广大用户开发机械设计专家系统提供了一个非常好的开发环境。     

面向对象的机械设计专家系统工具的研究

介绍了面向对象的机械设计专家系统开发工具ＯＭＥＳＴ的系统结构,描述了面向对象的知识表示方法,着重阐述了适用于机械设计的规则—框架—过程知识表示法,以及如何将多种知识表示融合于知识对象中,讨论了面向对象的推理机制等     

机械设计专家系统中面向对象的知识表达方法研究及应用

面向对象的知识表达方法是一种新的知识表达方法，它将规则、框架、过程等多种知识表达方法按面向对象的编程原则结合起来，组成一种混合的知识表示形式．该方法既能实现符合推理．又可进行数值计算，能满足建造机械设计专家系统的需要．本文介绍了面向对象的知识表达方法的基本结构与特点，以及在数控龙门铣变速箱结构设计专家系统中的应用．     

基于人工智能的零件配合设计方法研究

机械零件配合设计是机械设计与制造中的一项重要内容，根据专家系统的原理提出一种运用规则推理解决零件配合设计的方法，实现了知识表示与基于精确推理机制的规则推理。     

面向对象的机械设计专家系统工具的研究

介绍了面向对象的机械设计专家系统开发工具ＯＭＥＳＴ的系统结构,描述了面向对象的知识表示方法,着重阐述了适用于机械的规则－框架－过程知识表示法,以及如何将多种知识表示融合于知识对象中,讨论了对象的推理机制等。     

专家系统工具OEST及其应用

根据专家系统知识表示的特点，结合面向对象的程序设计方法，研究了用Ｃ＋＋实现的面向对象的知识表示方法，并采用该知识表示方法研制了面向对象的专家系统通用开发工具ＯＥＳＴ。利用ＯＥＳＴ建立了一个液压传动系统设计的实验原型专家系统，结果表明ＯＥＳＴ可以完成专家系统的设计。     

基于人工智能的零件配合设计方法研究

机械零件配合设计是机械设计与制造中的一项重要内容,根椐专家系统的原理提出一种运用规则推理解决零件配合设计的方法,实现了知识表示与基于精确推理机制的规则推理。     

机械设计专家系统中材料选择的模糊决策

针对机械设计过程材料的选择问题,提出了在专家系统中将设计专家知识量化,通过数值运算和模糊决策实现材料的最佳选择,该方法略去了繁琐的推理判断过程,提高了机械设计专家系统的效率.     

一个工程应用型专家系统—ADPGE

提出了工程应用型专家系统的问题，讨论了表达多种类型知识的知识表示方法，并且定义了表示方法的形式语法。研究出与这样形式语法相适应的将演绎与诱导结合的逻辑推理方法。在专家系统的结构上，提出了资源调度的系统模型。     

基于神经网络的故障诊断专家系统研究

研究了基于神经网络的故障诊断专家系统的基本原理，结构和诊断策略，探讨了基于神经网络的故障诊断专家系统在知识表示，知识获取及推理机制方面的基本方法和特点。     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

单面约束系统的微分变分原理与运动方程

研究单面约束力学系统的微分变分原理和运动方程。方法利用Ｄ＇Ａｌｅｍｂｅｒｔ原理建立Ｄ＇Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理．Ｊｏｕｒｄａｉｎ原理和Ｇａｕｓｓ原理,结果与结论得到系统的微分变分原理和带乘子的Ｅｕｌｅｒ－Ｌａｇｒａｎｇｅ形式,Ｎｉｅｌｓｅｎ形式和Ａｐｐｅｌｌ形式的运动方程。     

q-树的重构性

q 是一个正整数,所谓 q-树的图是递归定义的:最小的 q-树是完全图 K_q,一个 n+1阶的 q-树是通过在 n 阶 q-树上加上一个新点并连接这点与 n 阶 q-树中任意 q 个互相邻接的点而获得,其中 n≥q.1-树我们通常称为树.在本文中,证明了对任意正整数 q,q-树是可重构的.     

β-环糊精-毛细管区带电泳分离扑尔敏对映体

采用毛细管区带电泳模式,以β-环糊精为手性选择剂分离了药物扑尔敏的光学对映体.考察了在不同背景电解质 pH 值尤其是较低 pH 值下环糊精浓度对对映体表观淌度差的影响,并研究了有机改性剂尿素在分离中的作用.     

层状球形夹杂复合材料的弹性模量

利用层状球形夹杂在无限大基体中的局部化关系及平均应力场理论,给出了一种方法来分析含 n 种层状球形夹杂所构成复合材料的弹性模量.对于文献给出的空心玻璃球和高分子基构成的复合材料,该理论的预测与实验吻合很好.当表层稍失时,该理论退化为传统的 Mori-Tanaka平均应力场理论.     

CVD涂层硬质合金刀具的失效机理

通过系统的实验研究和理论分析,揭示了 CVD(化学气相沉积)涂层硬质合金刀具在磨损和破损状态下的不同的失效机理,并在机理分析的基础上,阐明了涂层硬质合金刀具对于切削条件的特殊适应性.     

特征关系与工艺决策

从并行工程的原理出发,提出了一个基于特征的并行 CAPP 系统.在特征建模的基础上,系统能够推理特征之间的关系,产生零件的特征向量图;利用加工知识库,通过动态规则匹配,系统可以确定特征的加工方法、加工参数及其加工顺序;通过优化确定最佳的工艺计划.