用MATHEMATICA求解商人渡河问题

提出了一种求解商人渡河问题的算法,并给出了用数学软件MATHEMATICA实现该算法的源代码,列出了部分计算结果供进一步研究.该算法可以应用于求解更一般的多步决策问题.

基于Alloy求解过河问题

Alloy是一种轻量级的建模语言,其所建模型可以由Alloy分析器自动地进行检验,并提供可视化的工具。过河问题是一个经典的逻辑问题,它要求一队人在一定约束下过河到对岸。给出基于Alloy的对复杂过河问题求解的代码和可视化的结果,通过对过河问题的基于Alloy的求解分析,提出了用Alloy语言对复杂问题建模、求解的思路。

安全渡河问题的图解新法

针对安全渡河这一经典问题,引入图论方法,提出了一种新的图论解法.该方法将顶点设计为由"人"、"狼"、"羊"、"白菜"组成的四元组,元组中的每个元素取值可为"此岸"、"船上"、"彼岸".然后将实际模型转换为图结构,最后通过路径搜索获得问题的解.该方法有利于分析问题域的解空间,获得一般解、随机解和最优解等多种解.该方法体现了从实际模型到理论模型的转变过程,为如何运用图论来解决实际问题提供了方法借鉴.

广深港客运专线珠江狮子洋隧道有关设计问题的研究

研究目的:广深港客运专线珠江狮子洋隧道是我国迄今为止修建的第一座穿越大江、大河、技术标准最高的双线铁路隧道,但与之配套的给排水及消防系统设计到目前为止尚无专门的设计规范和标准,在参照现行相关设计规范、标准和国外类似工程设计理念的基础上,通过对越江铁路隧道给排水及消防系统有关设计问题的研究与探讨,确定主要设计参数,选择合理的设计方案,为今后类似工程提供借鉴。研究结论:通过对广深港客运专线珠江狮子洋隧道有关设计问题的研究与探讨,越江铁路隧道的给排水及消防系统的设计,应综合各方因素考虑,按同时设置3个消防子系统设计(消火栓系统、水喷雾系统和灭火器系统),对非油类引起的火灾灭火推荐采用具有高效、节水、环保的水喷雾灭火系统,不推荐采用水喷淋灭火系统。隧道给水满足各用水系统对水量、水质、水压及用水安全的要求。隧道内排水设废水、雨水2个排水系统;在隧道的最低处设置废水泵房以排除消防废水、冲洗废水、结构渗漏水等;废水和雨水均排入附近水体。

穿黄隧道双衬砌结构平面非线性有限元分析

针对穿黄隧道盾构双衬砌结构特点,采用MARC软件进行考虑接触问题的平面非线性有限元法计算分析。计算中模拟了3重接触:外衬与地基抗力单元之间的接触;外衬管片间的接触;内衬和外衬之间的接触。同时模拟了内、外衬施工过程和荷载施加过程,得出了衬砌结构变形的基本规律和结构细部应力特征,为盾构法隧道的衬砌设计提供参考。

河道洪水反向演算问题的研究

河道洪水反向演算在河库联合调度中具有重要意义,为此,利用运动波方程的差分解证明了马斯京根法在求解河道洪水反向演算中的不稳定性;基于河道汇流单位线原理,提出了解决河道洪水反向演算的断面流量相关法。实例研究中采用多场洪水联立求解率定参数,利用镜像影射法求解矛盾方程组,取得了满意的模拟和验证计算成果;在此基础上,提出了基于断面流量相关法的进一步研究课题。

武汉地铁首条过汉江隧道若干关键技术问题

研究目的:武汉地铁3号线王家湾站~宗关站越江隧道是武汉地铁首条过汉江的隧道,过江两岸工程地质差异性大,汉口段为富水砂层,汉阳段为老黏土、石英砂岩、灰岩(溶洞)等,同时周边紧邻江汉二桥和下穿多层老旧建筑,隧道设计工法选择难度大;江中段为富含蒙脱土的泥岩,盾构强结泥饼,对盾构选型和盾构施工要求高。针对本项目的特点,经过理论研究和现场施工问题研究,本文总结过汉江隧道的总体设计、盾构施工等方面的关键技术。研究结论:(1) 3号线越江隧道长约2.3 km,采用双洞单线隧道+1座区间风井方案,满足行车通风排烟要求;(2)越江隧道汉阳、江底和汉口各段地层差异性较大,因地制宜选用矿山法和盾构法组合方案,包含平纵断面设置、盾构选型、盾构空推、盾构始发接收等关键技术的运用;(3)本工程在具体实施过程中,遇到富含蒙脱土的泥岩强结泥饼难题,探索出了相关盾构施工处理措施;(4)本研究成果可供类似复杂地层的越江隧道设计和施工参考及借鉴。

安全渡河问题的计算机求解和模拟

本文介绍利用数学软件包来求解和利用计算机多媒体制作工具来模拟数学模型课程中安全渡河问题的方法

带限制条件的最短时间渡江问题

讨论起终点一定的最短时间渡江问题,分析离散和连续情况下速度选择方案,且对连续流速情况得出一个非线性规划模型,推出其最优性条件.

基于规则的专家系统推理框架JESS应用研究

首先介绍专家系统推理框架Jess的知识表示、基本组成、工作原理和开发环境,然后以人工智能经典游戏难题——野人传教士过河问题为例,用Jess实现了问题描述、知识抽取、结构定义、应用程序实现,进一步探索利用Jess的知识库和推理机分离特点,逐步扩充和更新知识库,不断增强和完善应用程序功能,最终实现一个复杂智能问题求解的新方法。

