建设德育课程链 链通学生知与行——打造德育品牌,落实《中小学德育工作指南》

学校基于“学会做人、学会学习、学会生活、学有特长”的培养目标,以《中小学德育工作指南》为指引,对学校德育课程资源、德育活动平台和德育实践载体进行统整,在德育内容体系、实施路径、评价机制等方面积极改革创新,初步形成了“链通知行”四大系列十二大模块的德育课程链,为实现“育完整大同人”的育人目标夯实了基础。

设备驱动故障注入方法的研究与实现

文章以Linux设备驱动为研究对象,提出了一种灵活可控的基于加载时函数调用指令检测替换及运行时自动恢复与交互式再触发相结合的故障注入模型,设计并实现了相应的故障注入原型。目标驱动模块的加载监测利用了内核事件通知链机制,故障注入采用了函数调用指令检测替换方法,目标函数集的设置综合运用了Shell程序命令行参数和内核模块加载时参数传入方式,故障再触发机制利用了内核调试伪文件系统。与其他故障注入工具相比,该原型系统存储开销小,灵活性和可用性更佳,能够更加高效地进行健壮性和可靠性的测试验证。

Linux内核移动性支持机制与实现

随着信息技术的高速发展及移动终端的普及,用户期望网络能够在任何时间、任何地点,以任何方式提供信息服务。为了更好地支持移动性,业界提出移动IP、身份位置分离机制、SIP等多种方案。然而,它们都不能同时支持主机移动性和服务移动性。文中提出的移动性支持机制是在Linux内核中,利用一体化网络中的连接标识管理服务,在协议栈中同时支持终端和服务的移动性。首先,提出了两种内核中快速捕获IP地址更新的机制;然后,修改Linux内核中的套接字,实现IP地址改变但连接保持的目标,从而实现移动性;最后通过比较两种机制在实现移动性上的时延,选择了内核通知链机制作为移动性支持机制。

网格工作流流程描述语言的研究和设计

针对网格服务的工作流技术,在分析Web服务工作流流程描述语言BPEL(businessprocessexecutionlanguage)的基础上设计了网格工作流流程描述语言——GBPEL,给出了该语言的总体语法框架图。对GBPEL的几个主要部分:活动、通知链接机制、错误处理机制、生命周期、伙伴等的设计在功能和特点方面进行了详细分析说明,并给出了一个使用GBPEL描述的流程实例片段。