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

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

组合逻辑电路的无反变量输入设计

本文阐述了组合逻辑电路无反变量输入的设计思想，并通过设计实例给出了具体的设计方法与步骤．     

技术进化的社会选择

本文分析了技术进化特征，即技术产物的多样性、技术发展的延续性与非延续性、技术系统的自组织性；探讨了技术进化社会选择的三种形式，即市场选择、政府选择、文化选择；论证了技术进化与社会选择间的互动关系，认为技术进化与社会选择间的相互作用推动着技术与人类的共同进步，技术进化与人类进化之间的协同共进是完全可能的。     

关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

并行CORBA在网络并行计算中的应用研究

讨论了一个通用对象请求代理体系结构(CORBA)的扩展一并行CORBA，井详细分析了它的原理．以油气储层随机建模计算模型为例，研究了基于并行CORBA的油气储层随机建模计算模型，实现了基于并行CORBA技术油气储层随机建模的软件．结果表明，并行CORBA技术大大提高了油气储层随机建模的计算效率，有效地利用了网络资源．     

谈高校改制对档案工作的影响及对策

知识经济的来临,推动了高等教育的迅猛发展,也给高校档案工作带来了新的机遇和挑战,面对高校改制出现的新情况、新问题,高校档案工作需要及时更新观念,积极变革运行机制,使其更好地为高校教学、科研、行政、后勤等部门服务,真正体现档案的价值.     

在油酸钠存在下醋酸乙烯酯──甲基丙烯酸甲酯的无乳化剂乳液共聚

本文研究了在油酸钠存在下醋酸乙烯酯──甲基丙烯酸甲酯的无乳化剂乳液共聚。发现油酸钠加速聚合反应，并测定了胶乳粒子。