基于时间工作流网的智能交通系统建模与分析 被引量：3

1

作者 林琳 郝东 蒋昌俊 《计算机工程与应用》 CSCD 北大核心 2004年第28期198-201,共4页

智能交通运输系统是目前世界各国交通运输领域竞相研究和开发的热点,但用工作流分析智能交通系统的研究尚不多见。文章在工作流网中加入时间参数,提出了一种工作流建模工具:时间工作流网,并用时间工作流网建立智能交通系统的工作流模型... 智能交通运输系统是目前世界各国交通运输领域竞相研究和开发的热点,但用工作流分析智能交通系统的研究尚不多见。文章在工作流网中加入时间参数,提出了一种工作流建模工具:时间工作流网,并用时间工作流网建立智能交通系统的工作流模型。最后对智能交通系统模型的时间性能进行分析。 展开更多

关键词 智能交通系统 时间工作流网 工作流模型

在线阅读 下载PDF 职称材料

基于RenderMan渲染平台的毛发系统的改进 被引量：2

2

作者 徐鸿 陈福民 《计算机应用与软件》 CSCD 北大核心 2004年第11期28-29,40,共3页

RenderMan是Pixar公司的专业渲染软件 ,其接口RI在三维影视制作领域已经成为工业标准 ,而且它是进行多机并行渲染的最佳解决方案。RI几乎在所有三维模型方面都有支持 ,但是在毛发系统方面有一些缺陷。本文就这一方面进行了研究 ,并作出... RenderMan是Pixar公司的专业渲染软件 ,其接口RI在三维影视制作领域已经成为工业标准 ,而且它是进行多机并行渲染的最佳解决方案。RI几乎在所有三维模型方面都有支持 ,但是在毛发系统方面有一些缺陷。本文就这一方面进行了研究 ,并作出了改进 ,解决了RenderMan自身毛发模块的缺陷。 展开更多

关键词 渲染 多机 并行 接口 软件 系统 平台 毛发 RI 改进

在线阅读 下载PDF 职称材料

基于Petri网Behavior Inclusion的业务流程变化域融合分析 被引量：15

3

作者 方贤文 赵芳 +1 位作者 方欢 刘祥伟 《计算机学报》 EI CSCD 北大核心 2018年第3期695-708,共14页

业务流程的变化域是潜在的、易导致系统出现非一致性的区域,从流程模型变化域的角度来分析业务系统可信性,也是解决业务系统可信管理的关键点之一.已有的研究大多数针对业务流程的控制流进行变化域分析,或将控制流与数据流进行交互分析... 业务流程的变化域是潜在的、易导致系统出现非一致性的区域,从流程模型变化域的角度来分析业务系统可信性,也是解决业务系统可信管理的关键点之一.已有的研究大多数针对业务流程的控制流进行变化域分析,或将控制流与数据流进行交互分析,很少注意到两种流程交互时的行为包含关系及其影响.文中基于业务流程模型存在控制流和数据流,提出了基于Petri网Behavior inclusion的业务流程变化域融合分析方法,分别研究了业务流程控制流Petri网模型的变化域和数据流Petri网模型的变化域,并依据Behavior inclusion关系,确定了目标模型融合网的最终变化域.另外,对于存在沉默变迁的网提供了紧密度算法,分析业务流程控制流网、数据流网和融合网间的紧密度,以确定控制流模型或数据流模型对融合网变化域的影响程度.最后通过具体的实例分析与仿真实验,验证了该方法的有效性. 展开更多

关键词 变化域 BEHAVIOR INCLUSION 融合网 沉默变迁 紧密度

在线阅读 下载PDF 职称材料

三种主流中间件之比较 被引量：6

4

作者 易平 陈福生 李旸 《计算机应用与软件》 CSCD 北大核心 2002年第12期52-54,共3页

中间件本质上是对分布式应用的抽象,其运用范围越来越广,目前流行的主要有三种:OMG组织的CORBA、Microsoft公司的COW/DCOM和SUN公司的Java RMI。首先简要介绍了这三种中间件技术,然后在体系结构、对象服务、跨平台和语言支持能力、性能... 中间件本质上是对分布式应用的抽象,其运用范围越来越广,目前流行的主要有三种:OMG组织的CORBA、Microsoft公司的COW/DCOM和SUN公司的Java RMI。首先简要介绍了这三种中间件技术,然后在体系结构、对象服务、跨平台和语言支持能力、性能等方面分析对比了它们的特点。最后,讨论了它们各自的应用范围和发展趋势。 展开更多

