在PMC模型下单向k元n立方体的诊断度

图的连通度和诊断度是与互连网络的可靠性密切相关的两个参数,而[g]好邻连通度和[g]好邻诊断度是比连通度和诊断度更精确的指标。[k]元[n]立方体是多处理机系统的最常用网络之一,而单向[k]元[n]立方体是指具有单向边的[k]元[n]立方体。证明了当[k≥3,n≥3]时,单向[k]元[n]立方体在PMC模型下的[1]好邻连通度是[k(n-1)],诊断度是[n]且[1]好邻诊断度是[kn-1]。     

满足p次扩散准则的弹性函数的全局雪崩特征*

研究了相关免疫布尔函数和弹性布尔函数的平方和指标和绝对值指标,得到了满足p次扩散准则、次数为d的弹性布尔函数的绝对值指标的一个新的下界．同时,利用最大的Walsh谱值得到了此类函数的非零自相关函数数目的一个下界．     

VINCASim:一种网格工作流可靠性仿真工具

网格工作流作为综合利用网格资源求解问题的"编程"技术已得到广泛应用,其可靠性保障研究得到越来越多的关注.然而,面对网格环境固有的复杂性和不确定性,如何时可靠性保障方法有效、方便地进行评测,是一个有待深入探索的挑战性问题.以VINCA网格工作流为参考原型,对影响其可靠性的因素进行了系统的分析,抽象出了网格工作流系统组件模型和可靠性属性模型,并基于GridSim实现了一个可配置、易扩展的网格工作流可靠性仿真工具包--VINCASim.此工具可以通过配置方便地模拟节点失效、工作流引擎失效、网络连接失效、流程执行异常等出错情形,提供扩展接口支持以编程的方式引入各种可靠性保障方法,为评测不同方法的有效性提供可控的、可重复的实验平台.通过场景示例说明了该工具的扩展性和易用性.     

一类弹性布尔函数的谱值分布

Sarka等人在文献[1]中给出了弹性布尔函数的一种构造方法,利用该方法可以构造出非线性度、弹性阶和代数次数等密码学性质均较理想的奇数元弹性布尔函数。对其构造得到的弹性布尔函数的谱值分布进行了研究,分析了由该方法所构造得到的5元1阶和7元1阶弹性布尔函数的谱值,给出了这两类弹性布尔函数的谱值分布情形,并给出了相应谱值点的计数结果。     

满足工作流执行时限的可抢占虚拟机实例配置和调度方法研究

随着云计算的迅速发展,将工作流部署到云计算平台已经成为了常见的选择。相比于传统的本地工作流,云工作流不仅要考虑计算时长等要求,还要考虑其产生的经济开销。而云计算服务商为了提高资源利用率,提供了可抢占虚拟机实例这种非常廉价但是不稳定的资源。针对工作流在云计算中的调度和执行问题,提出一种满足工作流执行时限的可抢占虚拟机实例配置和调度方法。该方法使用马尔科夫模型和动态规划方法,对可抢占虚拟机实例的价格进行预测,并得到成本最低的出价策略。同时,结合工作流的执行时限要求,在估计的出价策略下对工作流中使用的实例进行配置。实验结果显示,相比于全部使用按需付费虚拟机实例,该方法在满足工作流执行时限的前提下最高可以节省89.9%的计算成本。     

工作流管理系统异常处理的方法与层次

工作流技术在信息处理领域的应用越来越受到重视,但应用中环境和用户要求的不断发展和变化需要工作流管理系统具有灵活的处理能力,工作流系统的异常处理正是要解决这种不断要求的变化。文章介绍了工作流异常处理的应用范围,总结了不同的应用方法,从系统的角度提出了工作流未来的异常处理层次,并在研究可适应性工作流技术方面进行了探讨。     

基于正交完备U-系统的参数曲线图组表达

为了探索参数曲线图组的频谱性质,引进一类属于L2[0,1]的正交完备分片k次多项式系统（简称U-系统）.该系统下的U级数展开式具有良好的平方逼近及一致逼近性质,而且能用有限项U级数实现对分段k次多项式参数曲线图组的精确表达;基于U-系统理论,给出了用以计算给定几何图组U-谱的信息转换算法,该算法具有直观、简便、快速的特点.构建的数据处理平台可用于几何信息的分析与综合,并且能在信息安全（信息隐藏、数字水印）及模式识别等方面有实用价值;提供了用U-系统表达参数曲线图组的实验图例.     

