检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于FAHP的可信软件非功能需求评估方法

计算机工程与应用 2017年第11期53卷 223-228,270页

作者：孙金文康雁杨小东云南大学软件学院昆明650500

针对可信软件的非功能需求表示与评估问题,对用于非功能需求描述的软目标相互依赖图(Software Interdependency Graph,SIG)进行改进,提出了一个扩展的软目标相互依赖图(Extended Software Interdependency Graph,ESIG)模型来描述和表示... 详细信息

针对可信软件的非功能需求表示与评估问题,对用于非功能需求描述的软目标相互依赖图(Software Interdependency Graph,SIG)进行改进,提出了一个扩展的软目标相互依赖图(Extended Software Interdependency Graph,ESIG)模型来描述和表示非功能需求。在ESIG图模型上,从面向方面的角度提出了一种基于模糊层次分析法(Fuzzy Analytic Hierarchy Process,FAHP)的可信软件非功能需求评估方法。在评估过程中建立了评价准则集、评价等级标准集、权重向量、评价得分矩阵和综合评判矩阵,综合考虑了非功能需求间存在的相对重要性和促进与抑制影响。最后通过一个实例说明了此评估方法的合理性与有效性。

关键词：可信软件面向方面非功能需求模糊层次分析法

基于量子遗传算法的RBF神经网络智能滤波组合导航算法

在线全文

学校读者我要写书评

暂无评论

云南大学学报（自然科学版） 2019年第A01期41卷 21-26页

作者：李云飞李广飞杨勇谢康代飞曹涌云南电网有限责公司文山供电局云南文山663000 西南林业大学大数据与智能工程学院云南昆明650224

组合导航中标准卡尔曼滤波和扩展卡尔曼滤波存在容错性和鲁棒性不足,处理非线性信号能力较弱的缺点.提出了基于量子遗传算法的RBF神经网络的智能滤波组合导航算法,通过RBF神经网络调节卡尔曼滤波增益,而神经网络参数由量子遗传算法进行... 详细信息

组合导航中标准卡尔曼滤波和扩展卡尔曼滤波存在容错性和鲁棒性不足,处理非线性信号能力较弱的缺点.提出了基于量子遗传算法的RBF神经网络的智能滤波组合导航算法,通过RBF神经网络调节卡尔曼滤波增益,而神经网络参数由量子遗传算法进行调整优化.对捷联惯导系统(SINS)/全球卫星定位系统(GPS)组合导航系统进行了仿真实验,结果表明:该算法提高了导航定位的精度、鲁棒性和可靠性.

关键词：量子遗传算法 RBF神经网络组合导航

在线全文

学校读者我要写书评

暂无评论

基于量子退火算法的无线传感器网络节点定位

云南大学学报（自然科学版） 2019年第A01期41卷 27-32页

作者：李广飞段永生王昆仑冯跃代飞曹涌云南电网有限责公司文山供电局云南文山663000 西南林业大学大数据与智能工程学院云南昆明650224

经典模拟退火、遗传算法等是无线传感器网络节点非测距定位广泛使用的方法,但是它们都存在:①容易陷入局部最优,难以实现全局最优,定位精度不高;②计算较复杂,能耗较多等问题.提出了基于量子退火算法的无线传感器网络节点定位方法,利用... 详细信息

经典模拟退火、遗传算法等是无线传感器网络节点非测距定位广泛使用的方法,但是它们都存在:①容易陷入局部最优,难以实现全局最优,定位精度不高;②计算较复杂,能耗较多等问题.提出了基于量子退火算法的无线传感器网络节点定位方法,利用量子隧穿效应,可以较快地穿透能量势垒由局部最优到达全局最优,简化了计算,提高了计算速度.通过仿真实验验证,该算法与传统的遗传算法和经典模拟退火算法相比,提高了精度,降低了能耗.

关键词：无线传感器网络节点定位量子退火算法遗传算法经典模拟退火算法

在线全文

学校读者我要写书评

暂无评论

协同业务过程建模与行为验证

计算机科学 2018年第B11期45卷 597-602页

作者：赵莹潘华张云猛莫启代飞云南电力调度控制中心昆明650011 云南云电同方科技有限公司昆明650217 云南大学软件学院昆明650091 西南林业大学大数据与智能工程学院昆明650224

对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业... 详细信息

对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业务过程;其次,提出了行为约束的声明式模板,用于定义协同业务过程中的行为约束关系,并通过映射规则,将行为约束关系转换为LTL(Linear Temporal Logic)公式;最后,提出了行为验证框架,借助进程分析工具PAT,实现了对协同业务过程行为的自动验证。通过对电力突发公共事件应急处置系统的建模与行为验证,阐述了所提方法的可行性和有效性。

关键词：协同业务过程业务过程异步消息通信行为验证模型检测

在线全文

学校读者我要写书评

暂无评论

协同业务过程的随机行为分析方法

计算机工程与应用 2019年第3期55卷 245-251,265页

作者：赵莹潘华孙金艳莫启代飞云南电力调度控制中心昆明650011 云南云电同方科技有限公司昆明650217 云南大学软件学院昆明650091 西南林业大学大数据与智能工程学院昆明650224

参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程。其次... 详细信息

