新疆宽浅变迁河流动床模型验证——以呼图壁河模型为例

以呼图壁河动床模型验证为例,分析"自相似"动床模型验证中涉及到的模型砂选取、试验加砂控制、模型验证指标的确定等方面的问题.通过对呼图壁河动床模型与原型河段的水面线、河床变迁范围、典型断面的冲淤深度比较,模型结果和实际基本一致,说明呼图壁河动床模型设计和模型布置合理,同时为新疆宽浅变迁河流的动床模型设计和验证提供参考.     

克孜河喀什段整治工程模型设计方法研究

喀什城区克孜河沿线的防洪护岸综合治理工程是喀什市进行城市发展的总体规划布局的重要项目,但由于目前对于该类河流研究成果较少,通过公式计算确定冲刷深度存在较大误差,而通过物理模型试验研究该问题则更为合理。通过分析正态模型(轻质砂和天然砂)和传统的变态模型存在的缺陷,采用比降一致的变态动床模型设计方法确定其它各相似比尺。     

岷江长滩河段航道整治试验研究

根据岷江长滩滩险碍航的特点,采用卵石动床模型进行整治方案研究,取得了良好的效果.本文简要介绍了长滩河工模型的模型设计、验证及方案试验情况.该工程现已竣工,经过几个水文年的检验,滩险航道的通航条件得到彻底改善,整治效果好,已通过工程验收,该工程被评为优良工程.     

智能交通安全控制系统的模型验证

随着智能交通系统的发展，交通安全控制系统的开发变得越来越复杂，系统中存在的“设计型故障”很难被检测和排除，“设计型故障”成为影响系统安全性的主要问题。笔者利用形式化方法对交通安全控制系统进行严格的模型验证，提出了系统模型验证的安全性约束和安全性路径的概念，给出了模型验证的推演方法，为解决智能交通安全控制系统的“设计型故障”问题提供了一种有效的手段。     

开放式对口船闸善后河枢纽联合调度模型分析与研究

以典型的开放式对口船闸善后河枢纽为例,对联合调度模型进行分析和研究。文章在国内外学者的研究基础上,结合善后河枢纽实际情况,统计了船舶过闸速度、单闸次闸阀门启闭时间、建筑物距离等相关性,形成了闸室组合模型思路,规划闸室编排简化图;同时,建立善后河枢纽联合调度模型,引入调度目标函数和约束条件,分析船舶在不同环节下调度时间和注意要点,提高闸次效率;最后,提出了联合调度预期目标,组织计划了善后河枢纽联合调度流程,为联合调度实际工作提供参考。     

岷江长滩河段航道整治试验研究

根据岷江长滩滩险碍航的特点，采用卵石动床模型进行整治方案研究，取得了良好的效果，本文简要介绍了长滩河工模型的模型设计、验证及方案试验情况，该工程现已竣工，经过几个水文年的检验，滩险航道的通航条件得到彻底改善，整治效果好，已通过工程验收，该工程被评为优良工程。     

基于TSSM的城市轨道交通CBTC区域控制器建模与验证

针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM (timed safe state machine)建模方法,定义了弱变迁和同步变迁语法,建立了城市轨道交通ZC (zone controller)系统模型.首先,分析了ZC系统的运行环境、工作原理和功能需求,根据ZC反应式系统的特点,利用TSSM在SCADE (safety critical application development environment)中建立了ZC系统列车管理、ZC控制、MA计算和队列管理子模型;其次,通过ZC系统的TSSM网络模型,分析了子模型间的交互信息;最后,采用Lustre语言对ZC系统的安全特性进行了形式化描述,并利用Design Verifier模型检测工具,结合数据流验证了ZC系统的功能和性能需要.研究结果表明,ZC系统TSSM模型的安全性和受限活性均为有效,ZC系统完全满足预期的安全需求.      

公路服务用户满意度模型研究

公路服务用户满意度模型是评价公路服务质量、提高公路服务水平的重要工具。基于公路服务和用户满意度的概念,构建包括用户满意、用户期望、用户感知质量、用户忠诚四个潜在变量和服务备件、服务环境、服务活动三个质量因子在内的顾客满意度宏观模型,及其设计标识变量和问卷量表,经安徽省境内的合徐高速公路、合安高速公路和G105评价验证,其估计假设参数及总体拟合度具有一定的合理性。     

砂雨法饱和模型制样相对密度控制要素与评价方法