关键词 中间件 CORBA COM DCOM 系统软件

在线阅读 下载PDF 职称材料

图像处理中消除噪声的方法 被引量：7

5

作者 易平 陈福生 邹红艳 《计算机应用与软件》 CSCD 北大核心 2003年第5期29-30,34,共3页

本文首先讨论了常见的噪声模型,然后讲述了几种典型的去噪方法。最后介绍了几种较新的滤除噪声方法。

关键词 图像处理 噪声模型 消除噪声方法 线性处理

在线阅读 下载PDF 职称材料

工作流可满足性的约简增量模式回溯法

6

作者 翟治年 刘关俊 +3 位作者 卢亚辉 向坚 吴茗蔚 丰明坤 《计算机集成制造系统》 EI CSCD 北大核心 2023年第11期3624-3638,共15页

在大量云/服务化资源造成的性能压力下,增量模式回溯法(Incremental Pattern Backtracking, IPB)及其k指派技术是工作流可满足性求解的首选途径,但对“欠约束”实例,其模式枚举性能显著下降,不利于大量可行解的优化选择。针对该问题提... 在大量云/服务化资源造成的性能压力下,增量模式回溯法(Incremental Pattern Backtracking, IPB)及其k指派技术是工作流可满足性求解的首选途径,但对“欠约束”实例,其模式枚举性能显著下降,不利于大量可行解的优化选择。针对该问题提出新颖的简指派图概念,证明其可取代k指派图用于模式授权匹配验证,且尽管其块邻域大小耦合了图的整体信息,但仍可以增量方式计算。进而,分析了增量化简指派的实施条件和效果,及其主要影响因素。由此建立了约简增量模式回溯法(Reduced Incremental Pattern Backtracking, RIPB)。在资源配比为2~100的两个仿真实例集上测试,实验结果表明:在其基本子集上,RIPB较IPB有0.96~1.24倍时间性能优势;当资源比例升高或约束密度降低时,RIPB的优势有不同程度扩大;特别地,对资源配比为10而授权比例在1/2左右的两个子集,RIPB的平均优势分别可达1.29和1.61倍。 展开更多

关键词 可满足性 工作流 授权 约束 资源分配 模型计数 模式

在线阅读 下载PDF 职称材料

资源独立工作流可满足性的最小增量模式回溯

7

作者 翟治年 卢亚辉 +3 位作者 刘关俊 雷景生 向坚 吴茗蔚 《软件学报》 EI CSCD 北大核心 2023年第4期1543-1569,共27页

工作流可满足性是业务安全规划的基本问题,正在面临高资源配比(资源数n显著大于步骤数k)造成的性能挑战.在资源独立约束下,其最高效求解途径是模式空间上的增量回溯法IPB.为克服结点真实性验证的性能瓶颈,它增量计算模式k指派(二部)图及... 工作流可满足性是业务安全规划的基本问题,正在面临高资源配比(资源数n显著大于步骤数k)造成的性能挑战.在资源独立约束下,其最高效求解途径是模式空间上的增量回溯法IPB.为克服结点真实性验证的性能瓶颈,它增量计算模式k指派(二部)图及其(左完备)匹配,分别需要O(kn)和O(k^(2))时间.利用父子模式的原子差异增量计算完全指派图,只需O(n)时间,特别是其实际性能,将随模式块规模增长迅速提高.但该图的O(kn)规模导致了同样的增量匹配时间.进而引入完备k核心匹配概念,证明其存在性等价于左完备匹配,且其增量计算时间为O(k^(2)).由此,建立了时间复杂度更低的最小增量模式回溯法.在含互斥和两种全局值势约束而授权比例约为1/4的扩展公开实例集上进行实验,结果表明:当n/k=10(及n/k=100),而k变化时,该方法较IPB有平均超过2(及5)倍、最低1.5(及2.9)倍的性能优势;当k=18(及k=36),而n/k=2~4096(及n/k=2~2048)时,该方法有平均超过2.6(及3.6)倍优势;而较2021年Minizinc挑战赛的冠军求解器Google OR-Tools CP-SAT,该方法最低有超过3倍优势. 展开更多

