支持跨区域协同的政务审批系统研究 被引量：4

1

作者 刘星沙 马华 +1 位作者 夏明伟 罗昔军 《计算机工程与设计》 CSCD 北大核心 2007年第16期3981-3984,共4页

当前电子政务审批系统的跨区域协同需求日益突出,从而迫切需要解决电子政务服务的效率、共享和互操作等问题。介绍了Web服务及工作流技术的特点,分析了基于面向服务架构的政务审批系统的协作关系,基于以服务执行引擎为核心的面向服务架... 当前电子政务审批系统的跨区域协同需求日益突出,从而迫切需要解决电子政务服务的效率、共享和互操作等问题。介绍了Web服务及工作流技术的特点,分析了基于面向服务架构的政务审批系统的协作关系,基于以服务执行引擎为核心的面向服务架构参考模型,提出了一种基于语义Web服务和工作流技术的政务审批系统框架,并给出了基于开源项目的系统实现。 展开更多

关键词 工作流 WEB服务 语义WEB 电子政务 协同系统

在线阅读 下载PDF 职称材料

流媒体服务缓存代理系统的设计及RTSP协议实现 被引量：4

2

作者 陈振 贺建军 《科学技术与工程》 2006年第19期3216-3218,3226,共4页

网络边沿缓存能够加速流媒体的传输,它是一种提高Internet上流媒体服务性能的技术。为了减少流媒体服务启动延时与抖动,降低流媒体服务器服务时的资源(CPU的利用与网络带宽)消耗,提出了基于客户端缓存代理系统解决方案,且对实现所提出... 网络边沿缓存能够加速流媒体的传输,它是一种提高Internet上流媒体服务性能的技术。为了减少流媒体服务启动延时与抖动,降低流媒体服务器服务时的资源(CPU的利用与网络带宽)消耗,提出了基于客户端缓存代理系统解决方案,且对实现所提出系统的RTSP协议。 展开更多

关键词 流媒体服务 缓存代理 RTSP协议

在线阅读 下载PDF 职称材料

基于UML状态机与B方法的高可信嵌入式软件开发 被引量：6

3

作者 肖健宇 张德运 +1 位作者 陈海诠 董皓 《计算机工程》 EI CAS CSCD 北大核心 2006年第8期64-66,共3页

提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模... 提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助B工具自动生成C代码。实例分析表明,这套方法可以提高高可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。 展开更多

关键词 B方法 形式化方法 UML状态机 嵌入式软件 高可信软件工程

在线阅读 下载PDF 职称材料

支持服务协作的工作流元模型和建模语言 被引量：8

4

作者 马华 张红宇 李建华 《计算机应用》 CSCD 北大核心 2007年第2期409-412,共4页

当前支持Web服务的建模语言存在着复杂度高、互操作困难和缺乏对服务协作关系的有效支持等不足。结合面向服务工作流的服务协作需求,通过扩展工作流管理联盟的相关理论,定义了面向服务工作流的过程定义元模型,并建立了其形式化模型。通... 当前支持Web服务的建模语言存在着复杂度高、互操作困难和缺乏对服务协作关系的有效支持等不足。结合面向服务工作流的服务协作需求,通过扩展工作流管理联盟的相关理论,定义了面向服务工作流的过程定义元模型,并建立了其形式化模型。通过扩展XPDL定义了一种互操作性好、支持服务协作的面向服务工作流建模语言(SoXPDL)。 展开更多

关键词 工作流 服务协作 元模型 建模语言

在线阅读 下载PDF 职称材料

一种结构测试数据自动生成的框架 被引量：3

5

作者 陈继锋 沈钧毅 +1 位作者 王志海 王欣峻 《计算机工程》 CAS CSCD 北大核心 2007年第8期6-9,共4页

