钝体绕流的不定常差分方法在785机上的实施方案

本文叙述计算空气动力学中的一个典型问题——双曲型方程的求解,在785机上的实施方案。主要论述为了在785机上达到高效运行所要解决的几个问题。最后给出了初步的效能分析。证明本方案在785机上是能高效运行的。     

785FORTRAN

<正> 785 FORTRAN是785计算机的一个向量语言系统。它允许把整个数组(或子数组)作为运算对象,把表达式扩充为数组表达式,把赋值句扩充为数组赋值句。用户使用这些语句成份即可编出得以在785机上高效运行的并行计算程序。 785 FORTRAN处理系统兼备有数组运算识别功能。它能够把古典的FORTRAN程序改造成合有尽可能多的数组运算的785 FORTRAN程序。 785 FORTRAN语言是ANSI FORTRAN 77的扩充。它的数组运算成份和     

实现输出反馈极点配置的数值方法

本文讨论了用数值方法实现输出反馈极点配置的问题.求解反馈阵的矩阵方程被等效成非线性向量方程,用牛顿迭代法可求得反馈阵.本文推导了牛顿迭代法所需的导数公式,并给出有关算例.还可将非线性向量方程化作性能指标,用寻优的方法求得所需的输出反馈阵.     

非线性离散系统的伴随辨识法

对非线性离散系统辨识的研究,通常是将其转化成一个非线性优化问题.为此需要计算目标函数对参数向量的梯度,以往的方法需要求解一个矩阵差分方程,计算量颇大.依据系统输出量测值来确定含在系统中的未知参数向量,首先引进伴随状态向量,代替矩阵差分方程求解的是计算一个向量差分方程,从而大大简化计算,然后将这种梯度计算方法结合进拟牛顿信赖域法中.最后给出了应用此方法的一个实际例子,数值仿真的结果说明方法是有效的.     

高阶Sylvester矩阵方程的解析通解

给出了矩阵方程Am1 VJm1+…+A1VJ+A0V=Bm2 WJm2+…+B1WJ+BoW的3种完全解析参数通解.这些解由一组参数向量给出,这些参数向量提供了问题的全部自由度.求解算法不要求矩阵J具有不同的特征值,或者和A(s)的特征值不同.这些通解仅包含数值矩阵计算,为工程应用计算提供了方便.算例说明本文所给方程通...     

大系统渐近稳定的向量V函数法

利用分解集结和向量Ｖ函数法解大系统的渐近稳定性问题是一种十分有效的方法，但过去一般限于集结成常系数线性比较方程，得到的只是指数稳定，本文研究了非线性比较方程的构造方程，给出了比较方程稳定性的判定定理，并举例说明其用处。     

模糊线性支持向量回归机

该文研究了当训练点的输出为三角模糊数时,支持向量回归机的构建问题。首先将模糊回归问题转化为模糊分类问题,并将求模糊最优分类超平面问题转化为求解带有模糊决策的机会约束规划问题。利用基于模糊模拟的遗传算法求解带有模糊决策的机会约束规划,得到模糊最优分类超平面(模糊方程),解模糊方程得到模糊回归函数。在此基础上,得出模糊线性支持向量回归机(算法)。从而较好地解决了支持向量机中含有模糊信息的模糊回归问题。最后,给出显示模糊线性支持向量回归机特点的模糊支持向量集的定义。     

785机双倍字长浮点算术运算的算法

本文提出了在785机上实现双倍字长浮点算术运算的算法。在双倍字长向量浮点和的算法中,用“回收法”解决了在向量寄存器的内部单元中,不能分别“对阶”的问题。浮点和、差、积的精确度是94位,浮点例数的精确度93位。     

过程约束信息在软件静态测试中的应用

为了在软件静态测试中检测上下文相关的过程间故障,提出一种应用过程约束信息的方法.首先通过约束模式状态机描述过程间故障模式,并在此基础上定义过程外部向量及约束向量;然后在相关数据流方程的基础上给出过程外部向量和约束向量的生成算法,以及约束向量的传播和使用算法;最后在现有实验环境软件缺陷检测系统(DTS)的基础上,对比应用...     

基于马尔可夫决策模型的测试向量排序新方法

时延测试向量排序是降低测试功耗的有效技术。提出了基于马尔可夫决策模型的时延测试向量排序新方法。对时延测试向量进行重排序,利用基于转换频度的诱导开关方程和海明距离来定义测试向量序列的转移概率,根据转移概率决定测试向量的顺序,降低测试电路的开关翻转频率,以达到降低峰值功耗和平均功耗的目的。给出了完整的算法TVO-MDP并进行算法最优性和复杂性分析。实验结果证实了本方法的有效性。     

椭圆抛物面/球面求交算法

基于广义特征多项式给出了判断椭圆抛物面与球面是否有交的方法,在有交的条件下,得到了交线为圆的条件以及圆心、半径和法向量等重要几何参数,确保了交线的准确绘制。以平行圆族为基础进行坐标变换,在新坐标系下将椭圆抛物面的一个参数方程代入球面的方程中,得到一个一元四次方程,由方程根的分布情况确定交线的拓扑结构,在每一个有交子区间上,给出所有交曲线段的参数方程。给出了几个具体的实例进行说明。     

