【摘 要】
:
[1]The RAISE Language Group, The RAISE Specification Language, London, Prentice Hall, 1992:2-7[2]Pren S., and Hansen I. φ., Formal methods appraisal,Technical Repo
【基金项目】
:
Supported by The National Natural Science Foundation (No. 69773038) and American Applied Material Foundation
论文部分内容阅读
[1]The RAISE Language Group, The RAISE Specification Language, London, Prentice Hall, 1992:2-7[2]Pren S., and Hansen I. φ., Formal methods appraisal,Technical Report FMA/DDC/SP, Dansk Datamatik Center,1983[3]Miao Huaikou, Li Gang, Zhu Guanming, Software E
其他文献
国际主要小麦生产国俄罗斯、澳大利亚和加拿大等国减产导致谷物价格上涨,大麦、春小麦和高粱价格较2010年12月分别上涨15.9%、16.9%和15.0%。玉米、大豆价格在高位震荡调整。
近几年来,定南县委、县政府把廉政建设、关心群众生活、为群众多办实事、改进工作方法等作为恢复和发扬密切联系群众这一优良传统的关键性措施来抓,现在定南的干群鱼水关系得
中办发[1996]23号 1996年9月3日中共中央组织部、国家教育委员会、人事部《关于从党政机关和事业单位选派人员支援基层教育工作的请示》已经党中央、国务院同意,现转发给你们
Magnetic Fields in Disc-Type Permanent Magnet MachinesTX1IntroductionAtwo-dimensional(2D)analyticalmethodforcom-putingtheaxial...
在近几年,出于营销或娱乐等多种原因,我国社会上出现越来越多的对汉字滥用的现象,比如对错别字、繁体字和谐音字的滥用,这种不规范用字的行为会在人们的生活、学习、工作中造
科属产地:北海道黄杨又名冬青卫矛、大叶黄杨,拉丁文名为Euonymus japonicus Thunb.,矛科卫矛属灌木。北海道黄杨是大叶黄杨的栽培变种,原产日本,1986年从日本北海道市引入我
在已有的各种推理方法中,所使用的产生式规则表示形式都不统一,其中含有的信息量也不一样,有的少,有的多,各有侧重点,但都不全面,因而不能把它们作为模糊知识的统一表示形式.其根本的
近年来,食品安全、环境保护、劳工权益以及财务造假等社会责任问题时常发生并且日趋严重,这些问题使得社会对于企业的社会责任十分关注。企业履行社会责任不仅可以带来良好的声誉,同时也有利于企业的可持续发展。尽管我国《公司法》早已要求企业在发展过程中应当履行社会责任,并在《企业内部控制应用指引》中将社会责任作为内部控制建设的重要方面,但是关于社会责任和企业价值的关系,理论界并没有得出明确的结论,并且鲜有学者
目的探讨治疗急性心肌梗死患者时应用早期康复治疗的效果。方法将96例急性心肌梗死患者随机分为两组,康复组采取早期康复治疗方法,对照组采取传统治疗方法,比较两组患者住院天数
《江西政报》是省政府唯一的机关刊物,是传达政令、指导工作、交流经验、服务改革的重要载体。近年来,我市切实把搞好《政报》的宣传发行当作保证政令畅通的重要工作来抓,使