个性化公开密钥系统的设计

论文提出利用用户提供的个性化信息来随机产生关联大素数,保证了素数选取的随机化、个性化,提高了RSA算法的安全性。     

受控离散事件过程（CDEP）的一种代数分析方法

本文在文［１～３］的基础上，提出了受控离散事件过程（ＣＤＥＰ）的一种代数分析方法，弥补了Ｒａｍａｄｇｅ和Ｗｏｎｈａｍ［１～３］的理论对具体系统的应用缺乏可操作性的缺陷，使得对ＣＤＥＰ动态过程的分析变得更为直观，同时也使控制器的设计过程更具可操作性．     

代数曲面的几何连续过渡及其应用

本文对代数曲面的几何连续拼接作了研究，给出了多个代数曲面的几何连续过渡方法，同时给出了一种基于分片的曲面过渡方法。     

关于不确定的对称组合系统的稳定化控制器与观测器的设计

本文研究了不确定的对称组合系统的稳定化控制器与观测器的设计问题，给出一种设计稳定化控制器与观测器的方法，在这种设计方法中，使给定的带有不确定性的对称组合系统稳定的状态反馈增益矩阵和观测器增益矩阵可由低阶代数Ｒｉｃｃａｔｉ方程的解导出。     

离散事件动态系统的代数模型及其控制器的分析计算

本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型，该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”；该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。     

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

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

TIC: A timed calculus

TIC is a timed algebraic calculus which combines ideas from asynchronous and synchronous calculi. Time is introduced by assigning explicit time restrictions to the events of an asynchronous calculus. The semantics is defined in an operational way. Interleaving of behaviours is defined in such a way that a proper merge of events in time is achieved. Weak timed bisimulation is also defined. Examples are presented to show the applicability of the calculus to the study of timed behaviours.This work was partially supported by CICYT under the TIC program (MEDAS project)     

关于不确定对称组合系统的稳定化

研究不确定对称组合系统的二次稳定化问题,给出这类系统可二次稳定的一些充分条件 及计算反馈控制律的方法.这些条件的检验和反馈控制律的计算都由两个低阶系统关于相应 问题的求解来完成.     

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

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

鼓泡床内气泡-液体两相湍流代数应力模型的数值模拟

现有的气泡 -液体两相流动的数值模拟中 ,或者不考虑湍流 ,或者仅仅考虑液体湍流 ,但是直接模拟和PIV测量结果都表明气泡由于尾迹的作用有强烈的湍流脉动 .本文首次推导和封闭了同时模拟气泡湍流脉动和液体湍流脉动的二阶矩输运方程两相湍流模型 ,并在此基础上建立了代数应力气泡 -液体两相湍流模型 .用代数应力模型模拟了二维矩形断面鼓泡床内气泡 -液体两相流动 .预报结果给出了气泡和液体两相速度场、两相Reynolds应力及湍动能分布和气泡体积分数分布 .模拟结果与PIV测量结果符合很好 ,表明了模型的合理性 .研究结果表明 ,原先静止的液体在气泡因浮力而产生的上升运动的作用下产生回流流动 ,而气泡则只有上升运动 .气泡速度始终大于液体速度 .在床内气泡湍流脉动确实始终很强烈 .液体则由于气泡的作用以及自身速度梯度产生的双重作用而发生湍流脉动 .气泡的脉动显著地大于液体的脉动 .两相湍流脉动都是各向异性的 ,而且气泡湍流脉动的各向异性比液体的更强烈