检索结果-内蒙古大学图书馆

软件学报 2010年第2期21卷 231-247页

作者：范贵生虞慧群陈丽琼刘冬梅华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112 上海应用技术学院计算机科学与信息工程系上海200235

通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行... 详细信息

通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.

关键词： Petri网服务组合故障处理 CTL(computational tree logic) 可靠性

来源：评论

学校读者我要写书评

暂无评论

一种基于RSSI距离比的传感器节点定位算法

引用

华东理工大学学报（自然科学版） 2013年第5期39卷 596-600页

作者：吴桂平虞慧群范贵生华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

随着无线传感器网络的应用与发展,WSN作为一种全新的信息获取和处理技术已得到广泛应用。如何对传感器网络节点进行快速、精确的定位,已成为WSN系统急需解决的问题。为此,提出了一种基于RSSI距离比的MDS定位算法。该算法巧用RSSI距离比... 详细信息

随着无线传感器网络的应用与发展,WSN作为一种全新的信息获取和处理技术已得到广泛应用。如何对传感器网络节点进行快速、精确的定位,已成为WSN系统急需解决的问题。为此,提出了一种基于RSSI距离比的MDS定位算法。该算法巧用RSSI距离比,结合Euclidean测距技术计算节点间距离矩阵,运用MDS算法建立相应的全局坐标系统。根据已知锚节点物理位置,通过坐标变换(旋转与平移)最终确定未知节点的物理位置。实验结果表明:该方法能有效地提高定位的精度,对开发高精度定位系统具有重要的参考价值。

关键词： MDS RSSI测距 Euclidean 传感器节点定位

来源：评论

学校读者我要写书评

暂无评论

基于P2P的无需第三方验证的本地信誉存储管理

引用

电子学报 2011年第A03期39卷 104-109页

作者：孙华虞慧群杨年华华东理工大学计算机科学与工程系上海200237 新疆大学信息科学与工程学院新疆乌鲁木齐830046 上海市计算机软件评测重点实验室上海201112

目前将信誉信息存储在本地进行管理的方法需要通过第三方验证信誉的完整性,这在动态的P2P环境中很难实现,而且信誉信息易丢失或被篡改.提出了一种新的本地存储信誉信息的管理方法,将信誉信息以证书的形式存储在本地,并由所有者自行维护... 详细信息

目前将信誉信息存储在本地进行管理的方法需要通过第三方验证信誉的完整性,这在动态的P2P环境中很难实现,而且信誉信息易丢失或被篡改.提出了一种新的本地存储信誉信息的管理方法,将信誉信息以证书的形式存储在本地,并由所有者自行维护.通过设计相应的协议,实现了旧信誉证书的完整性验证以及新信誉证书的生成.该方法避免了大量的通信开销,提高了查询效率,并具有一定的安全性.

关键词： Peer-to-Peer 信誉证书数字签名存储完整性

来源：评论

学校读者我要写书评

暂无评论

基于Markov链使用模型的加速统计测试方法

引用

东南大学学报（自然科学版） 2011年第5期41卷 949-955页

作者：张德平查日军南京航空航天大学计算机科学与技术学院南京210016 上海市计算机软件评测重点实验室上海201112 东南大学计算机科学与工程学院南京210096

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理... 详细信息

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理,采用交叉熵方法生成最优(或近优)测试剖面,同时给出了一种新的统计测试充分性判定准则,最后根据生成的最优测试剖面自动生成统计测试数据集.仿真实验结果表明,相对于传统的统计测试方法,使用交叉熵方法的加速统计测试方法能有效地降低软件总费用,显著增加关键操作的测试次数,是一种快速有效的加速统计测试方法.

关键词：软件测试统计测试加速测试方法 Markov链使用模型交叉熵方法

来源：评论

学校读者我要写书评

暂无评论

基于蚁群算法的延时感知VANET路由协议

引用

华东理工大学学报（自然科学版） 2020年第1期46卷 128-134页

作者：吉祥虞慧群范贵生孙怀英华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

针对城市车载自组网场景,提出了一种基于蚁群算法的道路延时感知路由协议。将数据转发过程分为直路模式和路口模式,利用蚁群算法中信息素的更新机制建立了一种基于蚁群算法的延时感知路段权重计算方法,并结合蚁群对最优化路径的探索过... 详细信息

针对城市车载自组网场景,提出了一种基于蚁群算法的道路延时感知路由协议。将数据转发过程分为直路模式和路口模式,利用蚁群算法中信息素的更新机制建立了一种基于蚁群算法的延时感知路段权重计算方法,并结合蚁群对最优化路径的探索过程给出了一种优化的反应式路由方案。仿真实验模拟了城市交通场景,将所提出的路由协议与GPSR、GSR、VACO路由协议进行性能比较,实验结果表明,该协议在数据分组投递率及延时方面均有较好的性能。

关键词：车载自组网蚁群算法桥节点数据分组投递率端到端延时

来源：评论

学校读者我要写书评

暂无评论

基于两两覆盖准则的遗传算法测试用例生成

引用

计算机应用与软件 2008年第12期25卷 21-23页

作者：蔡立志童维勤杨根兴上海大学计算机工程与科学学院上海200072 上海软件中心上海市计算机软件评测重点实验室上海201114

软件参数的组合测试是发现参数组合问题的重要方法,但是参数组合测试面临着组合爆炸问题,成对测试可以有效降低测试成本。提出了一种基于遗传算法的成对测试生成方法,该方法用于选择当前局部优化覆盖的测试用例,在此基础上构建满足成对... 详细信息

