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

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

利用普通数码摄像机进行红外摄像的实验研究

利用索尼DCR-PC350E数码摄像机的NightShot、SuperNightShot及ColorSlowShutter拍摄模式,加上红外线滤光镜,能非常方便地进行红外线摄像,甚至能记录物体的红外线彩色信息。不同的客体之间或同一客体的不同部分之间,若对某波长的红外线的吸收反射不同,将可利用索尼DCR-PC350E数码一类的摄像机进行红外线摄像轻而易举地区分开来。利用索尼DCR-PC350E数码摄像机的夜间拍摄模式,在太阳光下甚至在两只100瓦的白炽灯照明下,可拍得非常明亮的红外线影像。     

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

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

《流体力学、泵与风机》课程CAI及虚拟实验室的研究与开发

针对《流体力学、泵与风机》课程枯燥、难懂,课程实验多,实验受条件限制大的特点,利用Powerpoint和VB作为主要开发工具,开发该课程CAI课件和虚拟实验室。该课件和虚拟实验室可推广到国内相关院校的教学实验中,有较广阔的应用前景。     

《泰山石刻》序言

本栏文稿系我院承担的山东省社科重点研究项目——“泰山石刻研究”的部分成果。该项目由袁明英先生主持。     

无处不在的光触媒

藤岛教授说，“光触媒是一种能够解决环境问题的潜力巨大的基础技术”。随着人们对光触媒的研究深入，光触媒将发挥着越来越大的作用，光触媒将为我们保驾护航。     

《第八次》教学设计

体会布鲁斯坚持不懈、百折不挠的革命精神，懂得“有志者事竟成”的道理；能有感情地朗读课文，谈出自己的感想。     

进一步完善我国税制改革若干问题的思考

我国经济发展已进入了一个新阶段．依照党的十六大精神和党的十六届三中全会决定，适应经济体制转轨和与国际市场经济接轨的要求，必须分步实施改革开放后的第三次全面性税制改革。本文拟专门就税制改革的必要性、税制改革的现实条件以及最优税制的设计思路进行分析探讨。     

设计结构矩阵在复杂产品协同设计过程的应用

将矩阵方法应用到复杂产品的开发过程中，用DSM（设计结构矩阵）量化表达复杂产品的设计流程，并通过DSM的分析与重构进行复杂产品的协同设计规划，以缩短产品设计周期，降低开发成本。     

分子生物学设计性实验与七年制学生能力培养

通过分子克隆设计性实验,充实学生的基础理论和基本技术,引导学生独立设计实验、查阅资料解决存在的问题,促进医学专业七年制学生的能力培养.