论文部分内容阅读
基于线性时序逻辑的对象文件系统形式化描述
【出 处】
：
计算机研究与发展
【发表日期】
：
2007年z1期
其他文献
目的:探讨冠脉经皮冠状动脉介入(PCI)治疗后血浆脂蛋白相关磷脂酶A2(LP-PLA2)与基质金属蛋白酶-9(MMP-9)水平的变化及其临床意义。方法:选择150例急性冠脉综合征(ACS)患者、1
新课程改革对初中思想品德课教学提出了更高的要求,要求教学能与时俱进,更切合实际地教育学生,以提高他们的道德意识,增强他们的法制观念,成为新时期需要的好公民。从转变教
运用扎根理论深入探究草原文化传播活动,可以发现“文化情境、传播动机、传播行动、公众认知”4个范畴对草原文化传播过程具有显著影响,其范畴之间及与传播主、客体、媒介等
无籽西瓜因品质优，无籽，食用方便，一直成为人们夏季消暑的理想水果。但我国南方（主要指长江中下游和气候类似地区）的气候特点是温暖、雨量充沛、无霜期长，西瓜的苗期和生长期低温寡
根据本文的研究思路,全文共分为七章,研究的主要内容如下:第一章绪论.主要基于世界范围内对"房地产泡沫经济"存在性的争论以及泡沫经济的巨大危害对可持续发展的不利影响,引
一直以来,大屏手机在整个手机品类中,都是作为一个细分的小众市场,来满足一部分用户的使用需求.但是随着201 8年手游的火爆所带来的行业红利,上游屏幕厂商与手机品牌开始再次
期刊