论文部分内容阅读
本文简单介绍了形式描述技术（ＦＤＴ）的特点，对ＬＯＴＯＳ语言进行了指导性介绍。
LOTOS语言介绍
【摘 要】
：
本文简单介绍了形式描述技术（ＦＤＴ）的特点，对ＬＯＴＯＳ语言进行了指导性介绍。
【机 构】
：
中国电波传播所计算中心
【出 处】
：
计算机与信息处理标准化
【发表日期】
：
1996年3期
其他文献
本文以2001年至2017年公开发表在中国学术文献网络出版总库的文献为研究对象,通过内容分析法和统计分析法,分析反恐情报预警的研究现状,综述反恐情报预警研究的水平和发展趋
【正】 1992年11月7日是我院建校40周年纪念日。在全国高等教育改革进一步深入发展的新形势下;为总结40年辛勤耕耘成果,动员全院师生员工、海内外校友集思广益,继往开来,抓机
在一片严打形势下,危险驾驶罪的案件数量不断攀升,专家告诉记者,从近两年全国法院普通一审刑事案件的罪名类型统计来看,危险驾驶罪已一跃成为仅次于盗窃罪的第二大罪名,并且
大掺量粉煤灰混凝土具备较优的经济、社会和环境效益,因此除了水利工程外,其在桥梁、道路、房建等工程领域的应用也愈发广泛。然而大掺量粉煤灰的掺入必然使得水泥基材料的强
为了分析露石水泥混凝土路面的降噪特性,采用轮胎落下法,通过调整不同的粒径、不同的级配,成型不同构造深度、不同表面特性的水泥混凝土路面板试件,对其进行室内路面噪声试验
目的研究不同剂量芪参二莲汤对肝纤维化大鼠基质金属蛋白酶-1及抑制因子变化的影响。方法于2017年6月~8月选择90只SD雄性大鼠作为研究对象,按照体质量随机分为6组,每组15只,
英语的教育目标是提高学生对英语学科的学习兴趣,让学生逐渐融入到英语语言文化氛围中,体验英语的魅力。“寓教于乐”的教学理念是将趣味教学与快乐教学相融合,让学生在提高
在南宁参加由中国社会科学院举办的中国经济形势分析与预测学术研讨会期间,听取了中共广西凭祥市委黄东日副书记关于越南革新开放的经济发展形势介绍后,我们踏上了去越南的旅
游泳池内跳水不幸摔成重残现年31岁的薛志泽是一名游泳爱好者,工作之余总要到单位附近的一家碧波游泳馆畅游一番。游泳,对于薛志泽来说,既可锻炼健身,又可以自我娱乐。游泳时