关于Ramsey数下界的一个注记

Ramsey理论是组合论中的一个重要内容，但确定Ramsey数R(k，f)是非常困难的．给出了Ramsey数R(k1，k2，…，km)的一个下界公式；同时也指出了2002年《数学的实践与认识》上某论文中的一些错误。     

一个广义Ramsey数r(C5,K7)

该文证明了25≤r(C5，K7)≤26。     

板料成形过程中的质点变形不同步效应

提出了板料成形时质点变形不同步效应这一新概念．通过有限元数值分析发现：在板料成形过程中，板料凸缘上到凹模口的垂直距离相等且相互邻近的一些质点，如果移动和变形状态不同步，就能有效地减小成形过程中的流动阻力，从而大幅度地提高板材的成形性能．对这一效应的原理给出了较为深刻的分析．     

simELFN:提高Ad hoc网络TCP性能

标准TCP把Adhoc网络中的移动丢包也解释为网络发生了拥塞，从而启动拥塞控制。造成TCP性能的下降。simELFN技术利用中间节点的反馈信息并结合路由协议自身的特性，能区分丢包的本质原因，并且能避免其他反馈方法所面临的多个重复确认问题。经过分析和仿真表明simELFN能够有效地提高TCP性能。     

基于贝叶斯风险分析的软件项目人力资源模型

利用Putnam模型和软件项目成本公式讨论了投入的人力和软件项目成本的关系；研究了人力投入对软件项目风险的影响；利用正态分布函数讨论了n个软件开发人员总工作量的概率密度分布，在此基础上建立了基于贝叶斯规则的风险模型；对模型进行优化可得到人力资源投入的估算模型。     

具时滞的细胞神经网络的全局稳定性的新定理

提出了判定具有时滞的细胞神经网络渐近稳定性的一条新定理，可以证明，该定理的结论使得直到目前为止的所有全局渐近稳定性定理或推论均为其特例，并且证明简单，条件判定也较容易实现。     

关于一类离散时间神经网络模型的稳定性

考虑一类离散时间神经网络模型的稳定性，得到了模型的平衡解是渐近稳定的充分必要条件。     

半导体中的多维流体力学模型在球的外部区域上的整体光滑解的渐进行为

研究半导体中的多维流体力学模型在球的外部区域上的整体光滑的渐进行为，证明了其依指数形式收敛到稳态解的特性。     

广义Ramsey数p(n,k)的若干性质

设n ,k≥ 3为自然数 ,p(n ,k)是最小的正整数p ,使得对任何阶图G ,或者G有n点导出子图至少有n - 1条边 ,或者G有k点独立集 ,则本文证明 :( 1 )p(n ,k) ≥max{p(n ,k-1 ) ,p(n- 1 ,k) },( 2 )当n<3k - 4时有p(n ,k) ≥ 2k- 2 + [n/3],这里 [·]是最大取整函数 .     

郑州移动警务系统研究

通过SMS、GPRS等无线通信技术,利用手机、笔记本电脑与公安综合信息系统连接,实现对常住人口、机动车、驾驶员、被盗抢车辆、在逃人员等信息的关联查询,同时还可以实现机动车、驾驶员违章信息的录入和处罚。采用非IP安全连接技术跨接公安专网、银行专网、移动专网和互联网,通过XML技术实现内外网的数据实时交换,该系统现已成功应用于郑州警方,在全国范围内尚属首次。