模糊非线性奇偶方程故障诊断方法

研究基于模糊模型和奇偶(一致性)方程的非线性系统执行器故障诊断方法.讨论了全解耦奇偶方程的产生方法,并给出了全解耦奇偶向量存在的条件.由全解耦奇偶方程产生的残差仅对特定执行器故障敏感,而与系统状态、扰动输入和其它执行器输入无关.用T-S模糊模型描述非线性系统,并与全解耦奇偶方程相结合得到了模糊奇偶方程,解决了奇偶方程在非线性系统中的应用问题.将执行器故障模型用刻度因子和偏差表示,用模糊奇偶方程产生残差,从而可以估计故障模型的参数.文章给出了某飞机非线性模型的仿真实例.     

用球面向量法解机械手逆运动学问题

本文首先介绍球面向量理论。在以点O为原点的所有右手坐标系的集合与以O为中心的单位球面上的所有球面向量的集合之间存在一一对应的关系。从而坐标系的旋转变换等价于球面向量在单位球面上的运动。通过解球面向量三角形即可达到研究坐标系旋转变换的目的。球面向量法是与“旋转矩阵法”和“旋转向量法” (即,四元数法)完全不同的一种新方法,不仅可以用来建立机械手运动学方程,而且特别适用于解逆运动学问题。本文介绍了如何用球面向量法解机械手运动学问题,并给出了几种适于常见机械手的具体解法。     

e~x、lnx、x~(1/2)在785机上实现的算法

<正> 前言 785机是一个大型多功能、多部件的向量处理机。据了解在全部标准子程序中,e~x、lnx、x~(1/2)是785机当前用卢最为关心的,它们的使用效率,直接关系到整个机器的处理速度。CRAY-1机的标准子程序.提出了相应的算法(见[1])。为了提高它们的运算速度,本文结合785机的特点,提出了多种算法,并对这些算法试编了程序,通过分析比较选定最好的与CRAY-1算法不同的算法,并在80 11软件会议上作了报告,再经与会者讨论审评后,在程序处理上作了一些修改,本算法与CRAY-1算法比较获得如     

数据相关性分析中替代约束的有效性

数据相关性分析经常使用诸如约束有效性的几个测度,详细分析了什等式约束要比方向向量约束更有效,体性测试算法。方向向量或体差不等式等作为替代约束以加强求解丢番图方程的能力。给出了替代么样的替代约束是可行的、有效的、良性的或恰当的,并证明在大多数情况下体差不差不等式测试方法的收敛性要强于其它使用方向向量作为替代约束的传统数据相关性测试算法。     

基于加速度计和磁强计的随钻姿态测量观测模型

水平定向钻进中钻具姿态的实时测量是实现导向的关键因素。推导了钻具姿态角的测量方法,给出了姿态转换矩阵的解算公式。针对姿态测量的非线性问题和已有算法的不足,建立了姿态测量系统的线性观测方程,该观测方程利用加速度计和磁强计分别测得的地球重力场分量和地磁场分量来构造新的观测向量,并以姿态四元数的误差向量作为观测模型的输入。给出了线性观测模型的求解方法,最小二乘递推法。仿真结果表明:该算法收敛速度快,能够得到钻具准确的姿态信息,即使起始姿态的估计值与真实值之间的偏差很大,该算法仍能很好地收敛到真实值。     

基于UT变换的单步滞后无序量测算法

针对滞后无序量测((OOSM)的单步滞后滤波问题,在现有算法的基础上,推导非线性单步滞后无序量测更新方程.提出用UT变换来计算其中涉及到的状态向量以及相关量测之间的协方差,从而有效解决了状态转移方程为线性而量测方程为非线性的非线性Gauss系统的单步滞后OOSM问题.然后,针对多传感器单步滞后OOSM情况,给出了基于U...     

混合拉—欧氏坐标的流体弹性动力学方程的并行计算

本文提出了一个混合拉—欧氏座标的流体弹塑性动力学方程的一个并行计算方案,试编了纯拉氏汇编程序,对速度和并行度作了估算,785机对比运算速度1.44亿次/秒,功能部件并行度是3.67。     

大系统集结比较方程的新方法

用向量Ｖ函数求解大系统稳定性要利用向量比较方程。对指数稳定型系统,本文改变了过去利用柯西不等式集结常系数线性比较方程的做法,直接集结出非线性比较方程,并利用文‘１’的结果判断稳定性,使参数稳定区域扩大。     

操作手动力学的Hollerbach递推方程的修正

J.M.Hollerbach 在文献[1]中对用拉格朗日方程法所得的操作手动力学模型引入 3×1 列向量以及 3×3 矩阵表示坐标变换求得一组递推公式。本文指出其递推公式中的两个实质性错误,并给出正确的结果。