高坝洲升船机计算机监控系统上位机系统设计与实现

高坝洲升船机计算机监控系统由现地控制单元、通信网络和上位监控主机3部分构成。文中在简要介绍各部分的组成后，着重介绍了上位机系统的功能设计和实现方法。上位机系统具有访问权限设置及安全闭锁、升船机系统运行监控与仿真、数据采集与数据库管理、故障报警与事故追忆、报表管理及打印、机构动作超时保护、专家提示及事故指导等功能。最后介绍了计算机监控系统网络调试方法。     

一类一阶脉冲微分方程积分边值问题

考虑具有两个函数差的一阶脉冲微分方程积分边值问题极值解的存在性,通过上下解方法和单调迭代技术得到了边值问题存在耦合极大解(-β)和极小解(-α)的充分条件.利用脉冲微分不等式理论,给出了边值问题存在唯一解,即α=β的充分条件.本文结果包含了具有两个函数差的常微分方程初值问题(当Ik=Gk=0,λ1=λ2=0时),常微分方程积分边值问题(当Ik=Gk=0,g=0,λ1=0,λ2=±1时),一阶脉冲微分方程反周期边值问题(当g=0,Gk=0,λ2=d=0时)的相关结果.     

上近似在粗糙集约简中的应用

对粗糙集理论中不相容决策表的约简问题进行了研究.引入关联规则中支持度和置信度的概念,并重新定义了这两个概念.利用粗糙集中上近似概念的特点,提出一种将上近似用于不相容决策表的约简算法.通过一个实例介绍了该算法的基本步骤.算法对各规则能计算出各自的支持度和置信度,能实现对不相容决策表的约简.     

中板厂加热炉钢坯托出机的研制与应用

介绍自主创新研制的钢坯托出机，整个系统采用机械升降和行走以及摆轮结构，速度采用PLC控制，简易，可靠，易于维护，满足加热炉、辊道、厂房空间布置的要求，并保证出炉钢板的表面质量。     

S-粗集与新金属材料发现（Ⅱ）

给出属性下界值，属性上界值的数据生成概念，给出属性下界值的数据生成模型，属性上界值的数据生成模型；提出金属材料的遗传一进化定理，金属材料的遗传进化一遗传变异原理．利用这些数据模型讨论了发现新金属材料的方法；对于新发现的新金属材料用例子证明它的存在，本文的例子说明，S-粗集和它的属性值模型是材料科学中新材料发现的一个新的工具。     

焦炉局部吊顶翻修技术的应用

介绍了广钢焦化厂焦炉局部吊顶翻修的工艺及应用情况,并对其实践进行了总结,说明焦炉局部吊顶翻修技术在晚期焦炉维护上具有广泛的应用和推广价值。     

弱耦合方程组混合问题广义解的单调迭代法

利用Galerkin方法证明一类非线性抛物—常微弱耦合方程组混合问题广义解的存在性、唯一性和该混合问题的积分模估计;通过广义上、下解方法、Soblev嵌入定理及归纳法证明极大序列和极小序列分别是单调不增和单调不减的;由勒贝格控制收敛定理及Gronwall不等式严格证明了极大序列和极小序列分别从上方和下方单调收敛于问题的唯一广义解.     

碎石桩复合地基稳定性塑性极限分析法

基于塑性力学极限分析上限定理，建立了复合地基平移、转动相结合的破坏机构．根据外部作用荷载和土体自重所做的外功率等于地基变形所消耗的内部能量耗损率，求得了碎石桩复合地基稳定安全系数计算公式．工程算例分析表明，该方法对于碎石桩复合地基的稳定性分析具有一定实际意义．     

关于倒上阶乘函数的一个展开式

导出了一个用第二类Stirling数表示的倒上阶乘函数fn(x)=1/x(x 1)…(x n)关于1/x的幂级数异型了fn(x)=∑v=n^∞(-1)^n vS2(v,n)1/x^v 1，其对Riemann Zeta函数的研究有重要意义。     

SIEMENS SIMATIC S7-300 PLC在锅炉计算机监控系统中的应用

本文主要讨论了西门子S7-300PLC在神马实业锅炉计算机监控系统中的应用,该系统由PLC来完成数据的采集、运算、回路调节,与上位机通信等功能。本文给出了这个系统的主要硬件构成和软件功能的实现方法。