参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程。其次,提出将参与组织业务过程转换成通信顺序进程(Communication Sequential Process,CSP)方法,进而将每个参与组织业务过程对应CSP进程并发组合得到协同业务过程对应的CSP进程,并根据CSP操作语义构建协同业务过程的状态迁移模型。最后,引入状态迁移模型正则化概念,从理论上证明正则化的状态迁移模型与一个齐次马尔科夫链相对应,进而根据平衡方程求得状态迁移系统中每个状态的稳定概率,以此为基础实现参与组织随机行为分析。通过对电设备采购过程建模与随机行为分析阐述该方法的可行性和有效性。

关键词：协同业务过程异步消息通信随机行为通信顺序进程(CSP) 马尔科夫链

在线全文

学校读者我要写书评

暂无评论

BPMN2.0过程模型的语义和分析

计算机科学 2018年第B11期45卷 558-563页

作者：赵莹赵川黄苾代飞云南电力调度控制中心昆明650011 西南林业大学大数据与智能工程学院昆明650224

BPMN 2.0已成为了建模业务过程事实上的标准。BPMN 2.0过程模型中建模元素的混用会产生控制流方面的语义错误。首先,建立了BPMN 2.0过程模型到工作流网的映射,并使用Petri网来形式定义过程模型的语义;其次,借助Petri网的分析技术,使用... 详细信息

BPMN 2.0已成为了建模业务过程事实上的标准。BPMN 2.0过程模型中建模元素的混用会产生控制流方面的语义错误。首先,建立了BPMN 2.0过程模型到工作流网的映射,并使用Petri网来形式定义过程模型的语义;其次,借助Petri网的分析技术,使用这种定义的语义对BPMN 2.0过程模型进行了合理性分析。实验结果表明,这种形式化可以识别BPMN 2.0过程模型中的语义错误。

关键词：业务过程语义定义语义分析 BPMN 2.0 工作流网

在线全文

学校读者我要写书评

暂无评论

基于神经网络的海量GPS数据交通流量预测

云南大学学报（自然科学版） 2019年第1期41卷 53-60页

作者：蒲斌李浩卢晨阳王治辉刘华云南大学软件学院云南昆明650500 云南省交通科学研究所云南昆明650011

交通流量数据具有非周期性、非线性和随机性等特点.为了更准确地对未设置ETC路段交通流量进行预测,采取相应措施处理交通拥堵问题,提出了基于神经网络推论模型为主体的交通流量预测系统.通过实验验证了ARIMA乘积季节模型、BP神经网络和... 详细信息

交通流量数据具有非周期性、非线性和随机性等特点.为了更准确地对未设置ETC路段交通流量进行预测,采取相应措施处理交通拥堵问题,提出了基于神经网络推论模型为主体的交通流量预测系统.通过实验验证了ARIMA乘积季节模型、BP神经网络和RBF神经网络的多种训练函数的预测精度及适应性.相对于常规预测方法,基于神经网络的预测方法具有更好的适应性,而且预测精度也更高.

关键词：时间序列智能交通交通流量预测神经网络 GPS数据

在线全文

学校读者我要写书评

暂无评论

从私有过程提取公共过程构建业务协同的方法

计算机研究与发展 2017年第9期54卷 1892-1908页

作者：莫启代飞朱锐笪建林雷蕾李彤谢仲文郑明云南大学软件学院昆明650091 云南省软件工程重点实验室(云南大学) 昆明650091 西南林业大学大数据与智能工程学院昆明650091 淮安开放大学信息工程系江苏淮安223001

业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协... 详细信息

业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协同,首先定义业务过程模型以表示组织的私有过程,该模型由内部视图和公共视图组合而成,且内部视图是自由选择网结构;进而将业务过程模型抽象为4种基本块,即顺序块、选择块、并发块及迭代块;针对这4种基本块提出各自的抽取规则集以获得组织的公共过程,并从理论上证明了这些规则集能够保持协同中接口一致性,从而确保了每一次抽取是上下文无关的.通过对协同制造中供应链进行建模并与现有的、典型的方法进行对比分析,结果表明:相对于已有的工作,在考虑隐私保护原则的情况下,所提方法能够更加有效地对业务过程协同进行建模和分析.

关键词：业务过程协同异步消息通信业务过程模型基本块抽取规则集接口一致性

在线全文

学校读者我要写书评

暂无评论

协同业务过程的相容性检测及修正

计算机科学与探索 2017年第12期11卷 1907-1921页

作者：郑明莫启周小煊李彤谢仲文向文坤云南大学软件学院昆明650500 云南省软件工程重点实验室昆明650500

随着经济全球化的发展,企业的业务活动已从企业内单独的业务过程发展成为跨企业多个协同业务过程的模式,为了确保协同业务过程实施的正确性,协同业务过程相容性及修正是一个不可或缺的研究问题。为此,结合Petri网及过程挖掘的相关理论,... 详细信息

随着经济全球化的发展,企业的业务活动已从企业内单独的业务过程发展成为跨企业多个协同业务过程的模式,为了确保协同业务过程实施的正确性,协同业务过程相容性及修正是一个不可或缺的研究问题。为此,结合Petri网及过程挖掘的相关理论,提出了一种跨组织协同业务过程的相容性检测及修正方法。首先基于Petri网对业务过程及协同业务过程进行建模;然后对业务过程和协同业务过程的相容性进行定义,并分别给出了相应的检测算法;最后以现实中的购买过程为案例,检测出该购买过程中存在的不相容的协同业务过程,并予以修正。结果表明,在不改变局部业务过程的情况下,对本来不相容的协同业务过程进行修正,并最终达到一种好的满足相容性的协同业务过程模型。

关键词：协同业务过程相容性修正方法