一类Beddington-Leslie型捕食系统的定性分析

研究一类Beddington-Leslie型捕食者-食饵模型{dx/dt=x(r1-a11x-a12y/a bx cy),dy/dt=ry(1-y/hx),应用微分方程定性理论,得出该系统极限环的存在性、唯一性以及正平衡点的全局渐近稳定性的充分条件.     

一类两种群竞争离散系统的持久性

讨论了密度制约的两种群竞争离散系统{x（n＋1）=x（n）exp｜r1-a1x（n）-b1y（n）｜ y（n＋1）=y9n）exp｜r2-a2x（n）-b2y（n）｜的初值解的有界性及系统的持久性。通过适当构造解的最终有界区域，证明了当b1/b2〈r1/r2/〈a1/a2时，系统是强持续生存的。这里ri,ai，bi（i=1，2）均为正的常数。     

一类具有时滞和阶段结构的SI传染病模型的稳定性分析

研究一类具有时滞和阶段结构的SI传染病模型。讨论了系统平衡点的存在性和局部稳定性，并讨论了无病平衡点和地方病平衡点的全局稳定性。最后对所得理论结果进行了数值模拟。     

路、Ti^＊广义θ-图的成分着色

设H是一个超图（图），对于它的一个k边着色c：E（H）→{1，2，∧k}，我们记f（H，c）是由k种颜色中，由同一色类导出的子超图（子图）中所含分枝数最少的子超图（子图）的分枝数。fk（H）表示H中所有k边着色中f（H，c）的最大值，即fk（H）=maxf（H，c）。本文主要研究了路、Ti’、广义θ-图的成分着色，并得到了fi（Pn）=（n-1/k,f（Ti^＊）=[i-1/k]＋1∫k（Gθ）=2     

关于Smarandache序列Pd（n）和qd（n）的均值估计

对任意正整数n,Pd（n）定义为n的所有正因子的乘积,gd（n）定义为n的所有小于n的正因子的乘积。若n=p1^a1p2^a2…px^as是n的标准分解式,算数函数Ω（n）=a1＋a2＋…＋as。用解析的方法研究关于Smarandache序列Pd（n）、qd（n）与Q（n）的混合均值,并给出两个较好的渐近公式。     

关于一类微分方程的特解

本文主要研究了形如y″＋qy′＋qy=e^ax（A0coswx＋B0sincwx）的微分方程的特解问题，给出了此类微分方程的特解的简便求法。     

一类具变号非线性项和p-Laplacian算子的仇点·边值问题的多个正解

研究一类具Laplacian算子的m点边值问题（Ф（u＇））＇＋q（t）f（t,u）=0,0〈t〈1,u（0）=^m-2∑i=1aiu（ζi）,u＇（1）=βu＇（0）.利用锥上的不动点指数定理,对上述具有变号的非线性项的边值问题进行研究,得到多个正解存在的充分条件．     

（I＋C（α））预条件AOR迭代法比较性定理

在预条件矩阵（I＋C（α））下，讨论了AOR方法的敛散性；给出了该预条件AOR迭代方法与经典AOR迭代方法之间的比较性定理。     

C^3I/M＆S互操作性研究

结合C^3I/M＆S互操作性的主要问题,总结了互操作性技术参考模型,在此基础上对C^3I/M＆S互操作性的数据模型及标准、接口标准进行了详细论述,介绍了北约C^3I/SIM互操作性试验情况,并指出了未来C^3I/M＆S互操作性研究的发展趋势,对军队C^3I系统和仿真系统的建设有一定的指导意义。     

二阶拟线性常微分方程振动的区间准则

建立了方程振动的新准则。这些准则不同于现有的许多结果，仅需（to,∞）中一列子区间上的信息，而不是整个半直线。根据斯图姆定理，笔者的结果更自然并比先前的结果更精确，且能应用到∫to^∞q(t)dt=-∞的情形。     

导函数性质及其应用

处处有导数的函数（导函数）有两个很好的性质：（1）在一点处有极限，则该点必连续，若无极限则该点两侧或单侧必振荡；（2）可能有不连续点的导函数介值定理仍成立。如果函数某点的领域内处处可导，我们可得到如下三个推论：（1）当f^l（x0＋0）=f^l（x0-0）时，则存在且连续。（2）当f^l（x0＋0）≠f^l（x0-0），或至少有一个单侧极限为无穷时，函数在该点不可导，（3）当f^l（x0＋0）和f^l（f0-0）中一个或同时振荡时，函数在该点可能可导。     

基于本体的受限领域文本信息提取方法

针对指挥信息化模拟训练系统中自由格式报文转换问题,根据仿真驱动信息的需求,讨论了对自由格式报文进行信息提取的实现方法。在受限领域（军事领域）中引入本体概念,构建了领域本体模型及语法规则,提出了基于本体的信息提取方法,采用可扩展标记语言（eXtensible Markup Language,XML）和VC＋＋．NET技术相结合,实现对文书的信息提取,为进一步的数据转换和应用奠定了基础。     

建构、人本教学模式在《体育保健学》课程中应用研究

目的研究建构、人本教学模式在体育保健学授课过程中对学生学习兴趣和教学效果的影响。方法以建构、人本教学相结合的理论模式为研究对象,以传统教学模式为对照,通过测试获得学生平均成绩进行统计学分析,并以问卷调查方式获取实验班学生兴趣水平构成比的变化资料。结果传统教学模式授课后,2组学生首测成绩无显著性差异(S1=81.5±3.92分,S2=79.23±2.78分,P=0.071);对实验班采用建构、人本教学模式授课后,2组学生的平均成绩有显著性差异((T1=82.96±3.62分,T2=71.39±4.21分,P=0.001);并且,实验班学习兴趣的构成比有显著提高,兴趣高的比例由39.73%提高至56.76%。结论建构、人本教学模式理论能提高体育保健学的教学效果和激发学生的学习兴趣。     

Gabor框架的稳定性研究

对于Hilbert空间中的Gabor框架,定义A=inf x∈[0,a][∑n∈Z｜f（x-na）｜^2-∑k≠0｜∑n∈Zf（x-na）f^-（x-na-k/b｜]〉0,B=supx∈[0,a]∑n∈Z｜∑n∈Zf（x-naf^-（x-na-k/b）｜〈∞,通过算子放缩证明的方法,可知{Mb^mSa^nf}m,n∈Z构成L^2（R）的框架,且框架界为A/b,B/b.     

基于SSH架构的优质课评分系统设计与实现

针对B／S模式优质课评分系统的开发需求,提出了基于SSH（Struts＋Spring＋Hi—bernate）架构的解决方案,给出了系统设计与开发实现的具体过程。实践证明,SSH架构在构建业务系统中能够提高开发效率,增强系统的可扩展性和可维护性。     

基于制导武器的分布式半实物仿真系统研究

应导弹动态性能指标检验的迫切需求,开发了基于制导武器的分布式半实物仿真系统。充分利用仿真模型构建一体化思想,将整个半实物仿真系统按其功能划分成若干个网络节点,采用弹道仿真工作站集中式分布的星形结构进行分布式系统仿真。仿真软件借鉴Windows操作系统消息、事件驱动方式,采用客户/服务器运行机制,基于VC＋＋软件开发工具实现了半实物仿真系统中的数据采集、视景驱动的多线程开发,修正了视线角误差,从而确保了导弹动态性能检测精度;实现了导弹攻击过程可视化仿真,较准确地再现了制导武器在不同干扰条件下的攻击过程。     

基于SSH架构的院校教育实力统计系统设计与实现

针对B／S模式院校教育实力统计系统的开发需求,提出了基于SSH（Struts＋Spring＋Hibernate）架构的解决方案,分析了SSH架构的运行原理与集成方法,给出了系统设计与开发实现的具体过程。实践证明,SSH架构在构建业务系统中能够提高开发效率,增强系统的可扩展性和可维护性。     

基于IJOTISPP的席位通信系统的设计与实现

一体化联合作战训练系统公共平台IJOTISPP（Integrated Joint Operation Training Information Systemic Public Platform）是军事训练信息系统建设的基础支撑平台。作为联合作战训练信息系统中的重要组成部分席位通信系统,也需在该平台上进行搭建与开发。介绍了IJOTISPP的基本原理,采用IJOTISPP提供的通信服务和Visual C＋＋.Net 2003开发工具进行系统开发,设计了该系统的基本架构,实现了各操作席位之间短信、文件的交互。现场运行表明：该系统具有操作简单、人机界面友好、性能稳定等特点,符合模拟训练中异地通信的要求。