灾后应急物资保障的多目标定位—联运模型

为了将应急物资快速准确地配送至灾区, 在考虑灾后应急物资保障阶段性特征的基础上, 构建了一个以应急物资未满足率最小、系统总时间最短以及系统总成本最小为目标的多周期混合整数规划模型, 模型考虑了应急配送中心定位及多种类应急物资联运等问题。采用GAMS软件编程, 并用分层序列法求解多目标规划。以“4·20”四川芦山地震为例验证模型的可行性和有效性, 结果表明该模型能有效地解决灾后应急物资保障的定位—联运问题。     

GAMS：CorelDRAW文档的通用自动阅卷系统

CorelDRAW是目前最流行的矢量图形设计软件之一。CorelDRAW文档的通用自动阅卷系统GAMS集出题、答题及阅卷为一体,不仅实现CorelDRAW文档的自动阅卷,而且弥补了单一阅卷系统中存在的阅卷模块依赖于试题的不足。首先通过分析CorelDRAW对象模型,提出了针对CorelDRAW文档的图元类型及处理测试技术;然后给出通用自动阅卷方案;最后通过分析与设计,构建GAMS系统。经真实考试测试,GAMS能够方便、正确地出题,准确、快速地阅卷。     

间歇用水系统中废水回用的调度与操作周期调优

针对单杂质间歇用水网络中的新鲜水消耗量最小化问题,本文建立了基于连续时间的优化模型,用于废水直接回用的用水调度优化,并提出了操作周期长度调优的方法。目的在于通过调度优化增加废水回用机会以提高用水系统的废水回用率。采用GAMS软件对所建立的MINLP模型进行求解。研究表明:本文的数学优化模型能够有效地提高单杂质间歇用水过程的废水回用率并具有最优的操作周期长度。通过2个实例阐明了本文优化方法的有效性。     

整合贝叶斯网络的BDI模型

针对BDI模型在不确定领域应用的薄弱,提出了一种改进的BDI(Beliefs—Desires—Intentions)模型。以BDI体系结构为基础,结合贝叶斯网络,建立了智能体对可能世界的认知表示;通过贝叶斯网络推理,实现了对达成目标状态的期望估计;在意图中,通过引入规划因子,完成行为决策。用Java语言在eclipse平台上对农作物栽培实例进行仿真,验证了模型能够在不确定环境中,进行理性的认知、推理、规划。     

基于超越几何规划的热轧操作优化问题

针对钢铁热轧生产操作优化问题,建立热轧操作优化模型.该模型的难点是,模型具有高度非线性的特征,难以获得最优解.考虑模型数学表达式的结构特点,将操作优化模型等价转化为超越几何规划模型,由于获得的模型存在对数项,无法直接有效求解,利用模型的结构特点,通过数学变换和理论分析,转化为凸规划模型,从而利用凸规划软件获得最优解,为操作优化问题获得全局最优解提供一种新方法.     

解析运算语言对科技计算的应用

解析运算语言在国外已有近三千年的发展史,而且已经筛选出像MACSYMA,SMP,REDUCE等等相当成熟的语言,应用范围日益广泛。中国科学院计算中心和物理研究所IBM计算机上的REDUCE2语言也已经运行了一两年,积累了一些经验,目前正在向REDUCE3.0过渡。因此,向我国数学件工作者介绍和推广这类语言的时机已经成熟。 解析运算语言为科技数学软件提供了新的工具,要求有新的算法,开辟着新的应用前景。本文先介绍解析运算语言的发展简史和基本功能。然后讨论这类语言的几种应用。最后还简要分析了解析运算语言的实现问题。 我们期望,不久的将来在科技数学软件工作者的语汇中,“数值方法”将被更一般的“计算机方法”(包括数值、图象、解析和智能等各种方法)所替代。     

关于移植ALGOL源程序的几个问题

前 言 微计算机已开始广泛用于各行各业。对于一般科学计算,目前采用BASIC语言较多,而国内已有的应用软件(数学软件或专业应用程序)大都采用ALGOL—60语言编写。因此,如何更快地把已有软件移植到微计算机上的作用是一个值得重视的问题。     

利用SU、CAD、PS实现土地复垦规划三维可视化

目前大多数的矿区规划仍处于二维规划的阶段,人们对物体模型展示的直观性和真实性的要求越来越强烈,传统的二维规划暴露出了它的不直观、缺乏真实感的弊端。研究了三维可视化技术在矿区土地复垦规划中的应用,基于auto CAD软件和Google SketchUp软件的结合应用,提出了矿区土地三维景观模型系统的构建过程。     

古诺模型动态图形的实现

利用数学软件Mathcad 2001的计算、画图和动画功能,对古诺模型作出了静态图形和动态演示图形,旨在说明数学软件在经济学乃至其它社会科学中有非常强大的应用价值.     

人口经济动力学与CGE模型仿真

用通用数学建模系统软件GAMS建立了一个可以用于中长期预测和政策模拟的可计算一般均衡(CGE)模型系统.本系统由人口增长模型、生产模型和消费与储蓄模型组成.利用各个模型间的综合平衡关系和模型的动态反馈结构,将人口增长模型的输出作为外生变量,工资替代率和退休年龄作为控制变量,研究了按照中国人口老龄化的速度和依然运行传统的社会保障体系将会给国民经济和人民生活水平带来的影响,并探索了现有养老金系统改革可能达到的经济与社会效益.     

遗传算法在反应器网络综合中的应用

