论文部分内容阅读
在复杂系统的设计流程中，每个设计阶段都要制定标准的设并方案以实现系统功能。渐进细化设计就是把设计流程中的设计方案和检验其能否实现一个特定功能分离开来。提出了渐进细化的概念，并将其应用于互斥访问系统中，同时用LOTOS规范进行描述。
LOTOS渐进细化设计方法在互斥访问系统中的应用
【摘 要】
：
在复杂系统的设计流程中，每个设计阶段都要制定标准的设并方案以实现系统功能。渐进细化设计就是把设计流程中的设计方案和检验其能否实现一个特定功能分离开来。提出了渐进细
【机 构】
：
兰州理工大学计算机与通信学院
【出 处】
：
计算机工程与设计
【发表日期】
：
2006年14期
其他文献
摘要：大肠杆菌病是对我国养猪业危害最为嚴重的疾病之一，是由于致病性大肠杆菌在猪只肠道内大量繁殖而引起的。为了帮助广大养殖户更好的防治猪大肠杆菌病，本文对相关的防治方法进行了介绍。 关键词：猪大肠杆菌病;防治方法;疾病预防 1 综合卫生防控方法 对于大肠杆菌病的防治，首要任务是保证环境的卫生清洁，定期清洁消毒是必不可少的养殖程序。新生仔猪在哺乳前应对母猪奶头进行消毒，每日清洁干净猪舍内的粪便，
在对XML数据模型主动机制研究的基础上，结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念，首先对触发环中每一个被修改的节点产生一个递归等
语文除了教给我们文学知识，更多的是教会我们如何去理解某些事物。因此可以说，语文是其他学科的基础，将语文的教学效率和教学质量提高了，其他学科也会得到相应的进步。
很多老师对课外作业的布置形式单一,缺少策略。笔者针对这一现象进行多次探讨研究,在布置作业时多考虑学生是否喜欢做,是否愿意做,是否能做好,对提高英语学习能力是否有帮助,
【摘要】童谣发展至今，极受大家的关注。童谣和幼儿的生活密切相关，童谣反映的，就是幼儿生活的一部分，通过念童谣，幼儿无论在礼仪、语言、艺术等方面都能得到满足。童谣所包含的意味深长，让人回味无穷。童谣在幼儿园教育中的作用也是大家有目共睹的，这使它成为幼儿教育中所不可缺少的部分。 【关键词】童谣教学；作用；指导策略 一、童谣在幼儿学习活动中的作用 童谣内容包罗万象，一首童谣可以是一个节日；一首童谣
随着人们生活水平的不断提高,大家对于田园、乡村以及绿色食品的需求日益强烈,一些时尚潮人们对于田园的向往和绿色食品的需求,使人们对“微农业”有着极大的追求与向往,由此
简要回顾了容错技术的发展过程并分析了不同故障模型下系统的容错方式。对于瞬时故障、间歇性故障的容错可采用软件冗余方法,在实时嵌入式系统中采用软件容错时必须考虑任务
凤珠樱桃番茄是台湾农友公司繁育的优质樱桃番茄品种，因为代号“L409”俗称409小柿子，是一种高品质水果型的樱桃番茄。它具有色彩宜人、果质嫩等特点。口味特好，在凤城市蓝旗镇温室种植廣泛，面积约2000亩。近年来，市场销路不断扩大，售价一直不低，经济效益相当高，亩效益在8万元左右。适应性强，抗性好，耐肥、富含多种营养成分，具有较高的食用价值和观赏价值。 1.培育壮苗 该品种播种时间一般在8月中旬
【摘要】在幼儿最初的成长和学习阶段，户外体育游戏是幼儿最喜爱的活动之一。所以教师在教学环节的设计中，应当从幼儿的内心出发，充分地利用自然资源，结合童话故事，科学地规范户外游戏活动，让户外体育活动更加具有自主性、情境性和安全性。 【关键词】课程游戏化;户外体育;环境的创设;材料的运用 伴随着国家对课程游戏化的重视，越来越多的教师认识到了开展户外体育活动的重要性。教师在教学的过程中，通过开展有趣的