小型网络解决方案——无盘Win95网络环境的建立

计算机软、硬件的飞速发展给用户提出了更新更高的要求,尤其是对企业、学校的网络办公与网络教学环境的建设。如何用较少的投入,建立更好的网络办公环境,正是本文的主旨。     

对高校多媒体教学的重新认识

近年来,多媒体教学在高校教学中得到广泛的应用,对高等教育的发展起到了积极的推进作用.但目前高校中还普遍存在对于多媒体教学认识上的误区,为此笔者分析、总结了多媒体教学中存在的弊端以及产生的原因,并提出了改进建议.     

高校非计算机专业计算机教学改革探悉

对高校非计算机专业学生进行计算机教育的目的,不是让学生成为计算机领域的专门人才,而是培养学生利用计算机分析问题、解决问题的方法与意识,提高学生的计算机文化素质.针对此目的,目前高校非计算机专业的计算机教学从教学理念到教学方式和教学方法都需要做进一步的改革和创新,只有如此,才能将学生培养成既熟悉本专业知识,又掌握计算机应用技术的复合型人才。     

满足多种安全属性的复合型支付协议及其逻辑分析

针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令牌概念设计,能够实现高效认证及会话密钥协商。通过引入公钥证书证明协议主体的身份、借助可信方传递付款收据以及采用FTP方式传送电子货币和付款收据等方式提出了支付子协议。使用逻辑分析方法对该协议进行严格逻辑推理验证,结果表明该协议能够满足多种安全属性。     

RGPS过程层元模型正确性验证

利用Web服务本体描述语言对RGPS过程层元模型进行描述,建立Promela模型。基于线性时序逻辑,以及Spin检测工具的偏序规约和on-the-fly等优化技术对Promela模型进行正确性验证,设计并实现RGPS过程层元模型正确性验证平台。通过城市交通系统实例证明该验证方法的正确性和有效性。     

网络式软件非功能需求冲突消解

在构建非功能需求冲突管理元模型的基础上,给出相关建模元素的形式化描述,将需求冲突的语义定义作为检测依据。根据不同的需求冲突类型和程度,提出一种排除冲突和降低冲突的网络式软件非功能需求冲突消解方法。以旅游出行领域中计算行程费用服务的非功能需求为例,验证了该方法的有效性。