排序方式: 共有39条查询结果,搜索用时 0 毫秒
11.
布尔可满足性是计算机科学中最基础的问题之一,已经出现了包括著名的基于查找的SAT算法在内的各种算法.对于传统的一次布通一条线网的方法,基于布尔可满足性的算法有着独特的优点,例如:同步线网嵌入及可布通性确定.然而基于SAT的布线法在可扩展性方面有很大缺陷.而另一方面,几何查找布线算法即使具有广泛的拆线重布线的能力,但当北一个问题具有严格的布线约束条件时,它在布线方案收敛方面存在很大困难.文章提出了将一种布尔可满足性算法与VPR430相结合的新型、有效的混合布线算法.试验结果表明与相应的纯几何布线算法相比,这种算法在运行时间上有了极大的改善(减少了29%),并且对布线整体方案无不良影响. 相似文献
12.
13.
14.
15.
16.
详细介绍了虚拟仪器的概念、优点及其系统组成,同时介绍了现在比较流行的图形化编程语言LabVIEW,并用该语言开发设计一虚拟仪器——信号发生器,以此来说明虚拟仪器的开发方法和步骤等.该虚拟信号发生器不但界面友好,而且功能强大、操作简便.经仿真实验表明,它能够产生实验室常用的正弦波、三角波、方波、锯齿波等波形,频率范围较宽,具有相关参数可调功能. 相似文献
17.
我国西南灰岩山区的褶皱山体经长期强烈的地质抬升运动与河流侵蚀,山体呈现出中上部厚层-巨厚层灰岩地层陡峭,下部页岩、泥岩地层平缓的“靴状”地貌形态,加之下部煤层、铝土矿层的开采,成为我国大型层状岩质崩滑灾害的高发区。本文以重庆武隆鸡冠岭陡倾层状岩质斜坡滑动为例,采用FLAC3D模拟分析了地下采空诱发陡倾层状岩质斜坡“弯曲变形-层间错动-采矿加速倾倒变形-下伏岩体阻滑-下伏岩体剪切破坏-整体失稳”的渐进失稳过程,认为鸡冠岭山体滑动是一类层状岩体的倾倒-滑移失稳的复合破坏模式。模拟结果表明:(1) 陡倾临空的斜坡在长期重力作用下,坡体沿山梁方向发生蠕滑变形,坡体逐渐产生拉裂缝;同时由于该斜坡位于背斜核部附近,应力集中导致上覆层状岩体呈现出弯曲变形的特征;(2) 长期岩溶作用加速坡体裂缝的发育与扩张;(3) 斜坡下部煤层开采时,导致鸡冠岭山梁发生应力发生重分布,上覆层状岩体逐渐发生层面分离,层状岩体下部产生裂缝,岩体强度逐渐降低;(4) 当斜坡下部煤层逐渐采空后,上覆层状岩体变形急剧增大,发生倾倒破坏,挤压矿层下伏稳定岩体,发生剪切滑移,最终从临空处剪出形成高速碎屑流。因此,对于西南灰岩褶皱山区,认识长期地下采空对层状山体的扰动作用,对大型灰岩山体防灾减灾与风险区划具有重要的现实意义。 相似文献
18.
企业效能监察是企业监察部门对监察对象贯彻执行党的路线、方针、政策和国家法律、法规以及履行职责效果的监督、检查,是企业自我约束的有效组织措施。企业的自我约束机制,是指企业根据一定的经营目标或生产目的,约束并调节自己行为的功能。一般表现为企业制订的避免损失的企业自身可为或不可为的行为规范。但是,无论怎样周详的行为规范,都难以全面回答或约束实践过程中出现的千差万别。因此,承担这项工作的企业监督检查机构——效能监察室等工作部门就应运而生。企业步向市场之时,必须遵循市场经济原则,重新确立企业自身避免损失的约束机制。冶金工业部1995年1月4日印发了《冶金行业效能监察暂行办法》,这个文件为企业提供了有力的自我约束武器。我们必须充分利用这个武器,强化企业自我约束机制,全面开展企业效能监察工作,保证企业各方面工作的顺利开展。 相似文献
19.
介绍了虚拟仪器的概念、特点及其系统组成,并在图形化编程语言LabVIEW环境下,用多功能数据采集卡PCI1710开发虚拟仪器系统的方法等.开发出的虚拟仪器系统不但界面友好、操作简便,而且功能强大,实现了信号采集、信号发生以及各种信号分析处理等功能.经过实验测试表明,该虚拟仪器系统的各种功能已经实现且结果正确可靠. 相似文献
20.