形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

亚式期权在跳扩散模型中的定价

研究了一类跳扩散模型中亚式期权的定价问题,得到了关于算术平均亚式期权的一个简单而统一的算法,并 用偏微分方程的技巧将其定价问题归结为一个与路径依赖量无关的一维积分-微分方程的求解问题.     

多变量模糊控制系统的前馈解耦

为实现多变量模糊控制系统的动态解耦，基于前馈解耦思想和神经网络理论，提出了一种多变量模糊控制系统解耦的新方法——模糊前馈解耦法,模糊控制器和解耦部分独立设计，解耦由两层神经网络实现，节点少，其活化函数采用分段线性函数．利用简化的学习算法，根据系统输出误差，在线调整网络权值，从而实现动态解耦而无需辨识被控对象的模型，该方法结构简单且计算量小，适于实时多变量过程控制，仿真证明了该方法的有效性。     

专家系统原型概述

随着计算机的发展，人工智能得到了广泛的应用，然而专家系统是人工智能领域中最广泛、最实用、最有成就的分支，专家系统主要由知识库、推理机、知识获取部分和解释接口四部分组成．如果将专家系统的内核——知识库去掉，就得到了专家系统的原型。     

Delphi中数据库的动态连接研究

现在的信息管理系统发展势头非常好，但是经常出现发布后的前台应用程序和后台的数据库连接设为静态，将系统移植到其他的计算机上就比较麻烦。于是我采用动态的方式来连接，即应用程序留出端口供用户设置，这样就比较方便了．主要介绍了用Delphi语言开发信息管理系统中应用程序和数据库的动态连接的理论基础和具体实现过程。     

中国电解二氧化锰工业的发展

分析了我国电解二氧化锰工业的过去和现状；中国电池工业的发展为电解二氧化锰工业的发展提供了机会，生产规模不断扩大，产量持续增长，新的生产工艺技术和设备不断得到运用，我国电解二氧化锰的质量已达到世界先进水平。行业的发展仍有较大空间，但行业结构有待调整。     

新疆哈密及其邻近地区史前时期铜器的检验与分析

新疆哈密及其邻近地区,是东西文化和技术交流的重要地带.对哈密及其邻近地区16处史前时期墓葬和遗址出土的234件铜器样品进行了金相检验与成分分析,并探讨了其合金成分与当地矿产的关系.     

应用霍尔传感器测量无源磁浮心脏泵转子位置

无源磁浮叶轮血泵采用一种新颖的、具有径向轴承功能和轴向弹簧功能的永磁轴承，并能结合液动力实现血泵转子稳定悬浮．无源磁浮叶轮血泵不仅保持了旋转血泵的优点，而且消除血泵内机械磨损，减少血栓和溶血的形成．作者利用实验室自制血泵转子位置测量系统，根据霍尔传感器采集的转子位置信息，定性分析了转子位置及流量、进出口压力差对转子悬浮稳定性的影响。实验结果显示：转子在旋转时与定子脱离，且磁浮稳定性不受血泵流量、进出口压差的影响；转子在静止时与定子随机接触．     

多阶段最优控制问题的最优性条件

最优控制问题的最优性条件是解决最优控制问题的主要方法之一，目前许多类型的最优控制问题的最优性条件得到解决，但在实际应用中经常遇到一类新的最优控制问题，即多阶段最优控制问题。针对一类多阶段最优控制问题，利用变分法给出该问题的最优解的必要条件。     

车用发动机噪声测试研究

采用内燃机噪声声功率级测定的工程法和简易法对湖南动力机厂的6105Q-C型车用柴油机进行了噪声声功率级的测试．测试发现，该柴油机在标定工况下的噪声声功率级为113dB(A)，已满足国际规定要求，并且低于我国中小型功率柴油机噪声限值及国内同类机型产品的噪声值．但从试验数据看，喷油泵、进气管所在端面及项面噪声辐射较显著，声压级略高；从频谱看，1000～2000Hz范围内噪声最大．本文对上述问题提出了分析与改进意见．