概率和噪声环境下基于主动探针的Internet服务故障管理

在基于主动探针的服务故障管理中,不确定性和噪声会对服务故障管理带来影响．为了降低这种影响,分析了Intemet服务故障管理中存在的问题,采用二分Bayes网络建模故障和探针之间的依赖联系,二元对称信道建模噪声,并提出了不确定和噪声环境下的主动探针故障管理方案．该方案由两阶段组成：故障监测和故障诊断．在故障监测阶段,提出了在保证一定监测质量的条件下选择最小代价探针子集的GAPSA算法．在故障诊断阶段,提出了根据前一阶段发现的症状选择更多探针来获取系统详细信息的FDPSA算法;针对故障自动修复机制导致的动态性,提出了基于故障持续时间统计的假设推理算法FIyrs．仿真结果证明了本文算法的有效性和效率．     

车联网环境下四驱混合动力汽车队列能量管理全局优化

为实现四驱混合动力汽车队列的能量管理全局优化,本文提出一种车联网环境下的分层能量管理控制方法,上层控制器基于交通信号灯正时,求解混合动力汽车的目标车速;基于模型预测,建立最优目标车速预测目标函数模型,下层控制器基于动态规划(dynamic programming,DP),进行四驱混合动力汽车能量管理全局优化,基于dSAPCE的仿真结果表明,本文提出的上层控制方法可以有效地避免四驱混合动力汽车红灯停车及发生碰撞;相比于Gipps跟车模型,下层控制器基于DP,ECMS和基于规则的时,采用本文提出的上层控制方法得到平均百公里油耗分别降低21.4%,21.5%和20.6%.此外,下层控制器基于DP时能够实现良好的车速跟随以及动力电池SOC均衡,且相对于ECMS和基于规则的控制方法,四驱混合动力汽车队列平均燃油经济性分别提高7.8%和15.9%.     

分布环境下容错组成员主动退出组行为的研究

主动复制技术是增强分布系统容错能力的有效方法之一, 它复制系统的关键部件构成容错组. 首先分析了组成员退出组行为的三种语义, 总结了组成员参与的组活动, 得出了组成员要安全退出组所需要满足的条件. 针对快速退出语义, 提出了解决方案, 详细讨论了非空协议和中继协议, 并给出了协议正确性和可终结性的理论证明. 该解决方案可作为构造实用、可操作的组管理模块的有用构件.     

物联网服务建模：一种基于环境建模的方法

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.     

移动计算环境下不确定性组合服务的事务建模与执行分析

移动计算环境中,服务面临资源受限与连接波动,同时存在越区切换和弱一致性需求等事务性挑战.为了确保移动环境下组合服务的事务有效性,本文以服务的不确定性和事务属性为基础,提出了一种基于Markov链的移动组合事务模型.首先通过形式化方法构建移动环境下原子服务模型和原子服务的事务机制,并基于状态概率实现了原子服务的2维不确定性表征,然后运用Markov链完成移动组合服务的模型表达,提出了该模型下的不确定性处理与事务方法,最后基于典型业务结构分析了移动组合事务的执行语义与实施.实验表明:该事务模型能有效描述移动环境下组合服务的事务需求,且服务不确定性的不同指标和各事务架构皆对组合事务成功率产生较大影响.     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

基于身份密码系统下Canetti-Krawczyk模型的安全扩展

Canetti-Krawczyk(CK)模型是分析密钥交换协议的一种形式化方法, 如果一个密钥交换协议用该模型证明是安全的, 则CK模型能够确保该协议具备许多安全属性. 但是我们发现在基于身份的密码系统下该模型不具有确保密钥生成中心(KGC)前向保密性的能力, 而对基于身份的密钥协商协议来说KGC前向保密性是一个重要的安全属性. 通过分析研究发现引起该缺陷的主要原因是CK模型没有充分考虑在基于身份的密码系统下攻击者的能力, 所以在该系统下通过对CK模型增添一个新的攻击能力: 攻陷KGC, 来对该模型进行了相应的扩展, 通过扩展该模型具有确保KGC前向保密性的能力.     

