Banach空间中一类强非线性发展方程的反周期解

本文讨论一类强非线性发展方程的反周期解的存在性。针对一大类既含有单调非线性算子又含有非单调非线性算子的发展方程。我们巧妙地结合单调算子理论与Leray-Schauder不动点理论，证明了其反周期解的存在性。最后，举例说明理论结果在2m阶拟线性抛物型方向的时间反周期问题中的应用。     

预测我国钢铁工业发展趋势的递归模型

本文根据我国钢铁工业生产特点,建立了60多个变量、28个方程的递归模型,描述了钢铁工业生产的结构形式,确定了主要生产环节的生产函数,给出了各种经济变量间的相互关系,预测了我国矿、铁、钢、钢材、产值等28个主要的内生变量的未来值,分析了“七五”、“八五”、“九五”三个五年计划可达指标、发展速度及保证条件。经过1984年的实际检验,证明模型的预测效果良好。     

振动控制系统中致动器配置方法的理论研究

该文从致动器配置受振动系统的固有特性支配，而不受系统初始条件和控制规律的支配的观战利用模态分析法和动态灵敏度分析，提出了基于模态控制的致动器配置方法。     

序补问题解的存在性

利用耦合不动点的方法得到了混合单调型算子的序补问题解的存在性．同时利用序补问题与隐变分不等式的关系给出了隐变分不等式解的存在性的新条件．     

基于不同摄像机配置的空间点检测模型及精度研究

针对空间点检测问题给出了一种简便而精确的空间点检测方法并建立了实验环境下的数学模型,提出了视差为零时,所测得的空间点深度最接近真实值的假设,并得到如下结论：给定空间点,深度不变,基线越短,光轴的夹角越小；深度改变时,基线一定,则深度越长,夹角越小。推导出在不同基线、不同深度下摄像机光轴之间理想夹角的数学模型并通过实验进行了验证。该方法对实际双目检测系统的摄像机配置有一定的指导作用。     

关于积分中值函数性质的注记

本文在严格单调的前提下 ,讨论了积分中值函数的严格单调性、连续性和可微性 ,得到了具有一般性的结论。     

软件可靠性与费用权衡

软件可靠性与费用的关系是辩证的 :一方面增加可靠性可以减少软件的维修费用 ,避免软件因可靠性低不能使用所造成的开发费用的浪费 ;另一方面增加软件可靠性 ,大都以增加软件开发费用为代价 ,而软件成本的提高又制约了软件的销售和推广。对软件可靠性分配和软件测试终止时间的确定进行了深入分析 ,通过这两条途径实现了软件可靠性和费用的权衡。在此基础上 ,给出了在软件工程中权衡软件可靠性与费用的其它方法。     

耦合拟不动点定理

根据耦合拟不动点和上半连续算子的定义，讨论了在一定连续条件下集值混合单调算子的耦合拟不动点存在性问题，证明了，若A是非空弱闭值上半连续增算子，则A存在不动点以及若A是非空弱闭值上半连续混合单调算子，则A存在偶合拟不动点等结论．     

Banach空间积-微分方程整体解的存在性

利用上下解的单调迭代方法,采用适当的迭代程序,在较弱的条件下,获得了Banach空间积-微分方程初值问题整体解的存在性结果.     

反导作战任务分配方法

为充分发挥反导体系的作战能力,探讨了多任务与多资源的多属性匹配问题。以任务为中心进行反导任务分配,给出了多任务分配问题的描述。结合反导资源作战使用的实际情况,分析作战任务和资源的多维属性。通过引入资源能力负载系数,定义任务需求与资源能力之间的矢量距离。以资源冗余和最小化协同负载策略为优化原则,建立了任务分配数学模型。借鉴和改进多维动态列表规划算法的思想,设计了具体的求解步骤,确定了任务选择资源的优先级。通过案例分析,验证了所提方法的适用性。