铝-钢爆炸焊接试验与分析

介绍了一种铝-钢复合板爆炸焊接工艺，包括所采用的炸药、复合板的性能和爆炸焊接材料的准备等。采用了金相技术、电子探钳和电子显微镜物相鉴定手段以及力学性能分析．结果显示．该复合板的结合区存在着金属强烈的塑性变形、熔化和原子间的相互扩散等冶金过程；铝-钢复合板是一种具有特殊使用性能的新型结构材料．具有很高的经济效益和广泛的应用前景。     

基于隐Markov模型的复杂仿真系统

根据复杂仿真系统具备随机性、严格时序逻辑性等工程实际特点,提出一种以隐Markov模型（HMM）为基础,利用多元统计理论定量分析复杂仿真系统运行有效性的评价方法.在引入状态观测向量矩阵的基础上,详细介绍了量化描述仿真剧情、复杂仿真系统运行状态的HMM的建立方法,给出了复杂仿真系统运行有效性评价准则,并针对评价过程中的关键算法进行了深入研究.     

复杂可编程逻辑器件的设计技术

介绍了复杂可编程逻辑器件（CPLD）的设计技术，重点叙述了复杂可编程逻辑器件架构的设计，关键单元设计技术。采用0．35μm内嵌Flash工艺进行模拟仿真和全定制版图设计，该复杂可编程逻辑器件（CPLD）具有72个宏单元，系统频率可达85MHz，管脚延时可达7ns。     

拟人控制系统的结构分析

本文对拟人控制系统结构进行了深入地分析和探讨。构造了拟人控制系统的复杂结构,指出了系统是由多种元素和多种子系统构成的,且不同元素和不同大大小小的子系统彼此间相互作用和相互影响。并在此基础上,提出了拟人控制系统的基本结构和特殊基本结构。     

复杂系统的控制策略及实现的相关软件技术（二）

在实际工业现场，控制系统的复杂性不仅表现在结构上，更多的是表现在信息关系的不确定性和复杂程度上，对这类被控对象进行有效控制的关键是选取适合对象的控制策略。基于对控制策略的分析对比，建议采用仿人智能控制策略，利用广义控制论模型实现对不确定性复杂对象的控制。为强化管理功能，文中对一类复杂系统工程实现的软件构架也作了讨论，并给出了一个应用实例。     

A multiscale computational method for medium-frequency vibrations of assemblies of heterogeneous plates

A new approach, called the “variational theory of complex rays” has been developed in order to calculate the vibrations of slightly damped elastic plates in the medium-frequency range. The resolution of a small system of equations which does not result from a fine spatial discretization of the structure leads to the evaluation of effective quantities (deformation energy, vibration amplitude,…). Here, we extend this approach, which was already validated for assemblies of homogeneous substructures, to the case of heterogeneous substructures.     

基于脆性势函数对复杂系统的脆性分析

本文主要是针对于存在于复杂系统中的脆性问题进行分析，给出了有关脆性问题方面的有关定义，在进行分析的过程中，我们采用的是突变理论的势函数来进行复杂系统的脆性分析的，此种方法是本文首次提出的，具有新颖性与创新性。     

考虑多层土壤时架空线的瞬态分析

基于麦克斯韦方程组，推导出土壤水平分层时电磁波在土壤中透射深度的计算公式，按照复深度法可进一步得到土壤阻抗的领域形式。为了便于时域卷积，采用矢量匹配法并结合拉普拉斯反变换将该土壤阻抗的时域形式展开为有限项指数函数之和，并验证了方法的正确性。最后，采用时域有限差分法(FDID)对架空线的瞬态波过程进行仿真计算，结果表明：土壤阻抗对自阻抗影响较小，对互阻抗影响较大。通过与电磁暂态计算软件(EMTP)的计算结果比较，验证了所提出的FDTD算法的有效性，同时也表明了计入土壤损耗及考虑分层土壤的必要性。     

利用小波变换测量与识别轻微幅度变化与相位变化的方法

幅度变化(AD)与相位变化(PD)是电能质量扰动的重要组成部分。为了深入研究电能质量问题，该文提出一种能确定AD、PD的位置，能在小波变换(WT)域分离它们，从而测量它们的幅度，判别它们的类型的方法。该文方法的显著特点是：平滑滤波器为Haar滤波器的双正交紧支复小波，只须在很少尺度上执行输出移动不变的快速小波变换方法；AD与PD在WT域自动分离，AD幅度、PD幅度与WT输出存在简单关系；只须在一个尺度上提取简单的二进数特征量；只须进行简单的二一十进制转换的识别方法等。这些独特的技术，使得该文方法又快、又准确、又简单。     

Formal methods integration for the specification of dependable distributed systems

This paper describes a real-world case study in the specification and analysis of dependable distributed systems. The case study is an automated transport system with safety requirements. In order to manage the complexity of the problem of specifying the dynamic behavior of the whole system, a compositional approach is used, based on the integration of the trace logic of the Communicating Sequential Processes (CSP) theory, and stochastic Petri nets (SPNs). It is argued that the integration of different formal methods is a useful approach in the definition of practical engineering methodologies for the specification, design and analysis of complex dependable distributed systems.