反应器网络综合问题一般都是复杂的非线性规划问题,遗传算法作为一种启发式全局优化方法,具有计算简单、功能性强的特点。本文将全局优化遗传算法应用到反应器网络综合中以避免传统的优化方法很难求得其全局最优解的缺点。本文首先分析了几种反应器的替代结构,以及在此基础上建立的通用的全混流反应器(Continuous Stirred Tank Reactor,CSTR)网络结构模型;然后采用全局优化遗传算法以及传统的数学优化工具GAMS(General Algorithm Model System)分别对该模型进行求解。实例研究表明,遗传算法可有效地求解此类反应器网络综合问题,且其计算结果优于传统优化方法的结果。     

基于CS3000系统的聚酯培训模型的仿真与分析

介绍了实时监控软件CS3000系统在聚酯过程培训模型中的应用，给出了酯化釜的简化数学模型，该模型经过MATLAB软件模拟计算证明正确。并用CS3000语言仿真分析酯化过程模型，结果证明基于CS3000系统的聚酯培训模型开发是可行的。     

MES平台智能计算服务环境构建及应用

当前,我国石化企业所面临的工艺及能源优化、安全生产辅助决策和海量数据分析等实际业务需求,均需通过智能计算得以满足,这恰好为实现现有MES产品智能化提供了宝贵的契机。为此,本文提出了通过在现有MES平台之中,构建智能计算服务环境,既能满足石化各企业智能计算方面的实际业务需求,又可提升MES产品应用水平的有效解决途径。在本文中,我们首先给出了智能服务环境总体框架,指明了所需解决的关键问题;接着,以能源优化问题为例具体说明构建智能计算服务环境过程,即通过对能源优化问题的分析,选择GAMS软件作为能源优化问题的求解软件包;采用.NET组件技术,将GAMS软件封装于MES平台之中,通过提供相应优化计算服务实现对GAMS求解算法包的调用。进而,指出这一方法同样适用于其他智能计算问题求解算法包的选择、封装和调用,并可形成公共算法库。最后,介绍了所构建的智能计算服务环境在燕山石化的实际应用案例,说明其对燕山石化乙烯装置能源优化这一智能计算问题的求解实现过程及应用效果。     

基于语料库的自然语言建模方法研究

语言模型是对自然语言的描述,研究语言模型的构造方法是计算语言学的核心内容之一。本文在深入分析基于概率分布和上下文特征与信息的统计语言模型所依据的数学理论基础上,讨论了这两类语言模型的异同及其建立方法,并了讨论了基于组合思想的语言建模方法。     

大型实时应用系统中C和Ada之间的一种接口技术

本文提出了一种在UNIX操作系统上适用于大型实时应用系统的C和Ada接口的软件模型,并在这个软件模型上深入地讨论了C和Ada语言的实用接口技术。     

Matlab在数学建模竞赛中的应用

数学建模竞赛作为大学生的群众性科技活动越来越受到各高校的重视,对提高大学生建立数学模型、运用计算机技术解决实际问题的综合能力起到积极作用。本文主要运用Matlab软件、结合2003年全国数学建模竞赛题,对解非线性规划问题的数学模型进行探讨,并给出了较为精确的结果。     

基于Erlang的混合语言编程及其实现

Erlang是一门诞生于世界通信巨头瑞典爱立信公司CS-Lab的函数式编程语言,面向高并发和高可靠性的电信级工业级应用,它同样适合于混合语言编程的软件开发。介绍了Erlang语言的特点,分析并给出了混合运用Erlang语言和其他编程语言进行开发的四种软件结构模型,结合四种模型的优缺点以及适用范围之后最终选用了基于端口机制的模型来达到快速构建软件的目的,并在此基础上开发了一个随机运动点的仿真应用。     

精馏过程的广义析取规划模型及求解方法

针对板式精馏塔的优化设计问题,将广义析取规划(GDP)算法运用到了精馏塔的建模和优化求解过程。本方法是以塔板和进料板的是否存在为逻辑变量,以年费用最小为目标函数,利用GAMS进行优化求解。考虑到该优化问题的复杂性,本文采用了一般预处理过程,为GDP模型的求解提供了恰当的初始值和边界值,降低了求解的难度。最后,将该方法应用到苯、甲苯、邻二甲苯的三元混合物精馏分离过程优化设计中,并优化设计计算结果与HYSYS流程模拟计算结果进行对比研究,验证该数值建模方法求解结果的合理性。     

并发过程及其软件的建模与模拟支持系统

模拟是对复杂系统进行分析研究和试验评估的一种重要手段和方法。本文针对具有并发实体或过程的实际系统和并发软件提出用实体—资源模型描述其主动和被动实体,用同步—通讯模型描述实体间的联系。并基于这种模型设计了一种以C~(++)为基础的面向问题的模拟语言。该语言以构件方式支持模拟程序的编制。对C~(++)语言扩充了描述并发成分的机构,并以此为基础设计了模拟的运行控制机构,用以支持进程方式的系统模拟。这种系统可用于对事件驱动型并发过程或并发软件进行分析设计和方案评估。用C语言编程时,允许直接利用模拟程序逐步求精,最终以实际程序取代,因此也可用作设计、开发并发软件的一种原型方法和工具。     

AgentSpeak中意图生成过程的可靠性与完整性研究

意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是Agent编程语言中一个重要的研究问题。针对软件Agent中意图执行的正确性,以当前最流行的BDI型Agent编程语言AgentSpeak为例,证明了软件Agent意图执行的有效性。首先根据AgentSpeak的语法构造了一个解释系统,并给出了该解释系统的满足关系,从而得出了AgentSpcak的模型论语义。在该模型论语义的基础上,结合由Moreira和Bordini所给出的操作语义,证明了AgentSpeak的意图生成等价定理:AgentSpeak语言中模型论语义的意图等价于AgentSpeak程序操作语义的意图。由此可得出结论—AgentSpcak中的意图执行是可靠而完整的,从而验证了AgcntSpcak中软件Agent意图完成目标的正确性。