摘要：赵文明（1982-），男，汉，湖北荆州人，硕士，长江大学艺术学院讲师。

摘要：认为一味追求城市机动化交通,忽视慢行交通,会助长车辆消费的攀比之风,会加速破坏生态环境,影响人的身体健康与生活幸福。因此,应当对交通方式进行理性的思考与选择,重视城市慢行交通系统的发展。

摘要：为弥补目前高职软件专业学生职业素养量化评价方法的缺失,提出一种基于层次分析法和模糊综合评价法的量化评价模型。根据软件行业从业人员职业素养要求构建评价指标体系,结合高职教育特点,综合考虑评价主体多元化,通过评价等级的标准化优化对量化结果进行数字化处理。结合实例,阐述应用该模型的一般步骤,验证模型在学生职业素养量化评价上的可行性和有效性。

摘要：以新石器时代遗址人地关系为主要研究目标,本文研究了西安地区灞河、沪河流域新石器时代遗址特征,确定了可量化表征因素,采用多项式逐步回归方法建立了新石器时代遗址与河流之间人地关系的数学模型。模型表明遗址距河流距离与遗址面积、河流流量、遗址位置、河流比降有显著关系。模型运算结果表明研究区域新石器时代遗址与河流之间关系符合考古学研究结论,构建的数学模型对西安地区新石器时代遗址点群考古发掘具有前瞻性指导作用,对新石器时代遗址环境考古具有重要意义。

摘要：开发了光气合成生产装置流程模拟软件及相庆的数学模型，并成功地用于现场生产装置的模拟计算。其计算结果同国外设计及现场数据十分吻合，可用于光气工业生产的优化设计。

摘要：为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。

摘要：阿海水电站采用有盖重基础固结灌浆施工,灌浆孔全坝基布设,与混凝土浇筑施工的工期相互影响较大。介绍了阿海水电站基础固结灌浆的施工组织及质量控制工作,综合分析坝基固结灌浆施工特性及难点。通过加强灌浆过程控制,工程质量和进度得以有效保证。

摘要：建筑设计贯穿整个建筑工程的建设过程,前期设计的科学与否,会直接影响其建筑成品质量。由于建筑设计牵涉到建筑的规划与选址、方案设计、结构分析、建筑朝向设计、屋顶与墙体的隔热设计等一系列要点,因此其内容相对复杂多样,为了保证设计工作高效完成,就必须对其进行科学管理,对设计过程中出现的问题进行深入研究与有效处理。文章首先就建筑设计的重要意义展开分析,然后分析业主方设计管理存在的问题及原因,接着针对业主方设计管理的内容进行分析,最后就业主方设计管理措施提出几点建议。

摘要：中国石化集团拟建设从江苏仪征至湖南岳阳的原油输送管道,工程横跨5省11市,为选择最优的线路走向方案,采用了遥感测量技术进行辅助设计。遥感测量技术具有数据处理自动化程度高、处理速度快、信息量大、成图精度高等特点。文章介绍了遥感技术常用的数据资料类型及特点,并从遥感资料的选择和工作步骤以及在宏观走线选择、复杂地段线路确定、穿越方案设计中的作用等方面介绍了遥感技术在原油管道设计中的应用情况,总结和预测了遥感技术在长输管道选线中的优势和应用前景。

摘要：以聚合反应釜的优化设计为案例,对整体夹套容器设计提出优化方案并应用于实践。通过设计计算可知在设计参数确定的情况下,只有设置加强圈才能得到更为合理的壳体厚度。分析确定了加强圈的设置位置及间距,设计了满足要求的外压加强圈。为满足安装要求,对耳式支座的设置进行了分析计算。