基于人—机—环境耦合效应的掘进工作面安全高效生产

本文应用人机环境系统工程的科学理论和方法,系统地研究掘进工作面人—机—环境系统的耦合效应,实现掘进工作面的安全、高效生产。文中分析了人—机—环境三个子系统的构成要素,探讨了各子系统和要素之间的关联,并提出增进整个掘进工作面安全高效生产的方法,得出在一定掘进工作面条件下,人的因素是安全生产的核心,通过提高人的素质和能力更好的实现掘进的安全高效。     

一个双参数的共轭梯度法簇

提出了含有双参数的新共轭梯度法厥公式，证明了该方法在适当选取参数口的SWP线搜索下具有充分下降性和全局收敛性，数值试验结果良好．     

带协同约束弧的微分Petri网及其仿真

为使Petri网中单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束关系,提出了协同约束弧的概念,并将它与微分Petri网相结合,用以对具有状态反馈控制的混杂系统建模.结合一个二阶线性系统的实例,给出了它的带协同约束弧的微分Petri网模型,并用Stateflow和Simulink结合起来对这种带有协同约束弧的微分Petri网描述与仿真.仿真结果表明:在协同约束弧控制下,适时改变控制策略,将系统切换到不同的相空间,从而使不稳定系统最终在目标区域内稳定运行.     

基于系统动力学的港口-区域经济关系研究

为分析港口与区域经济发展互动影响关系,选用系统动力学模型,构建港口-区域经济系统,分析系统内港口子系统、区域经济子系统和社会子系统之间因果关系,构建系统动力学流图和变量关系体系.通过对某港口与其所在经济间关系的模拟,计算出现阶段该港口与区域经济之间相互促进和阻碍的程度.结果证明了该模型的有效性.     

浅析我国企业信息化建设

介绍了企业信息化的概念、特点及存在的问题,论述了企业信息化建设的重要性,并从多个角度阐述了企业信息资源建设必须考虑的几个问题。     

现代多媒体教学视频点播系统的构建

结合当前多媒体教学发展的趋势,阐明了高校现代多媒体教学视频点播系统的构建方法,并通过具体的实例介绍了高校如何构建以优质的校园网络为平台的多媒体教学视频点播系统,为高校实现多媒体教学资源共享提供了良好的参考方案.     

健美操裁判员评价封闭系统研究

通过分析同一样本--2005年中国学生活力健美操大赛裁判员,研究开发体育主现评分裁判评价模型,了解两个(参数和非参数)评价模式的特点,探索更有效的比赛裁判员管理的封闭系统.结果表明:非参数统计评价方法具有以下优点:(1)分布自由,即无需假设从特定方式分布的总体中抽取子样;(2)采用秩检验方法,可以分析数值上并不严格而有等级顺序的资料;(3)计算比较简单.     

基于MapX的雷电数据查询处理

通过综合分析空间数据库4种管理模型,选择了一种合理的模型对雷电属性数据和空间数据进行管理,基于MapX地理信息平台,实现了对属性、空间数据的一体化查询处理,完成雷电数据在电子地图上的加载、区域统计和查询分析功能等。     

论人地系统演替的动力机制

探讨人地系统演替的动力机制可以揭示人类发展中面临诸多问题的根源及寻求人类调控自身行为的途径,具有重要的理论意义和实践价值．自然力、社会力是人地系统演替的动力．自然力和社会力的耦合控制导致不同时空条件下人地系统特殊的运行规律。     

多元Volterra线性积分不等式组及其对线性微分系统的应用

在核函数不具备献中常见的任何附加假设的情况下，对ｎ元Ｖｏｌｔｅｒｒａ线性积分不等式的一般形组，获得一切连续解的显式逐点界值公式。作为应用，对一般形线性微分方程组建立了解的先验界值公式。它在线性齐次微分方程情形中的推论，与周知的Ｗａｚｅｗｓｋｉ，Ｂｕｔｌｅｗｓｋｉ的界值公式是相互独立不可比较的，同时还讨论了某些不同而又互相联系的线性微分系统初值问题的解的偏差估计问题。