系统化的机械产品计算机辅助设计（SCAD）方法的研究

通过将系统化的工程设计方法与ＣＡＤ技术相结合，提出系统化的计算机辅助设计（ＳＣＡＤ）方法。并研究了ＳＣＡＤ所包含的四个阶段－计算机辅助产品规划（ＣＡＰＲＰ）、计算机辅助概念设计（ＣＡＣＤ）、计算机辅助具体化设计（ＣＡＥＤ）和计算机辅助详细设计（ＣＡＤＤ）的一些具体实施方案，形成了ＳＣＡＤ技术的基本理论框架。     

一个关于企业管理信息系统的安全策略和安全技术

介绍一个基于ＵＮＩＸ／ＯＲＡＣＬＥ的企业管理信息系统所采用的安全策略、安全控制与技术及其在系统中的实现方法。其安全控制是通过分层分级为实现的，特别是面向最终用户的应用层，应用软件有其自身的安全控制机制。特别强调安全教育与管理是系统的一个重要方面。     

软件测试的一种数学优化方法──由Fokker Planck方程得到的Markov链算法

从数学优化角度对软件测试问题进行探索性研究，将软件测试中的结构测试问题转化为一个组合最优化问题，然后利用Ｆｏｋｋｅｒ－Ｐｌａｎｃｋ方程的离散形式而得到的Ｍａｒｋｏｖ链为基础的一个算法求解．最后给出了几个测试实例的部分数值结果。     

从平行束投影探测断面内边缘的小波方法

运用小波分析方法，从平行束射线投影探测断面内边缘。可应用于计算机断层摄影术，以降低噪声和减少投影点。     

高阶发展方程的两类显式格式的稳定性分析

对高阶发展方程Эｕ／Эｔ＝ａЭ＾２ｋ＋１ｕ／Эｘ＾２ｋ＋１给出了两类带参数ａ的三层显式差分格式，其截断误差均为Ｏ（ι＋ｈ）。稳定性分析指出：当ｋ为偶数时，它们无条件不稳定；当ｋ为奇数时，稳定条件为│Ｒ│≤ｆ（ｋ，ａ）是ａ（０≤ａ≤１０）的上升函数，但为ｋ的下降函数。例如，当ｋ＝１时，ｆ（１，３）＝０．９８７１２３，ｆ（１，１０）＝２．１５０６９０；当ｋ＝３时，ｆ（３，３）＝０．１０９１５３，ｆ（３     

高阶schrodinger方程的恒稳显式与半显式差分格式

利用加耗散项的方法，构造了高阶ｓｃｈｒｏｄｉｎｇｅｒ方程的无条件稳定的显式与半显式差分格式。     

无绳集团电话双音多频DTMF信号的实现

介绍了在无绳集团电话研制中所采用的双音多频ＤＴＭＦ信号的一种实现方法，通过软件模拟不同的单音频率，并对其按一定的采样速率取样，叠加即得到相应的双音多频ＤＴＭＦ信号。同时讨论了帝现的原理及软、硬件设计，并对结果进行了分析。     

HoNiSn的X射线粉末衍射数据

给出指标化的ＨｏＮｉＳｎ相的Ｘ射线粉末衍射数据。该化事物属正交晶系，ａ＝７．０６５８（６）Ａ，ｂ＝７．６４５５（２）Ａ，ｃ＝４．４３９６（１）Ａ。每个晶胞有４个化合式量，空间群为Ｐｎａ２１。     

Perron－Frobenius定理的一点注记

给出Ｐｅｒｒｏｎ－Ｆｒｏｂｅｎｉｕｓ关于非负矩阵的最大特征值界值估计的一个加细。     

粗集理论及其应用（三）──知识表达系统

知识表达在智能数据处理中占有十分重要的地位。本文主要讨论知识处理框架中的知识表达方法，首先介绍用数据表描述的知识表达系统及形式化定义，然后给出知识表达系统中属性的重要性概念。在文中我们还根据粗集理论讨论了决策理论中的一些基本问题和决策表简化的方法，介绍决策表的形式化定义和一些性质。