基于伪布尔可满足性的纳米CMOS电路单元配置

针对传统布尔可满足性(SAT)法在处理纳米CMOS电路(CMOL)单元配置时,存在合取范式(CNF)表示的约束子句个数过多、中间处理文件过大的问题,该文提出了利用伪布尔可满足性(PBS)来解决CMOL电路的单元配置问题。实验结果显示,相对于传统的SAT法,PBS法在不增加额外的布尔变量集个数的条件下,通过降低编码过程中的约束个数,能有效减少中间处理文件大小,达到提高算法效率和提高处理大电路的能力。

四氯间苯二腈结晶提纯实验

考察了四氯间苯二腈在不同溶剂中的结晶提纯效果,选择了乙醇和间二甲苯质量比为7∶3的复合溶剂作为结晶提纯溶剂。四氯间苯二腈经结晶提纯后产品结晶度较好,粒度较大,纯度≥99%,单程收率≥90%,主要杂质六氯苯含量≤20mg/L。所研究开发的工艺可直接用于工业生产。

工业管道应力分析概述

为了能够对工业管道设计中的应力分析进行较好的研究,本文就工业管道的应力分类、应力分析的主要目的和内容、应力分析方法及分析流程等方面进行了论述,并结合具体的实例进行了分析。

PC构件钢筋加工中数字技术应用

为了解决装配式混凝土构件中钢筋传统加工带来的种种问题,本文开展了钢筋数字化加工技术研究,结合钢筋加工设备,对加工过程中信息内容、传递方式、数字化加工流程和加工注意事项进行了深入探讨。本文针对加工过程中痛点和难点,引进数字技术,与传统的加工工艺结合,开发了一套钢筋自动化加工生产流程。实践结果表明,基于模型的数字技术与智能加工设备深度融合,可有效提高钢筋设计水平、自动化生产水平、产品质量和单位时间产出。由此可见,基于BIM模型的数字技术可助力实现智能制造和数字化生产,符合碳中和理念,可提高绿色施工和综合管理水平。

废电线电缆拆解回收利用研究

拆解回收废电线电缆不仅可以避免环境污染,而且可以节约资源,具有重要的经济价值。本文比较了不同方法回收方法的优、缺点,提出干法破碎分选将成为一种废电线电缆回收发展趋势。

基于伪布尔可满足性的流水线工位优化设计

鉴于保持流水线生产平衡的基本问题,因此在给定流水线工序、工时以及工位的情况下,通过建立相关数学模型,给出有关的约束条件和目标函数,提出了基于伪布尔可满足性的流水线优化工位设计算法,实现了流水线工位的优化安排,使流水线达到平衡生产.

高速铁路连续梁桥施工控制关键问题研究

高速铁路连续梁桥需要十分先进的技术工艺,保证工程项目的质量和安全,这就需要对高速铁路连续梁桥施工环节进行有效的控制和管理。

党旗下一颗璀灿的明珠

在二炼钢厂炉检车间,有一个极其平凡的汉子。他由一名普通检修电工成长为新时期具有实干型、智力型的人才并在生产实践中创造出令人惊叹的佳绩,多次被评为公司标兵、公司优秀党员、技术能手、自学成才的尖子。他就是该车间电气工段的青年段长、共产党员王争耀。王争耀1992年从技校毕业来到火红的钢厂,当上了一名检修电工。车间领导有意地把他们新分来的电工安排到了设备最先进的真空班,该区域设备全套从德国西门子公司引进,采用 PLC 控制,自动化程度高。由于在技校实习时从未听说过 PLC 设备,当时看着看着就傻眼了。这对于只有技校学历的他来说,要掌握这套洋设备困难是可想而知的。