计算网格环境下基于多址协同的作业级任务调度算法

计算网格下多管理域机群互连为作业级任务协同调度创造了机遇，同时在协同性、异构适应性、网络适应性和算法可扩展性方面对传统的作业调度模型与算法提出了新的挑战．通过引入网格环境下作业级多址任务调度模型与性能模型，提出多址任务协同调度算法框架．以最优和贪心资源选择策略为核心，提出两种作业级多址协同调度算法．同Sabin与Yahyapour等人提出的单址与多址协同算法进行实验对比，验证了调度模型与算法的有效性与先进性．     

基于动态语义服务描述的服务匹配的研究

本文将动态描述逻辑与语义服务描述语言相结合,提出了一种动态语义描述方法来描述Web服务,并在经典服务匹配基础上进行改进,完善了服务匹配的类型,提高了Web服务的查全率与查准率。     

低维特征空间中基于旋转图像的三维环境模型配准方法

近年来,异类机器人之间(如飞行机器人和地面机器人)的协作成为机器人学研究发展的一个新的领域.异类机器人协作的难点之一是协作环境建模,而由于所获得的环境模型具有不同的观测视角和尺度,其环境建模中的模型配准是一个难点和关键.目前,能够适用于大视角差、大尺度差场景配准的方法并不多,基于旋转图像的配准方法被认为是一种可行方案,但其中存在的计算负担大和在野外环境中的鲁棒性差使得其也很难在实际系统中应用.基于此,面向三维点云环境模型,以旋转图像为基础,提出了一种新的基于低维特征空间的模型配准方法.首先,通过引入模型曲率、旋转图像熵值和激光反射强度3个特征构建了一个三维特征空间,得到候选对应点集合.然后,在候选对应点集合中利用旋转图像的方法查找正确的对应关系,实现模型配准.由于低维特征空间的引入,基于旋转图像特征的对应点搜索区域大大减小,因此算法计算效率得到了极大改善.同时由于引入的新特征与场景旋转图像特征的互补性,算法的鲁棒性和精确性也得到了提升.这些性能改进最后通过实验得到了验证.     

大规模定制环境下基于员工作业能力差异指数的标准时间研究

为了快速准确制定产品生产的标准时间,针对大规模定制环境下标准时间的不确定性,考虑个体作业能力差异,研究了员工作业能力与标准时间之间的关系。首先,通过分析影响员工作业能力的关键因素,构建员工作业能力评价指标体系,运用熵权法和群决策理论综合考虑各种因素,求解员工作业能力。其次,定义员工作业能力指数,运用Matlab曲线拟合确定员工作业能力和作业能力指数之间的函数关系,进而制定标准时间。最后,运用Z公司喷油泵装配线8个工位的标准时间制定为例,验证了该方法的可行性和有效性。     

分布式环境中服务组合的迭代选择算法

在面向服务的体系结构（service oriented architecture,SOA）中,服务组合是一种极有前景的创建新服务的方式．然而,服务组合技术尚有一些瓶颈在阻碍着其广泛运用．组合服务提供商面临的一个难题是如何跨越多个不同的自治网络和商业域选择一组服务实例来实现组合服务,并且向用户提供端到端的服务质量（quality of service,QoS）保障．文中提出一种迭代选择算法用于质量驱动的服务组合．该算法运行于一个P2P（peer-to-peer）的服务执行环境——分布式智能服务执行（distributed intelligent serviceexecution,DISE）环境．该迭代选择算法最显著的特点是既可以运行于中心式的QoS注册系统,也可以运行于分布式的QoS注册系统．在文中的QoS模型中,网络状态作为可选项在选择算法中考虑．由于该算法按照组合服务逻辑执行顺序迭代的选择服务,所以该算法可以在组合服务执行之前或者组合服务运行时执行,不需要作任何更改．在分布式服务执行环境上的一系列实验表明,文中提出的算法可以提供极好的选择结果,并且具有很好的性能．     

P2P环境下的基于多种用户共享行为的防污染方案