n-m-k商人渡河问题解的存在性及算法实现

本文将商人渡河问题推广到最一般情况,即n-m-k商人渡河问题,建立了该问题的多步决策数学模型.首先,根据该数学模型得到一棵状态空间树,设计了采用递归和回溯方法遍历该状态空间树的算法步骤.其次,根据部分运行结果,分析了该问题的算法复杂度.最后,分析了该问题解的存在性,并给出了若干定理及其证明.本文已将商人渡河问题扩展成为广泛的经典例子,有利于解决实际生活中的问题.

黑河水源调配中的Conflict解析法

跨际河流水源在多主体间调配的Conflict问题的协调与消除始终是关系资源合理利用、保护生态平衡的重要课题,以META—game理论为基础的Conflict数理解析方法,研究分析黑河流域水源调配中利益冲突的主体以及水源调配所涉及Conflict问题,利用META-game理论的Conflict数理解析方法,建立典型模型,然后通过模型,借助Conflict数理分析手段,对问题进行安定分析,寻求问题的答案——均衡解。最终提出Conflict问题消除的、能被矛盾各方接受的推荐方案,供决策部门选择。

基于状态机研究安全渡河问题

文章基于状态机来研究两个经典的安全渡河问题。首先,对问题进行细致的分析,归纳出渡河的物质条件和安全要求;接着,根据问题的内涵,精心设计状态的描述参数;然后,基于状态参数,将问题的条件和要求,转换为状态约束表达式、变迁约束表达式,分别用来确定状态图中可能的状态点、可能的变迁边;最后,绘制状态图,将原问题建模为图论问题——求连通图中两顶点之间的最短路径。

数据结构中栈在过河问题中的应用

栈是数据结构中的一种基本而重要的存储结构。栈是一种限定仅在一段进行插入与删除操作的线性表,插入或删除是限定在表尾进行的,我们通常将表尾称之为栈顶。相反的,将表头端称之为栈底。在栈中,先插入的元素被压在栈底,最后才能出栈,所以栈也被称为后进先出表。因而,实际应用中,凡是符合后进先出的问题,我们都可以用堆栈来处理和实现。栈的典型应用包括：递归函数的调用,进制转换,括号比配问题,背包问题,中缀表达式求值等等。过河问题是一个非常经典的智力问题,很多竞赛中都使用过这个题材,该文中我们将讨论栈对于过河问题的应用。

渡江路线的数学模型讨论

针对2003年的全国大学生数学建模竞赛中的渡江问题进行了讨论分析,建立了渡江问题的通用模型,通过对游渡角度的讨论,给出了游渡成功的基本条件和最佳游渡路线。

跨/穿河建筑物上游河道采砂安全距离

河道采砂会对附近跨/穿河建筑物的安全造成较大影响。针对实际工程中跨/穿河建筑物周边采砂安全距离的确定问题,搜集整理了国内外对于结构物附近采砂活动的相关规范,对采砂坑迁移及其对河床影响进行了系统地分析和综述,并结合前人的相关理论研究及物理实验研究结果,提出了计算跨/穿河建筑物上游安全采砂距离的公式。该公式可根据水流、泥沙及采沙坑尺寸等特征参数估算采砂坑的迁移影响范围,进而根据实际工程情况确定跨/穿河建筑物周边的安全采砂范围。该公式与现有的实际河道采砂坑迁移观测结果进行了对比验证,结果良好。最后,利用该公式对安阳河河段的倒虹吸工程上游河道采砂安全距离进行了实例分析,为规范工程所在河流上的采砂行为提供参考。

渡河问题的矩阵表示与迭代算法

为解决较复杂的渡河问题,提出用构建岸态矩阵来表示求解过程中左右河岸上同一时刻的人员组合状态;并引入表征小船上人员状况的摆渡算子,则问题的求解过程就可用从始点状态向着目标状态的逐次迭代来表示;而约束条件则由岸态矩阵的生成及算子的选取来实现。同时对运载能力n的取值范围作了较深入的讨论,并用图解算例加以验证。

长输热网管线穿越复杂环境施工技术

通过研究长输热网管线穿越复杂环境,结合凤翔县集中供热二期管网工程,总结出管网沿线穿越高压线、地下管线、河流等复杂环境施工技术,提出科学、先进的集中供热管网工程施工方法,在此基础上,总结上述研究成果及工程经验,可为类似工程提供借鉴。

穿越河渠输水管线的方案选择

在廊坊市新水源地一期供水土程中穿越河渠时是否对球墨铸铁管与钢制倒虹管的采用,进行方案比较,并从技术性能、工程造价、供水安全等方面进行了评述。

穿越长江盾构隧道施工关键技术研究

某穿越长江盾构隧道工程,具有“长、大、高、差”特点,即独头掘进线路长(10.226 km),盾构隧道埋深大(51.5 m),承压水头压力高(0.73 MPa),地层差(石英含量40%~60%的粉土、粉砂)。在长江南北两岸分布厂房、长江大堤、地下管线等建筑物。穿越长江采用了国内首个7.95 m小直径常压刀盘泥水平衡盾构机施工,实现了常压更换刀具。盾构机主轴承设计寿命15000 h以上,主驱动密封耐10 bar高压,安装5道盾尾刷,其中2道盾尾刷可换。采取盾构机自动化监测沼气和集中抽排沼气工艺,科学的泥浆制造系统,陀螺定向投点测量方法,针对性盾构掘进参数,盾构水中接收,留置盾尾接收等系列方法,顺利完成长江穿越。