基于DSM的航天器信息建模方法及应用

将设计结构矩阵（DSM）技术应用于航天器研制的设计流程建模和信息建模,能够清晰准确地描述航天器各设计活动之间的信息耦合关系。根据航天器设计过程中跨分系统集成和协同设计的具体教学与培训需求,开发了一种基于DSM进行建模的工具软件,可用于建立一个基于设计参数信息的集成设计系统。根据其内在耦合关联关系,可实现各个分系统、各个模块、各个学科的参数信息一致和动态关联更新。     

Young不等式、Holder不等式与Minkowski不等式的新证法

本文给出著名的Young不等式,H(?)lder不等式与Minkowski不等式的新证法。在通常的书上都利用Young不等式来证H(?)lder不等式,再用H(?)lder不等式来证Minkowski不等式。而在本文中用凸函数的特性证明上述三个不等式。     

一种新型并联微动机器人运动学分析

提出了一种新型的少自由度微动并联机器人,利用螺旋理论对于微动并联机器人的自由度进行分析,得到机构正常运动时所需要的驱动个数。利用矢量方法得到微动并联机器人的运动学反解。基于雅可比矩阵的可逆性,研究了微动机器人的奇异问题,从而确定该微动并联机器人的输入和输出之间的关系。     

面向TensorFlow和PyTorch的线性代数基准测试

传统的高性能线性代数计算库如BLAS需要开发者具备丰富的性能优化经验,使用困难。TensorFlow、Pytorch等AI框架提供了简单的开发接口,促进了机器学习应用的发展。这些AI框架大量进行线性代数计算,但是不清楚其是否针对线性代数计算进行了性能优化。设计了一组线性代数计算测试程序,评估了AI框架对的线性代数计算的...     

单扇区管制移交间隔管理模型和算法研究

针对区域管制移交间隔管理问题进行研究,通过分析当前的流量管理模型和算法,提出单个扇区管制移交间隔管理模型。在研究中,引入间隔矩阵概念,以指定时段内的延误控制为目标,分析扇区容量和管制移交高度层选择等限制因素,建立数学模型,并通过间隔增量矩阵的使用来优化算法。算例中采用在国内某区域管制范围内的繁忙时段数据进行了分析和验证。     

关于矩阵的定义及其运算的新思路

在当前流行的线性代数教科书中，大都直接给出矩阵及其运算的抽象定义，并没有给出这些定义的实际背景和具体应用，使学生理解和接受起来有很大的困难。本文通过具体实例引出矩阵及其运算的概念，这不但使学生很自然地理解矩阵及其运算的定义，而且也加强了学生解决实际问题的能力。     

由混合特征对构造对称三对角矩阵

文章考虑一类由混合特征对构造对称三对角矩阵,文中给出了解的存在性和唯一性的充分必要条件,并且给出相应的算法和数值算例。     

卷帘行存储下的一种并行Cholesky分解及其在PAR95上的实现

Ｃｈｏｌｅｓｋｙ 分解在科学与工程计算中占有重要的地位，串行的 Ｃｈｏｌｅｓｋｙ 分解已有成熟的方法，但并行的 Ｃｈｏｌｅｓｋｙ 分解方法要充分考虑机器体系的结构，在拥有共享内存的 Ｍ Ｉ Ｍ Ｄ 型多处理机、 Ｓ Ｉ Ｍ Ｄ 型向量机系统上前人已有较好的工作，本文给出适用于 Ｍ Ｐ Ｐ 大规模并行计算机的卷帘行存储行格式的并行 Ｃｈｏｌｅｓｋｙ 分解算法，该算法使用了优先计算优先发送的策略，减少了结点机之间相互等待的时间，建立了结点机之间用于通讯的通讯数组，避免了使用撒播这一通讯模式，减少了通讯时间，通过在 Ｐ Ａ Ｒ９５ 上的数值试验表明，随着问题规模的扩大，并行效率越来越高，并且该法容易推广到多行卷帘存储的形式。     

求解广义特征值反问题的数值方法

讨论一类广义特征值反问题的数值解法,这类问题包括加法、乘法和经典特征值反问题作为其特殊情况。基于行列式和最小奇异值的计算,文中给出了求解这类问题的两个二次收敛的数值方法,描述了在出现重特征值的情况下如何改进其中的一个方法以保持二次收敛性,并且给出了两个数值例子以解释收敛性结果