关键词 工作流 授权 约束 资源独立 资源分配 可满足

在线阅读 下载PDF 职称材料

基于Petri网行为包含和行为继承的业务流程变化域传播分析

8

作者 方贤文 赵芳 +1 位作者 刘祥伟 方欢 《计算机科学》 CSCD 北大核心 2016年第11期36-39,共4页

业务流程建模问题一直是业务流程管理的核心问题,其目的是为了灵活地适应变化的商务需求,但在建模过程中也会出现一系列的问题,有些模型之间甚至存在着相同的问题,因此会出现变化域传播的现象。已有的方法主要是从边界变迁的减少和内部... 业务流程建模问题一直是业务流程管理的核心问题,其目的是为了灵活地适应变化的商务需求,但在建模过程中也会出现一系列的问题,有些模型之间甚至存在着相同的问题,因此会出现变化域传播的现象。已有的方法主要是从边界变迁的减少和内部边界变迁的减少来分析模型的变化域传播,因而具有一定的局限性。为了研究模型间的变化域传播问题,基于源模型和目标模型之间存在的迹等价及行为包含关系,通过给定源模型的变化域,提出了基于行为继承的变化域传播分析方法来寻找目标模型的变化域。最后,通过一个具体的流程实例进一步说明了该方法的可行性。 展开更多

关键词 变化域传播 迹等价 行为包含 行为继承

在线阅读 下载PDF 职称材料

基于时间序列分析的动态精确定位算法

9

作者 秦国锋 鲍晴锋 李启炎 《计算机工程》 EI CAS CSCD 北大核心 2006年第4期233-235,共3页

对卫星导航定位系统的应用前景进行深入分析,针对目前存在定位精度漂移和站点报站漏报或司机人工操作繁琐与复杂等问题,采用求解平均值、均方差和估计值等数理统计理论,建立基于时间序列分析的动态精确定位数学模型,进行动态求解,精确定... 对卫星导航定位系统的应用前景进行深入分析,针对目前存在定位精度漂移和站点报站漏报或司机人工操作繁琐与复杂等问题,采用求解平均值、均方差和估计值等数理统计理论,建立基于时间序列分析的动态精确定位数学模型,进行动态求解,精确定位,并利用扁平多叉树动态向二叉树转换的自动站点匹配模型设计了比较优化可靠的算法,保证匹配算法的复杂度为O(n),减少计算资源的占用,提高数据处理的实时性;且通过实时的GPS数据采集进行实际反复验证,能满足定位精度和智能自动报站的时间与位置要求,实际测试结果证明该算法性能稳定、运行可靠,且应用范围广阔。 展开更多

关键词 时间序列分析 全球定位系统 动态求解模型 精确定位算法 智能自动报站

在线阅读 下载PDF 职称材料

形式化方法与应用专题前言

10

作者 董云卫 刘关俊 毛晓光 《软件学报》 EI CSCD 北大核心 2023年第7期2979-2980,共2页

形式化方法是采用数学方法,对复杂计算机系统建立严格语法与语义规范的系统设计与验证方法,常用于复杂动态系统的需求规约、模型设计和属性验证,在计算机硬件设计、软件系统构造、控制系统模型设计与分析、通信系统协议验证和程序代码... 形式化方法是采用数学方法,对复杂计算机系统建立严格语法与语义规范的系统设计与验证方法,常用于复杂动态系统的需求规约、模型设计和属性验证,在计算机硬件设计、软件系统构造、控制系统模型设计与分析、通信系统协议验证和程序代码合成等方面得到了成功的应用.近年来,在深度学习、区块链、量子计算、物理信息融合系统等新兴领域,形式化方法也逐步应用和适配,对提升系统的安全性和可靠性起到了极大的促进作用. 展开更多

关键词 形式化方法 计算机硬件 计算机系统 复杂动态系统 协议验证 区块链 软件系统 深度学习

在线阅读 下载PDF 职称材料

基于Petri网的IC制造调度优化

11

作者 郝东 蒋昌俊 林琳 《计算机工程与应用》 CSCD 北大核心 2004年第31期200-203,共4页

