摘要：为了验证脉冲神经膜系统(SNPS)在运算受限情况下的计算性能,该文在标准SNPS中引入最小串行策略,并研究其语言产生能力。在使用最小串行策略的SNPS的每一步计算中,只有满足相应规则且所含脉冲数最少的神经元才可以激发。首先分析了使用最小串行策略的SNPS与有限语言和正则语言的关系,定义了任意多元字母表到二元字母表的映射,构建了能够产生递归可枚举语言的SNPS,设计了加法模块和减法模块。模拟注册机证明,使用最小串行策略的SNPS能够刻画递归可枚举语言,验证了SNPS在最小串行策略下仍具有与图灵机等价的计算能力。

摘要：在对HUST-CAID(哈尔滨理工大学计算机辅助工业造型设计)系统进行研究的基础上,首先引入了自由曲面特征,然后结合HUST-CAID系统定义了自由曲面特征的分类和参数化,同时系统为用户提供了一组适当的参数,使用户能够直观的设计任意曲面,而不必参与曲面的底层设计,当用户修改参数时,系统就会自动提供相应的反馈。为了求解出与约束一致的图形,还给出了一种新颖的原型驱动约束求解算法,并在HUST-CAID系统中进行了仿真实验,结果显示,此算法能够有效地简化约束求解和特征造型的过程。

摘要：在钢筋混凝土梁加固设计中,常用粘贴纤维复合材料加固方法,其计算方法一般采用"等强代换"估算方法,该方法所得出的结果往往不经济,而采用《混凝土结构加固设计规范(GB 50367-2006)》的有关公式计算方法所得出的结果既合理又经济,可节省纤维复合材料10%左右。

摘要：针对多跑道机场起降航班难以进行跑道合理分配,尤其是混合跑道的使用问题,以降低航班延误损失为目标,提出一种基于跑道的航班优先系数计算策略,建立了一种多跑道进离港地面等待问题优化模型,并实现进离港队列延误费用的合理分配.同时,设计了一种启发式局部搜索算子并嵌入遗传算法,形成一种混合遗传算法对问题模型求解.通过对代表性算例的计算,结果表明,所提出的模型及算法不仅可以减少航班的延误损失,还可以显著优化延误损失在进离港队列之间的合理分配.

摘要：嘉兴南湖革命纪念馆新馆因主楼的1层使用功能改变需进行加固,通过加固方案比选,决定对钢筋混凝土大梁采用体外预应力钢绞线进行加固的方案。体外预应力是一种主动的加固方法,可有效改善结构受力性能,从而提高结构刚度和极限承载力。该工程已投入使用近一年,情况良好,可为同类工程的加固设计与施工提供参考。

摘要：对某钢结构门球场的倒塌原因进行检测鉴定和有限元分析。首先,通过现场检测和调查可知,该结构存在明显的设计和施工缺陷;其次,采用有限元软件LS-DYNA再现了倒塌过程,结果表明:在恒载及突发雪荷载作用下,结构承载能力不足从而引起结构整体倒塌。因此,该结构未进行正规的设计、节点构造等施工质量缺陷是造成结构倒塌的根本原因。

摘要：由于混凝土强度偏低,导致柱子的抗压承载力不足,以下结合工程实例,详细介绍采用外包型钢加固钢筋混凝土框架柱的设计计算方法及施工要点,经加固有效提高了框架柱的承载力和延性,使用效果良好。

摘要：在老旧居住建筑加固改造之前,应对房屋的结构现状进行鉴定检测并对加固改造及纠倾设计方案的优劣进行分析对比,制定一个安全可靠、经济合理的加固改造及纠倾设计方案。

摘要：通过某餐厅拔柱实例,简述其安全经济、便于施工的加固设计与施工方案。该方案充分体现结构构件加固后的安全储备以及在拔柱过程中加强变形监测的必要性,可为同类工程提供参考。

摘要：地下建(构)筑物上浮引起的工程质量事故每年都有发生,由此造成了不少经济损失。在此,通过几起典型上浮工程事故的原因分析及处理,提出一些粗浅的看法,以引起设计、施工等同行对这一问题的关注,减少同类质量事故的发生。