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

软件产业与工程 2013年第1期 37-41,56页

作者：彭红杨根兴蔡立志华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112 上海市软件行业协会上海200235

在云环境中,虚拟机作为一个大粒度的资源,用户通常要求其运行具有稳定性,不希望出现虚拟机频繁迁移的现象本文提出了一种基于用户个性化需求的虚拟机优化部署方案:根据用户请求的应用背景,在对四类资源(CPU、内存、硬盘和带宽)赋值后比... 详细信息

在云环境中,虚拟机作为一个大粒度的资源,用户通常要求其运行具有稳定性,不希望出现虚拟机频繁迁移的现象本文提出了一种基于用户个性化需求的虚拟机优化部署方案:根据用户请求的应用背景,在对四类资源(CPU、内存、硬盘和带宽)赋值后比较资源请求值和云平台中宿主机的可用资源值,选出候选目标主机,再根据目标函数计算选择出目标主机。该方案为用户选择较优的宿主机部署虚拟机,既可以科学合理地利用资源,有效地改善了负载不均衡现象,更能获得更好的用户体验。

关键词：云计算虚拟机部署资源调度负载均衡

来源：评论

学校读者我要写书评

暂无评论

基于对象角色的应用系统的建模

引用

计算机应用与软件 2006年第8期23卷 30-31,127页

作者：郑红范开元杨根兴华东理工大学计算机科学与工程系上海200237 河南焦作师范高等专科学校计算机系河南焦作454000 上海市计算机软件评测重点实验室上海200233

面向对象角色分析方法OO ram(Ob ject-O riented Role Analysis and Modeling)是一种新的面向对象软件开发方法。介绍了它的建模思想和步骤,并与其它面向对象的方法进行了比较。最后,用这种方法实现一个应用系统的模型设计。

关键词：面向对象面向对象角色模型

来源：评论

学校读者我要写书评

暂无评论

层次结构文档下支持权限管理的实时协同技术研究

引用

计算机应用研究 2012年第5期29卷 1690-1694页

作者：高丽萍陈庆奎卢暾高丽丽上海理工大学光电信息与计算机工程学院上海200093 上海市计算机软件评测重点实验室上海201114 复旦大学计算机科学技术学院上海200433 潍坊学院幼教特教师范学院山东潍坊261021

针对传统实时协同系统中各站点之间无约束操作的缺点,提出采用权限分工的方式来支持不同团队之间的文档管理。给出了支持权限管理的层次结构文档的形式化定义,描述了用户角色设置过程,定义了权限及权限操作格式,讨论了站点ID的设置及初... 详细信息

针对传统实时协同系统中各站点之间无约束操作的缺点,提出采用权限分工的方式来支持不同团队之间的文档管理。给出了支持权限管理的层次结构文档的形式化定义,描述了用户角色设置过程,定义了权限及权限操作格式,讨论了站点ID的设置及初始化过程,并提出采用改进的地址空间转换算法来保证权限操作在各分布式站点的正确执行。分析了改进算法的效率提升,并通过其在Co-AutoCAD中的应用证实了策略的有效性。

关键词：协同设计权限管理实时协同层次结构文档地址空间转换

来源：评论

学校读者我要写书评

暂无评论

一种SCADE同步语言程序安全属性自动验证工具

引用

小型微型计算机系统 2022年第4期43卷 858-864页

作者：孙毅陈哲冉丹杨志斌南京航空航天大学计算机科学与技术学院南京211106 华东师范大学上海市高可信计算重点实验室上海200062 南京大学计算机软件新技术国家重点实验室南京210093

安全关键领域的反应系统大都采用同步语言开发,然而,学术界尚不存在SCADE同步语言程序的形式化验证工具,为此,本文提出了一种自动验证SCADE同步语言程序安全属性的方法.首先使用无量词一阶逻辑公式对SCADE同步语言程序的行为进行建模,可... 详细信息

安全关键领域的反应系统大都采用同步语言开发,然而,学术界尚不存在SCADE同步语言程序的形式化验证工具,为此,本文提出了一种自动验证SCADE同步语言程序安全属性的方法.首先使用无量词一阶逻辑公式对SCADE同步语言程序的行为进行建模,可将SCADE同步语言程序的安全属性的验证问题转化为无量词一阶逻辑公式的可满足性问题;然后采用先进的可满足性模理论求解器对其可满足性进行求解.本方法旨在实现对SCADE同步语言程序进行自动地、直接地验证,以填补SCADE同步语言程序验证领域的技术空白.此外,本文对所提方法进行了代码实现,并通过实验验证了所提方法的有效性.

关键词：反应系统 SCADE同步语言形式化验证一阶逻辑可满足性模理论

来源：评论

学校读者我要写书评

暂无评论

基于程序转化的SCADE模型检测

引用

计算机科学 2021年第12期48卷 125-130页

作者：冉丹陈哲孙毅杨志斌南京航空航天大学计算机科学与技术学院南京211106 华东师范大学上海市高可信计算重点实验室上海200062 南京大学计算机软件新技术国家重点实验室南京210093

SCADE同步语言是一种常用的嵌入式系统程序设计语言。在航空、航天、交通等安全关键领域的装备研发中,SCADE同步语言通常被用于实现实时嵌入式自动控制系统。SCADE语言是工业级的开发工具,它源于Lustre语言,并在其基础上增加了更多的语... 详细信息

