可达性分析论文

论文摘要混成系统是一类有广泛应用的系统,目前主要用混成自动机对其进行建模,对混成自动机进行可达性检验是保障混成系统质量的主要手段。目前对于混成系统的可达性分析主要有两类主要方法...

论文摘要我国正处于生态建设的热潮之中,1995年开展了生态示范区的创建活动,为了将生态示范区建设扩展到更大的范围和区域,将生态建设推向更高阶段,1999年开始在全国开展生态省、...

论文摘要包头市是依托矿产资源发展起来的能源型重工业城市，高消耗、高排放、高污染等问题日渐严峻。虽然“十一五”期间包头市污染总量减排取得了积极进展，由于“十二五”规划期间包头市继...

论文摘要随着我国社会经济的高速、持续发展,城市居民生活水平不断提高,人们日益关注城市的环境质量,城市建设目标也开始向追求高质量生态环境方向转变。公共游憩空间作为城市重要的绿地基...

论文摘要系统复杂性继续按照摩尔定律增加,而功能复杂性的增加速度则更加迅猛。为解决复杂性增加的问题,EDA行业提出了通过自动化来实现设计抽象(DesignAbstraction)...