论文根据IC制造中存在的多制造路径、资源共享、可变晶片组及并发等特点,结合增强定时Petri网,提出了一种调度优化算法。该算法无论是对典型的Job-Shop问题,还是比此更复杂的问题,都能给出确实有效的优化结果,具有一定的通用性。该算法... 论文根据IC制造中存在的多制造路径、资源共享、可变晶片组及并发等特点,结合增强定时Petri网,提出了一种调度优化算法。该算法无论是对典型的Job-Shop问题,还是比此更复杂的问题,都能给出确实有效的优化结果,具有一定的通用性。该算法还具有较高的运行效率,文中的实验结果也充分显示了这点。 展开更多

关键词 生产调度 PETRI网 优化算法

在线阅读 下载PDF 职称材料

基于IPSec的数据包处理 被引量：2

12

作者 莫炜凌 田艾平 《计算机应用与软件》 CSCD 北大核心 2002年第12期58-60,共3页

本文介绍了Linux操作系统的网络组成,在此基础上对IPSec协议核心的运行机制,特别是IPSec数据包的处理过程进行了分析。

关键词 数据包处理 IPSEC协议 通信协议 LINUX 操作系统 网络模块 计算机网络

在线阅读 下载PDF 职称材料

基于HMM的中文语音自动切分中的静音添加 被引量：1

13

作者 陈锴 柴佩琪 《计算机工程》 CAS CSCD 北大核心 2004年第9期40-41,共2页

在建立语音语料库的过程中经常会碰到语音中加了很多对应文本所没有的静音标记，这些静音的存在直接影响到实际的切分结果。该文提出了一种静音自动添加的方法。在经过粗切分后，通过规则设定，短时能量、短时过零率和算法修正几个步骤... 在建立语音语料库的过程中经常会碰到语音中加了很多对应文本所没有的静音标记，这些静音的存在直接影响到实际的切分结果。该文提出了一种静音自动添加的方法。在经过粗切分后，通过规则设定，短时能量、短时过零率和算法修正几个步骤，将静音寻找出来，添加到对应文本之中。该方法已运用到实际切分中，准确率在95%以上，取得了较好的效果。 展开更多

关键词 语音自动切分 隐马尔可夫模型 HMM 中文语言处理 静音添加

在线阅读 下载PDF 职称材料

基于Chernoff上界的多类问题特征选择优化迭代算法 被引量：1

14

作者 吴旻晖 宣国荣 柴佩琪 《计算机应用与软件》 CSCD 2000年第5期26-30,45,共6页

本文提出正态分布条件下面向不同分布的多类问题基于Chernoff上界的特征选择优化迭代算法。该算法由两重迭代组成:首先在设定的原始空间和特征空间Chernoff参数s条件下,通过解矩阵方程的迭代算法求得变换矩阵的最优解;然后,在变换矩阵... 本文提出正态分布条件下面向不同分布的多类问题基于Chernoff上界的特征选择优化迭代算法。该算法由两重迭代组成:首先在设定的原始空间和特征空间Chernoff参数s条件下,通过解矩阵方程的迭代算法求得变换矩阵的最优解;然后,在变换矩阵确定的特征空间中搜索最佳的参数s使错误概率上界最小;最后采用折半法修正设定的Chernoff参数s及其迭代步长。通过分析和实例可见基于Chernoff上界特征选择是面向不同分布的多类问题的最佳特征选择方法。 展开更多

关键词 Chernoff上界 特征选择 迭代算法 模式识别

在线阅读 下载PDF 职称材料

基于层次结构的彩色图象无失真编码的研究

15

作者 吴成东 宣国荣 《计算机学报》 EI CSCD 北大核心 1996年第4期263-269,共7页

本文提出了一种新的基于层次结构彩色图象无失真编码的图象压缩算法．此算法以可变块为基础，利用邻近象素点之间的相关性，由基块逐步生成超块．每一块都用相应层次中一个独立的地址编码，以达到图象的无失真压缩．结果获得比行程编码... 本文提出了一种新的基于层次结构彩色图象无失真编码的图象压缩算法．此算法以可变块为基础，利用邻近象素点之间的相关性，由基块逐步生成超块．每一块都用相应层次中一个独立的地址编码，以达到图象的无失真压缩．结果获得比行程编码更高的图象压缩比． 展开更多

关键词 基块 彩色图象 无失真编码 层次结构 图象处理

在线阅读 下载PDF 职称材料