智能交通

交通是人类社会的一个必要元素，从某种角度看。人类社会的进步就是一部交通发展史。随着科技的不断进步。尤其是工业革命以来。人类的交通事业有了质的飞跃。从而拉近了整个世界的距离。如今。交通不再是一种地理和空间的桎梏。而是成为经济、政治、文化交流的重要媒介。发挥着重要的作用。然而伴随着城市化的步伐。交通的极速发展也给人类带来了环境污染、资源消耗、生态破坏、城市生活质量下降等一系列社会问题。     

具有模糊系数的可能性线性规划

在LA Zadeh的可能性理论的基础上，讨论了具有梯形模糊系数的可能性规划问题，得到了一定置信水平下的经典等价条件，并用单纯形法求得其最优近似解．     

平面图四色问题的一个必要定理

本文从逻辑推理角度讨论了关于四色问题的一个必要性定理。     

资本预算折现率研究

净现值法是资本预算中最为重要的一种方法，它需要的一个重要输入变量是项目的必要收益率。本文关注的是如何估计出项目的必要收益率。CAPM是估计必要收益率的最常用模型，为了应用该模型．我们需要了解无风险利率、市场风险溢价和项目贝塔的取值。本文详细论述了从已知信息中估计这些变量的方法。     

关于病毒与人类共存的哲学思考

病毒与人类的关系,是寄生与对抗、共存与依赖的关系.以积极进取中的必要妥协策略来对待病毒是人类的理性抉择,由此应在一定程度上改变相应的人类生存观念和生产方式.     

干部作风建设重在解决好关键问题

干部作风建设,是干部管理教育工作的系统工程,涉及干部队伍建设的方方面面。针对目前企业实际,我认为应重点解决好以下关键问题。一、解决思想状态不佳的问题,形成奋发向上的良好氛围作为企业领导干部,保持好的思想状态是其必须具备的基本素质,也是开展好各项工作的必要前提。领导干部思想状态良好,就能做到     

黎曼流形上Fritz John必要最优性条件

在黎曼流形上给出了Lipschitz函数的广义方向导数和广义梯度的概念,利用黎曼流形局部上与欧氏空间开集微分同胚的性质以及切映射和余切映射导出了广义梯度的性质和运算法则,证明了定义在黎曼流形上的函数取得极小值的必要条件是广义梯度包含零元素,并利用这些性质给出了黎曼流形上数学规划问题的Fritz John型最优性条件.     

R-演算:一个修正程序规约的演算系统

在一个软件规约(program specification)的形成过程中, 规约总是不断被修改, 要么增加新的功能, 要么由于出现事实反驳, 而改正规约中的错误. 规约的新功能是与其逻辑无关的新规则, 而它的事实反驳则是其反例. 新规则和事实反驳都是由研究者或用户提出来的. 极大缩减是在规约出现事实反驳的情况下, 对规约的理想修正. 这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义. 构建了R-演算. 该演算由一组变换规则组成, 用以删除规约中与事实反驳矛盾的规则, 并最终得到规约的极大缩减. 同时证明了R-演算的可达性和完全性.     

结构必要联系的研究与应用

论述结构中必要联系的性质.通过对工程实际问题的分析，指出正确运用这些性质来处理一些丁程问题是十分重要的。     

煤矿矿井通风管理的重要性及有效措施探析

我国国土面积辽阔,各种矿山资源丰富,煤炭资源储量居世界第三,有关煤炭开采的煤矿建设在我国较为普遍。由于煤矿大多是对地下几百米甚至近千米的开采,实际矿山建设开采中存在较大的风险。随着煤矿的建设,有关井下一系列的安全保障救生系统正在完善。而煤矿的矿井通风系统是井下作业的生命保障,如何做好煤矿矿井通风管理已经成为事关煤矿井下安全生产的必要保障。本文通过煤矿矿井通风系统的特点和当前国内在矿井通风管理的现状进行分析,浅显的探讨通风管理在煤矿矿井的重要性和保障通风系统正常运行所应当采取的有效措施。