电子表格EXCEL5.0在选煤线性规划问题中的应用

采用电子表格软件ＥＸＣＥＬ５．０可以方便地解决许多选煤生产中的线性规划问题。本文通过选煤过程线性规划实例介绍ＥＸＣＥＬ５．０在此领域的应用方法。     

用MS-EXCEL的规划求解模块优化油品调合

叙述了利用MS-EXCEL通用电子表格软件中的规划求解模块优化油品调合的方法,并以汽油调合为例,说明构造数学模型的方法,以及实施优化求解的具体过程。     

多目标水平井水平段三维设计数学模型

用柱面法推导出多目标水平井水平段三维设计数学模型，并给出了三维设计所需井斜方位角及井斜角的简单计算公式。该数学模型具有一般性，可以方便地编制成计算机程序，对于多目标水平井水平段的优化设计和所有水平井入靶前的随钻修正设计都非常适用。     

组合拱式管桥计算机模拟设计

本文在已有成果资料的基础上，为组合拱式管桥的设计建立了常规设计表达式，并研制出组合拱式管桥计算机模拟的程序软件ＣＡＰＢＤ。该软件具有以下计算功能：（１）计算组合管拱的几何特征参数；（２）计算组合管拱自重和组合拱式管桥的竖向荷载及其材料费用；（３）分析和计算各种载荷作用下组合拱式管桥的内力；（４）组合拱式管桥各控制截面强度校核、稳定性验算以及拱支墩稳定性验算和地基承载力强度校核。     

低速走丝电火花线切割加工几种编程方法的探讨

对低速走丝电火花线切割机加工某一类工件的4种编程方法作了详尽的分析、比较，总结出一种最优化的方法，可达到减少差错，降低成本，避免重复劳动，提高生产效率的目的。     

纸厂浆纸动态优化产耗存数学模型研究及系统设计

针对纸厂的浆纸生产过程,通过建立浆纸动态优化产耗存数学模型,开发浆纸动态优化系统,用于计算系统的浆纸平衡情况,合理安排生产计划,预测设备维修时各工段的停车时间,并提供浆纸平衡的监控手段,避免生产过程的不正常波动.     

基于机器人三维模拟仿真的焊接生产线柔性主拼技术研究

为满足生产线柔性设计需求, 对柔性焊接生产线解决方案的难点进行了分析, 提出了基于机器人三维模拟仿真的生产线柔性主拼技术方案, 建立了机器人负载边界模型和基于负载边界模型的机器人选型及快换装置选型方案, 提出了网格式夹具设计方法, 以白车身柔性焊装生产线为例, 建立了面向柔性的网格式夹具设计方案以及网格式装配检测及应力分析, 并对面向柔性主拼中的离线编程技术及三维仿真中的项目权限管理和工作站模拟仿真工作流程进行了分析。该方案在某汽车厂NL-1&NL-2两个车型项目生产线的设计中应用焊接生产线上进行了应用验证, 能满足两车型生产线柔性主拼的需求。     

多机器人三维仿真与离线编程系统设计

以支持二次开发的三维实体造型软件为开发平台,通用的C++为编程语言,开发了多机器人三维仿真与离线编程系统。离线规划的典型协作运动作业文件在仿真与真实系统中都完成了所规划的协作运动,由此验证了仿真系统具有多机器人三维仿真与离线编程功能。     

一种基于正弦映射的混沌交织器设计及应用*

移动信道编码中交织器的设计直接影响Turbo码的距离谱和性能,其主要作用是提高低重序列的输出码重和减小译码输出之间的相关性。随机交织器在数据帧较长时性能比较好,通过码序列位置重置实现交织,利用正弦函数的混沌映射有很好的随机性和瞬时正交性的特点,实现了一种新型混沌随机交织器,提高了交织器的误码率性能,并且在伽利略卫星系统中应用达到接近理论值的编码效率和误码率的特性。     

Proof systems for planning under O-approximation semantics

In this paper we propose Hoare style proof systems called PRD^0and PRKWD^0 for plan generation and plan verification under 0-approximation semantics of the action language AK.In PRD^0 （resp.PRKW0D）,a Hoare triple of the form{X}c{Y}（resp.{X}c{KWp}）means that all literals in Y become true（resp.p becomes known）after executing plan c in a state satisfying all literals in X.The proof systems are shown to be sound and complete,and more importantly,they give a way to efficiently generate and verify longer plans from existing verified shorter plans by applying so-called composition rule,provided that an enough number of shorter plans have been properly stored.The idea behind is a tradeoff between space and time,we refer it to off-line planning and point out that it could be applied to general planning problems.