大规模集成电路计算机辅助制版软件系统ZB-781

大规模集成电路计算机辅助设引(LSICAD)是为了实现大规模集成电路自动设计而发展起来的一种自动化新技术。本文对大规模集成电路计算机辅助制版软件系统ZB-781的设计、编译思想及实现方法作了较详细的介绍。利用ZB—781制版软件已经制出MOS1024动态存储器、256及1024静态存储器、512位CCD电路;双极型8080微处理机外部接口电路、电视机中放电路等等多种集成电路版图的全套红膜。该软件已在部份生产厂推广使用,取得了可喜的成果。     

山城住宅建筑工业化体系的刍议 地方材料轻板,空心榫接框架

一、当前国内外住宅建筑工业化的发展概况自第二次世界大战以后,欧洲许多国家曾面临着严重的房荒。其原因大致有三:一是由于战争的严重破坏;二是由于经济的不足;三是由于落后的建筑技术,施工速度跟不上。因此,欧洲各国在建筑业方面纷纷进行巨大的技术改造。从五十年代开始,逐步掀起了建筑工业化的高潮,至六十年代已扩及到美、日等国。这是属于第一代建筑工业化时期,在这一时期“专用体系”居于主导地位。至七十年代起才进入第二代,也就是由“专用体系”转变为“通用体系”的时期,构件商品化了,它具有通用性和互换性。1974年,联合国经济社会事     

住宅建筑新体系的初探——工业化蜂窝元件组合体

一、前言人类的生活不局限于一种方式,同样,人类的住所也不局限于一种形式。从人类社会的发展看来,自古至今,由穴居野处,架木为巢,到现代的房屋建筑,都是随着人类生活的需要和建造条件而变化的。如果这些客观情况巳经起了变化,而主观因素还一成不变的话,那     

成都锦江礼堂音质设计

成都锦江礼堂观众厅长48米,宽42米,平均高度16.5米,总容积为25,600立方米,容3,406座,平均每座7.5立方米。礼堂在使用上以大型会议为主,同时兼顾各种歌舞、戏剧演出,因此场内设置了三通道立体声系统。由于四川省是一个多民族地区,所以在观众厅内,装设了分散式语言扩声系统,有六种语言同声传译装置。但在设计中,仍然把演出时可以不用电声系统的情况考虑在内,在厅堂声学体型设计以及其他声学处理方面,均采取了相应措施。 一、声学体型设计 锦江礼堂观众厅容积大,使用要求较高。在开始设计时,天棚及墙面采用了较多的吸声构造,厅内反射声场也不很理想(图     

利用近似解加速求解SAT问题的启发式完全算法

结合DPLL完全算法能够证明可满足性(SAT)问题的不可满足性和局部搜索算法快速的优点,提出利用近似解加速求解SAT问题的启发式完全算法.首先利用局部搜索算法快速地得到一个近似解,并将该近似解作为完全算法的初始输入,用于其中分支变量的相位决策.该算法引导完全算法优先搜索近似解所在的子空间,加速解决器找到可满足解的过程,为SAT问题的求解提供了一种新的有效途径.实验结果表明,该算法有效地提高了决策的精度和SAT解决器的效率,对很多实例非常有效.     

曲线分段的矩量法分析阿基米德平面螺旋天线

从混合位积分方程出发,采用矩量法结合曲线分段的三角基函数和脉冲检验函数分析了阿基米德平面螺旋天线,给出了输入阻抗,电流分布以及辐射方向图结果.从曲线形式的海伦积分方程出发结合折线分段的脉冲基函数点匹配法比较结果与文献[2～4]十分吻合.由于采用了曲线分段,在相同分段数情况下其结果的精度将比采用折线分段的高.     

改进的时间帧展开的时序电路等价验证算法

提出一种改进的基于时间帧展开的时序电路等价验证算法,其来源于模型检查中的基于数学归纳的验证算法,在使用并简化了SAT问题中不可满足子集提取过程后,将基本条件检查和归纳检查合并处理．为了能在时间帧展开过程中减少状态搜索空间,利用结构不动点技术并提出了准动态唯一状态约束等改进的方法．实验表明,随着时间帧的不断展开,文中算法运行时间的增长速度明显慢于基于数学归纳法的验证算法,其适合验证经过时序优化后的电路．     

时延驱动的整平面整体布线算法

本文结出了一个新的时延驱动的整体布线算法．算法采用了整平面布线技术，从而具有快速求解的特点且无网序问题的困扰．算法优化的目标是使所有线网的最大时延之和最小，尤其是在关键路径上的线网实际电路的布线结果表明该算法可有效地改善关键路径上线网的时延．     

会议

1980年6月24日～26日第二次国际座谈会关于地冻问题在挪威特朗德海姆这次座谈会在挪威工业技术学院召开,是着重对人工或改进地冻问题进行互相探讨。议程包括冻土结构和冷冻系统的热工和机械性质以及典型例子.专题包括:温度分配,热和质量流至冰点、水渗透、由冰冻和解冻而来的性质改变,变形和懦动,强度,稳定性,控制冰冻的热力管道系统,以及温度和冰冻土壤边界而用的监控装置,典型例子将报导隧道和明挖