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

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

适用于一般提法的埃尔米特插值多项式的差商构造公式

利用差商的非构造性定义建立了适用于一般提法的埃尔米特(Henmite)插值多项式的差商构造公式,并给出了插值余项估计。     

从《苏菲的世界》看哲学教学的趣味性--兼论哲学通俗化的二重根

哲学绝不能忽视趣味性的营造 ,尤其是在哲学教学中 ,《苏菲的世界》为我们提供了很好的借鉴。而哲学通俗化的根据有两个 :内在启蒙的需要和市场机制的调节。     

利福平菌丝体厌氧生化处理的研究

制药厂生产利福平过程中产生大量的利福平菌丝体,可严重污染环境。用厌氧消化法处理利福平菌丝体,消化温度40℃,反应器容积负荷2KgCOD/m~3·d,液料滞留期(SRT)14～20天,取得了良好的处理效果。COD去除率稳定在90％左右,BOD_5去除率达到95％以上,产气率达到0.49m~3/去除KgCOD。     

特定最大功率传输问题探讨

本文通过理论计算给出几种特定情况下的功率传输问题。     

计算学科中的实验体系

本文讨论了计算学科中的实验体系,阐述了建立实验体系的框架,进入实验规划和实施方案和内容,讨论了实验改革和创新的思路,以及建立软件实验、虚拟实验的探索和建立移动实验室的构想。     

浅谈学习型图书馆与图书馆员的继续教育

从学习型组织理论出发，探讨了为建立学习型图书馆所进行的馆员继续教育的内容、措施和途径。     

马房沟提水工程首部引水枢纽优化设计

为使工程布置和建筑物设计更趋经济实用、安全合理，文章从引水工程布局、运行调度、工程投资、管理维护等方面对马房沟提水工程首部引水枢纽的设计方案进行了优化比选。     

现代信息技术及其对生产力的影响

“现代信息技术及其对生产力的影响”是太原市党政领导科技顾问清华大学吴建平教授于2004年3月29日在中共太原市委、太原市政府主办的“计算机网络技术的现状与发展趋势”科技讲座的演讲内容,上期已刊登第一部分,本期刊登第二、第三部分摘编。     

论虚概念

把虚概念理解为“所指称的对象不存在于客观世界的概念”，是不对的，将导致把“理想模型”等本该是实概念的概念纳入其中，也把本该是虚概念的如“地心说”中的概念却排除在外。实际上，对象有虚实，属性也有虚实。实对象、实属性，属于实概念；虚对象、实属性，也属于实概念；实对象、虚属性，属于虚概念；虚对象、虚属性，是虚概念。可见，无论对象虚实，只要所指称的对象的主要特征所反映的属性不是客观的概念就是虚概念。