基于B方法的组件开发

现有的组件开发技术的规格说明是非形式化的,这导致了逻辑的非严密性和理解的歧义性,将会严重影响组件复用的效率。B方法是形式化方法之一,已经有功能强大的工具支持软件的形式化开发过程,它通过严格的数学推导和证明来保证软件设计和代码的正确性。为此,将B方法应用于学生信息管理系统的开发,提供了学生组件从需求规格说明、精化到最终实现的开发过程。通过对这一实例的研究可以看出,B方法增强了组件的规范性,对于提高组件复用的可靠性有重大的意义。     

广电网络客服呼叫中心系统设计与建设

本文阐述了广电网络客户服务的实际需求及其呼叫中心系统的方案设计和建设实践,为广电网络客服呼叫中心的建设做出了有益的探索。     

VoIP的QoS技术及其在HFC网上的应用研究

本文分析了VoIP的QoS问题，并给出HFC网络作为VoIP承载网的QoS解决建议。     

火工系统安全性可靠性标准化体系研究

本文通过对国内外火工系统安全性可靠性体系现状研究，列举了我国现有火工系统安全性可靠性标准化体系不能满足当前火工系统发展的实际情况，提出了火工系统安全性可靠性标准化体系的建设设想，对火工系统的安全性可靠性标准化体系应包含的指标体系、设计遵循规范、功能试验、安全性可靠性评价、火工系统的贮存和使用体系等提出了自己的初步设想.     

双起升桥吊双吊具同步协调控制

针对双起升桥式吊车双吊具同步协调运行过程中普遍存在的系统参数变化和摩擦等不确定扰动问题, 本文基于双吊具的非线性感应电机动态数学模型及其耦合动力学模型, 提出了一种时变分层增量式滑模控制和自适应补偿相结合的双吊具同步协调控制方法. 该方法首先利用时变滑模技术实现了控制器在滑模趋近阶段的鲁棒性控制, 并采用分层增量形式的滑模面设计方法简化了控制器参数选取. 然后, 采用自适应补偿技术抑制了双吊具运行中存在的不确定扰动, 同时减小了切换函数的增益值. 此外, 在切换函数设计中采用了指数趋近技术, 使滑模控制器的抖振现象明显降低. 最后, 利用Lyapunov方法证明了该方法的全局稳定性和收敛性, 并通过数值仿真和物理实验验证了该方法的有效性.     

新型低压无功自动控制补偿装置的创新要点

随着我国经济的发展，城市居民用电负荷迅速增长、但城市电网的改造进程与供电矛盾日益突出。尤其到了盛夏用电高峰季节，供电电压严重下降。     

各种显微组织拉拔性能的研究

本文较详尽地研究了珠光体、索氏体、屈氏体、变态珠光体、上贝氏体和下贝氏体的拉拔性能。试验结果得出:索氏体和上贝氏体的拉拔性能最高,其次是屈氏体,而变态珠光体和下贝氏体的拉拔性能较差,以珠光体十铁素体组织最差。从形变强化能力看,以下贝氏体最强,上贝氏体和变态珠光体居次,再次是屈氏体和索氏体,而以珠光体十铁素体最次。并指出,少量的变态珠光体可提高钢丝强度,而对拉拔性能的降低不明显;上贝氏体在钢丝中出现并不降低剩余塑性,但能较大地提高钢丝的强度,根据所研究的结果,对钢丝生产中的一些现象进行了解释.     

从经济学角度评汉武帝抑商政策之必要与失误

汉武帝时期,商人资本日渐膨胀,但当时商品生产却相对滞后,多余的商人资本就只有加入土地兼并.由于当时的小农经济是最能发挥劳动效率的生产形式,因此对小农经济的兼并无疑有害于社会经济.为抑制商人资本独立发展对社会经济的消极影响,就须控制其恶性膨胀,即押商,但抑商对象应仅限于恶性膨胀的商人资本,其强度要以工商业正常发展为底线.否则就会产生阻碍社会经济发展的恶果.     

加快推广合同能源管理模式的探索

采用合同能源管理企业可以在不花一分钱投资的情况下,用企业未来的节能收益,对企业高能耗的设备和工艺进行技术改造,提高企业的能源利用效率,降低能源消耗成本和提高企业的产品竞争力。