待发表文章摘要预报

待发表文章摘要预报安全监测系统校验周期数学模型许开立陈宝智张玉凡在一系列假设的基础上，给出了安全监测系统单位时间内校验次数的泛函，用变分法求泛函极值，得出了校验费和损失费最小的校验周期数学模型．在校验费和损失费一定的情况下，当故障（泄漏）率较高时，校...     

模型校验经济有效性问题的优化模型与方法

模型校验中的经济有效性问题对于仿真系统，特别是大型复杂的军用仿真系统的模型校验十分重要。通过对模型校验策略的分析，讨论了如何建立这一问题的优化模型，并给出了基于线性规划和非线性规划的模型求解方法。     

基于极小作用原理的Lagrange系统周期解的存在性

利用变分方法中的极小作用原理在一定的条件下讨论了Lagrange系统周期解的存在性.介绍了极小作用原理,给出了从讨论Lagrange系统的周期解的存在性到讨论相应的泛函临界点的存在性的转化,在强制性条件下讨论了Lagrange系统周期解的存在性.     

一类泛函微分方程的分支问题

本文利用泛函微分方程的Hopf分支定理给出了一类泛函微分方程组出现Hopf分支的条件，并在一定条件下给出了分支所产生的周期解的稳定性的判别法。这些结果不仅证明了C．M．Maraus在文[2]中的猜测，而且进一步将其进行了推广。     

机器人安全系统的数值模拟研究

提出了1个包含两个冗余机器人和1个安全装置的机器人安全系统模型,运用泛函分析中的积分算子理论和纯分析的方法给出了机器人安全系统非负解的存在唯一性的证明,同时也给出了系统的可用度和故障频度等可靠性指标,最后给出了系统的数值模拟。     

两层次、多品种货物随机存贮模型研究

在单品种货物随机存贮模型的基础上,建立了两层次、多品种货物的随机存贮模型．系统费用由货物运输费、存贮费和缺货损失费三项组成．货物运输费又由中心仓库运到各分拨仓库的运输费用和各分拨仓库之间由于互相调拨而发生的运输费用两项构成．利用数学方法对该模型进行了求解,确定了各货物在分拨仓库的最优库存量．并通过算例分析,讨论了不同期初库存水平下,各分拨仓库之间应互相调运各物资的数量．     

一类具有时滞的变系数微分系统的指数稳定性及周期解的存在性

通过构造具有指数函数因式的V泛函，研究了一类具时滞的变系数非线性微分系统，得到了该系统的全局指数稳定性和周期解存在的充分条件，并给出若干判据。     

随机状态下需求均值为线性函数时的EOQ模型

在一定类型的存贮系统中，订购周期和需求都可能是服从某种分布的随机变量，而经典的EOQ模型通常忽略这些因素，在需求均值为定常参数研究的基本上，假设订购周期为服从指数分布的随机变量，需求均值为线性递增函数，以及考虑资金的时间价值和通货膨胀因素对库存系统补充策略的影响，进一步放宽了确定状态下基本经济订购批量模型的条件，给出了无限时域和有限时域条件下模型的综合费用函数，并推导出最优订购批量、最优订购周期等参数的表达式，拓宽了需求均值为定常参数时EOQ模型的应用范围，为库存系统的管理决策提供了理论依据。     

基于数字证书识别及校验的物联网固件安全检测系统的设计与实现

设计并实现了一种基于数字证书识别及校验的物联网固件安全检测系统。针对下载的不同厂商的固件，研究了在固件中识别公钥、私钥、签名等数字证书文件的方法，设计了对证书内容进行有效性校验的模型，构建了证书管理数据库，在此基础上实现了完整的固件安全检测系统。实验结果表明，该系统可对固件中的证书进行高效识别和有效性校验，并对样本外存在数字证书安全缺陷的固件进行了成功检测。     

一类具反馈控制的病毒感染模型的稳定性与周期解