针对结构测试中控制流和数据流覆盖测试数据的生成都可以归结为面向路径的测试数据生成的问题,提出了一个通用的基于控制流和数据流的结构测试数据自动生成的框架。该框架根据控制流和数据流测试中所采用的覆盖标准优化选取测试路径,并... 针对结构测试中控制流和数据流覆盖测试数据的生成都可以归结为面向路径的测试数据生成的问题,提出了一个通用的基于控制流和数据流的结构测试数据自动生成的框架。该框架根据控制流和数据流测试中所采用的覆盖标准优化选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。以基于路径覆盖、分支覆盖和数据流覆盖测试数据自动生成这3种算法为核心,开发了一个测试数据自动生成的框架原型。实验结果表明该框架是可行的。 展开更多

关键词 结构测试 控制流 数据流 测试数据自动生成

在线阅读 下载PDF 职称材料

用于克服程序状态空间爆炸的条件化预处理 被引量：1

6

作者 肖健宇 张德运 +1 位作者 陈海诠 董皓 《计算机工程》 EI CAS CSCD 北大核心 2006年第19期51-53,共3页

提出用条件化技术对程序进行预处理的方案,以克服软件模型检测中状态空间爆炸问题。以程序性质公式中蕴涵式的前件作为约束条件,通过对程序符号化执行后各控制点的路径条件进行逻辑推理,删除那些对性质检测无关的语句。理论分析和实验... 提出用条件化技术对程序进行预处理的方案,以克服软件模型检测中状态空间爆炸问题。以程序性质公式中蕴涵式的前件作为约束条件,通过对程序符号化执行后各控制点的路径条件进行逻辑推理,删除那些对性质检测无关的语句。理论分析和实验结果表明,条件化可以有效缩减程序状态空间,并且满足软件模型检测对状态缩减的安全性要求。 展开更多

关键词 软件模型检测 状态 迁移模型 状态爆炸 程序条件化 自动定理证明

在线阅读 下载PDF 职称材料

量子粒子群算法求解QoS组播路由 被引量：1

7

作者 马翔 《计算机工程与应用》 CSCD 北大核心 2009年第16期111-113,145,共4页

QoS组播路由问题是一个非线性的组合优化问题,已证明了该问题是NP完全问题。将量子粒子群算法用于此类问题的求解。并在此基础上对基本的量子粒子群算法进行改进,针对群体智能和约束优化问题的特点,提出了一种在每次迭代中有选择地保留... QoS组播路由问题是一个非线性的组合优化问题,已证明了该问题是NP完全问题。将量子粒子群算法用于此类问题的求解。并在此基础上对基本的量子粒子群算法进行改进,针对群体智能和约束优化问题的特点,提出了一种在每次迭代中有选择地保留一定数量不可行解的方法,并把它结合到量子粒子群优化(QDPSO)算法中。该算法可以利用保留下来的不可行解来帮助搜索靠近边界的最优解,同时又可以避免罚因子的选择问题,使之更适合于QoS组播路由的求解。仿真实验结果显示,该算法能快速搜索并收敛到全局(近似)最优解,且随着网络规模的增大算法保持了良好的特性,在寻优速度上与解的质量上优于其他粒子群算法与基本的量子粒子群算法。 展开更多

关键词 QOS组播路由 粒子群算法 量子粒子群算法 路由选择

在线阅读 下载PDF 职称材料

一种支持流程服务集成及协作的工作流描述语言PS-XPDL

8

作者 许甸 李建华 马华 《计算机应用》 CSCD 北大核心 2007年第4期863-867,共5页

在面向服务体系结构和Web服务技术快速发展的条件下,对封装成服务的业务过程集成和协作的支持成为工作流描述语言的发展趋势。通过对流程协作的层次模型和场景模型的分析,提出了一种基于WfMC工作流元模型的扩展元模型,并根据该元模型对X... 在面向服务体系结构和Web服务技术快速发展的条件下,对封装成服务的业务过程集成和协作的支持成为工作流描述语言的发展趋势。通过对流程协作的层次模型和场景模型的分析,提出了一种基于WfMC工作流元模型的扩展元模型,并根据该元模型对XPDL进行了相关元素扩展,得到一种支持流程集成和协作的工作流语言PS-XPDL。该语言对流程服务的协作关系及数据同步具有完备、准确的表达,同时其基于执行支持层标准协议的扩展也使得流程服务的集成及协作易于实现。 展开更多

