水动力-水质耦合模型污染源识别的贝叶斯方法

环境水力学系统存在诸多不确定性,如测量数据的不确定性等,这导致水体中污染源识别这一类反问题具有不适定性,尤其表现为反演结果的非唯一性.经典的正则化方法和最优化方法由于只能获得参数的"点估计",因而在求解不确定性较强的问题时存在较大的困难.此外水质模型和流场控制方程(Navier-Stokes方程)耦合,使得正问题的解具有较强的非线性特征.为解决上述问题,针对水动力一水质耦合模型,建立了基于贝叶斯推理的污染物点源识别的数学模型,通过马尔科夫链蒙特卡罗(Markov chain Monte Carlo,MCMC)后验抽样获得了污染源位置和强度的后验概率分布和估计量,较好地处理了模型的不确定性和非线性.算例结果表明,结合MCMC抽样的贝叶斯推理方法能很好地描述及求解水动力一水质耦合场条件下的污染源识别反问题.     

台风暴雨影响区溃坝洪灾淹没损失评估

东南沿海地区受台风暴雨影响易发生山洪、诱发水库溃坝,且水库下游区域往往地势低洼开阔,易积水而出现大面积内涝,对溃坝洪水演进产生一定影响.采用能够考虑下游初始淹没水深的二维洪水演进模型计算溃坝洪水过程,阐述了溃坝洪水数值计算方法、洪水淹没损失分类及损失率确定方法,建立溃坝洪灾淹没损失评估模型.以戍浦江流域为例,确定溃坝洪灾损失率与淹没水深等级关系,对淹没区进行溃坝洪灾淹没损失评估.计算结果表明：水库一旦发生溃坝,洪灾将造成83亿元经济损失,下游社会和生态环境遭到严重破坏,采取有效的预警措施能够显著减少下游的人员伤亡及经济损失.通过溃坝灾害评估,有助于提高水库安全管理水平,为制定防洪避险预案提供支持.     

ArtiFlow中artifact生命周期的可满足性问题

以数据为中心是业务过程管理技术发展的一个新趋势.artifact是记录业务过程的数据实体,围绕artifact的业务过程管理正在成为业务过程管理研究的一个热点.生命周期是artifact的一个重要特征,业务过程能否满足对artifact生命周期的定义是业务过程设计中需要验证的一个重要特性.本文从artifact属性赋值顺序的角度,基于Petri网定义artifact的生命周期树.采用ArtiFlow建立业务过程模型,在ArtiFlow模型中根据业务规则提取artifact状态变化树,与artifact生命周期树进行路径比较,验证业务过程模型中artifact生命周期的可满足性.给出相应的算法并分析了算法的复杂度.     

基于最小Steiner树的关键词查询方法

在关系数据库中,关键词查询无需用户学习查询语言和数据库模式相关知识,而且有效地扩大了查询范围.采用元组图描述关系数据库中元组关系,可使关键词查询问题转化为元组图的最小Steiner树求解问题.本文提出元组图上基于相似度的边权重计算方法,使边权重能够反映元组与关键词相似度的大小.然后,鉴于最小Steiner树求解问题是NP-完全问题,提出按照贪心策略执行Dijkstra算法的最小Steiner树较优解求解算法.最后,通过实验对算法进行了分析和验证.     

燃气轮机叶片材料0Cr17Ni4Cu4Nb砂带磨削性能研究

理论分析了在切除过程中磨粒与材料表面的交互作用机理,进行了砂带磨削燃气轮机叶片材料0Cr17Ni4Cu4Nb的试验研究,系统分析了各磨削工艺参数对材料切除率的影响规律,该研究对生产实践具有理论指导意义.     

XML多值依赖的推理规则集问题

XML多值依赖的推理规则集问题是解决XML数据依赖的蕴涵问题的基础,是XML规范化理论的关键问题之一。该文对XML树、树元组等进行了重新定义,与Vincent等人不同,提出了基于DTD的XML多值依赖的概念,通过对XML的关系化表示给出了其形式化定义,定义了XML多值依赖集的闭包、XML多值依赖路径依赖基以及XML多值依赖路径集的闭包等概念,给出了一个有效且完备的推理规则集,并对其有效性及完备性进行了证明。     

基于Web的对话应用设计系统

信息技术领域的客服系统存在人力资源的运用效率低等问题,这给企业带来了大量的维护成本,对企业创新带来了一定的阻碍.因此本文提出一种新型的基于Web的对话应用设计系统,不仅提供了基于分支、循环、顺序等设计对话的基础流程控制单元,还包含大量垂直领域内的话题通用组件以辅助在短时间内设计出快速响应、容错率高的场景对话机器人,并提...     

不确定时间序列的降维及相似性匹配

不确定时间序列的每个时间点上对应一个可能取值的集合,无法给出其确定值,这种不确定性给时间序列降维处理和相似性匹配带来巨大挑战,现有的时间序列降维方法和相似性匹配算法已经无法适用。针对此问题,提出了描述统计模型,将不确定时间序列归约为3条确定时间序列,通过离散傅里叶变换（discrete Fou-rier transform,DFT）、离散余弦变换（discrete cosine transform,DCT）、离散小波变换（discrete wavelet trans-form,DWT）对模型下不确定时间序列降维;根据模型特点,提出了以观察值区间和区间集中趋势为核心的相似性匹配算法。经过实验验证,描述统计模型下DCT和DWT有良好的降维效果,提出的相似匹配算法与现有算法相比提高了匹配准确率。     

一种验证SPR传感器金膜表面固定蛋白质分子有效性的简易途径

利用表面等离子共振传感器进行免疫检测的实验中,需要在化学性质稳定的金膜表面固定蛋白质分子探针。如何验证一种方法是否能够成功固定蛋白质分子具有非常重要的现实意义。提出的验证方法采用酶反应作为标志,如果某种方法确实能有效固定蛋白质分子,那么它也能固定酶。将固定好酶的金膜浸入相应的底物溶液中发生变色反应,测量底物溶液的吸收光谱,即可根据结果判断是否有效固定了酶,同时达到判断这种方法是否可固定蛋白质的目的。具有快速、方便、低成本等优点。采用经过验证的方法固定抗IgG后通入IgG,实验响应良好。