具有奇异值分解性质的代数

设F为一个域,R为一个带有对合的F-代数,如果R上每一个矩阵都有奇异值分解(简称SVD),则称R为一个有SVD性质的F-代数.本文指出:R为一个有SVD性质的F-代数的充要条件是:R同构于R~+,或R~+上二次扩域,或R~+上四元数体((-1,-1)/R~+),其中R~+为R的对称元集合,并且R~+为一个Galois序闭域.     

在可交换四元数空间中的双曲方程的特征边值问题

讨论了一阶和二阶双曲复方程的特征边值问题.对其中两种线性方程,分别在不同的情况下获得通解和可解条件.而对于拟线性的二阶双曲复方程,证明了解的存在性和唯一性.     

QUATERNION GENERALIZED SINGULAR VALUE DECOMPOSITION AND ITS APPLICATIONS

This paper derives a theorem of generalized singular value decomposition of quaternion matrices （QGSVD）,studies the solution of general quaternion matrix equation AXB -CYD= E,and obtains quaternionic Roth＇s theorem. This paper also suggests sufficient and necessary conditions for the existence and uniqueness of solutions and explicit forms of the solutions of the equation.     

Complex projections of completely positive quaternionic maps

We show that the complex projection of a completely positive quaternionic map of quaternionic density matrices is a positive map in the space of complex density matrices, and we briefly outline some of its properties. To illustrate this result, we study the complex projection of a one-parameter quaternionic unitary dynamics of a spin-1/2 quantum system. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 151, No. 3, pp. 360–370, June, 2007.     

关于广义四元数代数上矩阵的迹的一个等式

众所周知,相似矩阵的迹相等对于非交换代数和环上的矩阵不一定成立,有趣的问题是给定一个条件使得相似矩阵的迹相等对于非交换代数或非交换环上的矩阵成立。本文对于特征不是2的任意域F上定义的广义四元数代数上的两个矩阵A和B,给出如果A和B相似并且它们的主对角线上的元素在F中,那么它们的迹相等。     

A Framework for Monitoring Progress and Planning Teaching Towards the Effective Use of Computer Algebra Systems

This article suggests a framework to organise a cluster of variables that are associated with students' effective use of computer algebra systems (CAS) in mathematics learning. Based on a review of the literature and from the authors' own teaching experience, the framework identifies the main characteristics of students' interactions with CAS technology and how these may be used to monitor students' developing use of CAS; from this, the framework may be used to plan teaching in order to gain greater benefit from the availability of CAS. Four case studies describing students' development over a semester are reported. These demonstrate a variety of combinations of technical competencies and personal attributes. They indicate the importance of both the technical and personal aspects but suggest that negative attitudes rather than technical difficulties can limit the effective use of CAS. Finally practical suggestions are given for teaching strategies which may promote effective use of CAS.This revised version was published online in September 2005 with corrections to the Cover Date.     

双组元姿控发动机反流特性的DSMC模拟

为准确获得双组元姿控发动机的羽流及其反流特性,采用直接模拟蒙特卡罗(DSMC)方法结合可变软球(VSS)模型数值模拟以N2O4/MMH为推进剂的真空羽流。喷口参数由喷管流动的DSMC法计算得到。与文献比较表明本文计算程序可信。模拟结果表明,分子质量越小的气体越容易进入反流区;本文的计算条件下,在偏离X轴正向116°~140°范围内,组分数密度和质量流率以及温度均出现了最大值。     

含一般模糊弹性约束的广义模糊变量线性规划

建立并讨论了一类含有一般模糊弹性约束的广义模糊变量线性规划问题.首先,简单介绍了结构元方法并对结构元加权排序中权函数表征决策者风险态度进行了深入分析.然后选取风险中性的决策者来定义序关系,应用Verdegay模糊线性规划方法将含一般模糊弹性约束的广义模糊变量线性规划转化经典的线性规划问题,简化了原问题的求解.最后通过数值算例进一步说明了该方法的有效性.     

基于多视场星敏感器的姿态确定方法

星敏感器是目前航天器姿态测量精度最高的器件,与传统的单视场星敏感器相比,多视场星敏感器可以实现三轴同样高精度的姿态测量,提高姿态测量精度。针对单视场星敏感器姿态确定问题,推导了以最小代价函数为指标的QUEST姿态确定算法。对于多视场星敏感器,通过坐标变换方法将多个视场的导航星矢量转换到同一视场中,再利用QUEST算法得到航天器姿态。最后仿真结果表明,坐标变换后进行姿态确定得到的姿态数据与单个视场所得的姿态数据相同,验证了方法的正确性。     

Rapid determination of RMSDs corresponding to macromolecular rigid body motions

Finding the root mean sum of squared deviations (RMSDs) between two coordinate vectors that correspond to the rigid body motion of a macromolecule is an important problem in structural bioinformatics, computational chemistry, and molecular modeling. Standard algorithms compute the RMSD with time proportional to the number of atoms in the molecule. Here, we present RigidRMSD, a new algorithm that determines a set of RMSDs corresponding to a set of rigid body motions of a macromolecule in constant time with respect to the number of atoms in the molecule. Our algorithm is particularly useful for rigid body modeling applications, such as rigid body docking, and also for high‐throughput analysis of rigid body modeling and simulation results. We also introduce a constant‐time rotation RMSD as a similarity measure for rigid molecules. A C++ implementation of our algorithm is available at http://nano‐d.inrialpes.fr/software/RigidRMSD . © 2014 Wiley Periodicals, Inc.