基于可靠性的软件构件费用分配最优模型

针对软件系统可靠性和费用分配问题,给出了一种基于可靠性的软件构件费用分配最优模型。将软件系统可靠性定义为软件构件失效率、操作剖面、构件使用矩阵以及软件无失效运行的规定任务时间的函数,详细描述了费用最优模型的建立和利用非线性规划理论求解模型的步骤。在求解过程中,将费用最优模型转化为Kuhn-Tucker方程,有效地处理了带有复杂计算的目标函数和约束条件的可靠性和费用最优分配问题。计算实例表明利用该模型进行可靠性和费用分配是可行的。     

基于实时交通信息的车辆路径与调度动态仿真

城市的发展导致道路交通运输问题变得越来越突出。针对这类问题,建立了一种基于实时交通信息的动态车辆路径与调度问题模型,并构建了一个动态交通仿真模型模拟真实的车辆行驶状况。通过两阶段仿真,获取车辆在道路中行驶的实际行驶时间。最后构造了一个交通网络,通过仿真试验验证提出的模型的有效性。     

广西有色金属工业尾矿处置模式研究

有色金属工业在采选和冶炼过程中会产生大量的固体废弃物,有色固体废弃物如没有科学有效的管理,就会破坏生态环境,其处置会占用大量的土地,造成土地资源的严重浪费,尾矿是有色金属业固体废弃物的主要来源。研究铝、锡业尾矿的处置在广西有色金属业中有很强的代表性。平果铝土矿和大厂锡矿的成功的尾矿处置模式,为广西有色金属业尾矿处置提供了范例。     

斜井全断面变径滑模新工艺--在三峡工程永久船闸地下输水系统斜井砼施工中的应用

文章简要介绍了斜井全断面变径滑模结构、工作原理和主要技术性能指标。针对三峡工程永久船闸地下输水系统斜井具有数量多、长度短、体型复杂、边墙高度逐渐变化等特点。混凝土施工采用全断面变径滑模新工艺,斜井直段一次浇筑成型,洞身高度变化在滑升过程中自动完成,并收到显著的经济效益和社会效益。     

移动式起重机的设计技术(摘译)

移动式起重机设计技术,至今已经过了下面四个阶段。第一阶段:摇篮期 1940年以前——是利用设计公式进行古典性设计第二阶段:成长期 1940年～1960年——是以经验技术为基础进行实验性设计第三阶段:发展期 1960年～1980年——是以静态分析为基础进行理论性设计建四阶段:成熟期 1980年以来——是以动态分析为基础进行理论设计第一阶段是第二次世界大战前的摇篮期。德国等欧洲国家把移动式起重机作为设备起重机的应用,美国则作为建设机械的一个分支,按着复合的古典设计公式进行设计和生产。第二阶段是指战争期间和战后,主要是在美国进入了扩大建设机械产量的时期。是通过样机或     

一个推广的C~1封闭引理

本文的主要目的是摘要叙述下面定理的一个证明。 主要定理 设M~n是一n维C~∞Riemann流形,n(?)2,其上有一C~1常微系统S.命a是S的一非游荡常点。则对每一ε>0,M~n上有一C~1常微系统X具有一周期轨道经过a且满足‖X—S‖<ε。 这在微分动力体系理论中是一推广形式的封闭引理。简单地说,它指出非游荡常点可以     

论网络型课件的设计和运用

传统CAI课件形式存在着某些较难逾越的弊端，基于此，本文提出了一种设计和使用课件的新思路，从理论上论证了网络型课件和巨大优势，进而从实际出发阐述了在制作和使用网络型课件中可能遇到的问题并提出了切实的解决方法，同时简单介绍了作者的一个网络型课件实例的设计及实现，最后，就网络型课件广阔的发展前途作了一个较客观的描述。