矩阵运算与矩阵关系的相互作用分析

分析矩阵运算与矩阵关系的相互作用,阐述其理论意义和教学实践意义.     

矩阵的Hadamard乘积

讨论了矩阵Hadamard乘积的一些性质，分别用秩1分解法和Kronecker乘积法给出了r(A*B)≤r(A)r(B)的证明。     

“咆哮之豹”威猛升空

“飞豹”是我国自主研发的双发双座超音速全天候歼击轰炸机,对外名称FBC-1,学名为“歼轰7”,飞豹的设计单位是西安飞机设计所和西安飞机工业公司。它的主要作战设计性能是进行战役纵深攻击、海上和地面目标攻击。     

基于稀疏技术的序列运算方法

序列运算过程中经常遇到稀疏序列之间的相互运算。针对序列运算的计算优化问题,该文首先分析了序列稀疏性的成因,并分析了序列运算理论中不同类型基本运算对于序列稀疏性的影响,同时给出了相应的计算结果序列的稀疏度估算公式。然后,根据序列与序列运算的特点,将稀疏技术应用于序列运算中,提出了通用存储方法与特征存储方法等2种稀疏序列存储技术。最后,利用算例对所提出的稀疏序列存储方法加以检验,采用稀疏技术后不同类型序列运算的时间开销均有不同程度的降低,特别是卷和、交积、并积与序除运算的计算时间下降为原来的6%~38%,算例结果表明了该文工作的正确性与应用价值。     

概念隐喻的情境转移

隐喻是一种用熟悉的概念来理解和体验陌生概念的认知方式,这一效果的实现遵循特定的理解机制.在情境语义学的框架下,综合隐喻理解过程中的语义和语用因素,可以对经典的概念隐喻体系进行重构.隐喻概念的功能是通过对信息进行抽象和还原,得到同时满足源域和目标域性质的新情境,实现情境转移.这样得到的新情境通常只存在于认知层面,它作为该...     

高效的部分异步并行仿真的研究及应用

提出了连续系统的部分异步并行仿真算法及其在多计算机系统上的实现方法。为保证仿真结果的正确和提高仿真速率 ,所提出的连续系统的高效的部分异步并行仿真方案和适应消息传递的星型虚拟拓扑结构方案可有效地解决连续系统仿真的“算法 -结构匹配问题”。多计算机系统上连续系统仿真的特点之一是处理器间的通信非常频繁且消息很短 (一般为数个或数十个浮点数 ) ,因而在实现部分异步并行仿真时采用了异步传输方式来减少通信开销在仿真计算中的比例。实验结果表明 ,所提出的部分异步并行仿真比其对应的同步仿真具有更高的并行计算效率。     

“指导－讨论”教学模式初探

为培养学生创新思和实践能力，在思想政治课教学中采用“指导——讨论”教学模式，谊模式要求指导学生课前自主先学；在课堂上组织学生积极参与小组讨论与交流，使学生最大限度、全方位地参与教学活动；并组织和指导学生参加社会实践以提升学生的实践能力和理解能力。该模式的关键是提高教师的“指导”水平。     

基于FPGA的高速FFT处理器的设计与实现

针对高速实时信号处理的要求,提出了4096点快速傅立叶变换（FFT）处理器在现场可编程门阵列（FPGA）中的设计与实现方法。该方法采用了按频率抽取（DIF）基4算法和6级流水线结构,每级均采用FIFO存储器实现延迟功能,和四路转接器一起共同完成序列的码位抽取。为了避免数据溢出,采用块浮点结构来表示数据,节省了器件资源。实验结果表明,该方法在保证运算精度和实现复杂度的同时,提高了处理器的数据时钟频率和处理速度。     

基于UML/OCL的C4ISR效能概念建模分析

为了统一描述军事电子信息系统(command control communication computers intelligence surveillance and reconnaissance, C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language, UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。     

网络教学系统中促进自主学习的设计

为了解决网络教学系统缺乏对自主学习支持的问题，应用学习理论指导，对促进网上自主学习的条件进行了研究，加强系统自主学习工具和环境的设计。据此提出一个促进自主学习的网络远程教学系统模型并加以实现，对实现的部分关键技术和应用的效果进行了阐述．实践结果表明，该系统可以有效促进网上自主学习的开展。