Fuzzy度量空间上映射的又一个不动点定理

继文献〔1〕之后证明了Fuzzy度量空间上映射的又一个不动点定理，使文献〔2〕的§1（3，4）的定理成为本文的特例。     

基于贝叶斯的软件错误定位方法

为提高基于程序切片和覆盖信息的传统错误定位技术的效率,提出一种基于程序动态切片和贝叶斯相结合的错误定位方法。针对程序执行轨迹计算动态切片,减少搜索空间;在切片后覆盖信息的基础上,利用贝叶斯公式计算相关语句的可疑度;根据语句可疑度降序排列语句,依次检查直到找出真正的错误语句。实验结果表明,该方法能够在一定程度上提高软件错误定位的效率与精度。     

分布式非线性控制的回路小增益方法

近年来,分布式控制在控制及相关学科引起了广泛的兴趣.复杂的包含不确定性的非线性动力学在控制系统中普遍存在,而针对这种系统的分布式控制研究尚处于起步阶段.其中一个关键问题就是由分布式控制系统中信息交换约束与复杂非线性动力学的并存所导致的.近期相关研究表明,基于回路小增益定理的控制设计方法能够较有效地解决这类问题.本文重点回顾分布式控制回路小增益方法的近期主要结果,给出了一种分布式非线性控制器的系统化设计方法,并在此基础上指出若干未来研究方向.     

塔板结构参数对负荷性能曲线的影响

通过对板式塔流体力学性能的分析，找出了板式塔塔板结构参数对负荷性能图中负荷性能曲线的影响关系，可用于指导板式塔的优化设计和改造。     

思维进化算法的转移概率分析及几乎处处收敛性证明

思维进化算法已有的收敛性分析均是在依概率收敛意义下考虑的,而几乎处处收敛强于依概率收敛。在详细分析思维进化算法趋同算子和异化算子转移概率的基础上,利用种群最大适应度值函数描述思维进化算法的演化过程,将最大适应度值函数的进化过程转化为下鞅数列,并根据数学期望的性质和最大适应度值函数的特点,利用下鞅收敛定理严格证明了思维进化算法的几乎处处收敛性。     

一种关于目标罚参数的精确罚函数法

罚函数法是一种将约束优化问题转化为无约束问题的重要方法.对于一般的约束优化问题,通过加入新参数,给出了一种改进的精确罚函数和这种罚函数的精确罚定理证明,提出了求解这种罚函数的算法.实验表明该算法是有效的.     

基于多值属性分量的XACML策略匹配算法

针对多值属性分量的XACML策略和策略请求之间的匹配需求,分析多值属性策略匹配中策略规则与请求匹配时两者的对应属性关系,依据属性之间的包含关系和权限蕴含关系,给出3个关于策略匹配的定理并加以证明。根据策略匹配的定理,提出多值属性匹配算法。最后进行实验验证,结果表明该算法能够提高多值属性分量策略的匹配效率。     

中国与日本无碱玻璃球物化性能比较分析

通过二种日本无碱(无镁、低镁)玻璃球和我国无碱(有镁)玻璃球进行了物化性能、工艺性能的测定和分析讨论,说明无镁无碱玻璃球的优越性.它虽然含B2O3比有镁无碱玻璃球的少,但能达到同样的粘度和流量的效果.由于各国的国情不同,采用的玻璃成份也不尽相同.我国有丰富而廉价的硼镁石,因此采用了有镁的无碱玻璃成份.     

WSNs中可保护数据完整性和隐私的数据融合算法

提出一种可进行数据完整性和隐私保护的无线传感器网络安全数据融合算法IPPDA。通过在感知数据中附加一组同余数, 使汇聚节点能通过中国剩余定理进行数据完整性检测; 以时间和密钥为参数计算基于杂凑函数的消息验证码, 保证数据的新鲜性; 利用同态加密算法对数据进行隐私保护。仿真结果表明, IPPDA可以有效保护融合数据的隐私性、完整性和新鲜性, 能花费比iCPDA和iPDA算法更少的数据通信量和计算量, 得到更加精确的数据融合结果。     

一类三点边值问题单调递增正解的存在性

考察了一类非线性常微分方程的三点边值问题.通过考察非线性项在有界集上的性质,运用不动点指数定理及格林函数的性质,获得了其单调递增正解存在性的新结果,推广和改进了以前文献的相关结论.