结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

平均色差计算机配色方法的研究

本文提出了Ｅ＾２Ｄ６５＋Ｅ＾２Ａ→ｍｉｎ计算机配色方法。实验表明计算机配色方法在不同的光源照明时色差趋于平均。     

多维双曲型方程一般差分逼近时空网格同时加密的稳定性

讨论多维常系数双曲型方程式在一个中介面两侧的区域中,关于时间空间网格同时加密或稀疏情况下,分别应用不同的一般的柯西稳定差分逼近式的耦合稳定条件,推广了Ｂｅｒｇｅｒ只用于一维情形及Ｌ－Ｗ格式的结果．在多维情形下,应用Ｍｉｃｈｅｌｓｏｎ方法,利用傅里叶变换,得到包含对偶参数的特征方程式．再应用Ｍｉｃｈｅｌｓｏｎ的Ｕ．Ｋ．Ｃ判别条件,得到了多维常系数双曲型方程在中介面两边应用一般的分别为柯西稳定的格式并关于时空网格同时加密或稀疏问题的耦合稳定条件．     

广义变换图G^＋∞（R,S）的边连通度

记Ａ＋∞（Ｒ,Ｓ）为具有行和向量Ｒ及列和向量Ｓ的所有ｍ×ｎ阶非负整数矩阵的集合．广义变换图Ｇ＋∞（Ｒ,Ｓ）的顶点定义为Ａ＋∞（Ｒ,Ｓ）中的矩阵,两个顶点（矩阵）相邻当且仅当它们可通过一次变换相互得到．并证明Ｇ＋∞（Ｒ,Ｓ）的边连通度等于其顶点的最小度δ（Ｇ＋∞（Ｒ,Ｓ））．     

整（0,m）插值的推广

引进了一类新的指数型整函数插值,推广了（０,ｍ）插值,同时也考虑了该插值算子的收敛性。     

一类二维非线性对流扩散问题的特征—差分法

研究了一类具有Ｄｉｒｉｃｈｌｅｔ边界的二维非线性对流扩散问题的特征—差分法,建立了基于双线性插值的特征—差分格式,给出了其最大模估计。     

电力系统潮流计算的模拟进化方法

将模拟进化方法引入电力系统潮流计算。与传统方法比较结果表明,模拟进化方法中的进化策略法可以有效地解决电力系统病态潮流问题。文中还对几种模拟进化方法进行了比较,结果表明：进化策略法用地潮流计算比较成功;基因算法和进化规划法由于方法本身的缺陷,不太适合于潮流计算。     

模糊聚类在松属种间生理差异中的应用

对松属８个树种的净光合速度,蒸腾速率,气孔阻力和叶温等生理指标进行了测定。结果表明,某些树种存在相似的生理特性;具有相似生理特性的树种对环境有相同的生理需求。采用模糊聚类分析对参试树种按生理特性分成三类;第一类,Ｐｎ和Ｒｓ较大,Ｅ较小,宜生长于光照强,二氧化碳浓度高,水分要求不高的立地;第二类与第一类相反,第三类为居间类型。居此,在造林生产中根据树种的生理特性,适地适树,创造良好的经济效益。     

含两参数的抛物型方程混合问题的差分解法

研究含２个小参数的抛物型方程的奇异摄动问题,构造了指数拟合差分格式并证明了差分格式的解一阶一致收敛于微分方程的解,提高了一致收敛的精度．     

抛物型方程的一个新的高精度显格式

本文给出了解抛物型方程的一个新的显式差分格式,截断误差达０（Δｔ３＋Δｘ４）,是同类的显格式中精度最高的．