混凝土高拱坝浇筑施工仿真

针对高拱坝的工程特点，开发了混凝土高拱坝大坝浇筑施工仿真及可视化系统．此系统不仅考虑缆机之间运行的空间冲突问题，同时考虑缆机生产率的利用问题，并根据大坝不同时期的施工特征，提出了分阶段模拟的思想来调整实际进度计划．最后应用此系统对某大坝浇筑施工方案进行了论证，为混凝土浇筑施工方案的优化提供依据．     

大型水利枢纽砼运输浇筑系统的GPSS模型及仿真研究

本文应用系统仿真原理和GPSS(General Purpose Simulation System——通用仿真系统)仿真语言构造了大型水利枢纽混凝土工程的运输浇筑系统的GPSS模型，并通过计算机运行对该系统进行了仿真研究，得出了具有一定实用价值的结果，为大型水利枢纽的可行性研究、设计、施工提供了参考．     

游走过程的Markov链的Matlab仿真与分析

采用马尔可夫模型对随机点在线段上的游走过程进行数学建模,并利用Matlab对其过程进行编程,仿真和验证其状态转移概率,通过分析均值和方差验证马氏过程稳态概率,并将仿真结果与理论值进行比较.验证结果表明在置信区间内仿真数据是有效的.     

基于Copula的海洋生态系统的稳态转换

基于藻类与食植鱼类的生态动力学模型,采用非线性动力学方法,确定了典型控制参数的分岔区域．运用Copula方法,通过历史数据得到控制参数的概率分布．以分岔区域作为不同状态,建立了系统状态转移的马尔科夫链模型运用蒙特卡罗方法计算转移概率矩阵,得到多稳态转换的平稳概率,并得到了使期望状态平稳概率最大化的控制参数值     

锦屏一级拱坝左岸混凝土垫座温控仿真分析

采用三维有限单元法实际模拟锦屏一级拱坝左岸混凝土垫座施工浇筑过程,进行温度场和徐变温度应力场的仿真分析．通过计算值和实测值的对比以反演实际混凝土绝热温升,以此来校核并优化设计温控措施和温控标准．重点对在2009年3月开浇的1730m高程以上的几个浇筑层进行了温控仿真计算,计算结果表明无论是温度还是应力都能满足设计标准,并为施工提供参考依据．     

三峡大坝混凝土施工实时仿真计算

与传统意义上的施工仿真相对应，提出了大坝混凝土施工实时仿真计算的概念，完成了相应于混凝土施工三维跳仓浇筑仿真计算程序的开发。并将其应用于三峡大坝左厂9#坝段的仿真计算，结果表明，实时仿真计算结果与坝体内埋设监测仪器实测结果吻合较好，与传统意义上的施工仿真计算相比，它可以更真实地反映出坝体的温度场与应力场，同时有效地对坝体进行实时监测，从而更好地指导混凝土施工。     

基于VC的大体积混凝土智能通水系统开发研究

混凝土坝施工过程中没有对多种影响因素的动态变化进行实时的准确分析并及时采取措施,是实际工程施工期混凝土坝体出现温度裂缝的重要原因．为了使工程质量有质的提高,必须寻求有效手段保证温控方案的实效性．基于VisualC＋＋编程环境开展大体积混凝土智能通水系统开发研究,建立了系统的基本构架,具体包括浇筑块信息管理、计算分析、反演分析、温控状态预测4个功能模块．该系统可以实现浇筑块几何、材料信息管理,重要参数的反演分析,温控方案的评价和调整等功能．系统功能已经通过实验加以验证,形成了初步成果．这对优化混凝土坝施工期温控方案,提高施工质量具有重要作用．     

某新型组合围堰结构工程应用的仿真分析

针对某大跨度桥梁桩基及承台施工中采用的一种新型辅助施工临时结构，钢板桩和混凝土圈梁组合结构在多功能“筑岛一围堰”新工法中的应用，利用空间弹性抗力有限元法，建立空间杆系有限元结构模型，进行了模拟施工过程的仿真分析，理论计算结果与施工监控的实际数据较吻合，说明该方法能够较好地模拟原型结构的受力行为，其方法为类似的钢板桩地下连续支护结构的计算分析提供了参考．     

浅谈冬期施工商品混凝土生产

建筑工程冬季施工的特点，决定了在这一特定的时期混凝土生产、供应和浇筑过程必须进行严格的过程控制，结合实际工程混凝土浇筑过程中的经验．对冬期施工的商品混凝土生产作一些探讨。     

大系统马尔可夫模型状态转移概率矩阵的快速形成方法

提出马尔可夫模型状态转移概率矩阵的快速形成方法．定义元件状态转移率矩阵和系统状态数组,将系统状态转换为便于计算机存储与处理的数组,有效地描述了系统状态之间的转移;基于元件状态转移率矩阵和系统状态数组提出不受系统状态和元件状态数目限制快速准确计算状态转移率的方法,通过挖掘状态转移概率矩阵中非零元素的分布规律提出非零元素的快速定位方法,进而快速形成状态转移概率矩阵的稀疏存储;针对由两状态元件组成的系统,提出基于给定系统状态排序和服务状态集数纽快速定位状态转移概率矩阵中非零元素的方法．将其应用于电力系统概率安全性评估,以新英格兰10机39节点系统为例,证实了方法的有效性和实用性．     