双参数弹性地基上板的自由振动

建立了双参数弹性地基上的正交异性矩形薄板自由振动位移函数微分方程,并得到其一般解．这可用以精确地求解板在任意边界条件下的自由振动问题．以四边固定的正方形板为例进行了分析,计算过程简单,便于实际应用．亦适用于求解单参数弹性地基和各向同性板情形。     

k元n方体网络的子网络可靠性

并行计算机系统互连网络的拓扑性质对系统功能的实现起着重要的作用。为了衡量基于[k]元[n]方体网络构建的并行计算机系统的容错能力,研究了边故障模型下[k]元[n]方体网络中[k]元[(n-1)]方体子网络的可靠性。当[k(k≥3)]为奇数时,分别在固定划分模式和灵活划分模式下得出了[k]元[n]方体网络中不同数目的[k]元[(n-1)]方体子网络保持无故障状态的平均失效时间的计算公式,并通过仿真实验验证了理论结果的精确性。研究表明,当[k]为奇数的[k]元[n]方体网络中有边故障发生时,相比固定划分模式,在灵活划分模式下不同数目的[k]元[(n-1)]方体子网络保持无故障状态的平均失效时间更大。     

充满魅力的计算机艺术图

利用计算机自动生成一些漂亮的艺术图形,这是十分有趣的,也充满魅力。在计算机自动生成艺术图形的方法中,有一种是利用函数迭代的方法来生成。其迭代公式为:x=a[k]*x+b[k]*y+e[k],y=c[k]*x+d[k]*y+f[k]。其中k取1、2、…、n,每一个k对应的一组参数a[k]、b[k]、c[k]、d[k]、e[k]、f[k]代表一种迭代法则,共有n种法则。在实际中,n可取4(本程序如此),并预先给定每组参数。在迭代     

工作流系统异常处理框架的研究与实现

工作流管理系统负责业务过程的建模和执行,这些业务过程往往涉及到多个参与者,需要使用分布的资源,调用多个软件系统,而且时间跨度很长,因此在工作流执行时可能存在多种潜在的工作流异常.本文设计并实现了 WSEHF(Workflow System Exception Handling Framework) 核心系统模块的大部分功能.异常处理交由异常管理器集中控制,异常管理器在执行监控器、恢复管理器和人工处理器的协助下能够提供比较完善的可预测异常处理机制,并为处理不可预测异常提供了良好的支持.     

时域鲁棒设计的新方法——σ[P]和σ[V]·σ[V-1]的极小化

本文讨论在极点配置的约束下,使σ[P]和σ[V]·σ[V-1](条件数)极小化的问题,其 中P是(A+BF)'P+P(A+BF)=-21n的正定解,V是A+BF的特征向量矩阵.两 种指标都反映了系统鲁棒稳定的程度.通过定义一矩阵函数并引入新的自由变量U,可放松 极点配置的约束,并能系统的推导σ2[P]/U及(σ2[V]·σ2[V-1])/U,从而将鲁棒设计 转化为无约束的梯度法寻优,实例说明,本文设计方法的效果很好.     

基于k近邻变量贡献与重构理论的工业过程故障诊断

针对工业过程中发生故障时异常变量的精确识别以及如何准确建立"故障–征兆"表的问题,本文提出了一种基于k近邻(k–NN)变量贡献分析和数据重构的异常变量精确识别方法.首先,将k–NN算法中各个采样时刻的统计距离指标细化,分解为每个变量的贡献并对其进行详细分析,分别从单变量和多变量异常角度进行方法的可行性验证,确定过程故障时异常变量具有较大的贡献值;其次,建立正常数据中每个变量的贡献模型用于对故障样本中的异常变量进行"一次"识别;随后提出基于k–NN理论的数据重构算法,并从重构原理方面进行分析,验证该方法具有一定的有效性.对于故障样本,根据变量贡献分析方法求取每个变量对距离指标的贡献,"一次"识别出故障发生时所对应的异常变量或征兆;进而通过数据重构理论对故障样本中异常变量值进行重构、检测和"二次"识别,直至辨识出过程中发生异常的所有变量,并得到故障与变量之间的关系,即"故障–征兆"表.     

一种基于SOA和JBPM的工作流引擎模型

