高墩大跨径弯连续刚构桥梁空间非线性稳定分析

在高墩大跨弯连续刚构桥梁的设计与施工中,结构稳定性非常重要。本文分别考虑结构的几何非线性和材料非线性力学特征,对高墩大跨弯连续刚构桥梁的结构稳定性进行详细的数值分析,并与线弹性的计算结果进行对比。结果表明:弯连续刚构桥梁的稳定问题已经转化为考虑结构材料屈服强度的极限承载力问题,同时几何非线性对稳定的影响亦不能忽略。     

磁导航车体运动数字控制系统数学模型研究

探讨磁导航车体运动数字控制系统的数学模型。用实验方法建立磁导航车体运动数字控制系统典型环节的时间连续数学模型,结合车体运动机械操纵环节的传统数学模型建立整个控制系统的时间连续数学模型。利用Z变换方法把控制系统时间连续数学模型转换成离散数学模型,引入数字控制系统典型环节的数学模型,建立磁导航车体运动数字控制系统的离散数学模型。设计数字控制系统的二次型最优控制器并进行计算机仿真。仿真分析结果验证了数学模型的有效性。     

大跨度预应力混凝土连续梁桥合龙施工技术研究

合龙段施工是预应力混凝土连续梁桥施工的重要环节，关系到全桥的受力和线形状况。以某黄河大桥主桥合龙段的施工为工程背景，探讨了预应力混凝土连续梁桥合龙施工的时间选择、合龙方案的选择、合龙顺序、体系转换以及施工配重等方面的内容，为类似桥梁施工提供了有价值的技术资料。     

连续刚构桥的群桩基础计算模型研究

群桩基础是连续刚构最常用的基础形式之一，分析探讨了群桩基础的几种建模方法，给出了建模思路和参数取值。结合苏通大桥辅航道桥预应力混凝土连续刚构的工程需要，提出了考虑群桩基础与上部结构共同工作的计算模型，并将计算结果与不考虑桩基的模型计算结果进行了对比分析，计算方法对类似工程有直接参考价值。     

Target priority determination methods by interval-valued intuitionistic fuzzy sets with unknown attribute weights

The paper aims at the problem of multi-targets threat degree being hard to be evaluated accurately in complex air defense battlefield environments. Combined with multi-sensors information fusion and interval-valued intuitionistic fuzzy sets (IVIFS) theories, the target priority determination is studied. The score and accuracy functions of IVIFS are improved with thinking about the hesitating information in order to increase the rationality. Then, the influence factors of target priority and the nonlinear relationship between the influence factors and target priority are analyzed. Next, the algorithms for calculating the factor weights and sensor weights are given. Based on the theory of IVIFS and technique for order preference by similarity to an ideal solution (TOPSIS), two methods of target priority determination based on the IVIFS and TOPSIS are proposed. At last, an application example verifies the effectiveness and flexibility of the proposed algorithms.     

极地破冰船冰区结构设计规范对比研究

通过对各主要船级社关于破冰船结构设计的规范进行比较和分析,研究了不同规范关于冰级定义、船体加强区域划分、材料和腐蚀余量、船体外形参数、冰载荷、冰区总强度、冰区构件尺寸以及结构设计细则的具体要求;总结了各种规范体系的特点,为今后极地破冰船的结构设计研发提供了规范参考,具有一定的现实意义。     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

Elasto-plastic modeling of soft soil considering degradation of stiffness

The stiffness has a large influence on the behavior of soils. Its value is affected by some of the soils properties, such as the over consolidated ratio(OCR), the effective normal stress, and the plasticity index etc. In this paper, the numerical modeling of soft soils was carried out using an improved elasto-plastic S-clay1 model accounting for degradation of stiffness. The relation between the stiffness and the shear strain was established based on a large number of experimental data. The effects of strain-dependent stiffness of normally consolidated soils and over consolidated soils on the stress-strain behavior were studied through a comparison of the simulations with the experimental results of undrained triaxial compression tests. The results show that the behaviors of soils can be well predicted with the improved constitutive model, particularly before the peak stress.     

Decomposing and Cluster Refinement Design Method for Application-Specific Network-on-Chips

Along with higher and higher integration of intellectual properties (IPs) on a single chip, traditional bus-based system-on-chips (SoC) meets several design difficulties (such as low scalability, high power consumption, packet latency and clock tree problem). As a promising solution, network-on-chips (NoC) has been proposed and widely studied. In this work, a novel algorithm for NoC topology synthesis, which is decomposing and cluster refinement (DCR) algorithm, has been proposed to minimize the total power consumption of application-specific NoC. This algorithm is composed of two stages: decomposing with cluster generation, and cluster refinement. For partitioning and cluster generation, an initial low-power solution for NoC topology is generated. For cluster refinement, the clustering is optimized by performing floorplan to further reduce power consumption. Meanwhile, a good tradeoff between power consumption and CPU time can be achieved. Experimental results show that the proposed method outperforms the existing work.