论文部分内容阅读
Validation of Software Property Specifications Using the TV Tool
【机 构】
：
CollegeofEngineering
【出 处】
：
通讯和计算机：中英文版
【发表日期】
：
2011年4期
其他文献
本文初步探析了长笛的音品和改变音品分量的可变因素.音品是由较复杂的振动和波的传播在人的主观上形成的音响概念,有其内在的科学性与规律性.长笛演奏者应清晰、透彻地研究
【正】 旧时,孔府祭冰与藏冰,实为全国所独有。《续修曲阜县志》云:“十一月冬至后衍圣公遣使祭冰。”曲阜原有一冷神庙,位于城西北角外五十余米处。南北宽近两米,东西长近三
【正】 社会民俗是人类社会生活的产物,是社会的经济活动、政治活动在民俗上的反映。社会民俗的内容主要包括乡村民俗、都市民俗、民间社团组织民俗和社会交际礼仪民俗四个方
综合大学应该承担起培养一大批从事艺术普及工作懂管理的文艺通才的任务,这既是社会对高校改革的要求,也是高校改革自身的要求.打通音乐、美术两专业界限,建立"双学科"、"密
综述用于大气颗粒物研究的受体模型在国内外的发展概况，对受体模型与扩散模型的特点，常用受体模型的技术内容，受体模型在城区尺度，区域尺度和全球尺度颗粒物源解析研究中的作用详
在实验室条件下，采用瓦勃氏向量呼吸仪测试方法，以处理焦化废水曝气池内活性污泥作为降解所用微生物，研究了焦化废水中咪唑等６种有机污染物的好氧生物降解特性。文中的对这些有机