随机微分系统的耗散性

提出了有关Ito型随机微分系统耗散性理论的新概念:按模耗散、按模等度耗散和按模一致耗散,并利用Lyapunov方法,借助于Ito微分公式沿着Ito型随机微分系统的解对所构造的Lyapunov函数求导数,给出了Ito型随机微分系统有关按模耗散理论的一些代数判据,获得了与确定性常微分系统耗散性理论相对应的结论,最后的算例证明了该方法的有效性和可行性。     

一个C程序切片系统的设计与实现

针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖、控制依赖和程序依赖等。在分析Ｃ程序的程序依赖性的基础上，介绍了作者设计并实现的一个Ｃ程序切片系统，其中包括系统的概要设计思想，系统中使用的数据结构以及切片生成算法。Ｃ程序切片系统不仅可用于产生Ｃ程序的切片，而且可用于观察Ｃ程序的框架结构和有关变量的多种数据字典。所有这些结果，为Ｃ程序的测试、排错与维护提供许多有用的信息，对Ｃ程序的并行性检测、波动分析和复杂性度量提供有力的支持。     

基于未知状态估计器和改进跟踪微分器的柔性关节预设性能反演控制（英文）

为解决由模型不确定性和外部未知干扰导致的柔性关节系统控制偏差问题，提出一种基于未知状态估计器和跟踪微分器的预设性能反演控制方法。设计一种基于低通滤波器的未知状态估计器，该估计器仅依赖于模型的名义值即可估计集总扰动。构造了一种新的有限时间收敛预设性能函数，并基于该函数设计反演控制器，用于在保证闭环系统所有信号有界的情况下，使关节跟踪误差在约定时间内收敛到预定的任意小区域。为避免反演控制器的微分爆炸问题，设计基于改进Sigmoid函数的跟踪微分器来估计虚拟控制律的微分信号。仿真结果表明，在未建模动态和外部未知干扰的影响下，所提方法能够保证关节跟踪误差在有限时间内收敛到任意给定范围，有效提高了柔性关节的瞬态和稳态性能。     

可靠性基础讲座 第五讲 可靠性设计(上)

可靠性工程是系统工程的重要组成部分,而可靠性设计则是可靠性工程的核心。本讲(上、下)介绍可靠性设计的基本思想和一些主要方法。一、系统方案的制定在系统工程中所指的系统,是为了完成规定任务,由工作设备、辅助设备、操作与维修人员、工具、器材和各种程序软件构成的综合体。     

加筋板稳定性微分求积单元法分析

板和加筋板结构的稳定性特性,是设计人员十分关注的一个问题。本文首次采用新近提出的微分求积单元法分析了各向同性加筋板的稳定性问题,建立了微分求积梁单元和板单元,并给出了详细的分析过程。通过与现有结果的对比验证了所建立的分析过程和程序的正确性。计算结果表明:微分求积单元法具有简单、收敛速度快、计算量少和精度高等优点。     

分数阶微分器的实现及其阶次对方法选择的影响

分数阶微分的计算是分析分数阶系统和设计分数阶控制器的一个重要环节,不同方法设计的分数阶微分器其性能不同。为了在应用时选择或设计合适的分数阶微分器,本文总结了时域中14种分数阶微分器的实现方法,同时对它们的性能进行了分析和比较,包括:各种分数阶微分器的阶数对其零极点位置、冲击响应和频率响应的影响。结果表明,采用连分式展开的近似方法要比采用级数展开的近似方法好,其中一阶、二阶和三阶向后有限差分公式在两种方式下都能得到较好的近似结果,Tustin公式和Simpson公式不适宜于级数展开方式。     

符号运算在工程分析中的应用

从用户的角度出发，简单介绍了国外符号运算在工程分析中的应用现况和发展趋势，旨在引起同行对这个领域的兴趣和重视。文中给出了一个符号运算的简单例子—用ＭＡＰＬＥ导出了１２自由度矩形板弯曲单元刚度矩阵的显式并将其自动转换成ＦＯＲＴＲＡＮ程序，以说明符号运算的优越性。可以看出，符号运算的程序简洁、直观，且不易出错。繁锁的公式推导和程序编制均由计算机自动完成，这不但大大提高了效率，而且也确保了公式推导和程序编制的可靠性。顺便指出，本文导出的矩形板弯曲单元比目前不少教材中采用的单元在性能上要优越。由于本文已给出了单元的插值函数的显式，故可望用该单元来替代教材中所用的单元．     

加筋圆柱曲板稳定性的微分求积单元法分析

加筋圆柱壳和圆柱曲板在工程领域中有着广泛的应用,其稳定性特性是设计人员十分关注的一个问题。本文首次尝试应用微分求积单元法分析加筋圆柱曲板的稳定性问题。采用了新的确定权系数的方法建立了微分求积圆柱曲板单元,并给出了详细的分析过程。将微分求积单元法的计算结果与现有的数值结果进行了比较来验证所建立的微分求积单元法的分析过程及结果的正确性,还给出了一些新的数据和图线供设计参考或者用于新方法的验证。     

UHDL语言及其编译器的设计与实现

本文介绍了一种通用硬件描述语言——UHDL及其编译器的设计与实现。该语言具有多层次硬件描述能力,良好的程序设计风格和丰富的数据类型,能够支持从系统级到门级的模拟过程。该语言编译器已在MICRO—VAXⅡ上用C语言实现。为了较好说明UHDL语言及其编译器的性能,本文各部分均给出了相应的示例。     

CAD技术在包装装潢设计领域的应用

