基于网络的门禁系统的设计

设计了一种基于双处理器的门禁系统,集成了生物识别技术与射频识别技术,扩展了以太网口,实现了门禁网络互连.文中介绍了指纹传感器 FPS200、读卡芯片FM1702等模块的电路设计以及相应模块的软件编写;同时裁剪并改进了 TCP/IP 协议,以便更适应本系统的要求.测试证明本系统运行稳定可靠.     

带扩散的基于比率的捕食模型的分析

建立了带扩散的基于比率的捕食模型,讨论了模型的一致持久性,应用特征子空间分解与线性化的方法得到了模型正平衡点局部稳定性的充分条件,进一步通过构造适当的Lyapunov泛函的方法得到了正平衡点全局稳定性的充分条件.     

带扩散的基于比率的捕食模型的分析

建立了带扩散的基于比率的捕食模型,讨论了模型的一致持久性,应用特征子空间分解与线性化的方法得到了模型正平衡点局部稳定性的充分条件,进一步通过构造适当的Lyapunov泛函的方法得到了正平衡点全局稳定性的充分条件。     

格状编码的译码方法的研究

本文首先介绍了V.32协议中格状编码的基本原理,分析了格状编码的特点,然后讨论了卷积编码和信号空间分布所提供的纠错冗余,并着重讨论了格状译码的方法,最后分析了格状译码和Viterbi译码的优劣和存在的问题,为进一步改进译码方法提出了一种思路.     

Taylor中值定理的推广及中值ξ的性态的研究

本文对Taylor中值定理进行了推广,给出了推广定理并进行了论证。本文又对这个定理的“中值”的性态进行了研究,给出了“中间点”的渐近性定理,并进行了论证。     

技术革命的形势和工科大学生的素质

本文以机械工业高新技术的发展为典型,分析了当前国内外技术革命的形势,提出了工科大学生应培养的基本素质,对“德、识、才、学”的深刻含义作了有针对性的阐述,特别强调了创造性是工程师素质的核心,强调了建立合理的知识结构和运用信息论做好工作的重要意义。     

关于熵的连续性定理的证明

介绍了信息论中熵的概念,给出了Probability and Mathematical Statistics书中一个引理,引理给出了熵的连续性,通过运用中值定理,给出了正确的证明.     

联动入侵检测的Linux动态防火墙的设计

本文分析了传统安全技术(防火墙、入侵检测)的优势和缺点,指出了防火墙和入侵检测进行联动的必要性,设计了联动入侵检测的动态防火墙,给出了具体的解决方案,并对关键技术进行了分析.该动态防火墙提高了防火墙的实时响应能力,增强了入侵检测的阻断功能,实现了网络的整体防御.     

基于项目管理的可视化监控系统的实现

结合项目及项目管理的特点,阐述了项目的定义及项目管理的发展历史。从项目监控的角度出发,分析了现行项目监控的主要方式——里程碑式的不足;提出一套可视化的项目监控机制,论述了该机制的优势。在此基础上,提出了可视化监控系统的体系结构,叙述了系统各个部分的功能,最终实现了监控系统的开发和应用。     

可恢复植被的环保混凝土的研制

阐述了可恢复植被的环保混凝土的研制意义、方案、思路及技术关键.着重介绍了可恢复植被的环保混凝土的制作过程,开展了种植实验,并对实验结果进行了分析.     

一类具偏差变元p—Laplacian方程的周期解问题

利用拓扑度理论及一些分析技巧研究了一类具偏差变元p-Laplacian方程（φp（x（t））’＋h（x’（t））＋f（x（t））x’（t）＋g（x（t—τ（f）））=e（t）周期解问题,得到了周期解存在的一组充分条件。     

具有强迫项的二阶时滞微分方程的振动性

