实用智能卡操作系统的设计与实现

设计了一种实用的智能卡操作系统 MAXCOS,它由传输管理、安全管理、命令管理和文件管理 4个部分组成 .文章讨论了它的设计和实现原理 ,并着重讨论了它的安全体系 ,包括卡与读写设备之间的认证、对持卡人的身份认证、文件访问的安全机制。

智能卡操作系统中RSA算法的实现与应用

讨论了 RSA算法在 IC卡中的应用 ,以及在 IC卡中实现 RSA算法的一种途径 ,即利用中国剩余定理(CRT)来简化大数乘方取模运算 .该方法在 IC卡芯片上已经成功实现 .测试结果表明 ,在 IC卡中运用这种方法实现的 RSA算法其解密速度与同等条件下的

实用异形件优化排样系统的研究与开发

对于多种不规则零件的优化排样，综合利用冲裁件排样中的图形识别和图形分析处理技术和拒形件的排样优化技术，在对它们作一些合理的改造后，有机地组合构造出多种不规则需件的5种排样算法。然后在保证可排性的条件下，将这些排样零件按不同的寻化规则排放到板材上去。为此研究开发了一些必要的许多图形处理技术，以保证算法的实现。这些算法具有优化效果好、自动化程度高、并且速度快等特点。因此在实际应用中，一般能为用户提供一个求解的效果接受率高或具有极好参考价值的解。在此基础上制作了一套操作方便、简单、快速的种不规则零件优化排样系统。

一类交叉扩散系统的定态解的分歧分析及稳定性

利用Liapunov-Schmidt方法证明了一类交叉扩散系统的发自平凡解的非平凡正定态解的存在性,并利用谱分析方法得到关于这个分歧解的稳定性的一个条件。

一类交叉扩散系统的定态解和稳定性

利用简单特征值分歧定理讨论了一类交叉扩散系统的分歧问题，得到了发自半平凡解的非平凡正定态解的存在性，并给出了关于分歧解的稳定性的条件．

实用矩形件优化排样系统的研究与开发

在研究矩形件优化排样数学模型的基础上， 根据不同的下料的工艺要求， 构造出与之相适应的四种不同的近似优化算法。对于这些算法， 要求它们在板材尺寸与矩形件的尺寸的差异方面；在矩形件个数的规模方面； 在矩形件之间的尺寸差异方面等敏感问题上有较好的适应性。在理论方面对这些算法进行一些定量的分析以保证这些算法的先进水平。

混合系数线性模型的参数估计及其分布

在连续测量数据情况下，讨论了混合系数的正态线性模型参数的点估计及其分布和有关性质．

多步Runge-Kutta方法关于一类多延迟系统的GP_k-稳定性(英文)

本文涉及多步 Runge-Kutta方法关于多延迟微分方程系统的渐近稳定性 .在本文中我们证明了在适当条件下常微多步 Runge-Kutta方法的 A-稳定性等价于相应求解多延迟微分方程系统的GPk-稳定性 .

延迟微分代数系统的隐式中点法稳定性判据

延迟微分代数系统广泛出现于各工程领域 .针对一类刚性延迟微分代数系统 ,给出了隐式中点法的整体与渐近稳定性判据 ,其判据基于系统的非经典李普希滋条件 .

竞争扩散系统行波解的存在性(Ⅱ)

对一类复杂的两种群竞争扩散系统，在系统参数满足一定的条件下，讨论了从一个不稳定平衡态到另一个稳定平衡态之间的单调行波解的存在性．通过构造解在无穷远处的级数表示，进一步改进打靶技巧，并利用单个方程的相关结果，选择恰当的相空间及变量，得到了竞争扩散系统单调行波解的存在性，并给出了解的波速估计．

非线性控制系统中的Лурье函数

本文在已有文献基础上,提出最佳和次佳函数概念,并给出寻找方法。这些结果既可以用来作理论分析,又可以用来实际确定绝对稳定角域中的K值,与传统的频率方法相比,优点是能较方便地给出相应的型V函数。

反射系数的线性最小均方误差估计

从地震记录信号中获取反射系数对岩性分析和寻找储油(气)地层构造是非常重要的,本文对非白噪型反射系数的反褶积模型方法进行了探讨,给出了一个获取反射系数的估计方法.

关于变系数线性方程的稳定性和不稳定性

本文研究变系数线性方程零解稳定性．给出了不稳定的充要条件．同时给出了一类系统渐近稳定的充要条件．还给出了判刑稳定性的较为简易的充分条件．

线性系统鲁棒稳定性的多次剖分法

本文提出解决一般形式多项式鲁棒稳定性的多次剖分判别方法.指出区间矩阵稳定性和离散稳定性(Schur稳定性),均可归结为一般形式多项式的鲁棒稳定性.因此皆可用多次剖分法解决.

变系数时滞积微分系统的稳定性

本文给出了变系数时滞积微分系统稳定性的积分判据，利用一个简单的降阶方法并结合积分判据，给出了积微分大系统稳定性的一个充分性判据．文末用实例说明了方法的有效性．

Lotka-Volterra生态系统的耗散性

本文考虑Lotka-Volterra生态系统x=diag(x)(a+Ax)的耗散性。当系统为食饵-捕食者型时给出了判定耗散性的图论方法,并用所给方法详细讨论了4物种Lotka-Volterra系统.

非线性控制系统绝对稳定性的代数判据

解决非线性控制系统的绝对稳定性,需要构造V函数,一般是二次型加非线性项的积分(称为Lurie型V函数).给出V定负的充分必要条件是很重要的.本文较好地解决了这一问题.它的基本结果已经被概括在文献[1]之中.

关于n×n复矩阵与其诱导矩阵之间的关系

讨论三个问题:a.设A是n×n复矩阵,且K(A)分别是正规的、厄米特的、半正定的和反厄米特的,用简洁的方法证明A的某些性质;b.设A是复可逆矩阵,巨C_m(A)分别是正规的、厄米特的、正定的和反厄米特的,讨论A具有的性质的条件;c.设A,B均为n×n复矩阵,讨论C_m(A)=C_m(B)的必要充分条件.

一种高性能对称FIR系数的推导及其应用

Daubechies小波双尺度方程系数（可看作FIR滤波器）在数字情号处理领域得到了广泛的应用，这说明了小波双尺度方程系数比小波函数本身更有吸引力．本文作者试图通过经典的付氏分析理论，应用与Daubechies不同的方法，从不同的角度，推导出一种新的对称小波双尺度方程系数（可看作对称FIR滤波器），力图浅显易懂，严格合理。

卡尔曼滤波在地形辅助导航的应用中系统误差协方差矩阵Q的模拟

采用卡尔曼滤波技术进行地形辅助导航是提高导航精度的方法之一。卡尔曼滤波理论上要求事先了解系统误差的统计特征,在实际课题的应用中这一要求往往不能满足。文中结合地形辅助导航的应用背景,给出了系统误差最重要的统计特征———协方差矩阵Q的一种模拟方法。