从计算机图形学的角度出发,利用真实感图形的理论,在包装装潢图案自动化设计、立体效果自动显示方面做了一些探讨,研制出相应的包装装潢设计CAD系统软件.该系统主要是在微机上完成包装装潢设计,包括容器造型设计、装潢方案设计和装潢效果显示等,为包装设计人员提供在微机上进行包装设计的手段,以实现包装装潢设计的自动化.     

空气动力学与航空飞行器

本文简述了当今航空飞行器的发展概貌;回顾并剖析了空气动力学在航空飞行器发展过程中的重要作用;最后,对今后的发展前景作了展望。     

TW-1拖靶缆绳张力与形状参数的计算

本文通过拖靶平衡受力分析,得到拖靶放出后,稳定飞行时平衡攻角的近似计算公式。并通过缆绳微元受力分析,求得缆绳张力与飞行速度、高度及缆绳长度关系的计算公式及给出缆绳形状参数的计算公式。运用本文提供的公式计算出的MK3靶的缆绳张力曲线与实际测量之张力曲线吻合较好。因此,运用本文提供的公式进行了TW-1拖靶缆绳的设计及计算,取得了可信的依据,完全满足工作设计要求。     

航天领域国外标准化文件的类型与辨析

基于国内标准化文件类型单一及标准应用需求多样化的现状，调研了航天领域的国外相关7个标准化组织/机构发布的标准化文件类型及其定义解释，并采用对比分析和归类研究的方法进行了研究。基于文件的权威性、制定过程的规范性、内容的规范性综合分析，航天领域国外标准化文件概括起来主要包括4个类别：正式标准、不成熟标准、指南/手册、信息文件。此外，结合国内现状，提出了国内标准化文件类型多样性的建议，以期为用户提供多层次、全方位、更丰富的标准化信息，有助于用户对标准的理解及应用实施。     

动态燃烧过程参数测量原理与系统

为了满足动态燃烧试验对燃烧过程中燃烧放热量、温度、压力多参数动态测量的要求，研制了一套燃烧动态测试系统。首先从理论上分析了碳氢燃料燃烧时的化学反应过程与物理现象，采用光电传感技术，实现了对动态燃烧过程放热量的非接触式测量；其次运用动态理论详细研究了热电偶的动态特性，完善了用双丝频谱补偿法测量动态温度的方法；最后选择了合理的动态压力的测量方案。同时介绍了该系统的结构及工作特点、系统的动态联调结果等。试验表明了测试该系统具有所测参数多、工作性能稳定、动态响应快等特点，可广泛应用于动态与稳态燃烧试验研究或工业过程监控测量中     

在线三维几何量测量软件研究

介绍了最近研制成功的依维柯汽车底盘潢梁在三维几何量微电脑测量系统的测量原理和测量软件。该系统采用相对测量原理建立三维测量坐标系，通过系统误差软补偿提高测量系统精度。并根据优化原理提出了三坐标测量中一种新的几何量误差计算方法，该方法通过模拟被测件装配过程，对相关几何量误差进行最优计算，使测量误检率大大降低，保证了在实际测量中最大程度地通过合格件。     

微量天平校准装置及精度分析

装置适用于风洞应变式微量天平六分量精密静态校准。通过高精度复位工件台和电视测量实现了微量天平的五分量体轴校;应用力的精密传递与转换实现了微量载荷在水平方向的准确加载。对三分量天平的综合加载精度以及影响因素进行了分析,同时还给出了该设备对三分量微量天平校准的结果,并与其他设备校准结果进行了比较     

铜镉污染对海州香薷种子萌发的影响

以海州香薷种子为试材,研究了铜镉污染对种子萌发的影响。结果表明,在实验所选的胁迫浓度范围内,单一铜污染时,海州香薷种子发芽率随着Cu2+浓度的升高,先升后降,在20mg/L Cu2+处理时出现了毒性兴奋效应现象。铜镉污染对海州香薷幼苗苗长和根长的抑制作用极显著。根据综合效应指标,铜镉复合污染对海州香薷种子萌发的影响表现形式为铜、镉的协同作用。     

数码相机标定方法研究

数码相机在计算机视觉中的应用逐渐普及和深入，在应用中数码相机的标定是相当重要的，根据数码相机的特点，提出了一种新的标定方法，针对数码相机的某一状态，先确定其内部参数矩阵，再通过采集的图像术出外部参数矩阵，首先建立了相机成像的几何模型，并将此模型分解成内、外参数矩阵。文中详细介绍了数码相机内部参数矩阵中的各元素 应的物理参数以及求解它们的原理和方法，从而建立内部参数矩阵，推导了求解外部参数矩阵的计算公式，并且介绍了相应的求解方法，再由外部参数矩阵求解出对应的物理参数，通过实验表明这种方法有相当高的精度，且操作方便。     

论巨型工件大直径的电测量

为提高巨型工件大直径测量精度，可将直径的测量转化为弦及弦高的测量，但其刻度是非均匀的，如果采用光电数字式测量，可以改善性能，实现高精度的测量。     

关于Hermite矩阵的任意扰动

给出了如下的Ｈｅｒｍｉｔｅ矩阵特征值的可计算的扰动界，设Ｈｅｒｍｉｔｅ矩阵Ａ的特征值为ａ１，ａ２，．．．．，ａｎ矩阵Ｂ的特征值为λ１，λ２，．．．，λｎ则存在的（１，２，．．．．，ｎ）的一个排列π使得对１≤ｊ≤ｎ均有│ａｊ－λπ（ｊ）│≤∥Ａ－１／２（Ｂ＋Ｂ＾Ｈ）∥２＋∥１／２（Ｂ－Ｂ＾Ｈ）∥Ｆ并且还存在（１，２．．．．，ｎ）的一个排列π′使得√ｎ∑ｊ＝１│ａｊ－λπ′（ｊ）│＾２≤∥Ａ－１／２（