具有阻力特性材料的σ_f－σ关系及一种新的阻力曲线测定方法

通过对相变增韧陶瓷及一种可切削玻璃－陶瓷动态疲劳（恒应力速率）试验中高应力速率区断裂应力下降现象的理论分析，发现这种现象与材料的阻力特性（Ｒ－ｃｕｒｖｅ）密切相关。确立的σ_ｆ－σ理论关系能够很好地描述整个应力速率区间内的动态疲劳试验结果。高应力速率区σ_ｆ－σ在双对数坐标下为负斜率直线，直线斜率为（ｍ为阻力曲线ＫＲ＝ｋ（△ａ）~ｍ的指数），断裂主要由材料阻力行为控制；低应力速率区，σ_ｆ－σ在双对数坐标下为正斜率直线，直线斜率为　（ｎ为应力腐蚀指数），断裂主要由材料应力腐蚀行为控制。建立了测定材料阻力特性的一种新方法，分别用这种方法及压痕／弯曲方法对一种可切削玻璃－陶瓷的阻力特性进行了实验测定，两种方法所得结果有很好的一致性。     

一类非线性MIMO不确定系统的动态输出反馈镇定

考察其标称系统的相对阶大于{1,1,…,1}同时含匹配和非匹配不确定性的MIMO 非线性系统的动态输出反馈镇定问题.文中直接用Lyaunov方法构造一类输出反馈动态补 偿器,该补偿器可以实现对所论非线性不确定系统的动态输出反馈渐近镇定.     

矿业可持续发展理论及应用

在简要回顾我国矿业发展现状及其在环境破坏污染和资源浪费损失的基础上，提出矿业可持纽发展的概念与内涵，论述矿业可持续发展的动态２特征，并就如何实施矿业可持结发展战略进行了思考。     

R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance

Sme concepts used in knowledge base maintenace,such as sequence,new law,user‘s rejection and reconstructions of a knowledge base,are first introduced,and then a framework for extended logic programming(ELP)is given,where an extended logic program is equivalent to a knowledge base.A transition system called R-calculus for ELP is provided.For a given knowledge base and a user‘s rejection,the R-calculus for ELP will deduce best revisions of the base.The soundness and the completeness of the R-calculus for ELP are proved,and the R-calculus for ELP is implemented in Prolog.In addition,the research is compared with other relevant work.     

小型过程控制器中编程功能的实现

根据中小规模生产设备过程控制的特点,提出了生产工艺程序在过程控制器中应具有的一般形式,并详细分析如何使小型过程控制器具有编辑这种工艺程序的功能。     

证券组合的快车道问题研究

本文建立了新的证券组合最优控制模型，分析了证券市场长期投资过程中证券组合的快车道问题；提出了隐式规划的模拟退火方法，进行了快车道的仿真，这对于证券市场长期稳定运行和投资具有实际意义。     

基于微机的PUMA262机器人的离线编程系统

本文论述了一个离线编程系统开发的全过程，包括系统的设计和该软件的核心技术，ＰＵＭＡ机器人的运动学动力分析与仿真，机器人与微机的接口技术及ＮＵＲＢＳ高级曲线的路径规划方法等。     

智能机理与软计算

随着计算机科学技术,特别是人工智能及其它相关学科的发展,关于人脑智能机理的研究引起越来越多的注意。与此同时、出现了关于软计算的研究.旨在研制出高机器智商系统(High Maehine Intelli-gene。Qt,,:sen:、产tom)[,〕。本文将初步探索智能机理与软计算两者间的关系以及把它们结合起来解决问题的可能性和途径。     

Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

用强度系列成象法获取或显示高动态范围图象

提出一种适合于高动态范围图象的获取和显示的强度系列成象法。改变输入图象的强度，微机控制的图象采集系统进行记录得到一组磁盘文件，形成强度图象系列。基于记录的系列图象，可以进行信息提取、变换和显示等操作。基于获得的图象系列，提出一种剪贴操作进行快速的非线性图象变换。给出对光学功率谱处理的一个实例，它相当于进行锯齿形的非线性变换。