前言：中文期刊网精心挑选了整式练习题范文供你参考和学习，希望我们的参考范文能激发你的文章创作灵感，欢迎阅读。
整式练习题范文1
我们一线教师，由于受传统观念的影响，缺乏对复习课的整体把握，常常把复习课当作是简单的知识整理课与高强度的习题训练课。因此，教师抱怨“复习课”难上，学生埋怨“复习课”没劲。为改变现状，我自新课改以来，践行了新的课堂教学环节，即 重组内容重铸路径重现疑难重塑平台，收到了较理想的效果。
一、重组复习内容，提炼核心概念，是不可或缺的首要环节
在“量的计量”单元复习时，以往我们一线教师总是抓“熟背硬记”，每天早上让学生背诵进率，但效果不明显。新课改以来，我要求学生对量的计量作出在生活上的主动链接，重组复习内容，收到了良好的效果。
复习的前一天，我布置了一项“任务”：让每位学生编一段话，把小学阶段学过的所有量都用进去，并在第二天的复习课上展示自己的短文。很多学生都能主动链接生活实例。
生1：我们小组昨天去新华书店买了本2012年2月8日出版的《数学谜语》，价格为18．58元，它的长是23厘米，宽是18厘米，厚是1．4厘米。书的重量是每立方厘米60克，求它的总重量、表面积、体积，以及出版至今天有多少天？
生2：我昨天早上6：30起床，走出自己的房间（房间长3．1米，宽2．8米，高1．93米），然后吃了2元钱买的300克牛奶和3元钱买的两只面包就去上学了。我的房间多大？
多好的概括性语言呀！生1还把《数学谜语》拿出来在电脑屏幕上展示。我立刻肯定了这位学生的概括性语言，也表扬了他的电脑技术。
在总结了小学阶段所学的基本量（长、面、体、时、重、币，即长度、面积、体积、时间、重量、币值）后，让学生比较六种量并说出进率最复杂的量是什么。全班学生异口同声地说：“是时间单位。”我追问：“时间单位的进率究竟复杂在哪里？大家都认为时间单位的进率无规律可循，其实只要主动与生活链接，就不会出错。如：秒到分，分到时是60进制，时到天是24进制，天到周是7进制，日到月是28（29）、30、31进制，季到年是4进制，年到世纪是100进制……”
这时有位学生直言不讳地说：“老师，我总是把0．5小时看成50分钟。”全班学生都哈哈大笑。这时我首先表扬了这位学生的大胆发言，并提醒大家以后要对时间单位多加“小心”，认真应对。
让学生自主整理，重组复习内容，一方面教师让位于学生，能引起学生的学习兴趣，发挥其主体作用，另一方面也充分展示了学生的思维过程，利于核心概念的提炼和整体知识的建构。
二、重铸解题路径，提示解题方法，是迅速掌握的重要过程
在整理和复习（或应用）中，我重视联想能力和灵动能力的培养，充分发挥教师的教育智慧，精心营造联想的场景，重铸学生的解题路径。正如罗素所说：“儿童和树苗一样，只要给他们土壤、阳光、空气和伙伴，就能自由自在地生长。”
在六年级分数题的复习中，我就抓好单位“1”的转换，以在“智慧灵动”的瞬间让学生的“灵感”自由地产生。
在复习的过程中，教师的作用是适当重铸解题路径，给学生以恰到好处的“提示”。这一“提示”，绝非是将思路、方法指点给学生，也绝非讲授，而是启发学生的思维，引导他们积极主动地朝着教师提示的方向去探索、去发现、去认识、去提高。
三、重现难点疑点，提醒计算易错点，是不易忘记的主要方法
在计算复习的过程中，针对学生会错、易错的题型，我要求学生在领悟错误原因的基础上，自行设计类似题目让同桌或小组的同学予以“作答”或“纠正”，重现难点和疑点，学生都十分乐意尝试。
如出示以下题目：
（1）100×5÷100×5＝500÷500＝1；
（2）50－50÷10＝0÷10＝0。
学生立马就醒悟和领悟到这些错误是由于运算顺序的不正确所导致的。
大约有50％的学生在2分钟内设计了以下题目：
（2）50．5－50．5÷10。
再如，在六年级上册“圆的整理与复习”中我没有直接让学生系统地重复知识要点，而是让全班学生用自己剪出来的纸圆片来比较直径与半径、圆面与正方形（内切、外接）以及阴影面积的计算方法：
很多学生还在电脑屏幕上设计自己最拿手的“动态变换”的题目，兴趣盎然，直到下课都意犹未尽。
对于计算的复习，一直被教师所忽视，总以为计算没什么可复习的，也没法复习。其实不然，很多学生计算错误率高，就是因为重点不掌握，难点没有突破。复习时教师通过重现重点和难点，让学生明白容易出现的错误，对提高教学质量有事半功倍的效果。
四、重塑应用平台，提升思维品质，是不容置疑的必要措施
平淡无味的练习内容、机械重复的练习形式总会令人生厌。为提高学生对复习内容的兴趣，我认真反思练习的内容，仔细斟酌训练形式，重塑应用平台，以提升学生的思维品质。
如六年级的立体图形复习课。
先出示圆柱，让学生说说能想到哪些实物。（学生纷纷回答）
再问：老师把它看成一个木桶。（出示数据）根据这些的信息，你能提出哪些问题？
生1：打两道铁箍，需要多长的铁丝？
生2：给木桶配盖子，需多少木板？
生3：在木桶外表面涂油漆的面积大小？
生4：这个木桶大约能盛多少升水？
通过实物，学生自己提出实际问题进行练习，不仅提升了学生的思维，更是由做到了人人有所练，人人有所得。
这些步骤是抽象到具体，紧接着再从具体到抽象。
问：如果还是这个圆柱，可以通过哪些动作性词语对其进行加工？
生：切、接、压、滚、铸、挤、拼……
出示问题：
（1）把这段圆木切成一个最大的圆锥，需要削去多少？
（2）把这段圆木横切成相等的三段，表面积增加了多少？
（3）把这段圆木沿底面直径纵切后，表面积增加了多少？
（4）给这段圆柱形烟囱接上10厘米长的一段，表面积增加了多少？
学生分组解决后，再画图表示。
与以往的复习形式相比，重塑应用平台是促进学生复习的一种好形式，能激发他们的探究热情，唤醒原有的认知，引领学生自主梳理与复习，更有效地构建了知识网络，提升了学生的思维品质。
数学复习课实质上是师生双边互动的一个场景。我们要在掌握学生学情的前提下，力求在复习中让学生进一步建构知识体系，让学生感受数学思想方法和积累数学的活动经验。张奠宙教授指出：“数学教学需要从整体上把握。要恢复学生火热的思考，就要帮助学生揭示数学的内在联系。”
整式练习题范文2
【关键词】新课程改革；高中政治；理论联系实际；提高教学质量
在政治课的教学过程中，激发学生思维的兴趣，让学生成为探索思维的主人，指导学生掌握思维的方法，是培养学生主动思维的有效措施，也是实施新课程改革下，搞好高中思想政治课课堂教学的有效方法。
1．要与时俱进更新思想政治课程教学观念
分析新课标特别注重学生思维、情感和行为方式的培养活动组织的要求，思想政治课教师的教学活动组织一定要有问题意识，必须大胆设计课堂教学改革方案，充分激发学生学习的兴趣，调动其积极性、主动性，培养其创新精神，让学生真正成为学习的主体。使学生感到政治课有趣，有理，有用，使他们快乐地学习政治课，并且在原有基础上都有所提高。高中政治课的科学性比较强，因此教师讲课的过程中非常注意以教材为主，把科学性和趣味性统一起来。当然科学性和趣味性主次要分清，科学性是基础，要把趣味性寓于科学性之中。
2．采用灵活的教学策略，倡导探索性学习方式
《高中政治课程标准》要求教师重视在教学活动中灵活运用教学策略，把教师主导的“目标策略评价”过程与学生经历的“活动体验表现”过程结合起来，在明确基本标准的前提下，结合相关内容．鼓励学生独立思考、合作、探索。在新课标指导下，我在教学中充分利用直观、生动的教学形式，让学生亲自去体验去尝试，努力创设问题情境，制造矛盾，使学生开发探索思维。探索性学习方式方式，使学生感受到政治课不是那么一成不变，不是那么枯燥无味，不是那么干瘪苍白，要使学生感受到新意和幻彩，感受到活力与激情，感受到生机和奔放。这样，一节课有了很好的烘托和前奏，最大限度地激发了学生的学习热情以及对本节课的学习兴趣和探索精神，也起到营造整堂课良好学习气氖的效果。在政治课的教学过程中，结合新课改的要求和学生的具体实际情况，教师可采用一些探索性问题引进导入新课程的方法。
3．充分利用现代化教学手段组织教学
政治课是一门理论性、系统性较强的学科，它通过抽象的观点、深刻的道理对学生进行政治方向，道德规范等方面的教育。因此，要学好政治，难度较大。对教师来说，上好一堂政治课，引发学生的学习兴趣及提高抽象思维、逻辑推理、归纳论证等能力是相当关键的。因而恰当的运用现代教学手段，往往能收到意想不到的效果。新课程在内容上大为更新，增加了许多反映社会经济文化科技新进展、时代性较强的新内容，要求教师通过各种渠道不断学习，及时更新自己的知识结构以适应现代教学要求，旧时还要求教师要快掌握体现时代性特征的现代化教学手段和教学方式并应运于教学过程之中。在现代政治课教学中，要充分体现出教学的开放性，要把一些抽象的理论，讲解得较为生动透彻，除使用必要的教学方法和手段外，教师还应当注承教学情景的创设，通过多媒体课件等现代化教学手段，或者是照片、图片、挂图等生动形象且直观的教学手段，或者也可以通过师生的讲述，把学生带入某种特定的情景之中，使学生有如身临其景其境：通过这种情感渲染和传达，使学生更容易接受对知识的诠释和理解，免去了生涩与呆板，也达到使学生学会对知识活学活用的目的。从而提高教师的教育教学活动。
4．利用学科整合多方面优势培养促进教学
发展的社会需要发展式的人才。日新月异的科技进步改变着人们的生产、学习和生活，日趋激烈的国际竞争，需要大量的复合型人才。这就需要我们培养学生适应社会的综合能力，提高综合素质。新课标要求注重学科问的知识整合，充分发挥各学科的特色，从不同学科的不同角度关注对一个知识点的解析和诠释，从而达到对知识的全面理解以及对各方面能力和素质的培养。新课程强调各科之间的沟通与综合，这就要求教师淡化自己的学科角色，全面拓展个人的各方面学识修养，同时要把学生视为接受完整教育的个体，既让学生快乐地学习，不觉得政治课枯燥无味，又达到了教育目的，提高了教学效果。使学生在轻松愉悦的氛围中完成了学习任务，掌握了教材观点。使学生从不喜欢政治课到很喜欢政治课，同时也达到了对学生各方面知识素养的提高，培养适应现代社会需要的复合型人才的目的。当然，利用学科整合进行教学，对教师自身也就提出了更高个要求，要求教师自身要不断提高自己的能力与水平，多汲取多方面多学科的知识，才能真正发挥优势，达到好的教学目的。
整式练习题范文3
1国联物流中心管理现状
1.1国联物流中心简介
柳州市国联物流中心在2000年1月成立运营，是交通部规划建设的全国45个道路主枢纽站点之一，也是柳州市人民政府确认的发展现代物流的试点企业和重点支持的物流企业之一。国联物流中心在2000年率先加入了“亚之桥全国货运信息服务网”，与全国50多个大中城市的联运企业信息平台组成货运信息网络。国联物流中心主要经营的业务有工商企业第三方物流整体外包、大件特种货物及大宗货物运输、多式联运、公路快运、市内快递、代结运费、汽车维修、食宿、停车等。
1.2国联物流中心管理现状
（1）物流企业服务水平低，竞争力不强。物流设施设备不足，自有车辆拥有数低，只能提供一般的仓储服务，仓储的专业化水平和技术水平都不高。另外，增值服务薄弱，其业务主要集中于运输业务，而配送、仓储和能提供增值服务的比例偏低。对于加工、JIT配送、“零库存”管理、物流咨询与培训、物流信息服务等增值服务方面做得不够，特别是物流方案与运作策划与规划、库存控制与管决策和做物流供应链管理等能力。还有，企业的信息化水平低，物流信息平台功能不健全，主要解决的是传统的运输与仓储功能，并且大多数都无法实现信息传输与客户、制造商、供应商的资源共享；也无法做到对物流的各个环节进行实时跟踪、有效控制和全程管理。
（2）国联物流中心人员综合素质不高。缺乏物流业务开发的操作型人才、综合性物流管理人才、物流信息管理人才，从业人员学历层次普遍较低，现代物流理念不强，业务素质仍停留在传统运作水平，专业能力较差，难以达到新型工业化所要求的现代物流从业水平。其中在国联物流公司，具有大专学历的人员占14.13%；具有中专学历的人员占33.3%。
（3）存在信用缺失现象。在国联的经营活动中，货物蒸发、卷款潜逃等现象时有发生，对国联物流业发展带来严重影响。
2国联物流中心管理存在问题的原因分析
2.1运力资源不足导致了运营成本过高
（1）企业规模不断扩张，而运力却严重滞后。公司在不断规模扩大但是运力却随着规模的扩张严重的滞后，车辆数量过少，在货运量高峰期的时候导致运力更加缺乏，很多货物未能及时送出。运输途中的管理不够严格，司机严谨度和紧急处理事件的能力不够强，遇到突况未能及时处理。
（2）对现有运力缺乏科学、有效的管理，运力的利用效率低。国联物流经营者盲目追求大而全的做法不仅违背了国联物流的初衷，不符合当前国联物流建设资金十分紧张的实际，不利于有效地开发物流中心原有资源的潜力，更严重的是造成了企业资源的浪费和重复建设和人员压力。
（3）对其社会上的闲置运力缺乏科学、合理的规划和利用。国联的协作车辆总数约200辆，占公司总车辆的75%以上，比较成本来说，增加挂靠车辆可以节约成本，但公司对车辆挂靠的管理不严格，而且对社会挂靠的车辆没有安装GPS定位系统从而不能做到实时监控每辆车的运输以跟踪货物，使顾客的满意度降低，而且运输途中货物损坏和丢失情况时有发生，造成公司信誉下降，同时赔偿货损货差的成本上升。
2.2人才结构不合理影响了企业的管理效能
（1）在组织构架上，缺乏高素质的综合型人才。目前在整个管理人员队伍中，物流项目服务的主要人员约27人。其中学管理专业的人员约11人，物流管理专业约7人。这从某种程度上来讲，给管理队伍埋下了“先天不足”的伏笔，成了制约管理队伍整体素质提高的瓶颈性因素。
（2）在专业技术上，缺乏“专家型”的人才。公司有许多管理人员只有高中甚至只有初中的文化程度，因为公司在招聘人员时，虽然对文化程度也作了要求，但只需要应聘者提供毕业证的复印件，因此，其真实性存在一定的问题。据了解，在公司整个管理队伍中至少有25%的人不具备大专或中职毕业的文化程度，或许实际比例会超出此范围。
（3）在管理上，缺乏科学、有效的绩效考核。公司现有员工72人及临时工38人，临时招工现象比较多，对于临时工的培训在时间和质量上都难以得到有效的保障，一般情况下，对新招聘的工作人员，只是把公司的简况、公司的各项规章制度等进行介绍，然后就分配到各岗位进行跟班实习，这种不规范的、零散式的培训方式，就很难在质量上有新的突破。
在工作人员的绩效考核上，主要存在的问题，一是缺乏可行的量化考核标准，从某种程度上存在有“吃大锅饭”的现象，工作人员的工作积极性、主动性和创造性得不到有效的发挥；二是在操作上，一般只以管理人员巡场检查为主要的考核方式，具有较强的主观性。
2.3信息化程度滞后制约了企业的发展
信息管理上，国联物流仍然沿用过去传统的管理手段，无论是信息的获取，还是信息的处理都严重的滞后，其主要原因有以下几个方面。
（1）领导观念滞后，影响了企业信息建设的步伐。国联物流信息流通不畅，不能形成对物流服务需求全面及时地了解，更难以达到对物流过程的合理、有效的控制，就很难满足货主企业的要求。目前国联很难做到这一点，因为网络不健全，信息不顺畅，投入见效的周期长，领导一时看不见成效，从而会影响领导的决策。
（2）在信息化硬件投入不足，制约了信息化平台的建设。国联的信息化硬件投入仅占营业收入的10%不足，而且国联物流只是对柳工、花红药业公司等大的客户提供双向信息支持，并没有从根本上为货主提供更多更好的信息支持，物流服务效率没有得到预想的提高，国联的客户范围很难扩大，加上金融危机客户要求降低价格同时提高服务水平，国联的市场规模更是难以规范扩大。
（3）信息化人才短缺，信息化的优势得不到充分的利用。在国联管理人才资料中显示，在27个管理人员中，计算机网络专业的管理人员只有一个，而且是中专毕业，即国联建立了信息网络但也无法通过计算机联网和电子数据交换系统与供应商分享信息，从而无法建立起伙伴关系，无法让国联随时了解供应商的销售和库存变动情况，则公司无法预知发货量，信息化的优势得不得充分的利用，同是也无法实现物流成本的节约。
3国联物流中心管理的 具体对策
3.1优化资源结构，提高资源的利用效率
（1）把增加运力纳入企业发展规划。做法有两种： 一是统一思想认识，确实把运力看成是提高企业核心竞争力的重要组成部分；二是根据企业的发展规划，有计划地增加运力投入，提高企业自身运输能力。
（2）加强管理，提高现有运力的利用效率。做法有三种：一是建立和健全车辆预检和维修制度，消除车辆的故障隐患；二是建立并完善车辆健康档案，确保车辆的技术状况良好；三是建立并完善人员激励机制，充分调动其工作积极性。
（3）整合资源，优化结构，充分利用社会上闲置的运力资源。做法有两种：一是根据企业业务发展的规律，拟制科学的运力规划；二是建立社会闲置运力资源数据库，并与之建立互惠互利的共建关系。
3.2优化人才结构，提高管理水平
技术和管理是现代企业发展的两大驱动力，拥有先进的技术，不等于就能充分发挥其技术优势，先进的技术需要一支具有高素质的技术和管理队伍去掌握，只有建立科学、有序和高效的管理，才能使系统各要素充分发挥其最大效能，从而形成“1+1>2”的整体效果。首先，要广纳人才，有计划地为企业引进高层次人才；其次，采用引进和自身培养相结合的方法，丰富企业专业技术的“人才库”；最后，建立科学、有效的绩效考核机制，最大限度地挖掘员工积极性。
3.3重视信息化建设，加大信息化的硬软件投入
随着计算机技术和网络技术的快速发展，如今已经步入了信息化社会，其明显特征是：信息的获取速度“快速化”，信息的收集途径“多样化”，信息的处理方法“系统化”，有效地提高了信息的利用效率。如今，信息已经成为支撑企业发展的又一重要能源。因此，国联物流中心的发展同样离不开信息化平台的支持。
参考文献：
［1］薛威，孙鸿.物流企业管理［M］.北京：机械工业出版社，2003.
［2］翁丽贞.物流信息技术［M］.北京：化学工业出版社，2011.
［3］苏宗.企业物流管理中存在问题及对策研究［N］.中国经济时报，2011-05-18.
整式练习题范文4
关键词：铁路联锁系统； 模型检测； 形式化方法； 梯形逻辑； NuSMV模型检测
中图分类号：TP311 文献标志码：A
0引言
在现代公共交通体系中，轨道交通系统具有不可替代的突出地位如何实现列车安全、快速、高效的运行，是摆在相关科研人员面前的一个突出问题铁路车站计算机联锁系统是铁路行车的重要设备，它所包含的相互制约关系和控制顺序往往十分复杂，所以联锁控制逻辑设计的正确性直接关系到列车的运行安全随着计算机技术在铁路信号系统的应用，安全问题显得越来越重要，传统的系统设计、分析和测试方法已经难以满足系统的安全需要近年来，基于离散数学的形式化方法发展迅速，为解决安全计算机系统设计开发的正确性问题提供了一条可能的途径[1]
作为一种图形化语言，由于其简单的逻辑关系、直观的表达方式，梯形逻辑在时序系统的设计领域得到广泛应用采用梯形逻辑对联锁控制逻辑进行设计，可以将联锁系统表述为一个迁移系统，通过这种基于梯形逻辑的迁移系统可以得到系统内部的状态空间而形式化验证方法就是对状态空间进行搜索，以期检测这个系统模型是否满足某些给定属性
本文针对梯形逻辑建模的特点，研究形式化验证的理论，尝试采用形式化方法对基于梯形逻辑的联锁控制系统设计模型进行验证，选取了计算树逻辑（Computational Tree Logic，CTL）符号模型检测方法对系统的设计模型进行形式化验证，最后选取实例进行模型到代码转化的应用，探索出基于梯形逻辑设计模型形式化验证的一整套方法
1模型检测
模型检测是一种验证系统属性的形式化方法，它从数学上完备地验证系统实现是否与规范一致模型检测通常采用状态空间遍历技术检测一个给定的计算模型是否满足用时态逻辑公式表示的特定属性模型检测对验证计算机系统的正确性具有传统方法无法比拟的优势，如全自动进行而无须人机交互，定位设计错误，系统建模的完整性等，尤其是对安全苛求系统，这种优势更为明显[2]
模型检测的主要思想是：将待检测的系统抽象为有限状态机，用时态逻辑描述系统应该满足的性质，然后遍历有限状态机的状态空间，对每个状态判断是否满足这些性质若不满足，给出一个不满足性质的状态序列[3]所以模型检测一般包含建模、规范、验证三个步骤
属性是与系统行为发生次序有关的时态属性，通常用时态逻辑表示时态逻辑是描述系统所处状态的性质以及状态间迁移序列的表达式，它可以方便准确地描述并发系统的重要性质，如安全性（safety）、活性（liveness）和公平性（fairness）安全性是指系统的正确性和互斥性，用于说明“某条件永远满足，或某危险事件永不发生”；活性是指系统的终止性、无活死锁性和响应性等，用于说明“某必需事件终将发生”；公平性是指系统的合理性，用于说明“某事件必须无限经常地发生”[3]CTL是首个用于模型检测过程的时序逻辑语言以一个有穷状态并发系统的Kripke结构的初始状态为树根，状态为节点，按各节点后继不同将Kripke结构展开，构成一棵计算树，树中任一条路径刻画系统的一次运行
模型检测工具如SMV、Spin等，以模型和属性公式为参数，通过执行验证算法自动搜索整个状态空间，以验证模型是否满足属性[4]算法的实现思想是通过穷举状态空间以计算出令公式为真的所有状态
2NuSMV分析软件
符号模型检测（Symbolic Model Checking， SMC）是一种用布尔公式隐式的表示系统状态集合和迁移关系，并在符号状态空间上进行搜索的技术对于要验证的CTL公式，通过对迁移关系进行相应的不动点运算，即可得到不动点的二叉决策图（Binary Decision Diagram， BDD）表示，用来进一步分析系统是否满足被验证性质[3]下面给出CTL模型检测的伪代码：
SMC过程中，子过程Check以有限状态机的BDD表示MBDD和CTL表达式f作为输入，输出结果是满足f的状态集合的BDD表示S0BDD表示初始状态集合S0的BDD
在符号模型检测方法的基础上，开发了模型检测工具SMV，而NuSMV是SMV的重新实现和扩展，是第一款基于BDD的模型检测器NuSMV被设计成一个开放式的系统，不仅开源而且很容易修改、定制和扩展它具有一个描述层次有穷状态并发系统的规范语言，并从系统规范中提取以BDD形式表示的迁移系统，然后用基于BDD的搜索算法确定系统是否满足CTL描述的被验证属性[6]
NuSMV分析软件以有限状态系统说明及其系统属性作为输入，若有限状态系统具有给定的属性，则输出true，否则输出false，同时提供一个违反规约的反例反例可以在不同的冗余层次或以可重用数据结构的方式来产生，并且可以被检查和操纵系统说明部分用NuSMV规定的SMV语言编程，属性部分则用CTL公式表达[7]
3梯形逻辑
梯形逻辑是一种图形化语言，由于其生成的梯形图呈阶梯状而得名，往往被用来对可编程逻辑控制器进行编程[8]梯形图中，假想左右两侧母线（左母线和右母线）之间有一个左正右负的直流电源电压，母线之间有“能流”从左向右流动依照梯形逻辑的这一特点设计系统模型，可以简化系统，直观地刻画出系统状态随时间顺序变换的迁移系统，实现对系统需求完全、正确和一致的描述由于其简单的逻辑关系、直观的表达方式，梯形逻辑在时序系统的设计领域得到广泛应用[9]
梯形逻辑是一个不断迭代的状态迁移过程，可以用每次执行后变量的不同状态来对系统的行为进行建模，故而引入自动机理论方法来对系统进行建模[7]用命题公式ΨP表示一个梯形逻辑，可以得到一个有限自动机
4基于梯形逻辑的联锁控制逻辑的模型检测
随着计算机技术的提高，计算机联锁系统变得越来越复杂，规模也越来越大复杂的系统很难设计开发，寻找错误和安全隐患也比较困难，一般的测试方法很难发现系统所有的设计故障，这会给轨道交通系统的安全、高效运行带来一定的安全隐患采用模型检测方法对车站联锁安全条件和联锁控制逻辑的设计进行验证，可以在很大程度上减少由系统开发人员造成的设计故障，提高系统的安全性
4.1用梯形逻辑设计联锁逻辑
联锁控制逻辑包括6个模块：操作命令形成模块、操作命令执行模块、进路处理模块、状态输入模块、表示输出模块以及控制命令输出模块其中，进路处理模块是联锁控制逻辑的核心，它的主要工作是在执行了进路搜索子模块对所办进路以形成进路表之后，对进路进行处理[11]梯形逻辑图可以很直观地表示出这种复杂的联锁逻辑关系，故如图1所示，选择一个简单的车站联锁站场图用梯形逻辑进行建模
对联锁控制逻辑的设计如下：进路操作输入后，进路搜索程序从站场数据库中选出进路，执行进路处理模块，共分为5个模块：区段检查和征用模块、道岔控制命令生成模块、进路锁闭模块、信号开放及关闭模块、区段解锁模块[12]
1）区段检查和征用模块要办理一条进路，首先检查该进路上所有区段是否空闲，是否已被征用如果该进路上所有区段都空闲，并且未被征用，则征用这些区段
2）道岔控制命令生成模块道岔有定位和反位两个工作位置，只有当道岔所在区段未锁闭时，道岔才能改变其工作位置道岔位置与进路以及进路始端信号机间的联锁关系如表1所示以道岔21为例，得到道岔转换的梯形图如图2所示
3）进路锁闭模块为了保证行车安全，信号机开放时，首先必须把进路中的所有区段置成锁闭状态，且把敌对进路锁闭在未建立状态，这种锁闭叫进路锁闭首先检查进路中的所有区段空闲、道岔位置正确，并且进路中的所有区段被该进路征用，当这些条件全部满足时，实现进路的锁闭
4）信号机开放及关闭模块在信号开放时需要满足以下技术条件：进路中道岔位置正确且道岔区段锁闭、进路中的所有区段空闲、敌对进路锁在未建立状态[13]列车一旦驶入进路，立即关闭信号机
5）区段解锁模块当进路锁闭后，进路上的所有区段实现锁闭实现三点检查法解锁区段：列车出清上一区段并解锁；列车出清本区段，本区段空闲；且在列车进入下一区段，下一区段被占用时，本区段解锁以区段12为例进行说明，得到梯形图如图3所示
4.2梯形逻辑的模型描述
梯形图的状态遍历特点与形式化验证的状态遍历特点不谋而合，在这里使用模型检测方法对梯形图进行验证首先采用NuSMV分析软件对用梯形图表示的系统进行建模，然后将道岔、进路、信号机之间的连锁关系用CTL表示出来，经过NuSMV分析软件的符号模型检测模块，可以确定基于梯形逻辑的设计模型是否符合计算机联锁控制逻辑的逻辑关系
NuSMV有两个很有用的表达式：init表达式和next表达式init表达式用于描述初始状态，next表达式用于描述转移关系NuSMV输入语言写的程序常被称为smv程序所以在将梯形图模型转化为smv程序时：首先将梯形图中涉及的状态变量进行声明；然后就可以将梯形图的每一个梯级描述成为一个next表达式，即当同一梯级的能流所经过的元件对应的变量状态满足时，输出元件对应变量的下一状态改为相应状态这样，利用NuSMV语言中的next表达式可以准确地描述梯形图表示的有限状态系统的逻辑关系，生成状态变迁关系的模型[14]
根据图2，可以将道岔21工作位置转换的梯形逻辑转化为smv代码如下：
4.3梯形逻辑的模型检测
4.3.1安全属性CTL表达
联锁控制逻辑的安全性是指系统的正确性和斥性，用于说明“坏事情永远都不会发生”[15]，主要有以下两种情况：
1）道岔与进路之间的联锁关系
道岔与进路之间的联锁关系在进路选排时进行条件设定在获取安全性时，可以用道岔与信号机之间的联锁关系表示[16]，见表2
用CTL公式表示只有道岔位置正确，信号机才能开放：
2）进路与进路之间的联锁关系
办理进路时，需要占用同一区段的进路为敌对进路，进路间的敌对关系见表3
4.3.2活性CTL表达
联锁控制逻辑的活性是指系统的终止性、无活死锁性、保证服务性和响应性等，用于说明“好事情最终会发生”，有以下两种情况：
1）每个信号机都会开放：
2）设置进路，可能会开放相应的信号机，但并不是一定开放
这样，用NuSMV可以实现对联锁系统的梯形图的建模，生成一个完整的迁移系统，同时，用CTL可以很好地表示获得的联锁关系属性，利用NuSMV自身提供的功能从模型检测的角度实现安全验证
4.3.3模型验证结果
根据图4所示的检验结果可以看到：采用NuSMV验证工具对上述基于梯形逻辑的车站联锁系统设计模型进行模型监测，全部属性的验证结果均为true，即用梯形逻辑对计算机联锁控制逻辑的设计符合系统的安全规范
5结语
模型检测能避免建立复杂的证明过程，同时能在不满足性质时提供反例，这样可以有效地验证模型，避免设计型故障采用模型检测方法对用梯形逻辑设计的联锁控制逻辑系统模型进行验证，可以保证系统设计模型的正确性和可靠性，这种自动化验证技术可以大大减少人力资源的浪费但模型检测在对梯形逻辑表示模型的验证中也存在一些问题有待解决：1）模型检测的主要缺陷就是状态空间爆炸问题，但是解决状态空间爆炸的技术相对于实际系统规模仍有差距；2）模型检测工具要求使用者用特定的系统规范语言刻画梯形逻辑描述的迁移系统，所以使用难度较大
今后，希望能通过从梯形逻辑到模型检测规范语言的自动转换，实现高效的自动化验证技术，最终目的是能在设计阶段较早地获得安全性能估计
参考文献：
[1]燕飞. 轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D]. 北京：北京交通大学，2006：6-20.
[2]唐涛，徐田华，赵琳. 列车运行控制系统规范建模与验证[M]. 北京：中国铁道出版社，2010：25-110.
[3]边计年，薛宏熙，苏明，等. 数字系统设计自动化[M]. 北京：清华大学出版社，2005：327-380.
[4]HAXTHAUSEN A E. An introduction to formal methods for the development of safetycritical applications[D]. Lyngby： Technical University of Denmark， 2010：6-19.
[5]NING N， ZHANG J， GAO X Y. Formal verification for the solution of signed directed graph fault diagnosis via symbolic model checking [J]. Chinese Association of Automation，2010，39（4）：423-429.
宁宁，张骏，高向阳.基于符号模型检测的符号有向图故障诊断解形式化验证[J].信息与控制，2010，39（4）：423-429.
[6]CAVADA R， CIMATTI A. NuSMV 2.5 user manual [K/OL]. [2013-02-12]. http：//nusmv.fbk.eu/NuSMV/userman/v25/nusmv.pdf.
[7]ERIKSEN L E. Verification of safety properties for relay interlocking systems [EB/OL]. [2013-02-16]. http：//etd.dtu.dk/thesis/266717/ep10_57_net.pdf.
[8]JAMES P. SATbased model checking and its applications to train control systems [EB/OL]. [2013-02-20]. http：//cs.swan.ac.uk/～csmarkus/ProcessesAndData/Papers/james10a.pdf.
[9]JAMES P， ROGGENBACH M. Designing domain specific languages for verification： first steps [C/OL]// ATE11： Proceedings of the 2011 Australian Tourism Exchang. 2011： 40-45. http：//cs.swansea.ac.uk/～csmarkus/ProcessesAndData/Papers/james11a.pdf.
[10]JAMES P， ROGGENBACH M. Automatically verifying railway interlockings using SATbased model checking [J]. Electronic Communications of the EASST， 2010， 35（2010）：3-9.
[11]燕飞， 唐涛. 计算机联锁控制逻辑的模型检验方法[J]. 铁道通信信号，2009，45（5）：26-29.
[12]LI J， CHEN S. Design of software based on railway transportation interlocking control testing system [J].Railway Computer Application， 2011， 20（3）：46-49.
[13]HEI X， OUYANG N. The scheduling strategy of concurrent request in distributed railway interlocking system [J]. ICIC Express Letters， Part B： Applications， 2011， 2（1）：43-48.
[14]张军林. NuSMV模型验证器实现分析[D]. 广州：中山大学，2010： 19-23.
整式练习题范文5
【摘要】战(现)场急救技术是平、战时军事行动中对负伤人员进行现场急救的基本技术项目，包括通气、止血、包扎、固定、搬运和基础生命支持等六大技术。为了使卫生士官适应部队任职需要，我们在2004级护理专业和2005级应急卫生员培训中，对战(现)场急救技术率先开展了教与练一体化教学模式的实践，收到良好效果。
一、教与练一体化教学模式的含义
教与练一体化教学模式是把军事医学卫生勤务的战(现)场急救技术课程中的理论教学与实践教学融为一体的野外现场教学模式。教员边讲授理论、边操作示范，学员边听讲、边练习，在组织练习过程中，教员及时纠正学员不规范的操作与手法，并围绕教练要点加以归纳与小结，最终达到教与练有机结合、提高教学效果的目的。
二、教与练一体化教学的准备工作
教与练一体化教学需要安排在野外战术综合训练场进行，教学环境的设置与准备，对提高该教学模式下的教学效果至关重要。
要做好教与练的教具、模具、器材、背景等教学准备工作；要精心设计教与练的程序；准备好教与练一体化教学模式的教案；预先对带教教员进行统一、规范的培训，加强沟通；预先对学员进行分组，每组不宜超过30人，以15～20人为宜。
三、教与练一体化教学的实施过程
战(现)场急救技术课程的教与练一体化教学，通常按照下列方法和程序进行：①分组与配发器材。将学员分成若干组，每组配发一套练习装备，或每人配发一套练习器材；②教与练的组织与实施。教员按照“四会”教练员的教学标准，边理论讲解、边操作示范，学员边听讲、边动手操作；③练习与指导。组织学员以小组为单位反复练习，教员巡回辅导、指导，并根据练习中出现的问题进行纠正，对于普遍性问题及时作补充讲解；④综合教练与考核。为保证教学效果，开课前应制订课程考核评分标准，并给学员解释清楚。课程总成绩由操作考核和现场理论问答两部分成绩综合而成，其中操作考核成绩占80%，理论考核占20%，或结合实兵综合卫勤演练评定成绩。
四、讨论
4.1开展一体化教学的优势①适应了士官学员的现状。用传统教学方法讲授军事医学专业课时，往往是一堂课从头至尾灌输理论，对于抽象思维能力较弱的士官学员来说，接受起来比较困难。而一体化教学加强了形象思维教学，给学员提供了更多的动手机会，将学员从枯燥、乏味的理论中解脱出来。②学用结合，效果显著。传统教学模式是理论教学和实践彼此分离，而一体化教学是理论与实践同时进行的一种教学法，是教与练、学与用的有机结合。每次教学活动，学员都能在学中干、干中学，在学与练中理解理论知识，掌握技能，大大激发了学员的学习热忱，增强了学习的兴趣与信心，收到事半功倍的效果。③模拟战(现)场环境，真实形象。如传统教学法讲授止血带止血方法、木制夹板使用方法以及三角巾急救包扎方法，即使将器材带到课堂进行示范，也会由于操作空间小，队形不便调整等原因，使学员看不到多个角度的操作，缺乏身临其境的感觉。而一体化教学将教员和学员置于战场或军事行动环境下的模拟现场，场景真实，充分调动了人体的感觉器官，从而提高了教学效果。④节约课时，缓解矛盾。一体化教学模式在不增加课时的前提下，增加了学员实训的机会，也缓解了学时紧张的矛盾。wWw.gWyoO
4.2实施一体化教学应把握的要点①处理好一体化教学与课堂教学的关系。战(现)场急救与防护技术课程仅用一体化教学一种教学模式难以收到理想的教学效果，必须与传统教学法配合使用。对直观性强且需要特定教学场景的教学内容，宜选用一体化教学模式，如止血、包扎、固定、搬运与接近伤员等内容。而战救技术概述、核化生新武器杀伤因素等教学内容则适合采用讲授法。②教员素质要高。实施一体化教学的教员必须具备过硬的军事医学知识、军事技战术动作、身心综合素质和各项技术操作技能，要“会讲、会做、会教、会做思想工作”。教员还要及时追踪学科发展趋势，能够将新知识、新技术、新理论、新方法运用于教学中。③严格要求学员。实训过程中，教员必须跟班作业，必须按照“四会”教练员的标准实施教学，随时纠正学员的错误操作，及时解决出现的疑难问题，对学员的实训效果要当场进行评定，培养学员严谨求实的工作作风，更好地适应部队的标准与要求。④分组教练。一体化教学最多30人为一个教练组，15～20人为宜。每组或每个学员配备—套教练器材，以方便练习与指导。
【参考文献】
整式练习题范文6
摘要：体育教学中“讲解、示范、练习”三要素是体育教学的必要条件，缺一不可，体育教师在教学过程中，只有正确运用这三要素，才能上好一堂生动有趣、富有实效的体育课。
关键词：体育教学 正确运用 三要素
体育教学的形式多种多样，可因年龄、性别、教材内容、时间及环境等诸多因素，而采取不同的教学方法。但所有体育教学形式的构成，离不开三个基本要素，即讲解、示范和练习。这三个要素是体育教学的必要条件，缺一不可。它们相互联系，互相影响，贯穿于体育教学的全过程。一堂体育课质量高低，与三者密不可分。
一、讲解
讲解，就是对动作技术的概念、原理和方法进行解释、分析和论证，它是体育教学中最主要、最经常的一种方式。因此，对于讲解的要求很高。正确的讲解应做到以下几点：
（一）讲解要精炼。讲解不仅要做到言简意赅、恰到好处，而且还要能够熟练地运用术语和口诀进行讲解，以达到确切地表达动作的技术结构和要领，使学生加深对所学动作的印象，建立完整的动作概念，从而正确地理解和掌握动作要领。
（二）讲解要生动。教师要吃透教材内容，掌握语言技巧，运用贴切有趣的比喻进行教学。如把前滚翻比喻成球的滚动，说明团身要快要紧，这样的讲解生动、形象、具体，从而能激发学生的学习兴趣。
（三）讲解要有针对性。教师要了解教材的重点、难点以及学生的实际情况，针对所要解决的问题进行讲解。如对动作的讲解，就要根据动作训练的三个不同阶段，而有所侧重和区别地进行如下讲解：1.粗略掌握动作阶段的讲解，主要使学生明确动作的意义、结构、要领和方法，对动作的细节暂不多作要求。2.改进、提高动作阶段的讲解，主要是进行动作技术分析和正误对比，找出产生错误动作的原因与改进方法。3.巩固动作阶段的讲解，主要是提出动作的难点与关键，以便改进动作的细节。
总之，在讲解过程中，要启发学生的思维，激发学生运用多种器官协同活动，使看、听、想、练紧密结合起来，使学生不仅知其然，而且知其所以然。当然，讲解应力求简洁，切忌庸长，这样容易使学生产生厌倦情绪。
二、示范
示范是教师以具体的动作范例，使学生真实地感知动作，建立正确的动作表象。正确优美的示范动作，可以激发和提高学生的学习兴趣，并产生跃跃欲试的心理，所以教师的示范有着重要作用。教师示范时应做到以下几点。
（一）示范应具有准确性。首先，教师的示范动作要能准确地显示出动作的技术结构和过程，做到动作规范、姿态优美、幅度大、节奏强。其次，教师示范动作要准确地选择示范的位置和方向，使每个学生都能准确地看清教师的示范动作。根据教材的不同要求和场地条件，最好能分别采取正面、侧面、背面和镜面示范的方法。
（二）示范应具有适时性和完整性。在教学的初学阶段，教师可以先做几次完整的示范动作，让学生了解动作的技术概念。然后，再根据教学的要求，并结合动作的要领，进行分解示范，让学生了解动作之间的联系与区别，加深对动作的印象。初步掌握技术后，就要突出关键技术的示范，并注意示范动作的速率和节奏。
（三）示范应具有自控性。教师示范时，要保持稳定的情绪，能够自我意识到示范动作的现状，掌握示范动作的质量，控制示范动作的程序，使示范动作优质化，教师切忌利用示范的机会进行自我表演。另外，教师在示范时，还要控制学生的情绪，培养学生的心理素质，逐步提高学生的观察能力和分析能力。
在练习了一定时间，部分学生较为准确的掌握了技术动作后，教师还可以从掌握技术动作好的学生中挑选数人，让他们自己再次给其他学生进行示范，以增强其他学生掌握技术动作的自信心。
三、练习
练习是将知识运用于实际并把知识转化为动作技能的根本途径，是提高身体素质、增强体质、培养优良体育作风的基本手段。教师在安排练习时应注意以下几点：
首先，要注意练习的多样性。多样的练习具有一定的灵活性和趣味性，可以取得良好的教学效果。它不仅可以提高学生的练习兴趣，保持学生的注意力。而且还可以引导学生在练习中灵活运用所学知识，有助于发展学生的认识能力和创造能力，教师在指导这方面练习时，不能只注重练习的数量和形式，而要从各种角度，突出每节课学习的重点、难点，有的教师在安排练习时，不注重这些，只求练习形式的多样化，这样就势必影响学生的学习质量，无法达到真正的练习目的。
其次，要注意练习的适量性。练习的量和强度都要适当，也就是要有适量的运动负荷。教师要遵循人体生理机能的活动变化的规律，根据教学任务、教材内容、学生特点、场地、器材以及气候条件等情况，合理地规定并适时调节运动负荷。
再次，要注意练习的实效性。练习要讲究实际效果。在教学中，要引导学生把已掌握的运动理论知识运用到实际训练中去。要教育学生掌握正确的练习方法与步骤，以提高练习的自觉性，同时，还要合理安排运动的间歇时间，从而取得良好的练习效果。
另外，在练习教学中，还要注意纠正错误动作，纠正错误动作是教学中必不可少的环节，当发现错误动作时，教师要及时地形行技术分析，耐心地进行讲解，必要时还要进行正误对比示范，使学生有意识地纠正错误，正确地完成整套动作、以达到提高教学质量的目的。
巩固提高是使动作练习达到熟练自如的必不可少的过程，是练习的强度和难度的高质量的体现，是体育教学完整化、规范化的最后一个环节。因此，教师要十分重视练习的巩固和提高。
综上所述，体育教学中，讲解、示范、练习是相互制约、互相促进的三要素。
讲解重在理论，示范事在直观，练习重在实践，体育教师只有将三者有机地结合起来，并巧妙地运用到体育教学的各个环节中去，才能上好一堂生动有趣、有实效的体育课，才能圆满出色地完成体育教学任务。从而达到使学生在体育课的学习和练习过程中掌握一定的运动技能技术，提高运动成绩，增强体质的目的。