关键词 工作流 描述语言 WEB服务 协作

在线阅读 下载PDF 职称材料

形式化语言B的面向方面编程扩充

9

作者 肖健宇 张德运 《计算机工程》 EI CAS CSCD 北大核心 2006年第3期49-51,共3页

借助传统编程语言的面向方面编程扩充――AspectJ/AspectC++的技术经验,提出形式化语言B的AOP扩充机制AspectB。分析了B语言针对AOP扩充在连接点范围及正确性验证方面的制约,提出连接点的范围必须限制在IMPLEMENTATION组件中,方面代码... 借助传统编程语言的面向方面编程扩充――AspectJ/AspectC++的技术经验,提出形式化语言B的AOP扩充机制AspectB。分析了B语言针对AOP扩充在连接点范围及正确性验证方面的制约,提出连接点的范围必须限制在IMPLEMENTATION组件中,方面代码的正确性验证必须考虑连接点上下文所涉及的不变性条件。以一个简单图形编辑器为例,在B语言环境中描述面向方面编程的核心概念——连接点、连接点集合、建议代码、方面。 展开更多

关键词 面向方面编程 B语言 连接点 连接点集合 建议代码 方面

在线阅读 下载PDF 职称材料

Toeplitz含噪语音端点鲁棒检测

10

作者 王景芳 宁矿凤 《计算机工程与应用》 CSCD 2013年第18期217-222,共6页

针对在低信噪比条件下语音端点检测问题,提出了一种基于Toeplitz最大特征值的去噪语音端点检测方法。该方法用语带频谱自相关序列构造一个对称Toeplitz矩阵,利用该矩阵最大特征值的信息量对语音信号进行双门限端点检测。新算法经过实验... 针对在低信噪比条件下语音端点检测问题,提出了一种基于Toeplitz最大特征值的去噪语音端点检测方法。该方法用语带频谱自相关序列构造一个对称Toeplitz矩阵,利用该矩阵最大特征值的信息量对语音信号进行双门限端点检测。新算法经过实验,能够有效地区分语音和噪声,在不同的低噪声环境条件下具有良好的鲁棒性。与新近的信号递归度分析方法比较,准确率较高。该算法计算代价小,实时性好,简洁易实现。 展开更多

关键词 语音端点检测 语带频谱 最大特征值 鲁棒性

在线阅读 下载PDF 职称材料

误判概率及其在可靠性分析中的应用 被引量：2

11

作者 陈继锋 胡清平 《计量学报》 CSCD 北大核心 2009年第4期381-384,共4页

通过对产品测量误差与测量值之间关系的分析,提出了一种降低产品误判概率的理论和方法.该方法通过求出在稳定的工艺过程与测量状态下超差品测量值与合格品测量值的分布规律,建立了误收率、误废率的计算数学模型,并由此获得了误判概率函... 通过对产品测量误差与测量值之间关系的分析,提出了一种降低产品误判概率的理论和方法.该方法通过求出在稳定的工艺过程与测量状态下超差品测量值与合格品测量值的分布规律,建立了误收率、误废率的计算数学模型,并由此获得了误判概率函数表.利用误判概率函数表,即可实现降低产品的误判概率.最后通过实例,应用误判概率函数表对产品生产的可靠可行性进行了详细的分析. 展开更多

关键词 计量学 误判概率 测量尺寸 分布律

在线阅读 下载PDF 职称材料

基于Web的生产者-消费者同步问题的实现技术 被引量：3

12

作者 彭民德 《计算机工程与应用》 CSCD 北大核心 2006年第22期50-51,58,共3页

论文介绍了用Java语言实现P、V操作互斥原语的一种方法,并借此写了多个生产者和多个消费者的同步算法,以直观的图示方式演示了生产者和消费者的同步动作。

关键词 生产者 消费者 进程 线程 同步 互斥

在线阅读 下载PDF 职称材料