软件参数的组合测试是发现参数组合问题的重要方法,但是参数组合测试面临着组合爆炸问题,成对测试可以有效降低测试成本。提出了一种基于遗传算法的成对测试生成方法,该方法用于选择当前局部优化覆盖的测试用例,在此基础上构建满足成对测试基准的测试用例套,结果表明该方法能在不降低测试覆盖精度的情况下有效降低了测试用例数量。

关键词：遗传算法测试用例成对测试

来源：评论

学校读者我要写书评

暂无评论

C程序控制流程模型的提取技术与实现

引用

计算机科学 2014年第5期41卷 208-214页

作者：杨昌坤许庆国上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

控制流图描述了函数执行时可能采取的执行路径。绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析。在模型检测过程中,提取正确的控制流图是构建系统模型的关键。在分析C程序的抽象语法树和控制结构... 详细信息

控制流图描述了函数执行时可能采取的执行路径。绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析。在模型检测过程中,提取正确的控制流图是构建系统模型的关键。在分析C程序的抽象语法树和控制结构的基础上,设计并实现了程序控制流图提取的算法,并分析了算法的正确性。基于提取的控制流程,可对C程序的某些性质进行模型检验。

关键词：控制流图抽象语法树模型检测

来源：评论

学校读者我要写书评

暂无评论

一种面向互联网应用的多路实时流媒体同步合成方案

引用

东华大学学报（自然科学版） 2018年第1期44卷 108-114页

作者：王英兰刘晓强李柏岩宋晖陶抒青蔡立志刘振宇东华大学计算机科学与技术学院上海201620 上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112

针对互联网流视频协作直播应用,以多路实时流媒体应用系统为背景,提出了一种基于RTMP(real-time messaging protocol)协议的多路音视频实时同步合成方案。首先,在采集端以同一基准为多个数据流添加自定义的时间戳;其次,基于阈值同步多... 详细信息

针对互联网流视频协作直播应用,以多路实时流媒体应用系统为背景,提出了一种基于RTMP(real-time messaging protocol)协议的多路音视频实时同步合成方案。首先,在采集端以同一基准为多个数据流添加自定义的时间戳;其次,基于阈值同步多路数据流,并实现基于时域的自适应加权平均多路音频混合和基于像素域的多画面合成,生成一路音频流和视频流;最后,将生成的音频流和视频流同步复用,推流直播。该方案无需全网同步时钟与反馈机制,算法复杂度低,并有效解决了直播中网络延迟、抖动、时钟偏移、数据丢失等问题。试验表明,其可满足多路实时流媒体网络直播中的同步、合成及实时性需求。

关键词：多路实时流媒体音频合成视频合成音视频同步实时传输消息协议

来源：评论

学校读者我要写书评

暂无评论

基于Object-Z的Web组件形式化建模

引用

计算机科学 2012年第B06期39卷 383-388,407页

作者：严吉皞缪淮扣上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

Web组件技术是一种解决Web服务再利用和扩展问题的方法。Object-Z是Z语言的面向对象补充,它们是基于一阶谓词逻辑和集合论的形式规格说明语言。用形式规格说明语言Object-Z对Web组件建模,能够保证Web组件在异构平台、松散耦合、封装等... 详细信息

Web组件技术是一种解决Web服务再利用和扩展问题的方法。Object-Z是Z语言的面向对象补充,它们是基于一阶谓词逻辑和集合论的形式规格说明语言。用形式规格说明语言Object-Z对Web组件建模,能够保证Web组件在异构平台、松散耦合、封装等特性下的一致性和精确性。以Web组件为研究对象,以Object-Z为形式规格说明语言建立模型,提出了Web组件及其组合的建模方法。该方法对包括接口、组件操作在内的Web组件静态行为进行了建模,定义了接口、消息的匹配方法。构造了基本组合结构的形式化框架,利用组件的逻辑分解方法将该框架应用于复杂的组件组合过程,并提出了需求驱动的组件组合方法。在此基础上,结合实例对组件的交互、组合进行了建模分析。

关键词： Web组件组件组合 Object-Z 定理证明

来源：评论

学校读者我要写书评

暂无评论

基于数据的自适应CPS软件结构模型设计方法

引用

华东理工大学学报（自然科学版） 2022年第6期48卷 841-848页

作者：许浩虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

信息物理系统(Cyber-Physical System,CPS)一般在动态环境中控制物理设备的运行,因此环境参数影响着CPS的结构和行为。提出了一种基于数据的自适应软件结构模型设计方法,该方法中CPS软件结构模型由单元模块通过层次化的组合构造而成。CP... 详细信息

信息物理系统(Cyber-Physical System,CPS)一般在动态环境中控制物理设备的运行,因此环境参数影响着CPS的结构和行为。提出了一种基于数据的自适应软件结构模型设计方法,该方法中CPS软件结构模型由单元模块通过层次化的组合构造而成。CPS的自适应演化通过面向方面建模方法实现,将环境因素的功能抽象成方面模型,通过对方面模型与基础模型进行编织得到综合的CPS模型。基于Petri网和时态逻辑的形式化方法为CPS模型提供了数学表达和分析手段。理论分析和实验结果表明,本文的设计方法具有可行性和高效性。

关键词：信息物理系统数据驱动软件结构自适应机制软件设计

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：