为满足动力离心液化试验相对密度（D_r）低的制样需求,实现砂雨法饱和模型制样相对密度的准确控制,建立了设备制模稳定性评价方法,通过自主研制一套适于饱和模型制样的鸭嘴式砂雨法装置,开展了三组干砂/饱和砂模型对比试验;通过分析出砂口尺寸、落距、移动速度等控制要素的影响,对新型装置制样性能进行了验证;采用微型动力触探仪测试饱和模型不同位置及深度的D_r空间分布,给出了模型均匀稳定性评价方法;建立描述砂雨法制样过程流速变化的数学模型和推导表达式,提出了控制稳态D_r的归一化标准. 研究结果表明:3 mm为低密实度制样的最佳出砂口尺寸;饱和模型D_r随水中落距的变化率为空中落距变化率的3.5倍,水中落距是饱和制样密实度的主导控制要素;出砂口移动速度最高达到颗粒落速的31%,对低密实度制样影响不可忽略;设备移速与落距对颗粒流速及试样D_r大小具有决定作用.      

通过交叉验证准则选择线性模型

考虑建立在交叉验证准则基础上线性回归模型的选择问题．我们对原来的交叉验证准则进行改进,通过增加惩罚函数来解决交叉验证过程中模型过度拟合问题,从而提出一个新的模型选择准则．在一定的假设条件下,新准则确定的模型具有强相合性并且在样本容量充分大时能得到最小的真实模型．在本文中,我们将证明新准则确定的模型在一定条件具有强相合性,并给出一般条件下模型选择准则。     

老木孔水库成库后乐山港港区河段泥沙冲淤演变研究

乐山港位于老木孔水利枢纽库区河段,该段河床及水流条件复杂。为确保工程建设后航道畅通、港口正常使用,在定床模型基础上进行动床河工模型试验,以研究成库后泥沙冲淤演变及相应通航水流条件。试验结果表明:水库运行初期库区河床淤积较快,随着水库运用年限的增长,淤积速率逐渐放慢,至水库运用20a,库区河床冲淤尚未达到平衡状态;重点淤积部位在老江坝尾至坝址河段左右两岸边滩疏浚区,老江坝右汊及涌澌江口附近;水库运用20a,河床发生淤积,但库区航道尺度(航深、航宽、弯道半径)仍大于岷江三级航道标准,通航水流条件(流速、比降、流态)满足流量10 000 m3/s以下船舶的通航要求。     

概率模型检验的CBTC系统通信协议的形式化验证

通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响．鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证．分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范．结果证明,当信道正常概率为99％,系统无延时概率为99％时,通信协议失效率小于1．5×10^-10．说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了．     

固定式填充复合床光催化反应器动力学模式

提出了固定式填充复合床光催化反应器的理论计算数学模型及反应器效率的特性参数,通过试验对反应器的数学模型进行了验证,结果表明,理论计算值与试验值能很好的吻合,该数学模式可用于固定式填充复合床光催化反应器的设计计算.     

钻根水利枢纽工程消能防冲试验研究

消能防冲的设计是值得重视的问题,它关系到建筑物的安全及下游河床河岸的稳定。闸下冲刷破坏较普遍,消能防冲设计条件选择不当是原因之一。通过1∶50的水工整体模型试验,对钻根枢纽泄洪冲沙闸的布置进行了深入的试验研究,不仅较好地解决了泄洪消能问题,简化了结构布置,而且节省了工程量,改善了流态和冲坑形态。     

跨江大桥主桥墩局部冲刷试验研究

文章采用正态动床概化模拟试验方法,对跨江大桥主桥墩周围的局部冲刷问题进行了试验研究。试验结果表明,冲刷坑的深度和范围与床面的地质条件、水深、流速、墩宽和墩形有密切关系。试验得出局部冲刷与流量的关系和最大冲刷深度,并提出了桥墩局部冲刷的防护措施。     

二齿差滚动活齿传动多目标稳健优化设计

为了提高二齿差滚动活齿传动的设计水平和设计质量,将优化设计理论与稳健设计方法相结合,在考虑设计变量和设计常量的偏差对可行域影响的基础上,建立了二齿差滚动活齿传动的多目标稳健优化设计数学模型.基于模拟退火算法,提出了该模型的求解方法,给出了计算实例.计算结果表明:与应用普通优化方法得出的优化结果相比较,基于模拟退火算法的稳健优化设计所得的二齿差滚动活齿传动的体积缩小24.1％.     

道岔区轮轨系统空间耦合振动模型及其应用

基于道岔结构主要特点，并将其理想化，建立了道岔区内轮轨相互作用的空间耦合振动模型，以我国１２号提速道岔为例，分析了可动心轨式道岔与固定辙叉式道岔动力性能的差别，探讨了客货车对可动心轨道岔的适应性以及尖轨冲击角对轮轨间横向动力作用的影响。     

多项式程序模型的互模拟等价

针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析．给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题．最后给出并发程序的相关实例．