一种优化的公交车调度模型

在尽量满足乘客和公交车公司双方利益的前提下,将所给的数据进行转换处理,以每个时段发出的公交车将乘客进行重新划分,然后由各时段内站间最大运送乘客数量求出该时段的最少发车次数,进而求出需要的最少车辆,并对所求结果进行评价.     

分时段并行（Pipelined—Flash）A／D转换误差比率函数的性质

首先阐明误差比率函数的三大数学特性。随着推出误差比率单位增量函数△ＥＲＲｄｎ和△ＥＲＲｄｊ。利用这两种连续函数对非生离散本质的误差比率函数进行线性等价；确定误差比率分布域的边界、推出边界函数。最后论证△ＥＲＲｄｎ和△ＥＲＲｄｊ两者同时为零的条件，从而揭示建立分时段并行Ａ／Ｄ转换精度理想量化数学模型的根源。     

分时段并行（Pipelined—Flash）A／D转换误差分析

对分时段并行Ａ／Ｄ模块的量化界面进行全面的误差分析，展示界面电路中全体元器件精度指标的相互关系，阐明一系列因果相关的精度误差函数的推导过程和分析思路，系统地揭示分时段进行Ａ／Ｄ转换误差定量分析的基础。     

基于证明分析的机器发现系统的实现与应用

为了实现基于文献（１）的机器发现系统，本文介绍了基于证明分析的机器发现系统的实现技术，并且给出了该系统做出的一些数学再发现例子，从而得一实用的机器发现系统。     

命题逻辑等值演算的计算机求解方法

探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构，以及在这种结构上如何实现它的基本操作，进而实现其它复杂的等值演算。     

时段凝聚公式的一般形式

基于计算结构力学与最优控制的模拟理论，采用结构力学中的混合能概念，对受非线性等式约束的非线性控制系统进行了分析，建立了时段凝聚公式的一般形式．其可以退化成通常所见的各种特殊形式，因此具有更普遍意义，为非线性控制系统的研究打下了基础．     

科研的有力工具——Mathematica

介绍了Mathematica的特点、功能和使用方法.     

入侵特征的时间语义逻辑及实现

在对ITL的定义和实时语义扩充进行描述的基础上，详细探讨了ISITL的特征，并给出了其模式图和MACIS事件的处理算法；最后对ISITL存在的优缺点进行了简要分析。     

浅析离散数学在计算机科学中的应用

离散数学作为有力的数学工具,对计算机的发展,计算机科学的研究起着重大的作用.计算机科学中普遍地采用离散数学中的一些基本概念,基本思想,基本方法,使得计算机科学越趋完善与成熟.简单介绍了离散数学在计算机科学的几个不同领域中的应用,指出了离散数学在从事计算机及相关科学工作中的重要性.     

生活中的最佳时

生活中我们需要注意的小细节很多，每一项都注意到并不是一件很容易的事情，但至少，我们应该知道，在生活中，做什么，怎么做对自己来说是最好的。