SCADE同步语言是一种常用的嵌入式系统程序设计语言。在航空、航天、交通等安全关键领域的装备研发中,SCADE同步语言通常被用于实现实时嵌入式自动控制系统。SCADE语言是工业级的开发工具,它源于Lustre语言,并在其基础上增加了更多的语言结构来精简代码。目前,相比Lustre语言,SCADE程序模型检测的学术研究相对落后。为此,文中提出了一种对SCADE程序进行模型检测的方法并实现了一款SCADE模型检测工具,该方法的核心思想是基于程序转化,即把SCADE程序经过词法分析、语法分析、抽象语法树生成与化简等操作最终转化为等价的Lustre程序,然后用JKind与SMT求解器完成模型检测。此外,通过理论推导和大量实验证明了工具的模型检测的正确性。实验结果表明,功能相同的两个SCADE和Lustre测试用例模型的检测结果相同,但SCADE程序的模型检测效率相对较低。

关键词：模型检测安全有限状态机词法分析语法分析抽象语法树 JKind

来源：评论

学校读者我要写书评

暂无评论

新版软件产品质量要求和测试标准剖析

引用

信息技术与标准化 2015年第4期 42-45页

作者：胡芸陈怡海上海市计算机软件测评重点实验室上海计算机软件技术开发中心上海大学计算机工程与科学学院

介绍了新版软件产品质量要求和测试标准ISO/IEC 25051:2014的制定背景及其与ISO/IEC 25051:2006的内容对比,具体阐述了二者在适用范围、软件质量特性、标准内容等方面的差异,从而有利于测评人员更好的理解与使用该标准。

关键词： ISO/IEC 25051 软件产品测评剖析

来源：评论

学校读者我要写书评

暂无评论

远程教育系统中分布式数据库设计研究

引用

环球市场信息导报 2012年第42期 51-52页

作者：张波姜旭上海金融学院上海市计算机软件评测重点实验室

通过Oracle平台,可以为远程教育系统的数据传输和业务处理提供最根本的途径.在本文中,通过对远程教育系统中所使用的分布式的数据库设计方法和技术进行研究,实现了对远程教育系统中数据库内容的更新和远程共享.在对分布式数据库研究的... 详细信息

通过Oracle平台,可以为远程教育系统的数据传输和业务处理提供最根本的途径.在本文中,通过对远程教育系统中所使用的分布式的数据库设计方法和技术进行研究,实现了对远程教育系统中数据库内容的更新和远程共享.在对分布式数据库研究的基础上,对其中所采用的体系架构和一些关键技术进行深入讨论,这些关键技术主要包括:远程数据库系统的分布策略、高级复制、数据链接和整个系统的数据安全和恢复技术等.

关键词：远程教育系统分布式数据库 Oracle

来源：评论

学校读者我要写书评

暂无评论

基于形式化描述可复用测试用例库的研究与实现

引用

计算机应用与软件 2010年第7期27卷 43-46页

作者：张红燕杨根兴蔡立志华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用。为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用... 详细信息

软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用。为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用例,并进行合理的分类和管理,测试人员可以从库中选择合适的测试用例直接使用或稍作修改来使用,从而大幅度降低了测试人员的工作量,极大地提高了测试工作效率,进而更好地保证软件质量。

关键词：形式化语言 Z规格软件测试可复用测试用例测试用例库

来源：评论

学校读者我要写书评

暂无评论

最大熵矢量量化及其在TMS320DM642上的实现

引用

数据采集与处理 2012年第6期27卷 639-645页

作者：汪全全王靖琰李勇平中国科学院上海应用物理研究所上海201800 复旦大学上海市智能信息处理重点实验室上海200433 阿卜杜拉国王科技大学计算机电气与数学科学工程系图瓦沙特阿拉伯239556900 南京大学计算机软件新技术国家重点实验室南京210093 湖南师范大学高性能计算与随机信息处理教育部重点实验室长沙410012

为了克服传统的矢量量化方法存在的信息损失量大及二次规划(Quadratic pragramming,QP)量化方法计算复杂度大等缺点,提出了一种新的量化方法——最大熵量化。这种量化方法一方面能将量化权值的熵最大化,从而确保在没有先验知识的情况下... 详细信息

为了克服传统的矢量量化方法存在的信息损失量大及二次规划(Quadratic pragramming,QP)量化方法计算复杂度大等缺点,提出了一种新的量化方法——最大熵量化。这种量化方法一方面能将量化权值的熵最大化,从而确保在没有先验知识的情况下不会造成太多量化误差;另一方面则考虑了矢量集合在时间空间上的分布关系。本文在TMS320DM642处理器上实现了这种算法,并进行了一系列的算法和程序层的优化。在基于图像的目标识别应用中的实验证明,最大熵矢量量化算法及其在TMS320DM642上的实现,不仅能提高识别的性能,而且能满足实时性的要求。

关键词：矢量量化最大熵 QP量化 0-1量化目标函数

来源：评论

学校读者我要写书评

暂无评论

基于本体的云测试资源分配与任务调度方法

引用

计算机应用与软件 2015年第11期32卷 14-17,35页

作者：顾宇隆杜明刘振宇李锋殷琦刘晓强东华大学计算机科学与技术学院上海201620 上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112

软件自动化测试在测试环境搭建、拆除、测试任务调度环节花费巨大。云计算的计算成本低、可伸缩性强的特点为自动化测试提供了新的环境。针对这一现状,探讨采用本体描述云测试资源以实现测试环境自动化搭建,并使用蚁群算法来调度测试任... 详细信息

软件自动化测试在测试环境搭建、拆除、测试任务调度环节花费巨大。云计算的计算成本低、可伸缩性强的特点为自动化测试提供了新的环境。针对这一现状,探讨采用本体描述云测试资源以实现测试环境自动化搭建,并使用蚁群算法来调度测试任务,有效支持了测试任务在云环境下的分配。实验结果表明,自动化测试的效率得到了很大的提高。

关键词：云计算自动化测试本体蚁群算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：