期刊文献+
共找到93篇文章
< 1 2 5 >
每页显示 20 50 100
Numerical simulation on behavior of pile foundations under cyclic axial loads 被引量:5
1
作者 ZHAO Ming-hua HENG Shuai ZHENG Yue 《Journal of Central South University》 SCIE EI CAS CSCD 2017年第12期2906-2913,共8页
On the basis of the two dimensional finite element analysis model, the pile foundations' mechanical effect of the rigid pile composite foundation under the dynamic load was researched. Through the research, the de... On the basis of the two dimensional finite element analysis model, the pile foundations' mechanical effect of the rigid pile composite foundation under the dynamic load was researched. Through the research, the development law and deformation property of axial force of pile body, shaft resistance of pile, and cumulative settlement of pile head under vertical cyclic dynamic loads were concluded. Through the comparison and analysis of the test results of dynamic models, the test results of Poulos(1989) and cumulative settlement model of the single pile under cyclic loads were confirmed. Based on the above research, Fortran language was adopted to introduce the soil attenuation factor, the secondary development of relevant modules of ABAQUS was carried out, and the effect of soil attenuation factor on dynamic property of pile-soil was discussed further. 展开更多
关键词 PILE FOUNDATION ABAQUS CYCLIC dynamic load numerical simulation PILE-SOIL interaction SECONDARY development
在线阅读 下载PDF
Effects of liquefaction-induced large lateral ground deformation on pile foundations 被引量:5
2
作者 王艳丽 程展林 王勇 《Journal of Central South University》 SCIE EI CAS 2013年第9期2510-2518,共9页
The pile-soil system interaction computational model in liquefaction-induced lateral spreading ground was established by the finite difference numerical method.Considering an elastic-plastic subgrade reaction method,n... The pile-soil system interaction computational model in liquefaction-induced lateral spreading ground was established by the finite difference numerical method.Considering an elastic-plastic subgrade reaction method,numerical methods involving finite difference approach of pile in liquefaction-induced lateral spreading ground were derived and implemented into a finite difference program.Based on the monotonic loading tests on saturated sand after liquefaction,the liquefaction lateral deformation of the site where group piles are located was predicted.The effects of lateral ground deformation after liquefaction on a group of pile foundations were studied using the fmite difference program mentioned above,and the failure mechanism of group piles in liquefaction-induced lateral spreading ground was obtained.The applicability of the program was preliminarily verified.The results show that the bending moments at the interfaces between liquefied and non-liquefied soil layers are larger than those at the pile's top when the pile's top is embedded.The value of the additional static bending moment is larger than the peak dynamic bending moment during the earthquake,so in the pile foundation design,more than the superstructure's dynamics should be considered and the effect of lateral ground deformation on pile foundations cannot be neglected. 展开更多
关键词 liquefaction-induced lateral spreading ground pile foundation large post-liquefaction deformation finite difference method
在线阅读 下载PDF
Longitudinal structural vulnerability analysis of shield tunnels under adjacent excavation disturbances
3
作者 PENG Zhu SHI Cheng-hua +2 位作者 WANG Zu-xian LEI Ming-feng PENG Li-min 《Journal of Central South University》 2025年第6期2256-2272,共17页
This paper proposes a longitudinal vulnerability-based analysis method to evaluate the impact of foundation pit excavation on shield tunnels,accounting for geological uncertainties.First,the shield tunnel is modeled a... This paper proposes a longitudinal vulnerability-based analysis method to evaluate the impact of foundation pit excavation on shield tunnels,accounting for geological uncertainties.First,the shield tunnel is modeled as an Euler Bernoulli beam resting on the Pasternak foundation incorporating variability in subgrade parameters along the tunnel’s length.A random analysis method using random field theory is introduced to evaluate the tunnel’s longitudinal responses to excavation.Next,a risk assessment index system is established.The normalized relative depth between the excavation and the shield tunnel is used as a risk index,while the maximum longitudinal deformation,the maximum circumferential opening,and the maximum longitudinal bending moment serve as performance indicators.Based on these,a method for analyzing the longitudinal fragility of shield tunnels under excavation-induced disturbances is proposed.Finally,the technique is applied to a case study involving a foundation pit excavation above a shield tunnel,which is the primary application scenario of this method.Vulnerability curves for different performance indicators are derived,and the effects of tunnel stiffness and subgrade stiffness on the tunnel vulnerability are explored.The results reveal significant differences in vulnerability curves depending on the performance index used.Compared to the maximum circumferential opening and the maximum longitudinal bending moment,selecting the maximum longitudinal deformation as the control index better ensures the tunnel’s usability and safety under excavation disturbances.The longitudinal vulnerability of the shield tunnel nonlinearly decreases with the increase of the tunnel stiffness and subgrade stiffness,and the subgrade stiffness has a more pronounced effect.Parametric analyses suggest that actively reinforcing the substratum is more effective on reducing the risk of tunnel failure due to adjacent excavations than passive reinforcement of the tunnel structure. 展开更多
关键词 shield tunnel foundation pit excavation foundation variability random field VULNERABILITY
在线阅读 下载PDF
An improved model of the Pasternak foundation beam umbrella arch considering the generalized shear force
4
作者 CHEN Lei JIA Chao-jun +3 位作者 LEI Ming-feng HE Yan-chun SHI Cheng-hua LI Ao 《Journal of Central South University》 2025年第4期1503-1519,共17页
The existing analytical models for umbrella arch method(UAM)based on elastic foundation beams often overlook the influence of the surrounding soil beyond the beam edges on the shear stresses acting on the beam.Consequ... The existing analytical models for umbrella arch method(UAM)based on elastic foundation beams often overlook the influence of the surrounding soil beyond the beam edges on the shear stresses acting on the beam.Consequently,such models fail to adequately reflect the continuity characteristics of soil deformation.Leveraging the Pasternak foundation-Euler beam model,this study considers the generalized shear force on the beam to account for the influence of soil outside the beam ends on the shear stress.An analytical model for the deformation and internal forces of finite-length beams subjected to arbitrary loads is derived based on the initial parameter method under various conditions.The mechanical model of the elastic foundation beam for advanced umbrella arch under typical tunnel excavation cycles is established,yielding analytical solutions for the longitudinal response of the umbrella arch.The reliability of the analytical model is verified with the existing test data.The improved model addresses anomalies in existing models,such as abnormal upward deformation in the loosened segment and maximum deflection occurring within the soil mass.Additionally,dimensionless characteristic parameters reflecting the relative stiffness between the umbrella arch structure and the foundation soil are proposed.Results indicate that the magnitude of soil characteristic parameters significantly influences the deformation and internal forces of the umbrella arch.Within common ranges of soil values,the maximum deformation and internal forces of the umbrella arch under semi-logarithmic coordinates exhibit nearly linear decay with decreasing soil characteristic parameters.The impact of tunnel excavation height on the stress of unsupported sections of the umbrella arch is minor,but it is more significant for umbrella arch buried within the soil mass.Conversely,the influence of tunnel excavation advance on the umbrella arch is opposite. 展开更多
关键词 elastic foundation beam Pasternak foundation generalized shear umbrella arch analytical model
在线阅读 下载PDF
Micromechanical analysis of particle corner effect on bearing and deformation behaviors of coral sand slope foundation under a strip footing
5
作者 PENG Yu LUO Zhao-gang +2 位作者 HE Shao-heng QU Li-ming DING Xuan-ming 《Journal of Central South University》 2025年第2期624-642,共19页
To understand the specific behaviors of coastal coral sand slope foundations,discrete element method(DEM)was employed to examine the effect of breakable particle corners on the performance of coral sand slope foundati... To understand the specific behaviors of coastal coral sand slope foundations,discrete element method(DEM)was employed to examine the effect of breakable particle corners on the performance of coral sand slope foundations under a strip footing,from macro to micro scales.The results demonstrate that the bearing characteristics of coral sand slope foundations can be successfully modeled by utilizing breakable corner particles in simulations.The dual effects of interlocking and breakage of corners well explained the specific shallower load transmission and narrower shear stress zones in breakable corner particle slopes.Additionally,the study revealed the significant influence of breakable corners on soil behaviors on slopes.Furthermore,progressive corner breakage within slip bands was successfully identified as the underling mechanism in determining the unique bearing characteristics and the distinct failure patterns of breakable corner particle slopes.This study provides a new perspective to clarify the behaviors of slope foundations composed of breakable corner particle materials. 展开更多
关键词 micromechanical analysis coral sand slope foundation particle corner breakage corner interlock
在线阅读 下载PDF
A general viscoelastic foundation model for vibration analysis of functionally graded sandwich plate with auxetic core
6
作者 Mofareh Hassan Ghazwani Ali Alnujaie Pham Van Vinh 《Defence Technology(防务技术)》 2025年第4期40-58,共19页
This study presents a significant advancement in the vibration analysis of functionally graded sandwich plates with auxetic cores by introducing a general viscoelastic foundation model that more accurately reflects th... This study presents a significant advancement in the vibration analysis of functionally graded sandwich plates with auxetic cores by introducing a general viscoelastic foundation model that more accurately reflects the complex interactions between the plate and the foundation.The novelty of this study is that the proposed viscoelastic foundation model incorporates elastic and damping effects in both the Winkler and Pasternak layers.To develop the theoretical framework for this analysis,the higher-order shear deformation theory is employed,while Hamilton's principle is used to derive the governing equations of motion.The closed-form solution is used to determine the damped vibration behaviors of the sandwich plates.The precision and robustness of the proposed mathematical model are validated through several comparison studies with existing numerical results.A detailed parametric study is conducted to investigate the influence of various parameters,including the elastic and damping coefficients of the foundation,the material gradation,and the properties of the auxetic core on the vibration behavior of the plates.The numerical results provide new insights into the vibration characteristics of sandwich plates with auxetic cores resting on viscoelastic foundation,highlighting the significant role of the two damping coefficients and auxetic cores in the visco-vibration behavior of the plates. 展开更多
关键词 Damped vibration Viscoelastic foundation Sandwich plates Auxetic core Honeycomb core Negative Poisson's ratio
在线阅读 下载PDF
High-thermal free vibration analysis of functionally graded microplates using a new finite element formulation based on TSDT and MSCT
7
作者 Huu Trong Dang Nhan Thinh Hoang +2 位作者 Quoc Hoa Pham Trung Thanh Tran Huy Gia Luong 《Defence Technology(防务技术)》 2025年第2期131-149,共19页
Recent advancements in additive manufacturing(AM)have revolutionized the design and production of complex engineering microstructures.Despite these advancements,their mathematical modeling and computational analysis r... Recent advancements in additive manufacturing(AM)have revolutionized the design and production of complex engineering microstructures.Despite these advancements,their mathematical modeling and computational analysis remain significant challenges.This research aims to develop an effective computational method for analyzing the free vibration of functionally graded(FG)microplates under high temperatures while resting on a Pasternak foundation(PF).This formulation leverages a new thirdorder shear deformation theory(new TSDT)for improved accuracy without requiring shear correction factors.Additionally,the modified couple stress theory(MCST)is incorporated to account for sizedependent effects in microplates.The PF is characterized by two parameters including spring stiffness(k_(w))and shear layer stiffness(k_(s)).To validate the proposed method,the results obtained are compared with those of the existing literature.Furthermore,numerical examples explore the influence of various factors on the high-temperature free vibration of FG microplates.These factors include the length scale parameter(l),geometric dimensions,material properties,and the presence of the elastic foundation.The findings significantly enhance our comprehension of the free vibration of FG microplates in high thermal environments.In addition,the findings significantly enhance our comprehension of the free vibration of FG microplates in high thermal environments.In addition,the results of this research will have great potential in military and defense applications such as components of submarines,fighter aircraft,and missiles. 展开更多
关键词 Microplates Functionally graded material Finite element method Modified couple stress theory New TSDT High-thermal free vibration Pasternak foundation
在线阅读 下载PDF
Dynamic response of honeycomb-FGS shells subjected to the dynamic loading using non-polynomial higher-order IGA
8
作者 Pham Binh Le Trung-Thanh Tran 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2024年第7期149-161,共13页
The main goal of this study is to use higher-order isogeometric analysis(IGA)to study the dynamic response of sandwich shells with an auxetic honeycomb core and two different functionally graded materials(FGM)skin lay... The main goal of this study is to use higher-order isogeometric analysis(IGA)to study the dynamic response of sandwich shells with an auxetic honeycomb core and two different functionally graded materials(FGM)skin layers(namely honeycomb-FGS shells)subjected to dynamic loading.Touratier's non-polynomial higher-order shear deformation theory(HSDT)is used due to its simplicity and performance.The governing equation is derived from Hamilton's principle.After verifying the present approach,the effect of input parameters on the dynamic response of honeycomb-FGS shells is carried out in detail. 展开更多
关键词 IGA Elastic foundation Dynamic response FGM Auxetic honeycomb Shell
在线阅读 下载PDF
Finite element approach for free vibration and transient response of bi-directional functionally graded sandwich porous skew-plates with variable thickness subjected to blast load
9
作者 Hong Nguyen Thi 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2024年第12期83-104,共22页
At the first time,the finite element method was used to model and analyze the free vibration and transient response of non-uniform thickness bi-directional functionally graded sandwich porous(BFGSP)skew plates.The who... At the first time,the finite element method was used to model and analyze the free vibration and transient response of non-uniform thickness bi-directional functionally graded sandwich porous(BFGSP)skew plates.The whole BFGSP skew-plates is placed on a variable visco-elastic foundation(VEF)in the hygro-thermal environment and subjected to the blast load.The BFGSP skew-plate thickness is permitted to vary non-linearly over both the length and width of the skew-plate,thereby faithfully representing the real behavior of the structure itself.The analysis is based on a four-node planar quadrilateral element with eight degrees of freedom per node,which is approximated using Lagrange Q_(4)shape function and C^(1)level non-conforming Hermite shape function based on refined higher-order shear deformation plate theory.The forced vibration parameters of the non-uniform thickness BFGSP skew-plate are fully determined using Hamilton's principle and the Newmark-βdirect integration technique.Accuracy of the calculation program is validated by comparing its numerical results with those from reputable sources.Furthermore,a thorough assessment is conducted to determine the impact of various parameters on the free and forced vibration responses of the non-uniform thickness BFGSP skew-plate.The findings of the paper may be used in the development of civil and military structures in situations that are prone to exceptional forces,such as explosions and impacts load. 展开更多
关键词 Finite element modeling Hygro-thermal environment Variable thickness Free and forced vibration Visco-elastic foundation Skew-plate
在线阅读 下载PDF
基于工作流的电网检修计划管理系统研究 被引量:5
10
作者 雷云川 吕飞鹏 +3 位作者 胡美蓉 谢熹 陈冬 刘洋 《继电器》 CSCD 北大核心 2006年第22期40-45,共6页
为实现电网检修计划管理业务流程的网络化、自动化,利用微软的工作流新技术W indows W orkflowFoundation(WWF),提出了基于MS.NET平台的电网检修计划管理系统解决方案。利用Petri网对一个典型的电网检修计划业务流程建模并分析所建模型... 为实现电网检修计划管理业务流程的网络化、自动化,利用微软的工作流新技术W indows W orkflowFoundation(WWF),提出了基于MS.NET平台的电网检修计划管理系统解决方案。利用Petri网对一个典型的电网检修计划业务流程建模并分析所建模型的正确性,给出了基于WWF模型驱动和面向组件实现所建电网检修计划工作流模型的可视化设计方法,能够较好地满足实际应用的需要,具有实现成本低、开发难度小,系统灵活性、可扩展性好等优点。 展开更多
关键词 工作流 检修计划 PETRI网 Windows WORKFLOW Foundation(WWF)
在线阅读 下载PDF
基于MFC的STL格式数据文件接口问题研讨 被引量:6
11
作者 董得义 谢川 +1 位作者 李彦生 郭宇 《现代制造工程》 CSCD 2005年第5期53-55,共3页
在开发与快速成形相关的软件时,对STL格式的数据文件的读取是必不可少的。对STL文件的两种格式(二进制格式和ASCII码格式)作详细分析,并给出用MFC对这两种格式数据读取的具体算法。
关键词 STL 微软基础类库(Microsoft FOUNDATION Clall MFC) 二进制
在线阅读 下载PDF
基于MFC应用程序基本框架的CH_4-H_2O-NaCl体系包裹体PVTx计算软件开发 被引量:1
12
作者 张隽 张家利 +2 位作者 席斌斌 施伟军 蒋宏 《石油实验地质》 CAS CSCD 北大核心 2014年第3期385-390,共6页
储层中CH4-H2O-NaCl体系包裹体广泛存在,其PVTx参数是了解油气成藏期次、探讨成藏过程的重要依据。由于上述参数的计算过程繁琐复杂,利用计算机程序自动计算参数成为国内外地质学家普遍采取的手段。基于微软的MFC类库及其应用程序框架... 储层中CH4-H2O-NaCl体系包裹体广泛存在,其PVTx参数是了解油气成藏期次、探讨成藏过程的重要依据。由于上述参数的计算过程繁琐复杂,利用计算机程序自动计算参数成为国内外地质学家普遍采取的手段。基于微软的MFC类库及其应用程序框架开发的CH4-H2O-NaCl体系包裹体PVTx计算软件,通过室温、包裹体均一温度、包裹体冰点温度以及包裹体拉曼位移的具体实验检测数据,自动计算输出CH4-H2O-NaCl体系包裹体均一压力,同时,能够将计算结果直观地表示在P-T相图中,得到在该组成条件下的气—液饱和曲线。该软件计算快速准确,界面友好,拓展性强,为包裹体测温数据处理软件开发在选择开发工具和语言上提供了参考。 展开更多
关键词 MFC( Microsoft Foundation Class) 包裹体测温 计算软件
在线阅读 下载PDF
德国牧羊犬髋关节发育不良发病情况的临床调查 被引量:2
13
作者 张晓远 谢富强 邵知蔚 《中国兽医杂志》 CAS 北大核心 2008年第12期44-45,共2页
关键词 髋关节发育不良 德国牧羊犬 临床调查 发病情况 foundation 矫形外科 外科疾病 CHD
在线阅读 下载PDF
Buckling analysis of shear deformable composite conical shells reinforced by CNTs subjected to combined loading on the two-parameter elastic foundation 被引量:3
14
作者 A.H.Sofiyev N.Kuruoglu 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2022年第2期205-218,共14页
The main objective of this study is to investigate the buckling analysis of CCSs reinforced by CNTs subjected to combined loading of hydrostatic pressure and axial compression resting on the twoparameter elastic found... The main objective of this study is to investigate the buckling analysis of CCSs reinforced by CNTs subjected to combined loading of hydrostatic pressure and axial compression resting on the twoparameter elastic foundation(T-P-EF).It is one of the first attempts to derive the governing equations of the CCSs reinforced with CNTs,based on a generalized first-order shear deformation shell theory(FSDST)which includes shell-foundation interaction.By adopting the extended mixing rule,the effective material properties of CCSs reinforced by CNTs with linear distributions are approximated by introducing some efficiency parameters.Three carbon nanotube distribution in the matrix,i.e.uniform distribution(U)and V and X-types linear distribution are taken into account.The stability equations are solved by using the Galerkin procedure to determine the combined buckling loads(CBLs)of the structure selected here.The numerical illustrations cover CBLs characteristics of CCSs reinforced by CNTs in the presence of the T-P-EF.Finally,a parametric study is carried out to study the influences of the foundation parameters,the volume fraction of carbon nanotubes and the types of reinforcement on the CBLs. 展开更多
关键词 NANOCOMPOSITES CNTS Composite conical shells Two-parameter elastic foundations Combined buckling loads Shear deformation shell theories
在线阅读 下载PDF
复合地基桩体向下卧层刺入量模型试验研究 被引量:2
15
作者 亓乐 王青松 《水电能源科学》 北大核心 2010年第9期104-105,138,共3页
为了解具有软弱下卧层复合地基的作用机理,掌握桩端处桩土的荷载分担及桩体刺入下卧层的规律,做了不同工况下的复合地基模型试验。试验结果对复合地基沉降理论研究提供了依据及数据支持,对其设计有一定指导作用。
关键词 复合地基桩 软弱下卧层 刺入量 模型试验研究 Composite Foundation Model 复合地基沉降 作用机理 指导作用 数据支持 试验结果 理论研究 桩端 设计 荷载 规律 工况
在线阅读 下载PDF
二滩水电厂物资供应管理信息系统的设计与开发 被引量:1
16
作者 程丽 王希武 林克成 《四川兵工学报》 CAS 2009年第3期113-115,共3页
将软件工程思想融入管理信息系统,按照管理信息系统开发步骤,采用C/S模式,选用北京用友艾福斯公司的IFS Foundation 1系列软件作为开发工具,ORACLE公司的Oracle数据库管理系统作为后台数据库,设计并实现了二滩物资供应管理信息系统.
关键词 管理信息系统 ORACLE数据库 IFS FOUNDATION 1 供应管理
在线阅读 下载PDF
基于ADE的IFC到CityGML层次转换模型 被引量:4
17
作者 赵彬彬 王笠苇 +2 位作者 谢建湘 张宏奎 王倩 《科学技术与工程》 北大核心 2023年第30期12806-12816,共11页
新型城市化建设和管理过程中,借助建筑信息模型(building information modeling,BIM)与地理信息系统(geographic information system,GIS)的数据集成,不但能实现建筑物的精细化表达,而且室外信息得以兼顾,实现空间分析及室内外一体化表... 新型城市化建设和管理过程中,借助建筑信息模型(building information modeling,BIM)与地理信息系统(geographic information system,GIS)的数据集成,不但能实现建筑物的精细化表达,而且室外信息得以兼顾,实现空间分析及室内外一体化表达。但BIM与GIS两种不同的数据格式无法直接实现数据的互通。为此,首先分析了模型IFC和CityGML在文档形式等方面的差异,并实现了多个简单建筑物IFC模型到CityGML3.0 LOD2、LOD3的转换。其次,针对上述数据集成实验中语义丢失问题,扩展GIS的CityGML3.0数据格式,提出CityGML B-Con扩展模型,完善IFC到CityGML3.0的一对一映射关系。最后,实现多个不同复杂程度建筑物IFC模型到CityGML B-Con扩展模型的转换。实验结果表明,利用CityGML B-Con模型能实现BIM与GIS的数据集成。宏观层面来说,能够增强转换后建筑物外观的细节程度,微观层面而言,BuildingConstructiveElement和BuildingInstallation的子类得以区分,IfcStair、IfcRamp和IfcBeam等建筑构件都能通过一对一映射的方式转换至CityGML中,克服了CityGML原有标准在建筑物构件表达方面的缺陷,有效减少了BIM源数据语义信息的丢失。 展开更多
关键词 地理信息系统(geographic information system GIS) 建筑信息模型(building information modeling BIM) 工业基础类(industry foundation class IFC) CITYGML 扩展语义
在线阅读 下载PDF
复合桩墙锚支护技术在深基坑中的应用 被引量:1
18
作者 童怀峰 锁利军 《水电能源科学》 北大核心 2010年第10期90-92,共3页
针对传统的支护结构土压力计算存在的缺陷,介绍了一种新型复合桩墙支护技术和特点,当基坑支护深度较大或需对基坑及周围环境变形进行严格控制时,可对桩墙顶部采用预应力斜锚、桩墙中部采用锚杆、预应力锚杆等技术配合支护,具有止水挡土... 针对传统的支护结构土压力计算存在的缺陷,介绍了一种新型复合桩墙支护技术和特点,当基坑支护深度较大或需对基坑及周围环境变形进行严格控制时,可对桩墙顶部采用预应力斜锚、桩墙中部采用锚杆、预应力锚杆等技术配合支护,具有止水挡土双重作用,介于刚性重力式挡墙和柔性悬壁桩墙间的一种属半刚性、半柔性支护结构。实例结果表明,该支护经济实用,有较高的推广应用价值。 展开更多
关键词 复合桩墙 支护技术 深基坑 Deep Foundation Pit 柔性支护结构 预应力锚杆 重力式档墙 土压力计算 应用价值 双重作用 经济实用 技术配合 环境变形 半刚性 种属 中部 止水 悬壁 特点 缺陷
在线阅读 下载PDF
泰国兰花生产考察与思考 被引量:3
19
作者 刘晓燕 《贵州农业科学》 CAS 2005年第2期100-102,共3页
关键词 花生 FOUNDATION 2003年10月 2002年11月 国兰 野生兰花资源 环境生理 生物技术 研究领域 西双版纳 参观考察 热带园林 观赏植物 泰国 农业部 基金会 柬埔寨 边境 农场 果树 花卉
在线阅读 下载PDF
PSL构造双向交换自动机及非确定自动机的方法
20
作者 虞蕾 陈火旺 《软件学报》 EI CSCD 北大核心 2010年第1期34-46,共13页
PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OBE(optional branching extension)两部分.由于OBE就是CTL(computation tree logic),并且具有时... PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OBE(optional branching extension)两部分.由于OBE就是CTL(computation tree logic),并且具有时钟声明的公式很容易改写成非时钟公式,因此重点研究了非时钟FL逻辑.为便于进行模型检验,每个FL公式必须转化成为一种可验证形式,通常是自动机(非确定自动机).构造非确定自动机的过程主要是通过中间构建交换自动机来实现.详细给出了由非时钟FL构造双向交换自动机的构造规则.构造规则的核心逻辑不仅仅局限于是在LTL(linear temporal logic)基础上的正规表达式,而且全面而充分地考虑了各种FL操作算子的可能性.并且给出了将双向交换自动机转化为非确定自动机的一种方法.最后,编写了将PSL转化为上述自动机的实现工具.FL双向交换自动机的构造规则计算复杂度仅是FL公式长度的线性表达式,验证了构造规则的正确性.在此基础上,证明了双向交换自动机与其转化的等价的非确定自动机接受的语言相同.上述工作对解决复杂并行系统建模和模型验证问题具有重要的理论意义和应用价值. 展开更多
关键词 PSL(property specification language) FL(foundation language) 双向交换自动机 非确定自动机 模型检验
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部