【摘 要】
：
Ｅ－ＬＩＯＴＯＳ是形式描述技术ＬＯＴＯＳ的增强版。本文首先提出了一种Ｅ－ＬＯＴＯＳ的图形表示方法，称为图形Ｅ－ＬＯＴＯＳ（即ＧＥ－ＬＯＴＯＳ）。然后利用面向对象程序设计语Ｊａｖａ开发出了一个从文本Ｅ－ＬＯＴＯＳ到图形Ｅ－ＬＯＴＯＳ编辑和自动转换编译工具软件。该工具软件可以
论文部分内容阅读
Ｅ－ＬＩＯＴＯＳ是形式描述技术ＬＯＴＯＳ的增强版。本文首先提出了一种Ｅ－ＬＯＴＯＳ的图形表示方法，称为图形Ｅ－ＬＯＴＯＳ（即ＧＥ－ＬＯＴＯＳ）。然后利用面向对象程序设计语Ｊａｖａ开发出了一个从文本Ｅ－ＬＯＴＯＳ到图形Ｅ－ＬＯＴＯＳ编辑和自动转换编译工具软件。该工具软件可以把Ｅ－ＬＯＴＯＳ以抽象层的形式体现出来，为将来的进一步研究提供了一个良好的环境。
其他文献
针对甜菜制糖渗出过程实现自动控制的难点，提出相应控制策略，设计了计算机控制系统，介绍系统硬件和软件结构组成及功能，以及控制环节的设计与实现，该控制系统已经在两个甜菜制糖厂
2010届大学毕业生将达630万，原本在就业问题上就饱受“性别困扰”的女大学生群体，将面临着更大的考验。2010年同时还是“三八”国际劳动妇女节100周年，在2010年全国“两会”上，全国人大常委会副委员长、全国妇联主席陈至立表示，她最关注就业，特别是女性的就业。 “国家花那么多钱培养一个女大学生不容易，她们自己也希望能够学有所成，可是严峻的就业问题却越来越让这些女孩子求职无门，看不到希望。
文章从体育史学的角度，运用文献资料法、逻辑法及比较体育学的相关理论，对中美两国体育专业教育的发展历史进行了对比研究，并提出了加快体育专业教育的科学化进程等意见与建议。
针对市场对柴油的强劲需求，寻求适合镇海炼化公司实情的增产柴油的途径，以实现效益最大的目的，对实际生产具有一定的指导意义。
回顾镇海炼油厂芳烃抽提装置溶剂再生系统的运行情况，从溶剂质量、工艺、设备，仪表控制等方面分析了再生系统结焦的原因，并介绍了防止结焦的对策措施，最后提出了几点建议。
狭叶锦鸡儿胚乳发育属核型。胚乳细胞化始于球胚期。胚囊壁具分枝状的内突生物。初始垂周壁的形成源于部分胚囊壁内突的自由生长。
[摘要]文章介绍了学分制的基本内容,并从目前学分制条件下的高校学生心理现状来分析大学生的心理特点,从而探究解决这一问题的适当方法,包括建立良好的心理健康教育环境、坚持以预防性和发展性为指导的心理辅导原则、开展多种形式的心理咨询工作、加强学生的自我保健教育等。 [关键词]学分制 归属感 焦虑 沟通 心理潜能 [作者简介]李忠华(1980- ),男,山东淄博人,东北师范大学马克思主义学院在读硕士,
[摘要]大学生的文化素质教育问题越来越引起社会各界的广泛重视。文化素质教育是高校素质教育的重要组成部分,提高大学生的文化素质,在提高大学生的综合素质和竞争力,使其成为国家现代化建设的合格人才方面起着重要的作用。文章从组织保障和制度建设、文化素质教育教学改革和课程改革、提高教师的文化素养、搞好高校学生群团组织的建设、丰富校园文化活动、搞好社会实践活动六个方面探讨了大学生文化素质的培养途径。 [关键
汽油饱和蒸汽压是汽油产品一项重要的质量指标，生产过程中必要具备有效的检测和控制手段，才能保证汽油产品的合格，投用汽油蒸汽压在线分析仪，就能连续监视汽油蒸汽压的动态变化趋
[摘要]建设社会主义新农村应实行剩余劳动力转移与农村振兴并行推进的“互向发展”道路。农村教育作为新农村建设的基础条件也要做出相应的战略调整:提升农村义务教育质量,夯实互向型路径的人力基础;大力发展农村职业教育,推动外向型路径的开展;建立现代农业培训体系,促进内向型路径的实施;适度发展农村高等教育,引领互向型路径的进行。 [关键词]新农村建设 农村教育 发展战略 [作者简介]王光(1975- )