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

软件学报 2015年第10期26卷 2485-2503页

作者：周筱羽顾斌赵建华杨孟飞计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调... 详细信息

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调度任务序列处理日常事务以及中断事件的后续工作.使用了带中断标记的时间自动机对中断事件和任务调度事件进行建模,并使用中断向量表和中断处理程序的伪代码模型共同描述中断的处理过程.控制变量将中断处理过程和系统任务相关联,中断处理程序可以设定某个控制变量,而系统任务则通过检查该控制变量来确定是否需要进行后续处理.对于这样的形式化模型,给出了检验关键时序性质的有界模型检验算法.该算法使用深度优先的方式遍历所有长度小于等于K的可行路径,并使用SMT Z3实现了对时间约束和规约的处理.

关键词：中断驱动系统有界模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

一种基于估算的定量软件过程变更方法

引用

计算机应用与软件 2006年第11期23卷 4-7,13页

作者：江寰鲁平胡昊吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所江苏南京210093

软件过程变更是适应多变的软件开发环境的一种有效手段。定量管理对于软件过程变更,尤其是变更决策与计划阶段的有效实施有着重要作用。软件估算技术作为一种定量的分析和预测技术,可用于估算软件过程变更的工作量、风险和成本,为变更... 详细信息

软件过程变更是适应多变的软件开发环境的一种有效手段。定量管理对于软件过程变更,尤其是变更决策与计划阶段的有效实施有着重要作用。软件估算技术作为一种定量的分析和预测技术,可用于估算软件过程变更的工作量、风险和成本,为变更决策与计划提供定量指导。提出一种基于估算的软件过程变更方法,并介绍了该方法在一个过程支持系统CPMS中的实现。

关键词：软件过程变更定量管理软件估算过程支持系统

来源：评论

学校读者我要写书评

暂无评论

JPEG2000中不同小波基的图像压缩性能分析

引用

小型微型计算机系统 2003年第7期24卷 1386-1389页

作者：于超王志军冯坚南京大学多媒体计算机研究所江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093

主要讨论了用 JPEG2 0 0 0标准进行静态图像压缩时 ,小波基的选择对图像压缩性能的影响 .我们根据JPEG2 0 0 0标准 ,比较了各类图像在不同小波基下的压缩结果 ,发现在 JPEG2 0 0 0中 ,小波基的选择在一定程度上影响了图像的压缩性能 .... 详细信息

主要讨论了用 JPEG2 0 0 0标准进行静态图像压缩时 ,小波基的选择对图像压缩性能的影响 .我们根据JPEG2 0 0 0标准 ,比较了各类图像在不同小波基下的压缩结果 ,发现在 JPEG2 0 0 0中 ,小波基的选择在一定程度上影响了图像的压缩性能 .对于某些图像 ,JPEG2 0 0 0标准的缺省小波基并不能取得较优的压缩结果 .文中分析了影响图像压缩性能的小波基与图像的特性 ,在此基础上 ,给出 JPEG2 0 0

关键词： JPEG2000 小波基图像压缩小波

来源：评论

学校读者我要写书评

暂无评论

虚拟硬盘系统的实现及应用

引用

小型微型计算机系统 2002年第9期23卷 1149-1152页

作者：郑康王艳蓉俞建新潘金贵南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学多媒体计算机研究所江苏南京210093

虚拟硬盘系统是一种功能强大的虚拟存储系统 ,有着良好的商业应用前景 .本文分析了 Windows NT/W2 K环境下的虚拟硬盘系统的原理与分类 ,给出了虚拟硬盘系统的实现方法以及需要注意的问题。

关键词：虚拟硬盘系统设备驱动程序存储设备虚拟存储系统计算机

来源：评论

学校读者我要写书评

暂无评论

软件开发方法发展回顾与展望

引用

软件学报 2019年第1期30卷 3-21页

作者：马晓星刘譞哲谢冰余萍张天卜磊李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法... 详细信息

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法、面向对象方法、软件复用与构件化方法、面向方面的方法、模型驱动的方法,以及服务化的方法.而后针对Internet的发展普及以及人机物融合应用对软件开发方法提出的挑战,介绍了网构软件的研究和探索,并展望未来人机物融合的软件方法和技术.

关键词：软件开发方法回顾展望

来源：评论

学校读者我要写书评

暂无评论

主观试题的计算机自动批改技术研究

引用

计算机应用研究 2004年第2期21卷 181-185页

作者：高思丹袁春风南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学多媒体技术研究所江苏南京210093

作为网络教学系统的关键技术之一,主观题的自动化批改技术日益受到关注。介绍了近年来国内外开发的具有代表性、性能突出的主观题自动批改系统,包括PEG,LSA,ATM,AutoMark等。

关键词：网络教学自动批改自然语言理解

来源：评论

学校读者我要写书评

暂无评论

基于体系结构能耗建模的CPS软件可信性评估方法

引用

电子学报 2013年第11期41卷 2270-2275页

