简介：摘要：计算机连锁软件是一种有效的验证计算机连锁软件能否满足某些安全属性的形式验证。本文介绍了一种基于模型检验的方法，对联锁系统模型和安全属性模型的建立方法进行讨论，并结合具体的站场实例，对信号开放功能进行了模型描述和验证，结果表明，该方法在计算机连锁系统中的应用是可行的。

简介：摘要： 在城市轨道交通土建工程领域，实现 BIM模型工程量计算的方法主要有三种，分别为利用常规 BIM软件自带的明细表功能进行统计，对 BIM软件进行二次开发和利用商用第三方软件进行工程量计算。每种方式都有其优点和缺点，本文通过对比分析上述方法的优缺点，并结合实际工程进行研究，研究结果表明，通过对上述方法进行结合使用，利用其各自的优点，可以满足当前城市轨道交通土建工程对于工程量计算的需求，且其精确度也符合实际工程需要。

简介：摘要

简介：

简介：摘要：随着社会的进步与发展，交通强国战略的提出，使得交通在生活中占据重要地位。为了解决各类交通问题，在交通网络日益复杂的情况下，交通流预测成为智能交通系统的热门领域，因为准确的交通流预测，有利于提高交通运行效率。本文从社会交通流量增加的大背景出发，阐述当前较为常用的交通流预测模型，分析得出使用综合模型进行交通流预测是效果较好的方式，要想得到可靠的交通流数据就要提高预测的精度和准确度。

简介：【摘要】在汽车制作早期阶段，车身模型的材料大多为石膏和木板，其中，石膏模型的主要缺点是强度低、重复使用率不高，修改难度大。木质模型则相对不易破损并且不易变形，可以长期储存。汽车油泥制造技术的开发最早开始于上世纪五十年代，随着技术的发展，逐步取代了传统的汽车制造模型，成为汽车设计的重要途径。文章就汽车油泥模型制作技术展开分析和思考，希望可以提高汽车油泥模型制作质量。

简介：摘 要：随着人群密集处突发 事件的增多，人群疏散计划的设计愈加重要，特别是卢浮宫这样的大型游览机构。基于此，通过对卢浮宫的疏散路径进行详细的分析，建立了多层逃生的疏散网络模型。基于单层逃生计划，引入最短疏散总时间的优化目标。利用 Dijkstra算法规划出不同路径的疏散时间和疏散路径。

简介：摘 要：培训需求分析是培训系统中最为关键的一个环节。如何做好企业培训需求分析，学者们给出了相应的理论模型。本文对这些模型进行了梳理和相应的评述，以便企业能够更好的根据这些模型的特点有针对性的使用，有效的对培训需求进行分析。

简介：摘要：在社会经济不断发展、技术不断提升的背景下，云技术这种新技术模式在人们日常生活中的运用也愈加广泛，而数据存储技术作为云计算发展形成的一项关键技术，其对于人们数据的存储有着很大帮助。数据如何有效且安全的存储成为目前需要考虑的一个重要问题。而基于计算机云计算的数据存储技术的产生，极大地解决了传统数据存储的不足，并且为数据的安全性提高了保障[1]。

简介：

简介：摘要： BIM 技术是一种覆盖建筑施工全过程所有细节的信息模型，能够真实、准确地再现建筑的真实场景信息。预制装配式建筑以其节能环保的特点成为一种绿色建筑材料结构形式。为此，本文研究了二者的结合以及夹套加固技术原理，利用基于 BIM 技术的 Revit 软件构建加固设计族库。然后使用帕科结构分析软件建立钢筋计算模型 , 和基于插件 VisualStudioC # 编程语言开发接口 , 数据读取和处理通过后台程序 , 实现模型 Rebit 软件 , 以实现基于 BIM 技术的加固设计模型自动创建 , 它将加强绿色建筑材料的施工提供全生命周期的服务支持。