研究了一类具有反馈控制的病毒感染动力学模型.利用常微分方程定性与稳定性方法,通过分析特征方程,讨论了该模型各个平衡点的局部稳定性;通过构造适当的Lyapunov泛函,证明了未感染平衡点和反馈控制病毒感染平衡点的全局稳定性;最后,利用重合度理论中的延拓定理,给出了保证其周期系统存在正周期解的充分条件.     

易燃易爆危险源安全监测系统模糊有效度评价

运用模糊概率论及可靠性的有关理论，建立了易燃易爆危险源安全监测系统模糊有效度评价的数学模型。实践证明了该理论的正确性。将其用于工程实践，根据评价结果提出并实施了整改措施，使得安全监测系统的模糊有效度大大提高，为危险源的安全运行提供了保证。     

安全监测系统投资与有效度分析

为保证安全监测系统可靠，经济地运行及重大危险源的安全运转，研究了安全监测系统投资与有效度的关系，分析了确定最优安全投资的原则，给出了易燃易爆重大危险源安全监测系统最优固定安全投资的求法，导出最优可变安全投资及与之相应的有效度的数学模型，探讨了最大有效度条件下的可变安全投资，所得结论对这安全监测系统投资具有指导意义。     

巷道净断面最优尺寸的确定

本文以生产要求和安全间隙为原则,以实现巷道开凿支护费、维修费、通风电力费总现值最小为目标,建立了巷道净断面尺寸设计的数学模型,把该模型引入计算机可完成巷道断面尺寸的最优选择。     

动态最小费用流问题

考虑到时间对最小费用流问题中各个参数的影响,首先通过对动态最小费用流问题的各参数的定义建立了动态最小费用流问题的数学模型,在这样的有向网络里,流可以在中间点上停留一段时间,弧的容量以及中间点的容量随时间变化,流经过弧时所需的费用也随时间变化;在此模型基础上给出了动态最小费用增广链的定义并证明了与其相关的定理,并在最后给出求解动态最小费用流问题的一个算法。     

浅议施工企业项目财务成本控制

从质量成本控制、安全成本控制、工期成本控制、工程的后期费用控制等方面论述了施工企业项目财务成本的控制。     

离散时间模型预测控制在光伏并网中的研究

针对光伏并网逆变器的工作特性,提出了一种基于SVPWM离散时间模型预测控制（MPC）的光伏并网,构建了一个新型的价值函数,建立了光伏并网系统数学模型．在每个采样周期内,根据预测控制模型,对三相并网逆变器的8个电压矢量进行筛选,得到使价值函数最小的电压矢量,并根据预测算法,计算出电压矢量在下一个采样周期中所作用的时间．通过Matlab／simulink分别对传统的滞环控制以及离散时间模型预测的光伏并网进行了仿真,验证了基于MPC的光伏并网具有更好的动态、静态特性,并网网侧谐波小,实现了旃由电流以及q轴电流的解耦控制,对光伏并网具有一定的意义．     

大批量定制产品总成本构成模型研究

从整体概念角度将产品总成本构成划分为三种类型，与实质产品相关的成本，与形式产品相关的根本以及延伸产品相关的成本，提出了大批量定制定品癖成本数学模型，并举例说明了该模型的应用。     

带有预算费用约束的报童模型

讨论带有预算费用约束的报童问题. 建立了带有一般费用约束、 缺货预算费用约束、 商品处理预算费用约束的3种模型, 分别求出了最优解, 并进行了模型的灵敏度分析.     

一类基于模糊图论的费用与时间最优化问题的模型

在寻求工程实施的最小时间和费用等最优化方案时,构造了多因素隶属度PERT图和隶属函数模型,并运用模糊约束量来解决带最小化时间因素的最小费用流问题.     

基于精益建造理论的工程项目成本控制分析

提出了在建筑业内引入精益建造理论的观点,构建基于精益理论的成本控制管理新模式．从传统施工组织设计的角度出发,以某工程施工现场发生的实际成本数据为基础,构建了支持精益建造理论的各单项成本和浪费指标的数学模型,进一步分析确定的各项指标与时间的函数关系．最后,运用工程优化方法对总成本目标函数中主要指标进行敏感性分析,得到了主要浪费指标对施工现场总成本的影响程度．