【摘 要】
：
最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境，作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成，在ＸＹＺ系统中很多的工具，它们被用业
论文部分内容阅读
最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境，作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成，在ＸＹＺ系统中很多的工具，它们被用业满足不同的需要。众所周知，ＳＤＬ是电信领域中的一个国际标准语言，而且有关基于该语言的环境已在开发，但是有关该语言的验证工作，特别是利用有关时序逻辑语言进行验证的工作还不多。
其他文献
摘要：《高职教育英语课程教学基本要求》（试行）所提出的“以实用为主，应用为目的”的教学要求，突出了培养学生语言实际应用能力（也可称为“社会文化能力”）的重要性。本文结合当前社会需求和高职英语教学的特点，探讨了如何在高职英语教学中培养学生的社会文化能力，从而达到语言为交际服务这一目的。 关键词：高职；英语教学；社会文化能力 美国教育家温斯顿·布伦姆伯格曾说过：“采取只知语言而不懂文化的教法
目的:观察澎健口服液治疗非选择性ED的有效性和安全性.方法:按IIEF-5诊断明确的门诊171例非选择性ED患者,给予澎健口服液口服,30 ml,3次/日,12天为一疗程,1～2疗程后逐渐减量.
摘要：针对目前社会对高技能人才需求的实际情况，本文积极探索了机电一体化技术专业“2 1”人才培养模式和工作过程导向的教学模式的可行性，并阐述了实践以工学结合为特点的“2 1”教学模式和工作过程导向教学模式的保障措施。 关键词：机电一体化技术；工学结合；“2 1”模式；工作过程导向 工学结合对机电一体化 技术专业人才培养的意义 随着现代化工业生产的不断发展，由机械技术、气动技术、液压
【正】 近年来,通过不断摸索和实践采用以下方法治疗草鱼出血病,效果较为理想。 中草药疗法 按50公斤草鱼计算,用地骨皮、白茅根、地榆、仙鹤草、穿心莲各500克洗净,加大黄25
<正>2003年4月11日,山东省性学会筹备委员会在济南市召开了工作会议,筹委会挂靠单位山东大学第二医院院长赵升田教授主持了会议,有关主管部门的领导同志、医学界、法学界、心
每年的5～9月是高产鱼池容易发生缺氧泛塘的季节。我场每年为此事着急,先后买进喷水式、负压式、叶轮式等增氧机8台,效果均不很理想。1995年5月初,在《湖南农业》第5期27页上看
【正】 1994年世界虾类市场供不应求,供应缺口为5万吨左右,行情坚挺,价格上扬。 泰国居世界养虾生产国的首位,1992年养殖虾产量为16万吨,1993年为16.3万吨,1994年养殖虾产量
摘要：针对目前化工检测仪表教学中出现的若干问题，结合多年来的教学实践，提出了若干改进的措施，以提高学生学习本课程的兴趣，加深学生对基础知识的理解与掌握，改进教学效果和质量。 关键词：检测仪表；教学改革；课堂教学；实验教学 化工测量仪表是一门应用性与实践性很强的课程。近年来，随着化工生产向着大规模、高效率的方向发展，对检测技术与测量仪表也提出了更高的要求，在以往更精确、更快速的基础上，又提出
随着性传播疾病的不断蔓延和流行,非淋菌性尿道炎《以下简称非淋》的发病率也不断上升,在欧美国家此病的发病率位居性病的发病率之首[1].在我国目前也是常见性病之一,由于非
【正】 夏秋时节是鱼类生长旺季,如何施肥,才能使鱼池获得高产呢?邵阳县岩口铺镇养鱼专业户刘顺境的经验是; 1.适施有机肥 有机肥料包括各种人畜粪便,每月每667平方米鱼池施3