基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

数字签名保护的OSPF路由协议的安全性研究

OSPF路由协议是网络上应用最为广泛的链路状态协议之一,用于在网络上分发路由信息,但是这个担负着因特网上路由信息分发任务的重要协议在其制定之初并没有有效的安全手段.为此,IETF提出了数字签名保护的OSPF路由协议.阐述了数字签名保护的OSPF协议的设计思想和实现技术,构筑了带数字签名保护功能的路由器组成的实验网络,对路由协议的数字签名方案进行了仿真试验并得到了系统的数据,在此基础上分析了数字签名保护的OSPF协议的安全特性.     

生命科学类超微影像平台的建设与实践

大型仪器设备是高校开展教学科研工作的重要条件保障,做好开放共享管理工作是充分发挥设备效益的有效途径.生命科学是目前较热门的研究领域之一,该领域大型仪器设备的集约化管理可实现开放共享,提高设备使用效率和效益.结合武汉大学生命科学类超微影像平台的建设经验,阐述了平台原有情况和建设背景,从设备配置、使用与管理、开放共享等方面...     

开放存取数据库现状与面临的挑战分析

阐述了开放存取的概念，介绍了目前国内外主要的开放存取数据库，针对开放存取系统面临的挑战，提出了相应的建议。     

论数字环境下高校图书馆面临的挑战与对策

文章从图书馆的经费、馆员素质方面论述了图书馆在数字环境下如何定位,论述了数字环境下高校图书馆面临的重重困难与挑战,同时针对各种挑战提出了相应的对策.     

从督学角度谈开放教育辍学原因——基于浙江电大富阳学院2011年春季开放教育督学数据分析

辍学是任何一种教育形式都不可避免的问题。但过高的辍学率会损害教育事业的发展,不仅造成了国家、学校和家庭的重大经济损失,也给学员自己造成了直接经济损失。本文通过对浙江电大富阳学院2011年春季开放教育未课程注册学生的督学结果的统计分析,认为开放教育学员辍学的主要原因是工学矛盾、学习动机、专业不对口、家庭与学习矛盾及学习困难等,讨论探求有效抑制开放教育辍学率的对策。     

高校实验室开放模式的探索与研究

实验室开放作为高校教育改革的一部分，是高等学校提高办学水平的重要标志。本文分析了实验室开放存在的优势和弊端，提出了实验室开放的限制性实验室开放、全面开放实验室和半开放实验室等三种模式。     

开放教育课程教学辅导网站的构建

开放教育教学模式的主要手段是网络化学习,即师生借助互联网络和多媒体计算机进行教学活动,并利用丰富的多媒体学习资源和BBS互动交流平台,构建一个高度集成化、交互性好、不受时空限制、可实现共享的自主学习环境.开发和应用网络课程教学辅导网站是电大开放教育发展的迫切要求,也是教学支持服务的强有力手段.该文对网络课程教学辅导网站的设计思想和构建方法进行了分析,为电大教学提供新的思路.     

金正恩：朝鲜开放悬疑

日本《读卖新闻》10月25日援引熟悉朝鲜的消息人士的话报道称，朝鲜国防委员长金正日的接班人、三子金正恩在9月末视察咸镜北道金策市时向干部们表示：“过去，就算没有粮食也不能没有枪弹，但如今就算没有枪弹也不能没有粮食。”     

基于WEB模式的形成性考核模式研究

本文关注基于网络的课程考核改革试点，根据开放教育形成性考核管理的实际需要，分析了基于网络的形成性考核改革特点，功能和意义，揭示了形成性考核在网络环境下的新变化。