MOBIUS变换与GCD函数矩阵（II）

本文作为ＭＯＢＩＵＳ变换与ＧＣＤ函数矩阵（Ｉ）的续篇，继续讨论在ＧＣＤ闭集上的函数矩阵（ｆ（Ｓ））及其行列式的计算方法，特别是我们用组合学的方法，求得了定义在集Ｓ上的Ｍｏｂｉｕｓ矩阵，它推广了数论中的Ｍｏｂｉｕｓ函数μ。从而求得了（ｆ（Ｓ））的逆矩阵。     

一种共用定位销的多工序夹具布局优化设计准则

针对多工序装配过程中一种共用定位销的夹具布局优化设计问题,提出了一种设计计算准则.首先,由状态空间方程推导出用于描述多工序装配过程单一零件尺寸偏差状态传递和累积的状态空间模型.之后,采用数学公式推导和统计学方法由该模型得到了用于描述关键产品特征平移偏差和角位移偏差间关系的协方差矩阵.依据该矩阵的统计学意义,提取矩阵的迹作为夹具布局优化设计计算准则.采用一四工序的装配实例,由交换算法进行验证.结果表明,与传统设计准则相比,所提出的夹具布局优化设计准则使用点的平面欧式距离计算代替了复杂的高维矩阵计算,不仅和传统设计准则同样有效,而且计算效率更高,节约了计算成本.     

图形LOTOS和Petri同模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．     

并行逻辑语言PARLOG顺序编译系统的设计

ＰＡＲＬＯＧ语言是一种适合于并行逻辑程序设计的语言，广泛应用于人工智能及并行处理等领域。从 ＰＡＲＬＯＧ的语义描述出发．结合与／或树计算模型及进程调度算法．介绍了 ＳＵＮ工作站上设计实现的一个实用的并行逻辑设计环境——ＰＡＲＬＯＧ顺序编译系统（ＰＳＣＳ）。该系统采用中间抽象机结构．以Ｃ语言为目标语言，不仅具有高效率的执行代码．而且易于移植。     

图形LOTOS和Peteri网模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具，用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网，该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ，根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单，这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ     

流体动力学模型中流密度方程的二维CAD离散方法

本文系统分析了用于流密度方程有限差分离散的ＳＧ和ＯＡＤ方法,完善了适合于二维非均匀网格系统的流线ＳＧ方法,在此基础上,提出了适合流体动力学模型中流密度方程离散的二维ＯＡＤ方法,简单的数值实验表明,ＯＡＤ离散方法不仅能够解决数值计算是风扩散效应,而且还能大幅度地提高计算过程的收敛速度。     

流体动力学模型中流密度方程的二维OAD离散方法

本文系统分析了用于流密度方程有限差分离散的ＳＧ和ＯＡＤ方法,完善了适合于二维非均匀网格系统的流线ＳＧ方法．在此基础上,提出了适合流体动力学模型中流密度方程离散的二维ＯＡＤ方法．简单的数值实验表明,ＯＡＤ 离散方法不仅能够解决数值计算中存在的侧风扩散效应,而且还能大幅度地提高计算过程的收敛速度     

块对称加速超松弛迭代法及其收敛性

给出了解线性代数方程组Ａｘ＝ｂ的一个新的迭代算法模型——块对称加速超松弛迭代法（ＢＳＡＯＲ迭代法），并在系数矩阵Ａ为块Ｈ－矩阵的条件下，证明了该模型的收敛性．在该模型中，对参数取特殊值可得到块对称Ｇａｕｓｓ－Ｓｅｉｄｅｌ迭代法和块对称ＳＯＲ迭代法等常用的块对称迭代算法，并且还可产生许多新的块对称迭代法．即事实上建立了块对称迭代法的一般性收敛理论．     

时态数据库系统设计中的时间因素处理

分析了数据处理中的３种时间及处理方法，讨论了ＴＤＢ的离散时间模型，时间粒度，时制与历法，引入了变粒度时间轴同步矩阵、时段－位移表达式及其物理存储格式等概念，通过与ＯＳ及ＤＢＭＳ的传统格式比较，表明这种表达方式有良好的时空效率，跨度与精度表达能力和运算效率。     

金属溶剂萃取的热力学研究(Ⅱ)——(C_7H_15)_2SO—C_6H_4(CH_3)_2-UO_2(NO_3)_2·2(C_7H_15)_2SO—H_2O四组分体系活度系数计算的研究

本文将论文（１）中所采用的估算金属溶剂萃取体系中三组分有机相活度系数的热力学方法成功地推广应用于四组分有机相。实验及计算结果表明，Ｓｃｔａｃｈａｒｄ－Ｈｉｌｄｅｂｒａｎｄ模型和Ｇｕｇｇｅｎｈｅｉｍ似晶格模型（不考虑熵修正）两者均可用于（Ｃ_7Ｈ_15）_2ＳＯ—Ｃ_6Ｈ_4（ＣＨ_3）_2－ＵＯ_2（ＮＯ_3）_2·２（Ｃ_7Ｈ_15）_2ＳＯ—Ｈ_2Ｏ萃取体系中有机相活度系数的计算。     

