太极的四维图象--大统一的宇宙结构

将<太极图>解析成太极图的四维图象,并根据<周易>的周而复始、生生不息的宇宙法则和现代物理学研究成果构画出太极宇宙模型,同时指出太极宇宙模型的基本特征及特点.根据太极宇宙模型、<周易>原理和现代科学成就提出并描述出大统一的宇宙结构图景,指出"炁天人合一"是易学思想的精髓、太极法则,即宇宙的主体时空观和宇宙的客观本体观的统一.本文提出的太极宇宙模型及大统一的宇宙结构与欧美等国科学家最近提出的循环宇宙、中空宇宙有异曲同工之妙.     

用MUX实现组合逻辑的卡诺图列解法

本文采用卡诺图列解法来处理MUX组件的地址变量少于待发生逻辑函数变量的设计问题。方法简单易行、适用范围广。尤其是对于含有任意项的逻辑函数中任意项的处理,提供了寻找最佳方案的途径。     

数据流图的存贮模型

本文给出了一个数据流图的存贮模型。并在此基础上，给出了数据流图的操作算法。可以解决ＳＡ方法中的文档管理。     

浅谈歧化反应及其方程式的简捷配平方法

本文总结了歧化反应的有关内容，并对其中的某些问题作了较好的解释。最后，西文给出了歧化反应方程式的简捷配平方法。     

MkdV方程族的换位表示及其相应的Liouville完全可积系统

本文给出了ＭｋｄＶ方程族的换位表示及一个有限维对合系，并讨论了Ｂａｒｇｍａｎｎ约束和Ｃ．Ｎｅｕｍａｎｎ约束及其相应的定态ＭｋｄＶ系统。最后，我们得到ＭＫｄＶ方程族的对合解。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

一个快速求解哈斯图的算法

在理论证明的基础上，给出了一个哈斯图求解的算法。该算法可直接应用关系图方便、快捷地求取其盖住关系，进而得到哈斯图，从而完善了有关哈斯图求解的理论及算法。     

不对称D—A反应区域选择性及其理论解析

本文以教学研究为基础,系统研究不对称D—A反应区域选译性规律,并运用前线分子轨道理论,采用图解量子化学方法予以理论解析。     

水的相图与pH-电势图的Flash课件制作

围绕无机化学精品课课程建设，配合水的相图、pH-电势图相关内容的教学，利用二维动画制作软件Flash制作了水的相图、pH-电势图的课件。