简介：摘要：中职教育是我国教育的重要组成部分之一，承担着为社会主义建设提供专业技术实用型人才的重要任务。那么作为中职计算机应用专业的教师，如何才能实现这一根本任务呢？这就需要对计算机课程和传统的教学方法进行改革，以适应市场经济的发展对计算机人才的广泛需求。本文将对计算机应用专业的课程设置和教学作一个初步的探讨。

简介：摘要：软件测试是保证软件安全可靠的关键一般来说，计算机软件在投入使用前都要经过测试通过技术手段，对检测出的故障等问题进行修复和排除，提高计算机软件的使用效率和准确性。软件测试的技术要求很高，在选择测试方法时需要考虑相关的成本。云计算技术的出现和发展带动了相关服务模式的发展，为计算机软件测试提供了新思路，可以有效降低软件测试风险和相关成本，提高软件测试质量。

简介：摘要：云计算技术通过分布式算法将整体数据程序分割成若干个小程序，分布到多台服务器。用户在使用交互式程序时，会调用互联网服务器上面的子程序资源进行分段计算、集中汇总，将结果返回给用户。这种技术既保障了数据计算稳定，又降低了各个服务器的运行压力，将有限的网络资源进行最大化应用，所以云计算也可称为“网络计算”或“线上计算”。 关键词：计算机安全存储 ; 云计算技术 ; 应用 ;

简介：摘要：本文在IFC4.3的基础上对公路行业桥梁信息模型存储标准进行扩展，提出了IFC Bridge的扩展方法，对IFC Bridge的实体（Entity）对象进行梳理，与公路桥梁构件进行对应，以预定义实体类型的方式进行扩展。最后给出了实体之间的空间分解关系，实现IFC Bridge在桥梁信息模型存储中的应用。

简介：【摘要】再生水回用作为一种缓解水资源紧缺的有效方式，在世界各国有着广泛的应用，但其污水处理和运输在经济成本和社会效益之间存在矛盾。本文把SWMM在雨洪方面的管网设计研究模型加以整理，了解和分析建筑再生水的处理工艺、管道排布与回用途径，为达到管道排布的合理性与经济性进行可行性研究，以推动建筑再生水回用更好地发展。

简介：摘要：飞机维修计划是民用飞机维修活动的来源。如何在保证维修计划的安全性和适航性的同时，最大限度地降低维修成本，一直是航空公司关注的焦点。本文在分析飞机维修的基础上，提出了改进我国飞机维修部门管理机制的重要措施，并提出了一种新的维修计划组织和管理模式，以期为飞机维修工作提供具体参考。

简介：摘要：近年来，随着大屯锡矿数字化及绿色矿山的发展，对测量工作提出了更高的要求，大屯锡矿通过引进Dimine三维软件和GeoSLAM手持三维扫描仪对各类工程进行数据采集后运用扫描数据建立三维立体模型，取得了良好的效果。随着工程的进行，需要对原有Dimine模型进行更新，本文将根据自己实际应用情况，对运用扫描模型对Dimine三维模型进行更新的各环节进行阐述。

简介：摘要：基础数据获取是所有项目开展的必经之路，测绘是获取基础数据的重要手段之一。随着技术革新，基础数据获取后的处理、应用、分析已经发生质的改变，三维建模成为重要手段。大屯锡矿积极响应数字矿山和智慧矿山的建设要求，引进长沙迪迈数码科技股份有限公司开发的DIMINE软件+大屯锡矿生产技术协同平台共同组成数字矿山和智慧矿山创建的基础平台。地、测、采三类技术员以及相应审批人员在此平台划分职责，分别完成地质模型、测量模型、采矿设计以及施工单审批流程。本文主要从测量模型建立及应用展开探讨，促使我们井下测量工作者更好、更快的完成工作任务。

简介：【摘 要】： 研究轨道车辆的刚度和模态已经是车辆领域一项基础的技术，目前大多采用有限元技术对车辆车体刚度和模态进行研究，研究和揭示其共性的数学理论基础并不多见，本文阐述了车体刚度模态的数学模型和理论基础，文章的相关阐述与结论可为进一步研究车体模态同行提供参考。