Mediator的概率扩展

Mediator是一种基于组件的形式化建模语言,它提供了分层的模块化结构,从而可以方便地对复杂系统进行建模。它以自动机为其底层单位,自动机连接成的系统作为高级结构,能在对模型进行形式化描述的同时让其本身简单易用。为了使Mediator具有更强的表达能力,可对具有概率行为的系统进行形式化建模,对Mediator做了概率方面的扩展,并对扩展后的语言给出了基于马尔可夫决策过程的语义。同时还介绍了由Mediator模型自动生成PRISM代码的方法,能够使用PRISM工具对Mediator模型的相关性质进行验证。     

滨海平原地下水库效益评估

王河地下水库是滨海平原有坝型地下水库,具有防治海水入侵和供水的双重功效。为正确认识王河地下水库所提供的相关经济及生态效益,合理评估其效益价值就显得尤为必要。采用相关价值评估方法,分别评价了王河地下水库的征地节约、蒸发节约、水源涵养和调蓄洪水、防治海水入侵、提升地下水位、恢复湿地、供水以及粮食增产等效益价值。经过计算,各项效益价值量从大到小依次为征地节约防治海水入侵涵养水源、调蓄洪水粮食增产供水蒸发节约恢复湿地提升地下水位,效益估值分别为1.84亿元、6619.59万元、4648.97万元、2647.23万元、1269.29万元、903.62万元、819.9万元和646.36万元。相比较淡水供给这一直接效益价值,王河地下水库提供了更为丰富也更为庞大的间接效益价值,为地下水库效益评估提供了有益的参考。     

基于运行时模型的无线传感网管理方法

无线传感网是物联网的核心,主要解决物联网中的信息感知问题,通过散布在特定区域的成千上万的传感器节点,采集环境中各种信息并连接到互联网上.然而,传感设备所采集到的数据是实时的、数量庞大且无良好结构的,要将采集到的数据映射到应用系统的问题域空间,就不得不编写大量的映射代码.为了快速定制和开发物联网系统,提出一种基于运行时模型的无线传感网管理方法：首先,在传感设备管理接口基础上构造运行时模型,并维护运行时模型与采集到信息的数据同步;其次,基于运行时模型,对不同传感设备采集到的数据进行定制、抽取和合并,实现通过组合模型对场景中不同的传感设备进行统一管理;最后,通过模型转换,实现组合模型到应用场景模型的映射,从而能够面向应用场景进行物联网系统的开发.还实现了基于运行时模型的智慧社区原型系统,并对方法的可行性和有效性进行了验证.     

冲击波作用下单层钢化玻璃抗爆性能的数值模拟研究

借助通用显式动力分析程序LS-DYNA软件平台,采用拉格朗日方法描述钢化玻璃,增加侵蚀算法来模拟钢化玻璃的破坏。钢化玻璃采用线弹性材料模型,通过建立的模型研究单层钢化玻璃在爆炸冲击波作用下的动态响应。利用场地试验结果对数值模型进行验证,证明了此模型的合理性。用已验证的模型对单层钢化玻璃在爆炸冲击波作用下进行数值模拟,得到一组单层钢化玻璃破坏的超压冲量临界点。通过数值模拟结果得到了爆炸冲击波对单层钢化玻璃损伤的超压-冲量曲线,进一步推导出了单层钢化玻璃损伤超压-冲量曲线的经验公式,并与数值结果进行比对,具有很好的吻合性。研究表明,得到的超压-冲量曲线及经验公式可以为单层钢化玻璃抗爆设计提供有价值的参考。     

压裂液技术及其高压流变性研究进展

压裂液在水力压裂工作中起着至关重要作用,其性能将直接影响压裂施工成败和增产效果。本文分析比较了不同压裂液体系的优缺点及应用现状,重点阐述了水基压裂液的高压流变特征,指出了纳米材料改善水基压裂液流变性质及其非氧化破胶方法,为提高水基压裂液工作效率及回收再利用提供新思路。     

基于小波矩的抗几何攻击数字图像水印算法研究

针对旋转、缩放和平移等几何攻击破坏水印检测同步,从而导致水印检测失败等问题,利用归一化图像的缩放、平移不变性及小波矩的旋转不变特性,结合奇偶量化技术,提出了一种有效抵抗几何攻击的数字图像水印新算法。首先利用图像归一化技术将原始载体映射到几何不变空间内;然后计算归一化图像的小波矩,并选取部分稳定的低阶小波矩用于水印嵌入;最后利用奇偶量化方法将水印信息嵌入到所选小波矩的不变量内。仿真实验结果表明,该图像水印方案不仅具有良好的透明性,而且具有较强的抵抗常规信号处理、几何攻击、联合攻击等能力。     

清洁压裂液破胶液渗吸过程中油水两相的运移规律

目前针对清洁压裂液破胶液渗吸机制的研究主要聚焦于岩心宏观润湿性、油水界面张力及岩心尺度采收率,缺乏对于渗吸过程微纳米孔隙中油水两相运移规律直观而有效的认识。以清洁压裂液破胶液为实验流体,利用2.5维高仿真微观孔喉阵列模型,模拟清洁压裂液破胶液在毛管力渗吸作用下的油水两相动态分布规律。结果表明,清洁压裂液渗吸过程中润湿相毛管力(驱动力)与界面扩张、贾敏效应及黏性力损耗(阻力)存在多次动态平衡过程,油水两相运移形成"吸水-排油-吸水"交替的分阶段过程。当油相动用效率分别达到10.98%、19.09%与37.27%时,吸水与排油交替进行,产生类似"憋压"的效果。微纳米孔隙中油水两相运移规律对认识清洁压裂液的渗吸作用机制具有重要参考意义。图30参12     

有机化合物吸着系数(Koc)估算模型比较

基于592种化合物的Koc实测数据,分别采用片段常数法和分子连接性指数法建立了其估算模型.根据模型残差分析了两种模型的预测误差,并运用2种方式的jackknife检验比较了它们的稳健性.片段常数模型涉及较多变量,其应用受到有限的已知片段常数以及烦琐的片段划分过程的限制,相比之下,分子连接性指数模型变量数较少,其应用时只需了解化合物的结构式.片段常数模型的估算精度略高于分子连接性指数模型,两者的差别主要体现在logKoc<1和logKoc>4的化合物上.分子连接性指数模型的稳健性比片段常数模型高.在依次删除一类特定类别化合物时,其估算误差的变异幅度均小于片段常数模型.     

网页发布语言的最佳选择

提出了当前可供网页发布的几种语言的选择方案,包括保守方案、过渡方案、理想方案和现实方案,详细探讨了网页发布所采用语言的发展前景,同时向网页编辑者和网页编辑器的制作者推荐了当前的最佳选择.     

基于COTS构件的系统开发

1 引言随着软件技术,特别是软件构件技术研究和实践的不断深入,当前系统开发的一个新趋势是大量使用COTS(Commercial-Off-The-Shelf)产品。软件表现出构造性和演化性的特点,促进了软件构件业和集成组装业的形成,软件构件市场已初见端倪。CORBA、COM和JavaBeans等构件标准的出现,为各自的