-
36611.虚拟机确定性执行重放的模型分析和实现方法
[信息传输、软件和信息技术服务业] [2014-07-15]
进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于Xen的虚拟机重放系统CASMotion.CASMotion讨论了Xen DomU中不确定事件的种类,给出各类事件的重放方法以及时间点的匹配算法.CASMotion成功实现了不确定事件的准确重放,实验结果表明其具有较低的性能损失.
关键词：执行重放；不确定事件；模型分析；虚拟机；Xen
-
36612.死路径语义下BPEL路径敏感性缺陷分析
[信息传输、软件和信息技术服务业] [2014-07-15]
软件缺陷是衡量软件测试充分性的一项重要指标,为了提高基于BPEL的组合Web服务流程的可靠性和健壮性提出了一种死路径语义下路径敏感的缺陷检测方法.死路径是BPEL提供的特殊语义,不具有任何执行信息,但是可以连接两个可执行路径片段.为了避免死路径对检测精度的影响,将死路径和路径条件有机地结合起来,采用了变量的抽象取值范围来表示流程的执行状态,即属性状态条件.通过状态条件中变量抽象取值范围为空来识别不可达路径及死路径,并在汇合节点进行了属性状态条件的合并.采用一个既与死路径相关又与执行路径相关的未初始化变量的缺陷检测贯穿整个分析与验证过程,进而说明了该方法的有效性.
关键词：BPEL；死路径清除；路径敏感分析；数据流分析；缺陷检测
-
36613.融合关系与内容分析的社会标签推荐
[信息传输、软件和信息技术服务业] [2014-07-15]
标签是Web 2.0时代信息分类与索引的重要方式.为解决标签系统所面临的不一致性、冗余性以及完备性等问题,标签推荐通过提供备选标签的方法来提高标签的质量.为了进一步提升标签推荐的质量,提出了一种基于标签系统中对象间关系与资源内容融合分析的标签推荐方法,给出了基于LDA(latent Dirichlet allocation)的融合表示对象间关系与资源内容的标签系统生成模型TSM/Forc,提出了一种基于概率的标签推荐方法,并给出了基于吉布斯(Gibbs)抽样的参数估计方法.实验结果表明,该方法可以提供比当前主流与最新方法更加准确的推荐结果.
关键词：Web2.0；社会标签；标签推荐；融合方法；LDA(latentDirichletallocation)
-
36614.基于隐式分段自回归模型的图像插值算法
[信息传输、软件和信息技术服务业] [2014-07-15]
利用自然图像信号的分段统计稳态性可以有效地对图像信号进行建模.其分段统计稳态区域往往具有非规则的形态.采用规则窗口对图像统计稳态区域内的统计量进行估计存在较大的误差.提出一种基于概率描述的隐式分段自回归模型来刻画分段统计稳态区域形态,并基于该模型提出了一种改进的图像插值算法.实验结果表明,该方法可以较好地改善插值图像中在边缘处的模糊、振铃和噪声等瑕疵现象.
关键词：图像插值；自回归模型；分段统计稳态；加权最小二乘法
-
36615.稀疏图像内容情况下显微镜自动聚焦算法
[信息传输、软件和信息技术服务业] [2014-07-15]
自动聚焦是全自动显微成像中的关键技术.为了解决在极低内容密度(稀疏内容)情况下传统聚焦方法无法成功找到焦平面的问题提出一种基于图像内容重要度加权的聚焦函数增强算法.该算法利用聚焦过程中当前图像和参考图像中对应像素沿光轴方向的梯度变化规律对像素进行分类,并根据不同像素对图像清晰程度判决的贡献大小自适应调整当前像素的重要度因子,通过这种方式增强了图像内容像素的计算权重并有效抑制了镜头杂质及背景噪声,极大地增强了聚焦曲线的陡峭度在此基础上,采用图像分块的方式来克服显微镜Z轴机械系统误差对算法性能的影响并降低算法复杂度.实验结果表明,在图像内容非常稀疏的情况下,该算法的聚焦成功率高达90％,而传统聚焦算法的成功率仅为24％.
关键词：自动聚焦；显微镜；聚焦函数；图像内容密度；内容重要度因子
-
36616.基于良基语义的安全策略表达与验证方法
[信息传输、软件和信息技术服务业] [2014-07-15]
提出了一种基于一阶逻辑的安全策略管理框架.首先,研究安全策略的语法和语义,给出将安全策略转换成扩展型逻辑程序的算法,进而构造出安全策略基本查询算法；其次,给出将安全策略复杂查询转换成基本查询的算法,进而构造出安全策略验证算法.在良基语义下,上述算法是可终止的、可靠的和完备的,且计算复杂度都是多项式级的.该框架可以在统一的良基语义下实现安全策略表达、语义查询和验证,保证安全策略验证的有效性.此外,该框架不仅兼容现有主流的安全策略语言,还能够管理具有非单调和递归等高级特性的安全策略.
关键词：安全策略；安全管理；良基语义；策略验证；逻辑编程
-
36617.一种给定脆弱性环境下的安全措施效用评估模型
[信息传输、软件和信息技术服务业] [2014-07-15]
评估信息系统安全措施效用是改进系统信息安全绩效的一条重要途径.传统方法在评估安全措施效用时并没有考虑业务数据流、攻击流和安全措施要素之间的相互作用和影响,无法保证评估过程和结果的有效性.提出了一种给定脆弱性环境下的信息系统安全措施效用评估方法,应用颜色Petri网为系统业务数据流、攻击流和安全措施要素进行统一建模.通过设计节点间脆弱性利用图生成算法和改进的Dijkstra算法识别所有可能破坏信息系统安全属性的最短攻击路径,使用层次评价模型评估系统安全措施的效用.给出了一种基于多属性决策的系统最优信息安全效用提升方案选择算法.改善评估过程对人员主观经验的依赖问题,有助于保证评估结果的一致性和可追溯性.以一个具体的Web业务系统为例进行实验,验证了所提出的模型和方法的正确性和有效性.
关键词：信息安全措施；效用评估；颜色Petri网；最短攻击路径；多属性决策
-
36618.异步多信道无线传感器网络MAC协议
[信息传输、软件和信息技术服务业] [2014-07-15]
针对无线传感器网络中控制信道饱和问题以及三重隐终端问题,提出了一种异步多信道MAC协议——RIM(receiver-initiated MAC).RIM利用接收端开始的传输机制有效地解决了控制信道饱和问题,同时采用了基于概率的随机信道选择机制避免了三重隐终端问题.而且,RIM支持一种简单且可靠的异步广播机制.通过基于马尔可夫链的理论分析,得到了RIM中节点的最优占空比.为验证RIM的实际性能,进行了模拟和真实实验.实验结果表明,与其他多信道MAC协议相比,随着信道数及网络负载的增加,RIM增加了网络吞吐量,降低了传输所消耗的能量,同时也提高了广播的可靠性,达到了能量有效的目的.
关键词：无线传感器网络；多信道MAC协议；多跳隐终端；多信道隐终端；睡眠隐终端；控制信道饱和
-
36619.跨组织多业务事务建模与验证方法
[信息传输、软件和信息技术服务业] [2014-07-15]
面向服务的事务处理是保障业务交互和协作正确性的关键技术.针对跨组织多业务流程,提供了一种支持多业务事务建模与验证的方法.在建模方法上,对Pi-演算扩展了事务语义,将进程间的动作交互与跨组织膜活动相关联来刻画多业务事务协调行为.在验证过程中,基于等价自动机转换思路集成现有模型检验技术,验证多业务事务是否满足人们需要的各种性质.实验结果表明,该建模与验证方法能够有效地保障多业务流程在设计与实现过程中的正确性.
关键词：跨组织；业务流程；事务；Pi-演算；验证
-
36620.一类两阶段杂交流水作业的近似算法
[信息传输、软件和信息技术服务业] [2014-07-15]
讨论了一类两台机流水作业要求最后完工工件完工时间最早的排序问题.问题中每个工件包含两个加工任务:第1个任务可以在任何一台机器上加工,第2个任务只能在第1个任务完成后在第2台机器上加工.如果要求在加工同一个工件的两个任务时,两个任务之间不能有停顿,则称其为不可等待的模型,记作NSHFS.如果第2个任务可以在第1个任务完成后的任意时间加工,则称其为允许等待的模型,记作SHFS.对于SHFS模型,在魏麒和何勇工作的基础上给出了一种改进的最坏情况界为8/5的多项式时间近似算法.对于NSHFS模型,首先证明它是NP-难的,并且给出了一种最坏情况界为5/3的多项式时间近似算法.
关键词：流水作业；计算复杂性；近似算法；最坏情况界；最后完工工件完工时间
027-87841330