五强溪水电站缆索起重机的安装与使用

五强溪水电站主体工程混凝土浇筑垂直运输在大坝两岸分高、低层布置４台平移式２０ｔ缆索起重机。其中２台高缆从德国引进，属世界上首次采用全遥控的缆机，同时也是国内塔架最高的缆机；２台低缆属我国目前自行设计制造安装的规格最大、速度最高的缆机。     

Axisymmetric dynamic response of a penny-shaped crack to a pair of transient concentrated forces

The three-dimensional axisymmetric elastodynamic response of a penny-shaped crack embedded in an infinite elastic solid subjected to a pair of transient concentrated forces is investigated. The forces are applied on the symmetry axis perpendicular and symmetric to the crack surfaces, including the special case when the forces act precisely on the crack surfaces. A time-domain boundary integral equation method is applied for computing the crack-opening displacement and subsequently the time dependence of the dynamic stress intensity factors. Numerical calculations are carried out for various geometry parameters and the results are discussed. It is found that the location of the applied concentrated forces inducing the highest dynamic stress intensity factors differs from that producing the highest static values.     

Reverse reachability analysis: A new technique for deadlock detection on communicating finite state machines

The communicating finite state machines can exchange messages over bounded FIFO channels. In this paper, a new technique, called reverse reachability analysis, is proposed to detect deadlocks on the communication between the communicating finite state machines. The technique is based on finding reverse reachable paths starting from possible deadlock states. If a reverse reachable path can reach the initial global state, then deadlock occurs. Otherwise the communication is deadlock-free. The effectiveness of the technique has been verified by some real protocols such as a specification of X.25 call establishment/clear protocol and Bartlet's alternating bit protocol.     

Multimedia Signal Processors: An Architectural Platform with Algorithmic Compilation

Novel algorithmic features of multimedia applications and advances in VLSI technologies are driving forces behind the new multimedia signal processors. We propose an architecture platform which could provide high performance and flexibility, and would require less external I/O and memory access. It is comprised of array processors to be used as the hardware accelerator and RISC cores to be used as the basis of the programmable processor. It is a hierarchical and scalable architecture style which facilitates the hardware-software codesign of multimedia signal processing circuits and systems. While some control-intensive functions can be implemented using programmable CPUs, other computation-intensive functions can rely on hardware accelerators.To compile multimedia algorithms, we also present an operation placement and scheduling scheme suitable for the proposed architectural platform. Our scheme addresses data reusability and exploits local communication in order to avoid the memory/communication bandwidth bottleneck, which leads to faster program execution. Our method shows a promising performance: a linear speed-up of 16 times can be achieved for the block-matching motion estimation algorithm and the true motion tracking algorithm, which have formed many multimedia applications (e.g., MPEG-2 and MPEG-4).     

重力坝深(底)孔断面钢筋混凝土模型试验研究

文通过7个小尺寸和1个大尺寸的钢筋混凝土断面模型试验，研究重力坝深(底)孔在坝体自重和内水压力以及超内水压力作用下的结构特性和破坏规律。重点探讨混凝土和钢筋应力应变、混凝土开裂、裂缝宽度和裂缝扩展规律，为建立更为科学的孔口配筋理论提供依据。     

二维无机功能材料

简要介绍了一种通过层状结构材料剥离成单分子层的无机二维功能材料。     

几何设计约束的表示与满足问题研究

对于智能ＣＡＤ系统来说，具有解决几何设计约束的功能是重要的。本文提出了一种面向对象的几何设计约束表示方法，它可以通过两种方式来表达。文中给出了一个约束传播算法，用于解决约束满足问题。     

机器人离散滑模变结构—PI控制器

本文采用离散滑模变结构控制方法，针对机器人提出了一种滑模变结构——ＰＩ控制方案，给出了该控制方案滑模存在条件及控制器设计方案。该控制器将离散滑模变结构控制和ＰＩ控制两者的优点有机地结合起来，理论分析和仿真结果表明该控制器能使机器人在各种复杂非线性动力学情况下具有良好的性能指标。这种控制器输出切换小，可以投入应用。     

自韧Si3N4陶瓷的显微结构及其性能研究

利用热压的方法制得室温断裂韧性和抗弯强度分别为１１．２ＭＰａ·ｍ￣（１／２）、８２３ＭＰａ，高温（１３５０℃）断裂韧性和抗弯强度分别为２３．９ＭＰａ·ｍ￣（１／２）、６３０ＭＰａ的自韧Ｓｉ＿３Ｎ＿４陶瓷。研究了显微结构和力学性能之间的关系。结果表明：玻璃相的含量、β－Ｓｉ＿３Ｎ＿４的长径比等对性能有重要影响。分析了自韧Ｓｉ＿３Ｎ＿４陶瓷的增韧机理，通过ＳＥＭ明显观察到Ｓｉ＿３Ｎ＿４中存在裂纹偏转、分支和β－Ｓｉ＿３Ｎ＿４拔出现象。     

Ge/Pd/n-GaAs低阻欧姆接触的SIMS分析

采用Ge／Pd／GaAs结构和快速热退火在n－GaAs上形成了低阻欧姆接触。利用H次离子质谱（SIMS）技术揭示和讨论了低欧姆接触形成的机理。比较了采用X 和CsX 信号检测的Ge，Pd，Ga和As的深度分布。结果表明采用CSX 可以提供更准确的结果和成分信息。