L4进程间通信机制的模型检测方法

采用模型检测方法验证微内核操作系统的进程间通信机制,提出了一种从源码提取验证模型的方法.该方法以L4操作系统的进程间通信机制的C++源码实现为检验对象,从源码实现直接提取形式化模型,得到Promela语言的模型描述,可以直接应用模型检测器Spin对其进行正确性检测.实验表明了该方法的可行性和实用性.     

优秀排球运动员的素质训练指南(中)

体能训练周期排球运动员的体能训练是为赛季的训练和比赛做好准备。体能训练的最终目标是将运动员状态在重大比赛的关键时刻调整到最佳。体能训练在一年中被分为几个小的阶段,即赛季前集训期,赛季早期、中期和晚期以及非赛季阶段。赛季前集训主要是体能训练,为运动员在赛季初期所要承受的训练量做好体能方面的准备。赛季初期的训练集中体现在技术训练,对抗性比赛的能量代谢系统和增大运动量,以便为赛季中期的比赛做好准备。赛季中期的训练以保持比赛中良好的竞技状态为主,并过渡到决赛期的比赛。赛季后期的训练要注重质量,同时减少训练量以争取在决赛中的最佳发挥和表现出顶峰水平。在赛季后期,运动员应该表现出体能的鼎盛水平,以及结合比赛经验表现出理想的竞技状态。这里有一点教练员需要知道的是,由于心血管机能水平的下降比其它体能指标的下降要来的快, 在体能训练中要始终保持足够的、结合比赛特性需要的心血管技能的训练。非赛季期间的一般性训练主要是保持运动员的一般性体能。一项全年的训练计划应该包括对训练的方方面面有不同的侧重点。     

教育券:高等教育拨款机制的创新

教育券制度是一种教育投资体制的创新,对我国教育发展有相当大的借鉴意义.本文试图对一些国家高等教育的教育券制度进行系统分析与研究,提出以教育券制度作为一种有效的方式解决当前我国高等教育的一些问题,以期为我国高等教育经费制度的改革提供借鉴.     

海军院校教育大事记2004年1月——4月

1月4日至5日　海军王玉成副司令员率海司军务部衣学为部长、海司军训部方江副部长等一行8人,视察海军飞行学院某训练团和某飞行场站、试验基地某训练团,听取了有关训练任务、编制、教学保障条件,以及近年来教学训练、存在问题等情况汇报。3月3日　海司军训部在北京组织各院校年鉴主要编撰人员召开了第二次年鉴编写工作会议。会上交流了年鉴编写工作情况;总结讲评了各院校上报年鉴材料的质量情况;讨论修改了年鉴编写纲目,进一步明确了对各院校提供年鉴资料的要求;发放了《海军院校教育年鉴(1 999年卷)》。3月5日　中国航海学会召开了工作会议…     

武汉科技大学课表添新科学生拿驾照也能得学分

武汉科技大学今秋试行素质学分制。在这种素质学分制下 ,该校将学生课程分为专业和非专业素质教育课程两大类 ,并推行弹性学制。其中 ,非专业素质课程主要是实践教学、素质拓展训练、社会实践等 ,学生通过社会实践、市场调查、创新设计、发表学术论文或发明专利、拿驾车证等方式 ,每项可获得 2— 1 0个不等的素质学分。据了解 ,按照该校素质学分制规定 ,四年制在校本科生其非教育素质总学分一般都在 2 0 0— 2 1 0个之间 ,课程学分在 1 70— 1 80之间。与此同时 ,该校还对课程设置及学生课程选修比例作了明确规定。理工、经管、农医类学生须…     

海军院校教育大事记2004年7—8月

7月 5日　 海司军训部印发《海军院校各级各类人才培养目标模型》的通知。为了贯彻落实第十五次全军院校会议和第十三次海军院校会议精神 ,推进海军五支高素质人才队伍建设 ,根据总部对院校制订专业人才培养方案的有关要求 ,海军院校制订专业人才培养方案。7月 1 9日　 总部从严治军联合检查组到潜艇学院全面检查。由总后谭悦新副部长率领的四总部从严治军联合检查组一行 1 5人 ,在海后军需物资油料部王宇部长、北海舰队陈阿溪副司令员等陪同下 ,对潜艇学院从严治军情况进行了全面检查。检查组听取了学院从严治军情况汇报 ,实地检查了学院 1…     

数学建模融入大学数学教学改革的探索

文章分析大学数学教育的现状和数学建模的内涵及意义,强调将数学建模内容融入到大学数学教学中的重要性．并探讨性地提出了将数学建模融人大学数学课程教学的几点改革思路。     

浅谈在《经济常识》教学中渗透WTO的知识

一、在政治课中渗透WTO知识的必要性 这是由青年学生肩负的历史使命决定的.加入WTO,是我国社会主义市场经济发展的必然选择,是我国现代化建设和进一步扩大对外开放的需要.青少年学生是祖国的未来和希望,是新世纪的主人,肩负着民族振兴、中华腾飞的历史使命.他们要面对的是一场在WTO游戏规则下进行的"无烟战争",他们必须深刻理解和熟知游戏规则.否则,绝无胜算.这是由思想政治课教材的滞后性决定的.高一经济常识主要是介绍社会主义市场经济的基本知识,而且侧重于对学生进行道德素质和法律素质教育.而入世,这一必将对我国社会主义市场经济和社会生活产生重大影响的重要课题怎能缺少,更何况思想政治课的时效性和敏锐性特征也要求我们应及时补充新的知识和材料.这也是思想政治课的活力和吸引力所在.     

海军工程大学高等教育研究所正式组建

1月27日,海军工程大学隆重举行高等教育研究所、现代教育技术中心和木兰湖水上训练中心授牌仪式。训练部周长海部长主持授牌仪式,段旺副校长宣读组建三单位命令。海司军训部方江副部长、     

海军院校教育大事记(2005年1—2月)

1月4日海军政治部下发《关于深入开展“强化战斗精神提高打赢能力”教育活动的实施意见》。为贯彻落实党中央、中央军委和重要指示精神,根据总政治部和海军党委的部署,海军部队要在去年开展“增强战备观念,培养战斗精神”教育的基础上,广泛开展“强化战斗精神,提高打赢能力”主题教育活动。