拟对角占优矩阵AOR迭代法的收敛性

在求解大型线性方程组Ax=b的系数矩阵A为拟对角占优矩阵的条件下,得到了AOR迭代法的收敛性定理,并给出了数值例子且结果正确。     

基于LMI的磁轴承-转子系统鲁棒增益调度控制器设计

针对陀螺效应明显的磁轴承-转子系统转速变化引起的模型变化而带来的控制问题,提出基于LMI的鲁棒增益调度方法设计控制器.通过建立系统依转速变化的LPV模型,设计了鲁棒增益调度控制器,使转子在全转速范围内保证了鲁棒稳定性和性能.为降低控制器设计的保守性,可缩小转速区间设计控制器使控制性能得到提高.与基于LTI模型设计的鲁棒...     

论边防行政执法的比例原则

比例原则是边防行政执法的一项重要指导原则,对于实现边防行政执法的公平与正义,保护边防行政执法相对人的合法权益,节省社会资源,提高边防行政执法的效率,促进政府职能转变,乃至构建和谐边境都具有重大意义;在边防行政执法中贯彻比例原则,主要从规范边防行政执法、加强监督、规范自由裁量权、完善救济途径等方面入手。     

“后拉登”时代国际反恐形势的变化及对策

本·拉登被击毙后,国际恐怖主义及反恐形势发生了深刻变化,对美国、恐怖组织、国际社会以及我国都产生了不同的影响,防范新一轮恐怖袭击已成为我国现实而紧迫的课题。为此,我们应结合自身实际,从意识形态、政治外交、反恐准备、应急处置等各个方面分析研判,制定对策有效应对。     

An efficient and modular modeling for launch dynamics of tubed rockets on a moving launcher

This paper develops a modular modeling and efficient formulation of launch dynamics with marching fire (LDMF) using a mixed formulation of the transfer matrix method for multibody systems (MSTMM) and Newton-Euler formulation. Taking a ground-borne multiple launch rocket systems (MLRS), the focus is on the launching subsystem comprising the rocket, flexible tube, and tube tail. The launching subsystem is treated as a coupled rigid-flexible multibody system, where the rocket and tube tail are treated as rigid bodies while the flexible tube as a beam with large motion. Firstly, the tube and tube tail can be elegantly handled by the MSTMM, a computationally efficient order-N formulation. Then, the equation of motion of the in-bore rocket with relative kinematics w.r.t. the tube using the Newton-Euler method is derived. Finally, the rocket, tube, and tube tail dynamics are coupled, yielding the equation of motion of the launching subsystem that can be regarded as a building block and further integrated with other subsystems. The deduced dynamics equation of the launching subsystem is not limited to ground-borne MLRS but also fits for tanks, self-propelled artilleries, and other air-borne and naval-borne weapons undergoing large motion. Numerical simulation results of LDMF are given and partially verified by the experiment.     

支持原位计算的高效三角矩阵乘法向量化方法

向量化算法映射是向量处理器的难点问题。提出一种高效的支持原位计算的三角矩阵乘法向量化方法:将L1D配置为SRAM模式,用双缓冲的乒乓方式平滑多级存储结构的数据传输,使得内核的计算与DMA数据搬移完全重叠,让内核始终以峰值速度运行,从而取得最佳的计算效率;将不规则的三角矩阵乘法计算均衡分布到各个向量处理单元,充分开发向量处理器的多级并行性;将结果矩阵保存在乘数矩阵中,实现原位计算,节省了存储空间。实验结果表明,提出的向量化方法使三角矩阵乘法性能达到1053.7GFLOPS,效率为91.47%。     

“三个代表”重要思想与社会主义文化建设

党的十六大报告把发展社会主义文化,建设社会主义精神文明,确定为全面建设小康社会的一个重要目标,体现了我们党对文化建设的高度重视。要深刻认识文化建设的战略意义。牢牢把握先进文化的前进方向,用“三个代表”重要思想统领社会主义文化建设。     

高维无穷时滞NFDE概周期解的存在性和稳定性

讨论高维的中立型泛函微分方程ddtx(t)-∫0-∞q(s)x(t+s)ds=A(t,x)x(t)+f(t,xt)的概周期解问题。利用Ch空间,矩阵测度和Krasnoselski不动点定理获得了其概周期解的存在性与惟一性定理。特别地,当q=0时给出了存在惟一且一致稳定概周期解的条件,推广了文献[1～5]的结果。     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

两段探测目标的传感器任务调度问题0-1规划模型及算法

为解决指挥系统控制中的调度困难,研究了一类特殊的传感器资源调度问。主要分析了跟踪目标的探测次数、时间间隔和传感器资源等约束条件。用跟踪目标的重要程度之和作为目标函数,建立了一个0-1规划的数学模型,再利用变换将其转化为0-1线性整数规划模型。利用割平面法求解得出最优调度策略,其能在工作量饱和的情况下合理调度传感器资源。为提高求解速度,提出了对应的模拟退火算法。通过对一些不同规模实例的求解,在资源利用率和算法的求解速度等指标上,与割平面法及遗传算法进行对比分析,验证了模型的有效性和模拟退火算法求解的高效性。