一种感知情景的存取控制策略的规范和分析方法

对RBAC的角色激活过程增加情景约束,建立了感知情景的存取控制策略;利用D ata-log逻辑语言来建立感知情景存取控制策略模型的形式化规范;使用一阶逻辑语言描述策略的一致性、完整性等性质,借助D atalog实现了一个控制策略自动决策原型系统。     

一种基于卡尔曼滤波的改进多用户检测算法

总结了DS-CDMA系统的异步高斯信道模型和多径衰落信道模型,重点讨论了用状态空间方程表述多径衰落信道模型的方法,并采用卡尔曼滤波的递推算法求出每个用户每条路径上的状态估计。针对期望用户,对属于同一个码元的所有状态估计求和,接着进行最大比合并再判决。最后对两种信道模型进行算法仿真,分析其收敛性和抗“远-近”效应的性能。结果表明本文给出的算法收敛速度快,并且能有效地抑制“远-近”效应。     

具有扩散的自助模型的有限差分解(英)

研究具有扩散的自助模型的有限差分解.首先建立一个单调迭代格式用于求解有限差分方程组;然后讨论非负解的存在唯一性,对不同的参数,证明方程组有四种不同类型的非负解,且这些非负解可以通过选择合适的初始迭代由迭代格式计算而得到;最后给出一些数值结果.     

页岩结构完整性评价的热-流体-变形耦合理论与方法

该文应用连续介质力学理论建立了与蒸汽注入过程相关的热-流-变形耦合问题的基本数学模型;应用全隐式顺序Galerkin有限元数值解方案,对注蒸汽井的热-流体-变形耦合过程进行了数值模拟。结果表明,由于低渗透页岩地层流体高温膨胀导致的超高孔隙压力,有可能产生拉张应力,严重时会导致地层破裂。     

动态贝叶斯网精确推理中联合树算法的改进

基于动态贝叶斯网络处理动态不确定性问题的过程中推理是非常重要的,而推理算法的优劣决定推理的执行效率;文章在分析联合树性质的基础上提出一种较简单的3/2片联合树算法,该算法不需要限制消去顺序且只作一次扩展;讨论了算法的复杂度,并作了试验比较。     

计算机集成质量系统模型与实施方案的研究

文章对CIQS的模型进行深入研究,在介绍其结构模型和立体模型的基础上,提出一种面向产品信息流的车间级集成质量系统模型,对该模型及其实施方案的相关问题,包括基于PDM平台的集成方案和车间级集成质量系统的信息流表示以及系统的功能与结构进行了深入讨论。     

填埋场次压缩沉降的室内复合模型研究

从有限应变理论假设出发,在Kelvin模型的基础上推导出填埋场室内应力压缩模型.将该模型与简化的生物降解模型相结合可得到填埋场室内次压缩沉降模拟试验的复合模型.该复合模型既考虑了应力沉降的机理,又考虑了有机质降解产生沉降的机理,在考虑合适参数的条件下,计算值与实测值较为符合,可以为填埋场次沉降计算提供依据.     

SCE-UA算法在TOPMODEL参数优化中的应用

以江西修水万家埠流域为例,用SCE-UA算法对TOPMODEL参数进行了优化,并对优化结果进行了检验.结果表明:SCE-UA算法不仅可以用于概念性水文模型和分布式水文模型,还可以用于半分布式水文模型———TOPMODEL;TOPMODEL参数上下边界需根据参数的物理意义和研究流域特性来确定;在SCE-UA算法中,目标函数的建立对于参数优化具有重要作用,在次洪模拟时,目标函数应突出高水过程和洪峰对模拟效果的影响;SCE-UA算法的绝大部分参数取值都可以采用已有研究成果的默认值,只有复合型个数p需要根据具体问题确定.     

横流条件下垂直动量射流数值模拟

运用标准k-ε紊流模型和易实现k-ε紊流模型对横向流动条件下垂直动量射流的混合特性进行数值模拟.计算结果表明,2个模型均较好地复演了横向流动条件下垂直动量射流的传播和混合过程.在时均特性方面,2个模型的模拟结果相近,计算结果与前人的试验结果吻合较好.在紊动特性方面,计算的紊动强度分布趋势与试验结果吻合较好,且易实现k-ε紊流模型的模拟结果要优于标准k-ε紊流模型,但2个模型都不足以从定量上描述横向射流的紊动特性.     

1Cr18Ni9Ti不锈钢薄板等离子电弧加热弯曲成形的温度场

为获得等离子电弧加热工艺参数和薄板几何尺寸对薄板温度场分布的影响规律,应用有限元方法对1Cr18Ni9Ti不锈钢薄板等离子电弧加热弯曲成形的三维瞬态温度场进行了数值模拟,分析了等离子电弧功率、扫描速度、薄板厚度以及冷却条件等对等离子电弧成形温度场的影响特性.结果表明:1Cr18Ni9Ti不锈钢薄板的弯曲角度随着等离子电弧功率的增加而增加,最佳扫描速度下薄板厚度方向温度梯度达到最大.改变温度梯度可以达到控制变形的目的.