基于MATLAB的信号与系统软件实验平台

基于MATLAB软件的信号与系统实验平台,弥补了教学中的不足,通过实验,加强学生对信号与系统课程的理解和掌握。     

C半群与积分半群的概率型逼近问题

借助Pettis积分、算子值数学期望、连续修正模等概念,以较为简化的形式给出了C半群的概率型逼近式及收敛速度的估计式.此外,还得到了n次积分半群的一个逼近定理.     

中值定理的推广及其“中值“渐近性

以函数行列式为工具,给出了中值定理的一种推广,并研究了"推广中值定理"中值的渐近性.     

向量优化中值映射的余切上图导数的一个表示

对于参数向量优化问题minK{f(w,x)|x∈G(w)},其中f:W×X→Y是从赋范空间W和X的积到另一个赋范空间Y的Hadamard可微的单值映射,G:W→X是一个集值映射,KY是一个尖闭凸锥.借助目标函数的导数和约束映射的余切导数,给出了值映射的余切上图导数的一个表示.     

基于MDA的多层次框架式组合建模仿真方法研究

大规模的联合建模与仿真迫切需要提高模型及仿真的可组合性,组合仿真研究已成为目前仿真界的研究热点之一。通过深入分析组合仿真问题的层次性特征,建立了层次化的组合仿真参考模型。在借鉴MDA方法的基础上,通过提升模型抽象层次、分离建模仿真过程中的关注点,形成多层次的组合建模仿真框架,并基于模型映射机制建立了不同框架之间的约束关系。     

从动态线性定价法则到动态资本资产定价模型

首先给出了未定权益的动态线性定价机制,然后在连续时间Lévy过程驱动的市场模型下,利用Lévy过程的弱可料表示性和Girsanov定理,从动态线性定价法则导出了动态资本资产定价模型.     

一般自组织进化优化定理初探

考察斯图亚特.考夫曼等人,运用他们开发出的一套计算机模拟模型——NK模型,探究生态系统和非集中化组织是如何自发地向有序方向进化的。他们根据对一般自组织进化研究的成果,得出了一般自组织进化的优化定理,这就是自组织系统自发优化,优化的结果是共同进化的系统趋向处于有序和混沌的过渡阶段,靠近有序的一边。斯图亚特.考夫曼等人得出的一般自组织进化的优化定理具有普遍意义。     

用进化-模拟退火算法求解Lambert方程

Lambert方程在轨道拦截和初始轨道确定起着重要作用。求解Lambert方程的传统算法主要有Newton迭代方法和超几何级数展开方法等,但这些算法都有一定的局限性(如有可能出现迭代收敛过慢,级数展开收敛性问题)。采用进化-模拟退火算法(EA-SA)算法求解Lambert方程,其中进化算法具有全局搜索能力,而模拟退火具有局部锁搜索能力。该方法克服了某些情况下梯度下降法有时收敛过慢和超几何级数不收敛的缺点,并具有通用性,便于操作和理解。通过仿真计算对比表明,EA-SA具有普适性,而且精度优于其它两种算法。     

关系数据库系统移植中模式优化与冲突机制的设计

在深入研究异构数据库在模式和SQL语法等方面差异的基础上,设计了可扩展的冲突检查和处理机制,通过对潜在的冲突元素进行针对性调整避免模式冲突的不利影响.同时为了向上层应用程序屏蔽数据库移植中的模式调整,提出了在运行期间动态调整操作请求来保证数据库操作的准确性.     

二阶非线性微分方程的全局正解

讨论了二阶非线性和非线性中立型泛函微分方程(a(t)Φ(x'(t)))' f(t,x(g(t)))=0,t≥t0,(a(t)Φ(x'(t)) p(t)x'(t-τ))' f(t,x(g(t)))=0,t≥t0.利用Banach压缩映射原理,得到了以上方程全局正解的存在性条件,推广和补充了已有的结果.