讨论具有强迫项的二阶时滞微分方程(k(t)φ(x(t))x '(t))'+p(t)x(τ(t))+q(t)x(σ(t))=e(t),利用其线性近似方程(k(t)x '(t))'+p(t)x(τ(t))+q(t)x(σ(t))=e(t)的振动性,给出了方程解振动的一个充分条件,所得结果推广了文献[4]的相关结果.     

一类具有多个变时滞的p-Lapcaian中立型泛函微分方程的反周期解的存在性

主要利用Leray-Schauder不动点定理和一些新的分析技巧,讨论了这类具有多个变时滞和变参数的p-Lapcaian中立型泛函微分方程：（φp（x＇（t）-sun from i=1 to n（ci（t）x＇（t-ri）））＇）=f（x＇（t））＋sun from j=1 to n（βj（t）g（x（t-τj（t）））＋e（t））反周期解的存在性,得到了方程反周期解存在性的结论.这与已有的文献的结果不同,所考虑的方程更一般,从而所得的结果就更有广泛的意义.     

非线性系x’=a（t）·x^α＋b（t）的类线性系性质

讨论非线性系x’=a（t）x^α＋b（t）,证明它与线性系x’=a（t）x＋b（t）有不少相同或相近的性质。     

一类p-Laplacian椭圆抛物型偏微分方程解的存在性

研究一类定义在区域(0,T)×Ω上的p-Laplacian椭圆抛物型偏微分方程pt(u)-▽·(|▽u|p-2▽u)=f(t,x)的解的存在性,Ω是RN的一个有界区域(N≥1),边界Ω是C2光滑的,其中p≥2,p(u(0,x))=p0.基于将原方程变形为次微分的形式pt(u(t))+φt(u(t))■f(t),利用两次逼近证明了解的存在性。     

一类三阶非线性中立型时滞差分方程的振动性

运用分析的方法研究一类具有连续变量的三阶非线性中立型时滞差分方程的振动性,给出该类方程所有有界解振动和方程振动的几个充分条件,推广并改进已有结论．     

具连续变量高阶中立型差分方程的渐近性

研究了一类具有连续变量的高阶中立型时滞差分方程Δ^d（x（t）＋q（t）x（t-τ））＋p（t）f（x（t-δ（t）））=0的渐近性。在{x（t）}是方程的有界非振动解的假设下,通过变换引理中的三个条件,得到limt→＋∞ x（t）=0或t→∞时,{x（t）}收敛于某有限数值,从而认为该方程具有渐近性。     

关于常微分方程中Liouville公式的注记

证明了n阶齐次线性微分方程d^nx/dt^n＋a1（t）d^n-1x/dt^n-1＋…＋an-1（t）dx/dt＋an（t）x=0的Liouville公式W＇（t）=W（t0）e^-∫t0^lal（s）ds是一阶齐次线性微分方程组x＇=A（t）x所对应的Liouville公式W＇（t）=W（t0）e^∫t0^l∑i=1^naii（s）ds的特殊情形。     

关于非线性积分不等式的估计

在研究各种动力系统时,具有显式估计的不等式是关键的和广泛应用的解析工具之一.这些不等式无需提前知道积分方程的显式解,就能获得这些解的有价值的信息.为了处理新的积分方程,给出了关于一些基本积分不等式的新的显式估计.主要结果为：积分不等式x^p（t）≤a（t）＋m（t）∫0^t[f（s）x^p（s）＋g（s）x^q（s）]ds蕴涵x（t）≤a^p^-1（t）＋p^-1a^p^-1-1（t）m（t）h（t）exp∫0^tF（s）ds,t∈R＋.这里p≥1,0〈q≤p,a（t）〉0,x（t）,m（t）,f（t）,g（t）≥0.作为应用,得到一个非线性积分方程解的显式估计.     

两个极限命题的证明

用归纳法证明了两个极限命题。（1）设m〉1,pi（x）（i=1,2,…,m）是[1,＋∞）上的连续正函数,在满足一定条件下成立limx→＋∞[∫1^xt^m-1p1（t）p2（t）…pm（t）dt]/x^mp1（x）p2（x）…pm（x）=a1a2…am/a2a3…am＋a1a3…am＋…＋a1a2…am-1（2）设pjn,an。（j=1,2,…,m;n=1,2,…;m〉1）均为正数,在满足一定条件下成立limn→∞（∑k=1^nak^m-1p1kp2k…pmk）/an^mp1np2n…pmn=a1a2…am/a2a3…am＋a1a3…am＋…＋a1a2a…am-1