基于扩展层次有色Petri网创建SoC高层可执行规约

提出一种基于扩展层次有色Petri网(EHCPN)模型创建SoC高层可执行规约的方法,给出了EHCPN的形式化定义.设计并实现了EHCPN建模与模拟环境:SoC-P/TMSE,环境能够有效支持SoC高层规约创建与模拟,如功能分析、性能评估和通信协议检查.     

基于加固实验教学的预加轴力加载装置研制

现行的结构加固课程教学和研究进行的混凝土柱加固试验往往是在无轴压力的情况下进行的,这与实际混凝土柱受力情况完全不同。文章介绍为了研究在轴力作用下钢筋混凝土柱的加固性能,设计了可预先施加轴力的装置,对该装置的构造和承载力进行了研究,表明该装置能够满足试验加载要求。     

富水强风化岩区域隧道支护优化数值模拟

强风化岩区域岩体破碎,容易出现掉块,掌子面坍塌等问题,严重影响施工进度。对此依托黄江1号隧道,通过有限元法建立模型对隧道支护进行优化探究。     

带TLD构随机风振响应的解析解

在对带 TLD 的高层建筑风振响应问题系统研究基础上,建立了运动方程,用第一振型将主体结构展开,针对所得方程为非经典阻尼和非对称结构以及脉动风谱为非有理分式风谱的情况,用线性滤波过程生成脉动风谱,用复模态理论和扩阶法进行解耦,获得了等效风谱对应的以第一振型表示的结构风振响应解析解.该方法可用于带 TLD 结构的风振与抗风可靠度分析以及基于可靠度约束的抗风优化设计.     

结构随机风振响应分析的复模态法

对单自由度结构的随机风振响应问题进行了研究。首先建立运动方程，并用线性滤波过程生成脉动风谱，用复模态理论和扩阶法进行解耦，获得了等效风谱对应的结构风振响应的解析解，从而建立了结构风振响应分析的复模态法，该方法可用于带TMD和TLD结构的风振分析和优化设计。     

砌体结构基础隔震随机地震响应分析的复模态法

运用随机振动的时域复模态分析方法，对砌体结构房屋基础隔震体系在平稳随机地震激励情形下的响应进行了分析，得出隔震结构体系的地震反应统计特征。     

利用UML-RT序列图支持基于事务的SoC系统级功能验证

SoC基于事务的验证方法面临的一个重要问题是如何设计验证系统级复杂交互行为的事务测试序列。基于场景的序列图是设计人员捕获系统级功能规约的良好方法。本文提出了一种利用UML-RT序列图捕获SoC各个IP核之间的通信协作行为,为基于事务的验证建立高层规约,指导系统级测试序列生成的方法。我们自行开发了一个基于构件的事务验证环境SoC-CBTVE,并在该环境中利用本文的方法对一个典型的SoC设计进行了验证和分析。实验结果表明,利用UML-RT序列图能够捕获SoC系统级IP核之间的复杂通信行为,有效支持SoC系统级功能验证。