微分中值定理的一种推广

本文将一般的微分中值定理推广到任意有限个函数。     

关于数学情报可近性几点思考

本文探讨了数学情报可近性与数学情报网，情报服务及资金保证的关系．     

分布式战场态势可视化系统研究

在明确仿真需求的基础上,利用可视化技术,实现对战场态势的实时直观表示,对于理解仿真过程具有重要作用.针对目前仿真应用系统中态势可视化普遍存在的通用性、可重用性较差的问题,提出了解决方案--通用战场态势可视化系统,并通过初步实践证明了可行性.     

共轭可置换子群对群结构的影响

利用Sylow子群完备集中元素的共轭可置换子群获得了有限群为幂零或超可解的几个等价条件和若干充分条件，并刻画了合数阶循环子群均共轭可置换和非共轭可置换子群均共轭的有限群。     

启发式极性决策算法解SAT问题

提出了一种启发式极性决策的可满足性问题（SAT）新算法.该算法继承了当前SAT解决器的许多策略：快速BCP、子句记录、重启动搜索等.同时,该算法通过预先根据Karnaugh图的覆盖分布计算变量极性,将其加入到DPLL的决策过程中,大大降低了搜索过程中的冲突次数.实验表明采用该算法的解决器——DiffSat,能够解决许多目前最有效的解决器Zchaff和MiniSat所不能解决的实例.尤其是对于Bart基准系列中的每个实例,DiffSat都能够在0.03s内解决,而Zchaff和MiniSat在给定的900s内不能够解决大部分实例.而且,DiffSat解决器在某些实例上的特性远远优于具有代表性的基于不完全随机算法的解决器DLM.     

可转换证券与风险投资 --可转换债券的信号传递机制

构造了一个可转换债券契约的信号传递博弈模型。在该模型中,创业者拥有信息优势,他们在开始签订投资契约时已知投资项目的状态信息,而风险投资者不知道,创业者可以通过转换价格向风险投资者传递项目的状态信息。研究结果表明,高水平的创业者会选择较高的转换价格,而低水平的创业者则会选择较低的转换价格,风险投资者可以根据可转换债券的转换价格将不同水平的创业者区别开来。可转换债券的这种甄别功能能够减轻风险资本市场中的逆向选择问题。     

可积函数的原函数的存在性问题

研究了可积函数的原函数存在性问题，讨论了函数可积性与存在性的相互关系．     

等待空间有限的第三类可修排队系统

本文研究了等待空间有限的第三类可修排队系统．假定服务台的寿命在忙期和闲期服从不同的指数分布，修理时间服从不同的一般分布．利用向量马氏过程的方法，不仅求出了系统的队长和忙期分布等排队论指标，而且还求出了服务台的可靠度和可用度等可靠性指标．     

活性污染好氧／厌氧合成聚—3—羟基丁酸酯

聚－3－羟基丁酸酯（Polyhydroxybutyrate,PHB）是临床储藏于活性污染的微生物体内的能量和碳源聚 的，是完全可生物降解的热塑性塑料，文中探索把性污泥用于生产PHB的可能性，研究重点是如何增加活性污泥内PHB的含量，实验结果表明：没有经过特别驯化的活性污泥，以乙酸盐为过量碳源，厌氧条件培养，PHB含量达污泥干重的11.85%；好氧条件培养，PHB的含量达污泥干重的12.95%；而好氧－厌氧条件培养，PHB的含量达污泥干重的18.49%，产物经核磁共振谱图分析证明其主成分为PHB。