形式化方法--Z语言在西瓜棋中应用的研究

Z语言是目前广泛使用的一种形式化方法语言。它具有简明、精确、无歧义的优点。本文利用Z语言对一种棋类游戏——西瓜棋进行了描述，并给出了西瓜棋游戏从状态模式到操作模式的需求规格说明。     

浅谈现代远程教育的发展

构建现代远程教育体系，为社会成员提供多层次、多功能、多形式、多规格的学习机会是当前远程教育的首要任务。本文应现代远程教育的发展、特点和其基本形式作简要的阐述。     

质量工程框架下的卓越教师培养与课程设计

卓越教师培养是时代的求。卓越教师的理想规格是专业精神朴实高尚、专业知识融会贯通、专业能力卓著出色。卓越教师的培养需进行有意识、有计划的设计,这个设计包括:培养模式设计、课程结构设计和实践能力训练设计等。     

复杂地质超深超大直径钻孔桩施工技术

武汉二七长江大桥4#墩钻孔桩桩径3.4m,桩长85m,入岩深度达60m,所处岩层为挤压破碎严重粉砂质泥岩,该岩层极不稳定,在钻进过程中时常出现岩层内塌孔,在如此复杂地质情况下钻孔对各种参数的控制将是本文研究的重点。     

建筑给排水常用管材的合理选择

建筑给排水系统是由管道、管件和各种附件连接而成的,管道材料及附件的合适与否,对于工程质量、工程造价及使用都会产生直接的影响。因此,应熟悉管材、附件的种类、规格和性能,才能对管材进行合理的科学的选择,以达到适用、经济和美观的要求。     

技嘉小板Z68塞进三条PCI-E x16

技嘉准备的多达11款Intel Z68芯片组主板中,GA-Z68MX-UD2H-B3、GA-Z68MX-D2H-B3两款是采用mATX小板型规格的,其中前者于今日完全曝光,堪称小板中的另类,比很多ATX标准大板都     

信息化工程档案评审要点分析——以金教工程为例

正随着金教工程的逐渐深入,众多子项目纷纷立项。各个子项目都提交了需求规格说明书和实施方案等大量的相关文档,监理人员面临着巨大的审核压力。在赛迪监理与教育部教育管理信息中心同事的相互配合下,金教工程已经形成了《教育服务与监管体系信息化建设项目档案及文档规范要求》等较为系统的对于文档的要求,明确提出了承建单位需要提交的文档,以及这些文档所应遵守的规范。但是,这些规范内容较多,在巨大的文档审核压力