COQ定理证明器辅助PLC 程序验证和分析

使用定理证明器COQ 验证和分析PLC 抢答器程序的一些性质, 证明了原程序的所有可能状态中只有半数是可达状态, 揭示了系统在可达状态之间的转移关系。基于这些性质, 引入了逻辑自动机的概念作为对PLC程序行为完整抽象的描述。此外, 在证明过程中, 发现该程序中存在着一个很难通过现场测试发现的问题。     

基于domino的动态可定制工作流引擎的研究和实现

研究与探讨了一种基于domino平台的动态可定制工作流,首先分析了两个当前工作流设计的主要方法,包括预先定义好流程和预先不定义流程,然后结合这两种传统设计方法,设计出一个既可预先定义又可动态修改的灵活的工作流解决方案．最后讨论该工作流设计在具体项目中的实现情况和遇到的问题。     

基于小波方法的空间风速场模拟

为克服随时间变化模型基于适应过滤器和窗口估计方法中窗口长度不宜过大,产生的短时时间序列模拟准确性不够高的缺点,应用小波分解方法,结合线性滤波器法的向量过程自回归(AR)模型,给出了模拟空间脉动风场的一种新方法.该方法对于AR模型自回归系数在空间上进行小波扩展,采用最小二乘法来估计AR模型的自回归系数,并给出了该方法模拟空间风速场的实现步骤.将该方法应用于一空间结构的风速场模拟,并给出了模拟结果与目标值的对比,以及与向量过程AR模型模拟结果的对比,结果证实该方法可以减少风速时程分析在频域上的信息损失,对短时时间序列模拟具有较高的准确性,并具有较高的计算效率.     

L形平面低矮房屋屋面的风荷载特性

通过L形平面低矮房屋在同济大学TJ2风洞进行的刚性模型测压试验,首先对其屋面的风压时程概率分布进行了讨论,试验结果表明,屋面大部分区域的风压时程偏度较大,概率分布与三参数Gamma分布较为吻合,其极值的估算更适合用“SadekSimiu法”,且相比而言,传统的高斯方法偏于不安全.继而对翼长、坡度及组合屋面形式对屋面风荷载特性的影响进行了研究,试验结果显示,翼长的增加,坡度的减小均会加剧屋面的平均负压和最不利负压;而屋面由两双坡组合变为双坡、四坡组合后,屋面的平均负压和最不利负压都有大幅度的减小,从而得出双坡、四坡组合屋面的L形平面房屋比两双坡组合屋面更有利于抗风的结论.     

基于贝叶斯推断的时变流场下污染源反演

对5个不同位置的污染源分别做污染物扩散数值模拟,将其计算结果作为测量浓度;利用伴随方程计算时变流场下传感器的模拟浓度。通过测量浓度和模拟浓度构造似然函数,基于贝叶斯推断计算了在时变流场下污染源参数的后验概率。结果表明：污染源参数反演的误差取决于测量浓度与模拟浓度之间的误差。当污染源与传感器的距离较远时,污染源参数的后验概率呈较宽的分布,反演结果具有较大的不确定性;当污染源与传感器距离较近时,反演结果的不确定性得到了显著的降低。此外,还讨论了反演污染源参数时,利用污染物扩散不同阶段的测量数据对反演效果的影响。发现利用扩散初始阶段的测量浓度反演源位置,可以得到比利用稳定阶段数据时更小的反演误差和后验概率标准差,但效果没有得到显著提升。     

风和地震作用下高层建筑土-结构作用比较

根据考虑上部结构荷载相关性的近似频域方法，详细分析了各类参数（如上部结构刚度、结构阻尼、土体刚度、土体阻尼等）对土-结构相互作用效应的影响．此外，探究了在风荷载和地震作用下，土-结构作用效应对上部结构响应影响的异同．数值算例给出了带有群桩基础的实际高层结构的风、地震作用下的土-结构作用响应的比较．比较结果说明，风、地震作用下高层建筑土-结构作用效应对上部结构响应的影响规律可能是不一致的，而这主要与风、地震作用于土体结构耦合系统的位置以及风、地震作用的卓越频率有关．     

基于松耦合法的求解气动弹性问题的数值模拟方法

通过修改流体-结构界面处流体域的边界条件并引入松耦合方法，改进了一种求解气动弹性问题的数值计算方法．该数值计算方法的网格生成、流场求解、结构求解和数据交换四个过程相互独立，因而有可能利用现有的发展比较成熟的商用网格生成器、CFD（computational fluid dyllamics）求解器和CSD（computational structural dymrmcs）求解器分别完成这些功能．通过对折减阻尼比为0．0208的圆柱涡激振动问题在雷诺数为100条件下的计算结果进行分析，表明该方法是可行的．     

门座起重机整机气动弹性模型的风洞试验研究

首次对港口10t 门座起重机整机气动弹性模型在均匀流风场及边界层模拟风场中进行了风洞试验,研究了在港口常见风速范围内,8个主要典型风向下3个有代表性的四连杆系统俯仰角时门庄起重机的激励特性、振动特性和危险工况.试验发现,拉杆在顺风向也有较强的涡激振动现象.根据试验结果,文中还建议了门座起重机抗风设计的两条主要原则.     

高层建筑背景静力等效风荷载分布

根据典型高层建筑模型的风洞试验结果,得到了脉动风荷载在高层建筑顺、横风向沿高度的分布规律及其相关性,对有关文献中多种背景静力等效风荷载分布规律表述方法的精确性进行验证;根据对比结果,拟合出具有不同几何参数的高层建筑背景静力等效风荷载在顺、横风向沿高度的分布规律公式,并验证.结果表明,所给出的典型高层建筑背景静力等效风荷载的分布公式精度高,简单适用,对修订高层建筑风荷载规范具有参考价值.