非滥用合同签署协议的研究

非滥用性是合同签署协议提出的新的安全需求,人们对它的描述还模糊不明。利用交互式定理证明器Isabelle/HOL推导了“TTP的aborted仲裁”与“失败的合同签约”的不等价关系,提出了“合同签约失败”的形式定义,提出了一个新的非滥用性的形式化描述,验证了BW多方合同签署协议的非滥用性。     

工程制图网络CAI系统的设计与实现

介绍了4种类型的网络课件的开发环境和制作方法,指出了它们的优势和局限性。结合工程制图网络CAI系统的开发实例,详细论述了利用JSP技术实现基于浏览器/服务器(Browser/Server)模式的网络辅助教学系统的开发环境、关键技术及实现方法。采用JSP为前台,Oracle数据库为后台的B/S系统模型,构建了工程制图CAI交互网站,提高了辅助教学的质量。经实际运行,证明该系统有很好的实用性。     

网络教学质量的模糊综合评价

网络课程质量评价对远程教育具有重要的意义。科学有效的评价可以实现网络教学的全程管理,正确引导网络教育的发展。由于涉及多方面、多因素,网络课程质量难以度量,本文采用模糊综合评价法解决这一问题。参考了国内外的网络课程质量评价标准,建立了网络课程质量评价指标体系层次分析模型,给出了网络课程质量评价的层次结构和计算方法,并给出了应用实例。