在底层并行文件系统加锁协议上用于聚合I／O的动态文件分区方法

类似MPI—IO提供的聚合I／O使得CPU集群可以在合作过程中获得更大的并行I／O。它的实现涉及文件域的分区,而且正确的分区是获取高性能I／O的关键。新型的并行文件系统利用分布式文件锁机制确保数据一致性,以避免集中式加锁管理,不同的加锁协议会显著影响一种文件分区方式的并行程度。在这篇论文中,我们提出动态文件分区方法,它能自动适应并行文件系统的底层加锁协议,     

BT协议的形式化建模与一致性测试的测试序列生成

BitTorrent是一种流行的文件共享软件,它允许文件分块,并将每个数据块作为独立的传输单位在下载者之间进行交换。本文分析了P2P应用中的BitTo—nt（BT）协议的特点和工作原理,对BT协议的Peer端进行了形式化建模,得到Peer端的有限状态机模型（FiniteStateMachine,FSM）,并基于该模型以及变迁覆盖标准,给出了结合UIO方法的一致性测试的测试序列产生方法,最后给出下一步的研究工作。     

跨国职教 首次合作

江苏省泰州机电高等职业技术学校、靖江职业中心校、泰兴职业中心校等3所职业学校,与韩国骊州大学签订了国际教育合作协议,进行深层次教育合作,这开创了泰州市职业教育与国外高等院校合作办学的先例。据了解,这份跨国合作的协议内容包括,学校管理、教学研究、专业建设、教师互派实训锻炼和学生互访等。其中,安排学生在学业结束后,赴韩继续学习深造。办学期间,双方将实现课程对接,泰州市部分优秀学生读完中专职业课程后,     

西乡大调解模式对构建和谐社会的启示

法律调解的目标在于追求社会和谐。西乡大调解模式是对中国古代调解制度的灵活运用。文章从回顾中国古代的调解制度说起,分析了“西乡经验”的形成背景和运行机制,指出构成人员多元化是调解机构提高解纷效率的基石,调解程序简便易行且具有司法亲和性,是当事人认同和执行的心理基础,调解成本低廉是当事人接受的现实基础,调解效果良好是社区和谐的保障。西乡经验证明,调解制度依然是构建和谐社会的重要机制。     

地方

北京：幼儿园超半数未登记注册;天津：推行校方责任保险制度;宁夏：与教育部签署教育合作协议;湖南：率先取消高中文理分科;河南：特殊教育研究中心落户郑州师专     

基于AGLET的分布式入侵检测系统的研究

传统的安全技术如防火墙、加密、身份验证等无法满足现在网络安全的需要.基于移动代理技术的分布式入侵检测系具有动态、实时、防御等功能,通过动态地添加、删除和修改代理,可以增强其动态配置功能和扩展性,也可以减少对网络可靠性的要求和带宽的消耗,确保入侵检测系统的安全、高效.     

校园网中基于ARP协议欺骗及其解决方案研究

针对目前校园网内流行的ARP病毒,主要分析了利用ARP协议漏洞进行网络攻击的原理和攻击的常见方式,并提出相关的ARP攻击的解决方案.     

大学生就业协议的劳动法规制

通过分析毕业生就业协议和劳动合同的本质,结合当前大学生就业的新情况,分析就业协议的缺陷所在,并对如何做好就业协议与<劳动合同法>的有效衔接等问题作出一些思考,并提出相应对策.     

2008年度中国教育信息化IT企业十大事件

一、教育部和微软公司在京签署"携手助学"二期合作协议2008年11月4日,教育部和微软公司在京签署了"携手助学"二期合作协议。"携手助学"项目旨在支持中国基础教育和师范教育,帮助提升中国基础教育信息化水