2-D FFT algorithm by matrix factorization in a 2-D space

A new 2-D FFT algorithm is described. This algorithm applies a 2-D matrix factorization technique in a 2-D space and offers a way to do 2-D FFT in both dimensions simultaneously. The computation is greatly reduced compared to traditional algorithms. This will improve the realization of a 2-D FFT on any kind of computer. However its good parallelism will especially benefit an implementation on a computer with hypercube architecture. A good arrangement of parallel processors will save a great deal of running time. Furthermore this algorithm can be extended toM-D cases forM>2.Supported by NSF Grant CCR-8813493.Supported by Grants DMS-8607687, DMS-8722402, and DMS9002019.     

新型微小型平板CPL蒸发器流动与传热分析

提出一种新型微小型平板毛细抽吸两相流体回路(Capillary pumped loop,CPL)的蒸发器结构,使其能够适应高热流密度散热的要求。分析蒸发器由于微型化后侧壁导热对系统传热能力的影响。建立新型蒸发器毛细多孔芯内的传热传质数学模型和液体补偿腔的流动与传热模型以及蒸汽槽道和金属外壁区域的导热模型,并用SIMPLE算法对蒸发器进行整场耦合求解。数值结果表明,工质蒸发发生在多孔芯上表面以及侧壁附近,采用热导率较大的铝外壁时,蒸发器加热表面的温度水平较低且温度均匀性较好,但侧壁导热的影响导致CPL的传热能力不高。外壁采用热导率较小的不锈钢可以明显提高CPL的传热极限能力,但同时却较大地增加了加热表面的温度水平以及不均匀性。采用组合结构的蒸发器一方面可以提高系统的传热能力,同时降低了加热表面的温度水平和温度梯度。     

工程机械支腿最大受力值计算

分析了混凝土输送泵车、高空作业车、随车起重机等类工程机械的支承状况对其支腿所受支反力的影响,发现其所受的最大支反力具有明显的不确定性;找到了导致支腿受力状况最为恶劣的几种特殊情况,提出了求解支腿最大支反力可能值的计算方法,并推导出了其计算公式.     

面向飞机颤振模型设计的结构拓扑优化研究

飞机颤振模型的结构设计是一个以固有频率为目标、兼具结构相似要求的反求问题。针对拓扑优化方法只能得到不规则孔洞而无法满足模型相似要求的难题,提出了一种含规则几何约束的结构拓扑优化方法,并将基于单元材料特性更改的方法与双向渐进结构法相结合,利用敏度再分配方法,实现了以频率为目标、具有规则孔洞的结构拓扑优化,且有效抑制了优化中的棋盘格式和局部模态现象。某飞机机身壁板的优化算例证明,该方法能设计出具有给定固有频率的结构,并使之与原机身具有一定的结构相似性。     

信息安全设备合作的进化博弈分析

基于实践过程中非理性博弈行为和信息不对称的存在,论文提出了一个基于进化博弈论的信息安全设备合作工作的模型,以防护系统安全的设备作为博弈方,对安全设备工作中的合作关系的发展变化做了分析。分析结果体现了安全设备在合作工作过程的策略变化和最终趋向的稳定状态,帮助使用者深入了解设备工作的状况。同时,讨论延伸到了网络安全设备的联动工作的策略管理,这一方向的进一步研究将对提高信息安全管理的效率有极大的启示。     

一种基于免疫计算的IPS模型研究与设计

免疫计算是模仿生物免疫系统（BIS）具有的自学习、自适应、多样性、分布式并行处理等特点来解决工程问题。文章提出了一种基于免疫计算的IPS（入侵防御系统）模型,该模型利用BIS的机制,可以发现和处理一定的未知攻击,并利用多过滤器技术优化网络流的实时分析处理,提高了网络入侵防御的效率。     

一种基于Harris角点特征的稳像算法

提出一种基于Harris角点特征的稳像算法。该方法用Harris算子自适应检测出最强壮的角点,开辟(2n+1)×(2n+1)特征窗进行灰度互相关初匹配;提出欧式距离之比不变准则,通过中值滤波剔除误匹配点,确保运动矢量较高的一致性;最后保留若干正确的匹配点对,分成多组解运动矢量方程,将多组解的平均值作为全局运动矢量以提高稳像精度。实验结果表明,本算法可以克服图像缩放影响,有效消除旋转和平移抖动,实现视频图像序列稳定。     

重构分数低阶协方差的子空间拟合测向算法

基于重构的分数低阶矩阵,提出了重构分数低阶协方差的多重信号分类测向算法和信号子空间拟合测向算法.为了快速求解所提出的测向算法,设计了一种可进行多维搜索的自适应差分粒子群优化算法.利用粒子群算法和差分进化算法的优点,可以获得测向问题的全局最优解.Monte-Carlo仿真证明了所提测向算法可有效分辨相干源,并且其检测性能优于已有的一些经典算法.     

可信计算环境下的Canetti-Krawczyk模型

在可信环境下,我们对密钥协商协议的形式化方法—Canetti-Krawczyk(CK)模型进行研究,对该模型中定义的攻击者三种攻击能力重新进行分析.发现在可信环境下,如果用户的签名/验证公私钥对是由TPM生成的,则CK模型中的攻击者只有一种攻击能力:会话密钥查询(session-key query);否则攻击者有两种攻击能力:会话密钥查询和一种新的攻击能力—长期私钥攻陷攻击(long-term private key corruption).另外,TPM克服了CK模型中基于加密算法认证器的安全缺陷.在此基础上,我们提出了可信环境下的CK模型—CKTC.之后,通过一个使用CKTC模型进行密钥协商的例子可以看出该模型简化了可信环境下密钥协商协议的设计与分析.另外,通过分析我们发现:为了提高密钥协商协议的安全性,不同国家应该根据各自的需要在TPM内部增加对称加解密模块;用户的签名/验证公私钥对也尽可能由TPM来生成.     

DNA Golay码的设计与分析

 DNA编码是DNA计算初始数据库中寡核苷酸序列的设计问题.合理的DNA编码可以提高实验的稳定性和正确性,从而确保DNA计算的成功率.本文给出DNA码字重量和DNA码字间Watson-Crick Hamming距离的定义;提出DNA Golay码的设计方法;分析了DNA Golay码的性质和规模;与随机搜索优码方法相比,DNA Golay码求解优码更加简单可行.