Ad-Hoc网络中基于状态转换概率的中继选择算法研究

在多跳Ad-Hoc网络中,随着节点的增加以及传输跳数的变化,网络状态数目将不断增大,随之带来的路由计算将变得十分复杂,从而严重影响系统的整体性能。如何在海量的网络转换状态形势下,快速选择最有效的状态进行下一跳数据传输是关键。创新地提出了基于状态转换概率的中继选择策略,结合节点地理信息和信道环境信息计算出邻居节点可能的到达概率,并选择概率大者进行数据传输,从而提高数据传输性能。同时,为了降低系统运算复杂度并节省系统能量,采用了变换的metropolis选择准则,以模拟退火的贪心搜索逐级去除那些小概率的传输状态,从而大幅度降低了运算空间。仿真给出了算法参数对运算速度与成功率的影响。同时,也表明了该算法在网络拓扑变化时对系统能耗和失败概率的增长均有较好的控制。     

隧道工程施工过程中的力学分析

将施工过程的力学分析方法用于隧道的开挖，对隧道施工过程作三维时空动态模拟，加载体系和研究对象本身构随时间变化，每个时刻的状态为不同时段力学状态时效的逐次叠加．研究结果表明，这一力学分析方法与策略是有效的；并进一步揭示了地下隧道施工过程的力学分析结果与目前通用的完整结构一次性工程计算结果不同的一些新现象．     

Program monitoring based on automaton simulation

To check whether a program behaves in expectation, program monitoring systems are used for intrusion detection. This article presents a program monitoring system using automaton simulation based on the state graphs extracted from C programs through static analysis. For complete state graph construction, a pointer alias analysis method is proposed to solve the function pointers for obtaining actual control flows. After compiling, programs are instrumented with probes to report the internal states when they are running. A program monitor is built in the kernel of Linux system, which monitors the states of programs from probes and checks the paths of execution. This monitoring system could respond to the abnormal behaviors immediately to protect the systems and programs from further damages.     

混凝土结构非线性随机损伤状态的演化分析

从反映结构宏观损伤的非线性状态转移过程出发，建立了在位移控制加载机制下其状态概率，转移速率与屈服应变风险函数之间的关系，通过力学与逻辑分析，导出了结构非线性构形状态概率演化方程，对于简单结构进行了解析求解，并据以研究了结构非线性随机演化的特征，讨论了稳定构形现象，从而为在概率意义上把握结构的非线性能提供了可能。     

基于时变状态转移隐半马尔科夫模型的寿命预测

隐半马尔科夫模型在进行系统状态估计及寿命预测时,其状态转移概率矩阵是固定值,得到的剩余寿命预测值呈阶梯状变化,与系统的实际剩余寿命值之间存在着较大的误差.针对上述问题,提出了具有时变状态转移概率矩阵的隐半马尔科夫模型,根据系统的3种典型退化状态分析,给出3种不同的状态转移系数.与初始状态转移矩阵相结合,得到随时间变化的状态转移矩阵.提高系统在当前健康状态下的剩余持续时间估计精度,最终得到更为准确的总体剩余寿命预测值.结果表明,基于时变状态转移概率矩阵的隐半马尔科夫模型相比传统的隐半马尔科夫模型,可显著提高剩余寿命预测的准确性.     

基于系统调用序列的柔性状态机入侵检测模型

以系统运行过程中出现的系统序列为依据,建立了一种柔性状态机模型,用以判断入侵行为,此模型既准确描述系统行为,又表现系统随机特征,此模型可以快速生成一个检测实例,满足不同应用环境的要求。     

大跨度斜拉桥施工过程索力和线形双控研究

为了使斜拉桥在成桥后达到合理状态,必须拟定合理的施工状态,即在施工过程中使斜拉索力和结构位形同时达到理想状态.采用一阶最优化计算方法,以成桥后结构的弯曲应变能和主梁的线形为目标函数,以斜拉索的初始张拉力和主梁节段的预抛高值为设计变量,建立了斜拉桥施工控制的空间非线性有限元分析模型,并以某大跨度预应力混凝土斜拉桥为例,模拟了混凝土主梁的悬臂浇筑过程.结果表明,该方法可使成桥后主梁的线形和结构的内力得到合理控制,从而可有效地确定斜拉桥的合理施工状态.     

容量有限批量服务轮询多址系统建模与分析

采用马尔科夫链理论,对一类批量服务、队列容量有限的轮询多址系统进行分析,建立了系统状态转移图,推导了基于信息分组数的队列状态转移概率公式.使用Matlab基于有限状态机理论的Stateflow工具箱,对该类模型进行了具体的建模与仿真,并考虑了站点具有不同优先级的情况.实验结果表明,基于Stateflow的模型与仿真方法能够有效地反映该类模型服务器的平均循环时间和站点信息帧丢弃率等统计特性.