生成矩阵与灰色预测

累加生成与累减生成是灰色数据处理的主要手段，常用的有阶和二阶累加生成。对高阶ｍ－ＡＧＯ及其逆运算ｍ－ＩＡＧＯ，本文给出了相应的生成矩阵，进而证明了累加生成灰指数律，最后分析了高阶灰色预测所导致的误差。     

齿轮连杆机构结构拓扑特征和自动生成方法探讨

对齿轮连杆机构的结构拓扑特征进行了研究，探讨了ＮＧＬＫＣ、ＷＧＬＫＣ和ＧＬＭ的图及矩阵表达方法．提出了通过依附矩阵、模块矩阵和耦合矩阵的迭加运算进行ＮＧＬＫＣ计算机自动生成的思想     

SO_2与二烯烃的光化学反应

用ＧＣ和ＧＣ／ＭＳ法研究了ＳＯ＿２，与１，３－丁二烯和１，３－戊二烯在无氧以及有氧体系中的光化学反应。确定了主要反应物，研究了体系的动力学，探讨了部分产物的生成机制。     

MIS二维报表自动生成工具的设计与实现

提出了一种用于管理系统（ＭＩＳ）的二维报表方法，它根据抽象描述自动生成并具有全屏幕编辑功能，且阐述了软件自动生成工具的设计思路与实现方法，此软件工具面向ＯＲＡ－ＣＬＥ，ＤＢＡＳＥⅢ，ＦＯＸＢＡＳＥ，ＦＯＸＰＲＯ。     

LOODS：一种基于学习的面向对象设计的支撑系统

ＬＯＯＤＳ系统是一种面向对象设计支撑环境，它包括ＬＯＯＤＳ抽象模型、ＬＯＯＤＳ可视语言系统两大部分。ＬＯＯＤＳ建模方法是一种独特的直接建立在需求分析之上的支持分布式并发／并行信息系统的面向对象建模方向，而ＬＯＯＤＳ可视语言系统是ＬＯＯＤＳ模型的自动生成器与运行器，它支持面向对象思想与概念程序设计方式，通过例子生成终端应用。对它的实现，采用了面向对象学习的新方法。ＬＯＯＤＳ系统已用Ｃ＾＋＋在Ｎｏｖｅ     

MOBIUS变换与GCD函数矩阵（Ⅱ）

本文作为ＭＢＩＵＳ变换与ＧＣＤ函数矩阵（Ⅰ）的续篇，继续讨论在ＧＣＤ闭集上的函数矩阵（ｆ（Ｓ））及其行列式的计算方法．特别是我们用组合学的方法，求得了定义在集Ｓ上的Ｍｂｉｕｓ矩阵，它推广了数论中的Ｍｂｉｕｓ函数μ．从而求得了（ｆ（Ｓ））的逆矩阵．     

解线性方程组的SGAOR方法及其应用

推广ＧＡＯＲ方法的理论并提出解线性方程组的ＳＧＡＯＲ方法，这是一个类似于分别从ＡＯＲ（或ＳＯＲ）方法导出ＳＡＯＲ（或ＳＳＯＲ０Ｒ）的方法，理论与计算结果表明该方法是相当有效的。     

三角Stein方程的systolic算法

提出一种新的ｓｙｓｔｏｌｉｃ实现方法计算三角Ｓｔｅｉｎ方程．可将原复杂性为Ｏ（ｍ２ｎ２）的串行算法在处理器为Ｏ（ｍ２）的ｓｙｓｔｏｌｉｃ阵列上并行计算，时间复杂性降为Ｏ（ｍｎ），而处理器具有很高的利用率．利用文中给出的方法，可以并行求解一大类最优控制中有关矩阵运算的问题，如Ｌｙａｐｕｎｏｖ方程、Ｓｙｌｖｅｓｔｅｒ方程等     

用两个改进高斯型轨道的线性组合拟合氢原子的1S轨道

用　作为氢原子１Ｓ轨道的近似波函数，φ中的参数用最优化方法的变尺度法进行了优选，得（Ｈ）＝－０．４９９９１３４３ａ．ｕ．，此结果（ＳＴＯ－２ＭＧ）优于ＳＴＯ－５Ｇ．这表明ＳＴＯ－ＮＭＧ可能是比ＳＴＯ－ＮＧ更有效的基组而用于ａｂｉｎｉｔｉｏ方法。     

CaO－Al_2O_3－SiO_2熔渣的作用浓度计算模型

根据相图和炉渣结构的共存理论，推导了ＣａＯ－Ａｌ２Ｏ３－ＳｉＯ２渣系作用浓度的计算模型，计算的ＮＣａＯ和ＮＳｉＯ２与相应的实测αＣａＯ和αＳｉＯ２基本符合，从而证明所得模型可以反映本渣系的结构本质。与此同时，还发现生成正硅酸盐（２ＣａＯ·ＳｉＯ２）的碱度因Ａｌ２Ｏ３的增加而变大的事实和本渣系有∑ｎ较小的活跃部分。