P2P环境下的文件污染问题威胁着系统的安全性和可用性,甚至可能导致系统消亡.当前的信誉机制和基于文件特征等防污染方案存在未考虑多种用户共享行为、难以获得大量原始数据和版本发布初期恶意欺骗等问题.本文首次发现用户共享习惯差异性、用户特别长时间保留个别文件等多种用户共享行为,并分析其对防污染方案的影响.提出了基于多种用户共享行为的防污染模型,减弱了多种用户共享行为干扰和版本发布初期恶意欺骗等问题.设计了结构化P2P网络下低开销的实现机制,自动收集大量用户共享文件信息,解决了难以获取大量原始数据的问题.文中还给出了系统参数配置方案.基于真实系统运行日志的模拟实验证明该方案能够准确、快速地区分出虚假文件,降低虚假文件下载次数,保证接近100%的真实文件下载比例,有效抵抗文件污染的攻击.     

基于Web服务的制造网格

文章首先介绍了网格的概念、分类及应用,然后在Web Services技术、OGSA的体系结构等已有研究的基础上,分析了制造网格的概念和特征,研究了制造网格孕育和生长的特点,并提出了制造网格的生长模型和制造网格母体系统的构建内容和方法。     

Black-Scholes模型和GARCH模型下的隐含波动率研究

在标的股票支付红利的条件下,分别讨论Black-Scholes模型与GARCH模型中隐含波动率的性质。在两个模型中使用了泰勒逼近,得到隐含波动率满足的二次方程,并讨论系数对隐含波动率的影响。然后,通过数值算例研究不同参数对应的隐含波动率的性态,同时分析了隐含波动率随着参数的变化趋势。     

多场耦合下基于传递熵的电路板级焊点疲劳寿命模型

针对实际服役条件下电路板级焊点失效引起的电子设备故障问题,基于单一时间因子传递熵方法,建立了振动与温度耦合条件下的焊点非经验疲劳寿命模型.首先,通过分析焊点裂纹萌生前后的能量变化,构建了能够表征焊点结构损伤的平均能量测度指标.其次,根据该指标在焊点微裂纹出现前呈现出的单调性特点,建立了用以评估焊点疲劳寿命的公式.最后,设计振动与温度耦合条件下的焊点加速寿命试验,基于实时获取的焊点结构动态响应信号,验证该模型的准确性与适用性.试验结果显示,该模型能够有效识别焊点的损伤状态,疲劳寿命预测结果误差在1 5%以内.     

基于对象的协同计算模型

提出了一个支持ＣＳＣＷ系统构造的协同计算模型，它将一个协同系统分为若干层次，每一层由相关构件对象组成，通过对象链接机制，连接多用户的相关对象，实现了应用独立的多层次协同。模型使系统获得了细粒度的协同感知和结构化的协同关系，提高了协同效率，方便了协同系统的开发。     

基于场景模型的嵌入式软件测试

结合嵌入式软件的实时性、与硬件紧密结合等特点,采用UML对系统建模,引入场景技术描述系统预期的执行流程,提出了基于二叉树场景模型的测试用例生成方法。改善了人工设计测试用例时易发生的纰漏,如遗漏或冗余的测试用例、工作量大、效率低等问题,缩短了软件的开发周期。     

基于激光扫描的细观混凝土模型

将激光扫描技术与发展的状态点阵骨料投放算法相结合,实现了三维、二维细观混凝土几何建模.三维模型的构建通过激光扫描仪对骨料进行信息采集进而构建骨料库,结合骨料投放算法,构建出反映真实骨料形态、分布和级配等特征的三维混凝土细观模型.二维模型的构建仅需对三维模型进行剖切.激光扫描技术能给出骨料的空间真实形态,骨料库的构建保证了骨料的随机多样性,骨料投放算法则将整个建模过程程序化.为了验证该方法,选取典型切面构造二维模型,结合室内实验,利用内聚力模型研究了骨料空间分布对混凝土单轴压缩破坏的影响规律.     

电子政务环境下党政OA的信息网络建设

本文首先讨论了电子政务环境下党政OA系统的体系结构。在此基础上，文章分析了电子政务环境下党政OA的系统组成及其构建思路和方法。