正交曲线坐标下三维代数应力通量模型

针对弯曲及不规则明渠的水动力及物质输运特性，本文建立了曲线坐标系下的三维代数应力通量数学模型，对平面上弯曲及不规则复杂边界情形，采用Poisson方程进行正交曲线坐标变换，各向异性的湍流代数应力通量模型被引用于本文的模拟计算中，以体现复杂边界条件引起的水动力及物质输运特性的变化。通过180度强弯曲明渠水槽及贵溪电厂不规则边界河段物理模型试验两个实例计算表明，实测值与计算吻合良好，效果令人满意。     

基于祖冲之类方法的多体动力学方程保能量保约束积分

针对一类多体动力学问题导出的微分 代数方程,提出一种保能量、保约束的算法.该算法基于祖冲之类方法和欧拉中点保辛差分,利用祖冲之类方法保证在时间格点上精确满足约束方程,避免约束违约问题;并进一步证明该算法在时间格点上可以精确保能量.数值算例进一步验证该算法的可靠性.     

设计积分方程的数值解法在理论上需要研究的问题

讨论设计积分方程的数值解法在理论上需要研究两个问题．首先是逼近解的存在性（也就是数值解的存在性）,其次是逼近解φn在一定意义下逼近φ,即可行性问题和收敛性问题．前者一般依赖后者的结果,而研究收敛性问题是一个相当困难的事．     

解代数方程时Halley迭代法的收敛性

讨论同时求解代数方程所有单根时Halley迭代法的收敛性,给出了保证其收敛的初值应满足的一个充分条件,使Halley迭代法的收敛性获得新的表述和证明。     

L-fuzzy闭包算子及其等价刻画

借助L-fuzzy映射和L-fuzzy集的像,给出了由L-fuzzy映射诱导的L-fuzzy闭包算子及其等价刻画.当L为有限分配格时,讨论了代数的L-fuzzy闭包算子及其所诱导的闭包系统的等价刻画.     

时滞中立型神经网络全局渐近稳定性

针对具有时变时滞的中立型Hopfield神经网络,在对时变时滞的合理假设下,文中通过构造适当的Lyapunov泛函,提出了一种新的方法判定时变时滞中立型Hopfield神经网络系统的全局一致渐近稳定性。所得判据是建立在一个代数Riccati方程及其对应离散Lyapunov方程存在对称正定解之上的,并得出了易于计算机仿真实现的线性矩阵不等式的判据形式,仿真验证了结果的有效性。     

基于面搭接多重网格技术的全机增升装置绕流数值模拟

文章在多块结构化框架下,采用面积加权平均的方法进行通量守恒传递,并成功地应用于存在"剪刀差"的全机增升装置复杂外形绕流N-S方程数值分析。通过对某民机全机低速构形所进行的气动力数值分析,计算结果与风洞实验结果吻合良好,表明该方法可以比较好地模拟如此复杂外形的流动细节,从而验证了文中所采用的面搭接多重网格技术、网格生成策略及流场计算方法的有效性。     

轻量级分组密码GIFT的一种白盒实现方案

白盒实现是将已知的密码算法通过白盒密码技术进行设计,使其在白盒攻击环境中具有与原算法相同的功能,同时保证该算法的安全性不会遭到破坏。文章提出一种轻量级分组密码GIFT的白盒实现方案,该方案主要思想是使用查找表表示密码算法每轮的输入输出,并使用不同大小的仿射函数编码查找表的输入输出。该方案需要13.92 MB的内存空间,并能抵抗BGE攻击、MGH攻击、仿射等价算法攻击和差分矩阵攻击等代数分析攻击。其中,仿射等价算法攻击的复杂度大于O(2^82)。     

分段式优化数解法智能交通绿波带算法

在传统数解法交通绿波带算法的基础上,根据道路情况实行分段,对传统数解法模型进行了优化。优化后的绿波带协调算法运算量得到较大减少,以便其利用EXCEL表即可得到较为准确的交通绿波带控制参数,以适合手持嵌入式设备的处理,并在感知车流的基础上对实时绿波带控制进行了一定的探索。     

无人机的追逃对抗仿真研究

代数图论方法较之微分对策建立的无人机追逃对抗模型更易仿真求解,利用梯度方法改变Laplacian矩阵的非零特征值给出了对抗双方的控制输入,仿真证明了该方法的可行性.利用边界权值函数考虑无人机通信或感知能力的变化.然后,针对仿真过程中遇到的问题提出根据实际情况构造不同的性能指标.仿真表明逃逸者为迷惑追击者不时交叉逃逸;而追击者也会更换追击目标:相对距离不断变化.