（-1）-循环矩阵的性质及广义逆

（-1）-循环矩阵和循环矩阵有密切的联系,借助于循环矩阵的性质讨论了（-1）-循环矩阵的几个性质,得出了（-1）-循环矩阵在酉相似下可以化为块对角形矩阵,并且给出了（-1）-循环矩阵广义逆的性质。     

二维自仿集不连通的一个充分条件

讨论由扩张矩阵和数字集所生成的二维自仿集的不连通性,利用辅助函数系统,得到其不连通的一个充分条件,同时给出相应算法.     

保域上矩阵可交换｛1｝-逆的线性映射

设F是一个特征不为2且至少含有5个元素的域.令Mn(F)为F上的n×n全矩阵代数.刻画了Mn(F)上保持矩阵可交换{1}-逆的线性映射的形式.利用保幂等结论证明了f为Mn(F)上的保持矩阵可交换{1}-逆的非零线性映射,当且仅当存在P∈GLn(F),使得f(A)=εPAP-1,A∈Mn(F),ε=±1∈F;或者存在P∈GLn(F),使得f(A)=εPAtP-1,A∈Mn(F),ε=±1∈F.     

STATCOM影响高压直流输电动态响应性能的仿真研究

在同步旋转坐标系下采用STATCOM(Static Synchronous Compensator)的暂态数学模型,基于非线性反馈线性化的逆系统方法,构造出STATCOM的伪线性系统,依据滑模变结构控制理论设计出STATCOM的滑模变结构控制器。在交直流系统中,SVC、STATCOM等不同的无功补偿装置对HVDC系统故障时动态响应性能的影响不同,通过对SVC,常规PI控制的STATCOM与变结构控制的STATCOM进行比较,仿真结果表明后者能更好地提高HVDC系统在故障时的动静态性能。     

函数后置信息在软件静态测试中的应用

为了提高基于模式的代码缺陷检测精度,提出一种应用函数后置信息(PFI)软件静态测试方法. 采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响,应用控制流迭代技术生成PFI. 该方法以较低的计算复杂性得到所有函数的后置信息,并可应用于静态分析过程中的区间计算和缺陷模式识别阶段. 在缺陷检测系统中的应用结果表明,该方法具备一定的可行性.     

Gold码的因子图迭代捕获方法

为降低Gold码的捕获时间与复杂度,提出将基于因子图的迭代m序列捕获算法应用于Gold码捕获. 以全球定位系统(GPS)信号的C/A码为例,首先根据Gold码的生成多项式确定1组具有稀疏结构的校验关系;然后为降低迭代计算的复杂度,提出了不同校验关系顺次校验与混合校验的迭代捕获算法;最后通过仿真研究比较了不同的校验关系和校验方法对迭代捕获算法性能的影响. 仿真结果表明,顺次迭代且迭代次数递减的校验方法最优,该方法能在不损失检测概率的情况下降低Gold码捕获的复杂度,同时降低其捕获时间.     

2081铀矿床地下水补给条件对含水层渗透性及后期成矿作用的影响

喜山运动之后,鄂尔多斯盆地具外泄型盆地的水动力特征,盆地地下水的补给条件由于河套断陷的形成而具有其特殊性,决定了其不同于一般层间氧化带型铀矿的水动力特征.依据2081铀矿床在河套断陷形成后地下水的补给减弱的特点,讨论其对含矿含水层渗透性的影响和"逆层间氧化"铀富集作用.     

六自由度模块化机械臂的逆运动学分析

针对自主研发的六自由度(DOF)模块化机械臂,提出一种逆运动学求解方法.根据机械臂的结构特点和运动学约束,对机械臂的运动学进行分析.建立该类型机械臂的正运动学模型,得到了机械臂逆运动学的完整解析解.采用Denavit-Hartenberg(D-H)法对机械臂操作空间进行描述,在考虑机械臂运动学约束的基础上,得到以关节角度为变量的正运动学模型.通过分析正运动学模型的可解性,采用矩阵逆乘的解析法求解机械臂的正运动学模型,得到了该类机械臂逆运动学的完整解析解.通过仿真验证了正运动学模型及运动学逆解的正确性,运动学逆解可以用于机械臂末端执行器的精确定位和运动规划.     

用修正的Mann迭代算法求解分裂可行性问题

在Hilbert框架下借助于度量投影修正Mann迭代程序,证明了关于无限族非扩张映射的强收敛定理,并用于求解分裂可行性问题SFP.研究成果在很大程度上推广和改进了现有的结果.     

一类Toeplitz矩阵的平方根

给出了一类上三角Toeplitz矩阵的平方根的新的性质定理,还给出了求其平方根的迭代公式,数值例子验证了迭代公式的正确性.