论文部分内容阅读
Using Petri nets to verify acyclic rule-based system
【出 处】
：
电气与电子工程前沿
【发表日期】
：
2008年2期
其他文献
期刊
分析了我国林业资源状况,探讨了栽培技术要求和病虫害防治策略。
The status of forestry resources in China was analyzed, and the technical requirements of cultivati
碱蓬(SuaedaheteropteraKitog)是一年生藜科植物,营养成分丰富,是一种优质的蔬菜和油料作物。碱蓬的鲜嫩茎叶既可炒食,亦可凉拌;既可用作鲜菜,又可制干,便于贮藏和运输,深受
曾有本杂志刊登过一则故事:一个澳大利亚农场主和一个美国农场主打电话聊天,美国农场主问澳大利亚农场主有多少土地,澳大利亚农场主回答:“不多,我开汽车一天也跑不到头”。
The impacts of economic restructuring and technology upgrade on air quality and human health in Beij
期刊
2000年8月的一天,辰溪县黄溪口镇堰塘村农民瞿家伟在黄溪口镇一居民家赌博时,掏出一把大额钞票托人去换零钱,不料被该县罗子山乡老屋场村米贤常拿走100元。后来,瞿家伟对在
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