基于路径搜索的格值命题逻辑自动推理方法

提出一种基于路径搜索的自动推理算法．除了采取预处理外，还采用了动态的删除策略，使对大部分路径的搜索变成对一条路径搜索．可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定．文中还讨论了该算法计算的复杂性．     

基于节点需求重要度的交通区位路网布局研究

根据区域需求的差异特性,基于节点需求重要度的改进交通区位路网布局方法,在路网布局规划中符合实际情况,能够取得良好的效果,具有应用推广价值.     

重庆市轨道交通5号线支线歇台子片区线路方案

为了保证重庆市轨道交通5号线项目的顺利进行,有必要对5号线与其支线在歇台子片区的运行方式与接线方式进行研究。根据5号线与其支线既要独立运营又有预留贯通运营的需求,提出3个线路方案进行研究,线路通过修建渡线、联络线等配线形式预留贯通运营条件。从地形条件、周边现状、线路运营、车站使用功能、施工难度、建设影响、技术经济性等方面综合分析,认为方案3(即半-歇-奥-石走向)具有明显的优势,建议5号线与其支线拆分独立运营。     

西安至平凉线永寿梁越岭地区综合线路方案研究

结合新建铁路西安至平凉线永寿梁越岭地区线路方案研究工程实践,针对新建铁路西安至平凉线黄土沟谷纵横、强烈下切、岸坡坍塌、陷穴分布广、且多呈坡陡谷深的黄土"V"形谷的特殊地形条件,以及以黄土滑坡为主的不良地质广为分布、规模大、危害重的特殊地质条件,首先根据线路基本走向和主要技术标准,在进行大面积区域地质调查和地质勘探基础上,结合区域内自然特征、环境敏感点等,选择合理的越岭垭口;在此基础上,结合地形、地质条件,系统、全面分析控制线路方案的主要因素,从线路技术条件、越岭主隧道长度及工程施工条件、工程可靠性及环境影响、工程经济性等多方面比选,选择合理的越岭隧道方案。     

关于太和铁路越岭地段选线的研究

以太和铁路为例,介绍地形复杂的山区选线时,应重点解决越岭地段线位选择问题.综合考虑多方面因素,进行深入细致的方案研究,选出最经济合理的线路方案.     

关于计算机联锁场间渡线道岔设计方案的探讨

介绍了工程中跨联锁区联系电路的实际应用.依据不同场景,分析如何通过场间联系电路完成渡线道岔的控制和跨场进路的办理.在保证运输安全的前提下,尽可能使场间联系电路简单、联锁区划分明确,便于运输作业和维护.     

基于三维空间场景的铁路选线技术研究

利用先进的机载激光雷达和数码航摄仪采集的高分辨率海量影像数据资源,建立三维空间场景。在"铁路线路虚拟踏勘系统"的海量数据管理平台上,结合CAD平面设计进行铁路选线。研究采用三维虚拟现实技术和CAD平面设计,将基础地形和线路方案相结合,实现基于三维空间场景的铁路选线,使设计方案更加合理,并在一定程度上解决了野外现场调查的人员和设备等投入大的问题。     

脆弱环境下山区公路选线研究

针对脆弱环境下山区公路具有环境脆弱性和地质灾害易发性的特点,综合应用公路计算机辅助设计技术、"3S"技术和数学理论方法,正确合理地把握山区公路选线与环境、地质灾害的关系,以期从公路工程建设的源头上减轻公路选线对脆弱环境的影响,减少或避免各种地质灾害的发生。     

基于人工智能的无人机航路设计的浅用

论文在蚁群算法实现人工智能优化的基础上,建立了基于最短路径的风险规避模型。利用数学几何原理对初步方案再优化,得到满足决策者风险要求的最优飞行方案。基于Matlab软件实现了对模型模拟仿真,其计算机模拟计算过程也显示了良好的风险规避效果。     

湖北省高速公路路径识别方案及算法优化

路径识别是目前受到广泛关注的课题.文中比较了几种常用的路径识别方法,探讨了路径识别的主要目的,并对湖北省基于车牌识别方案的拆分算法进行了优化,提高了拆分精度.