工作流技术是实现业务流程自动化的关键技术,但现有的工作流技术已不能满足目前分布式异构和松散耦合的企业信息资源需求。利用SOA技术,结合JBPM,提出了一种基于SOA和JBPM的工作流引擎模型,并对其流程控制与任务管理进行了分析,最后,基于SOAP、WSDL协议和JPDL实现了此工作流引擎,证明了其有效性。     

基于Petri网的工作流模型合理性验证

工作流管理系统具有实时性、同步和异步操作等特点,其建模方法是成功实施工作流管理的关键,而工作流模型应该完整地支持工作流定义的概念,正确、高效地反应企业的经营组织过程,为确保工作流的正确运行,必须对工作流模型的合理性进行分析和研究,因此工作流的模型分析和优化成为工作流研究的一个重点[7]。该文从各种研究资料出发,利用工作流模型的合理性定义,给出基于Petri网的工作流模型的验证步骤和方法。     

基于Spark的并行频繁模式挖掘算法

在大数据环境下Apriori频繁模式挖掘算法在数据处理过程具有预先设定最小阈值、时间复杂度高等缺陷, 为此采用多阶段挖掘策略实现并行化频繁模式挖掘算法PTFP-Apriori。首先将预处理数据以模式树的形式存储,通过最为频繁的[k]个模式得到最优阈值。然后根据该值删除预期不能成长为频繁的模式以降低计算规模,并利用弹性分布式数据集RDD完成统计项集支持度计数、候选项集生成的工作。实验分析表明相比于传统的频繁模式挖掘算法,该算法具有更高的效率以及可扩展性。     

一种基于UML的实时工作流建模方法研究

实时系统由于其业务对时间要求的特殊性,使得传统工作流技术难以满足其需求.在传统工作流的基础上,针对实时系统提出了实时工作流的概念,并建立了实时工作流元模型.与传统的工作流相比,主要对工作流的时间约束和异常处理进行了考虑.在活动上扩展了启动时间和执行时间,在工作流过程上扩展了执行时间,在并发活动上扩展了并发时间约束等,此外,元模型中还考虑了活动的超时异常以及应用程序和活动之间的执行关系.为了能够利用实时工作流元模型进行实时工作流建模,通过扩展UML定义了一种实时工作流描述语言,并分别从设计要求、定义技术和profile三个方面对实时工作流描述语言进行了阐述,给出了实时工作流的建模规则.最后结合船舶指控系统的具体实例,对建模方法进行了说明.     

基于优先级和任务共享的工作流负载平衡研究

为了适应电子商务中迅速变化的流程环境和系统负载,需要在多个工作流引擎中分配工作量,以保证工作流引擎在高负载条件下可以保持一个可接受的性能.基于中间件技术的工作流负载平衡子系统是提供高可信赖性和高伸缩性的一种有效方法,但目前还存在许多不足,如没有从优先级的角度来区分流程,没有精确定义系统的负载,分析了工作流的主要特点,设计了基于优先级队列的,实现任务共享的,自适应负载系统,并通过实验定义了一个综合考虑系统处理能力和工作流负载特点的因子,这种设计已经在中科院软件所软件工程中心研制的OncePI工作流系统中得到实现,并在实际运用中检验了其可用性.     

带有条件故障边的k元2方体的圈嵌入

[k]元[n]方体已经成为分布式储存并行系统最常用的网络拓扑结构。研究带有条件故障边的[k]元2方体的圈嵌入问题,证明了在[k≥4]为偶整数的[k]元2方体中,若其故障边数不超过3且每个顶点至少与两条非故障边相关联,那么该[k]元2方体存在长度在4到[k2]间的任意偶长的无故障圈。     

求解必经点k条最优路径问题的粒子群优化算法

提出了一种解决指定必经点[k]条最优路径问题的粒子群优化算法。算法以[k]条最优路径集合作为优化目标,将粒子种群划分为[k]个子种群,通过各子种群的局部搜索和子种群间的相互协作,使种群在搜索过程中易于找到[k]条最优路径。为了提高含有多必经节点的初始生成路径的多样性,设计了基于弹性拉伸原理的种群初始化方法。在随机生成的26个节点65条边,50个节点262条边和80个节点410条边的拓扑图中,分别选取不同的源节点和目的节点,以及必经节点对算法进行了测试。数值实验结果表明,提出的算法在求解网络规模比较大、必经点数比较多的无环[k]条最优路径问题中具有比较好的性能。