作者：张广泉张侃祝义周航苏州大学计算机科学与技术学院江苏苏州215006 南京大学计算机软件新技术国家重点实验室江苏南京210093 中国科学院软件研究所计算机科学国家重点实验室北京100190 江苏师范大学计算机科学与技术学院江苏徐州221116 南京航空航天大学民航学院江苏南京210016

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构... 详细信息

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导,对CPS软件体系结构能耗进行建模,分析和评估能耗对CPS软件可信性的影响,可以在设计阶段发现其体系结构能耗设计缺陷,并重新设计软件体系结构,从而有效提高CPS软件可信性.基于此,首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型,并分析了影响CPS软件可信性的能耗问题;针对这些问题,将分析得到的能耗数据作为建立可信性指标模型的基础,提出了基于能耗指标模型的CPS可信性评估方法;最后通过实例建模和分析,进一步说明该方法的有效性.

关键词：信息物理融合系统软件可信性评估可信性指标模型能耗建模

来源：评论

学校读者我要写书评

暂无评论

一种层次式面向对象需求模型的设计

引用

南京大学学报（自然科学版） 2000年第2期36卷 148-154页

作者：陶先平张建莹南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所江苏南京210093

在总结了面向对象需求分析代表性工作的基础上,提出一种新的层次式面向对象需求分析模型,在该模型中较严格地定义了层次间的精化/抽象关系,使得系统需求模型具有较好的层次结构,呈现为多版本并存的多根树,从而提高了需求模型的易理解性... 详细信息

在总结了面向对象需求分析代表性工作的基础上,提出一种新的层次式面向对象需求分析模型,在该模型中较严格地定义了层次间的精化/抽象关系,使得系统需求模型具有较好的层次结构,呈现为多版本并存的多根树,从而提高了需求模型的易理解性,易维护性和可靠性.并有利于系统的自动开发.

关键词：面向对象方法需求模型精化抽象

来源：评论

学校读者我要写书评

暂无评论

基于混沌蜂群算法的高耸结构振动信号小波阈值去噪方法研究

引用

建筑结构学报 2016年第S1期37卷 467-474页

作者：张迅李决龙邢建春王平杨启亮解放军理工大学国防工程学院江苏南京210007 海军海防工程研究中心北京100841 南京大学计算机软件新技术国家重点实验室江苏南京210093

为了有效去除实测振动信号中的噪声,改进了一种基于Kent混沌人工蜂群(KCABC)算法的振动信号小波阈值去噪方法。该算法采用Kent混沌映射初始化蜂群,引入锦标赛选择机制选择食物源,并结合混沌策略搜索最优解。基于广义交叉验证(GCV)阈值... 详细信息

为了有效去除实测振动信号中的噪声,改进了一种基于Kent混沌人工蜂群(KCABC)算法的振动信号小波阈值去噪方法。该算法采用Kent混沌映射初始化蜂群,引入锦标赛选择机制选择食物源,并结合混沌策略搜索最优解。基于广义交叉验证(GCV)阈值构造了目标函数,采用改进的KCABC算法搜索最优阈值,实现了不基于噪声先验知识的振动信号阈值去噪。通过对广州新电视塔4组实测振动信号的处理,比较了改进的KCABC算法与粒子群优化(PSO)算法、标准蜂群(SABC)算法以及Logistic混沌蜂群(LCABC)算法的去噪性能。结果表明:提出的KCABC算法具有较快的收敛速度和较高的搜索精度,能够有效去除高耸结构振动信号中的噪声部分。

关键词：高耸结构振动信号小波阈值去噪人工蜂群算法 Kent混沌

来源：评论

学校读者我要写书评

暂无评论

遗留系统的服务识别方法研究

引用

计算机集成制造系统 2013年第9期19卷 2374-2383页

作者：李决龙张淼淼邢建春杨启亮解放军理工大学国防工程学院江苏南京210007 海军海防工程研究中心北京100841 南京大学计算机软件新技术国家重点实验室江苏南京210093

为了从面向对象的遗留系统中识别出高质量的服务,提出一种半自动化的遗留系统的服务识别方法。通过分析构件识别方法和服务识别方法,以业务流程模型和统一建模语言类图作为服务识别方法的输入,将服务识别问题转换为业务流程图的划分问... 详细信息

为了从面向对象的遗留系统中识别出高质量的服务,提出一种半自动化的遗留系统的服务识别方法。通过分析构件识别方法和服务识别方法,以业务流程模型和统一建模语言类图作为服务识别方法的输入,将服务识别问题转换为业务流程图的划分问题。为了得到一组图划分的最优解即最优服务集,又将图划分看作一个多目标优化问题。分别定义了服务集粒度、耦合度和内聚度的定量化关系,建立了多目标优化的服务识别模型。通过线性加权,给出了基于粒子群优化算法的服务识别算法。以某工程遗留系统为例,通过对比实验验证了方法的有效性。

关键词：遗留系统服务识别多目标优化粒子群优化算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：