教学动画制作系统Movie-Maker

Ｍｏｖｉｅ－Ｍａｋｅｒ是一个集成化的适合于结构化图形的教学动画制作工具，它具有较强的功能和通用友好的用户界面，可望为ＣＡＩ的发展作出较大贡献。本文主要阐述该系统的设计思想和总体结构。     

基于WAM的Prolog系统中内部谓词的实现方法

本文论述了在WAM框架下内部谓词的实现方法,着重讨论了数据库操作内部谓词以及cut操作符、call和算术运算类等比较特殊的内部谓词的实现方法和算法。     

计算机系统结构课程实验方案设计

针对目前国内系统结构课程难以开出实验的状况,在分析基于硬件实验和基于模拟器实验优缺点的基础上,指出采用基于模拟器的实验是一种很好的选择,能实现不用花钱买设备就能开出实验的效果。介绍我们设计的实验方案,该方案在同济大学两个年级中实际使用,取得很好的教学效果。     

含柔性链SiO_2/EP纳米杂化材料的固化动力学

采用溶胶-凝胶法制备了聚硅酸溶胶,在其表面接枝柔性链段并以此为前驱物,通过原位聚合法制备了SiO2/EP纳米杂化材料。利用差示扫描量热仪对杂化材料的固化动力学进行了研究。采用Kissinger和Crane等方法,利用不同升温速率下的DSC曲线,分别求出固化体系的表观活化能Ea、反应级数n和频率因子A等参数,得出了固化体系的反应动力学方程。     

深浅水中KVLCC船体横荡运动水动力数值计算

通过求解非定常RANS方程,选取SST k-ω湍流模型,采用全六面体网格进行离散,在忽略自由面兴波影响的情况下,对KVLCC1裸船体在深水和浅水中的PMM试验纯横荡运动粘性流场进行了数值模拟,计算了作用在船体上的水动力和力矩;通过将计算结果与现有的试验数据对比,验证了该文方法的有效性.在此基础上,根据水动力和力矩计算结果,计算得到了船舶横荡运动线性水动力导数.     

黑白图像的矢量化

通过向Ｉｎｔｅｒｎｅｔ网页中加入质量高、制作精美的动画,可以增加网页的生动性,提高其表现力。Ｉｎｔｅｒｎｅｔ上的一些应用,如远程教学等,也需要通过大量的动画来提高质量,增强效果,而用以往的动画制作系统所制作的动画的数据量往往很大,经Ｉｂｎｔｅｒｎｅｔ传送所需时间之长令人难以忍受,新的动画制作系统多使用矢量菜进行动画制作,为使动画制作更加方便,提高制作效率,希望能通过某种手段自动完成图像矢量化,针对     

“计算机体系结构”国家精品课程的特色与建设经验

"计算机体系结构"课程是普通高等学校计算机科学技术专业本科生的专业基础和核心课程。国防科技大学在多年的教学实践中,积极进行教学改革和实践,在教学内容、师资队伍、教材建设、教学手段与方法、实践条件、质量管理等多方面成果显著,形成了自己的特色和优势。     

prolog代码库的一种管理方法

在编译型Prolog系统中,程序以代码的形式存在。与传统语言不同,Prolog提供了修改数据库的功能,Prolog代码应是可修改的。对于这些代码,必须有一个功能较强的管理系统。本文论述了作者提出的在基于Warren抽象机(简称WAM)的编译型Prolog系统中代码库的一种管理方法。文中讨论了目标代码的形式,动态代码的管理方法以及半静态代码的管理方法。采用这种方法已在VAX-11/780上用C语言实现了一个Prolog代码库管理系统。