In order to guarantee the safety service and life-span of long-span cable-stayed bridges, the uncertain type of analytic hierarchy process （AHP） method is adopted to access the bridge condition. The correlative theo...In order to guarantee the safety service and life-span of long-span cable-stayed bridges, the uncertain type of analytic hierarchy process （AHP） method is adopted to access the bridge condition. The correlative theory and applied objects of uncertain type of AHP are introduced, and then the optimal transitive matrix method is chosen to calculate the interval number judgment matrix, which makes the weights of indices more reliable and accurate. Finally, with Harbin Songhua River Cable-Stayed Bridge as an example, an index system and an assessment model are proposed for the condition assessment of this bridge, and by using uncertain type of AHP, the weights of assessment indices are fixed and the final assessment results of the bridge are calculated, which proves the feasibility and practicability of this method. The application of this assessment method can provide the scientific basis for maintenance and management of long-span cable-stayed bridges.展开更多
文摘状态迁移矩阵(State Transition Matrix,STM)是一种基于表结构的程序建模语言。事件变量类型单一,事件和状态数量的增加很容易造成状态空间爆炸问题,无法表达具有时间语义的软件系统等原因,极大限制了该建模方法的推广应用。文中针对这些问题,首先提出层次化时间状态迁移矩阵(Hierarchical Time State Transition Matrix,HTSTM)模型,用于设计、建模和验证具有时间条件约束的软件系统,并给出形式化表示方法。基于该表示方法提出一种符号化编码方法,采用有界模型检测思想将需要验证的LTL性质输入SMT(Satisfiability Modulo Theories)求解器进行验证,从而在一定程度上证明了软件设计的正确性。
基金Specialized Research Fund for the Doctoral Programof Higher Education (No20050213008)the Scientific and TechnicalPlan Item of Communications Department of Heilongjiang Province ofChina (2004)
文摘In order to guarantee the safety service and life-span of long-span cable-stayed bridges, the uncertain type of analytic hierarchy process （AHP） method is adopted to access the bridge condition. The correlative theory and applied objects of uncertain type of AHP are introduced, and then the optimal transitive matrix method is chosen to calculate the interval number judgment matrix, which makes the weights of indices more reliable and accurate. Finally, with Harbin Songhua River Cable-Stayed Bridge as an example, an index system and an assessment model are proposed for the condition assessment of this bridge, and by using uncertain type of AHP, the weights of assessment indices are fixed and the final assessment results of the bridge are calculated, which proves the feasibility and practicability of this method. The application of this assessment method can provide the scientific basis for maintenance and management of long-span cable-stayed bridges.
