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

计算机研究与发展 2011年第4期48卷 647-655页

作者：丁帅鲁付俊杨善林夏承遗合肥工业大学计算机网络系统研究所合肥230009 过程优化与智能决策教育部重点实验室(合肥工业大学) 合肥230009 奇瑞汽车有限公司安徽芜湖241006 天津理工大学天津市智能计算与软件新技术重点实验室天津300191

软件可信性评估模型的构建依赖于对特定应用领域中可信需求的准确提取和指标系统的合理建立.对于体系结构庞大、非功能性需求复杂的软件而言,可信需求往往随着软件运行状态的转移而不断发生变化.由于可信需求的动态演化将直接影响指标... 详细信息

软件可信性评估模型的构建依赖于对特定应用领域中可信需求的准确提取和指标系统的合理建立.对于体系结构庞大、非功能性需求复杂的软件而言,可信需求往往随着软件运行状态的转移而不断发生变化.由于可信需求的动态演化将直接影响指标系统的稳定性,因此引起了可信软件研究领域专家的广泛关注.针对该问题,给出一种需求驱动的软件可信性评估及演化模型.首先,剖析和总结软件可信性评估过程中涉及的关键技术,如需求分析与指标提取、可信证据采集与转换、可信性评估推理等,讨论了可信性需求演化背景下的可信性评估自主求解问题.其次,为了分析可信属性间的内在联系及可信属性相对权重的变化规律,给出关联矩阵的概念,并在此基础上提出应用于软件可信性评估指标系统自主配置的自适应重构器.最后,给出软件可信性评估及演化模型的整体框架.实验结果证明了该模型的合理性和正确性.

关键词：需求驱动可信性评估自适应重构评估模型演化模型

来源：评论

学校读者我要写书评

暂无评论

时间驱动的深度嵌入型智能感知网操作系统分析与设计

引用

计算机研究与发展 2011年第S2期48卷 7-13页

作者：张伟赵霞王祝萍姜日东厉鹏飞同济大学电子信息与工程学院控制科学与工程系上海201804 嵌入式系统与服务计算教育部重点实验室上海201804

智能感知网操作系统是管理和调度无线传感器节点和网络中的各种资源、为实现低功耗分布式感知任务而服务的基础软件.深度嵌入型智能感知网则特指面向高可靠关键应用、软硬件交互密切、对功耗要求苛刻的感知网.与传统无线传感器网络略有... 详细信息

智能感知网操作系统是管理和调度无线传感器节点和网络中的各种资源、为实现低功耗分布式感知任务而服务的基础软件.深度嵌入型智能感知网则特指面向高可靠关键应用、软硬件交互密切、对功耗要求苛刻的感知网.与传统无线传感器网络略有不同的是,深度嵌入型智能感知网定位在测控类用途,在保留低功耗运行这个特征之外,更加强调向高可靠强实时的关键应用领域的渗透.它除了要求程序执行流程上的正确性,也要求数据的时效性,其中,程序正确性和数据时效性都受到硬件平台差异性和离散性的影响,会使得包含监控对象和业务应用在内的整个系统在不同平台上行为表现不同,这对整个系统的长期可靠运行提出了重大挑战,同时也使得系统升级维护困难.设计并开发了一个新型的智能感知网操作系统,采用时间驱动机制强迫各软件组件在其期待的时刻运行,并辅以网络化组件和时间同步,可有效改善由于硬件差异性和离散性引发的可靠性和时效性问题.基于优先队列和堆数据结构的任务管理,较好平衡了任务插入、删除和遍历的性能.已有的OpenWSN系统实现表明了这一思路的可行性和有效性.

关键词：操作系统设计智能感知网时间驱动传感器网络物联网深度嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

基于路由机制的变权网络路径快速生成算法

引用

计算机科学 2011年第12期38卷 110-112,124页

作者：唐俊张栋良同济大学电子与信息工程学院上海201804 同济大学嵌入式系统与服务计算教育部重点实验室上海201804

在大规模交通流仿真中,车辆个体路径生成环节存在着大量重复计算。为避免重复计算及提高车辆个体路径生成速度,将计算机网络中的路由机制引入到交通流仿真中,提出一种基于路由机制的变权网络路径快速生成算法,即把每个道路路口节点作为... 详细信息

在大规模交通流仿真中,车辆个体路径生成环节存在着大量重复计算。为避免重复计算及提高车辆个体路径生成速度,将计算机网络中的路由机制引入到交通流仿真中,提出一种基于路由机制的变权网络路径快速生成算法,即把每个道路路口节点作为路由器,分解并存储原本与车关联的路径作为指路信息。仿真车辆通过访问该指路信息获取下一步行车方向,并且当路网权值发生变化时,能及时响应路网的动态变化,从而给出求实时路况下仿真车辆行驶路径的一种方法。

关键词：交通流仿真路径生成路由机制动态路网

来源：评论

学校读者我要写书评

暂无评论

线性系统的同时镇定问题

引用

控制理论与应用 2011年第1期28卷 1-12页

作者：关强何冠男王龙郁文生中国科学院自动化研究所综合信息系统研究中心北京化工大学信息科学与技术学院北京大学工学院机器感知与智能教育部重点实验室华东师范大学上海高可信计算重点实验室

线性系统的同时镇定问题,是系统与控制理论中的基本问题,有着广泛的理论意义和应用价值.本文介绍了线性系统同时镇定问题的研究现状和最新进展.首先回顾了同时镇定问题的研究内容、基本方法及相关结果.其次,从理论求解和控制器设计的角... 详细信息

线性系统的同时镇定问题,是系统与控制理论中的基本问题,有着广泛的理论意义和应用价值.本文介绍了线性系统同时镇定问题的研究现状和最新进展.首先回顾了同时镇定问题的研究内容、基本方法及相关结果.其次,从理论求解和控制器设计的角度对线性系统同时镇定研究中著名的"香槟问题","比利时巧克力问题"和"威士忌问题"进行了分析探讨,并基于不等式型定理机器证明理论,给出了线性系统同时镇定问题的相关工作.最后指出了对于同时镇定多个线性系统方面的若干研究方向.

关键词：线性系统同时镇定香槟问题比利时巧克力问题威士忌问题复分析不等式型定理机器证明半代数系统

来源：评论

学校读者我要写书评

暂无评论

分布式网络嗅探器系统的设计与分析

引用

计算机研究与发展 2011年第S2期48卷 373-378页

作者：姜日东张伟厉鹏飞同济大学电子信息与工程学院控制科学与工程系上海201804 嵌入式系统与服务计算教育部重点实验室(同济大学) 上海201804

大规模传感器网络中自发的时空波动行为极大影响了网络运行的整体平稳性,对全网的传输行为进行监测可获得网络运行性态的一手数据,可为后续网络评估和管控提供数据基础.嗅探器是监测网络传输的传统工具,但是目前大多数嗅探系统都采用单... 详细信息

大规模传感器网络中自发的时空波动行为极大影响了网络运行的整体平稳性,对全网的传输行为进行监测可获得网络运行性态的一手数据,可为后续网络评估和管控提供数据基础.嗅探器是监测网络传输的传统工具,但是目前大多数嗅探系统都采用单个嗅探器节点仅能对小范围区域和网络局部进行监测.设计并实现了一种分布式网络嗅探系统,介绍了其架构和软硬件结构设计,并在多个嗅探结点的基础上,用高速廉价的RS485总线互联各个结点,以解决大规模无线传感器网络难以全面监测的挑战,最后分析了网络化嗅探器在实用中的若干问题及对策.初步进展和实验表明了这一技术路线的可行性.

关键词：传感器网络分布式网络嗅探器智能感知网网络行为监测网络数据分析

来源：评论

学校读者我要写书评

暂无评论

逻辑Petri网变迁使能的判定方法

引用

系统仿真学报 2011年第B07期23卷 7-10页

作者：亓亮杜玉越山东科技大学信息科学与工程学院青岛266510 同济大学嵌入式系统与服务计算教育部重点实验室上海200092

逻辑Petri网(LPNs)能够描述和分析实时协同工作系统中批处理功能和传值不确定性。为了直接分析LPNs的性质,针对LPNs变迁的不确定性,定义了逻辑变迁向量集和变迁使能向量集,给出了一种向量匹配方法判断使能变迁。为应用LPNs建模分析实际... 详细信息

逻辑Petri网(LPNs)能够描述和分析实时协同工作系统中批处理功能和传值不确定性。为了直接分析LPNs的性质,针对LPNs变迁的不确定性,定义了逻辑变迁向量集和变迁使能向量集,给出了一种向量匹配方法判断使能变迁。为应用LPNs建模分析实际问题奠定了理论基础。最后,通过一个例子,验证了论文分析方法的可行性。

关键词：逻辑Petri网不确定性逻辑变迁向量集变迁使能向量集向量匹配

来源：评论

学校读者我要写书评

暂无评论

从交互情景出发的需求捕获方法及其支撑工具

引用

计算机学报 2011年第2期34卷 329-341页

作者：陈小红尹斌金芝华东师范大学上海市高可信计算重点实验室上海200062 中国科学院数学与系统科学研究院北京100190 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交... 详细信息

需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交互序列,引入交互情景约束,以捕获隐式需求信息.文中构建了支持这个方法的需求描述元模型,提出以该元模型为基础的需求捕获过程.文中还构建了相应的支撑工具,提供各种需求元素的编辑、检测和验证手段,帮助需求提供者正确地表达需求信息.

关键词：需求捕获情景问题领域问题框架方法

来源：评论

学校读者我要写书评

暂无评论

单尺度词袋模型图像分类方法

引用

计算机应用研究 2011年第10期28卷 3986-3988页

作者：陈凯肖国强潘珍李正浩西南大学计算机与信息科学学院重庆400715 重庆大学光电技术及系统教育部重点实验室重庆400044

针对基于SIFT特征描述的图像分类方法需构造多尺度极值空间,运算耗时且部分极值点无直观视觉意义,提出一种新型的图像分类方法。该方法通过网格直接提取单尺度SIFT特征,并对局部特征进行单尺度词袋模型描述。由于单尺度SIFT无须构造多... 详细信息

针对基于SIFT特征描述的图像分类方法需构造多尺度极值空间,运算耗时且部分极值点无直观视觉意义,提出一种新型的图像分类方法。该方法通过网格直接提取单尺度SIFT特征,并对局部特征进行单尺度词袋模型描述。由于单尺度SIFT无须构造多尺度空间且保留了更多的全局信息,从而极大地降低了计算复杂度且使分类正确率得到显著提升。实验结果表明,提出的单尺度SIFT比常规SIFT所形成的词袋模型在分类正确率上有明显提高。

关键词：图像分类单尺度SIFT 视觉单词词袋模型

来源：评论

学校读者我要写书评

暂无评论

云模型研究的回顾与展望

引用

计算机应用研究 2011年第2期28卷 420-426页

作者：付斌李道国王慕快杭州电子科技大学管理学院杭州310018 同济大学嵌入式系统与服务计算教育部重点实验室上海200092

云模型融合了概率论和模糊集合论的观点,更好地刻画了自然语言中概念的不确定性,反映了随机性与模糊性之间的内在关联。综述了云模型的产生背景、理论基础及发展历程,着重梳理了云模型的主要理论、技术和方法及其在数据挖掘、算法改进... 详细信息

云模型融合了概率论和模糊集合论的观点,更好地刻画了自然语言中概念的不确定性,反映了随机性与模糊性之间的内在关联。综述了云模型的产生背景、理论基础及发展历程,着重梳理了云模型的主要理论、技术和方法及其在数据挖掘、算法改进、网络安全等众多领域的应用成果,并针对云模型研究存在的一些问题提出了云模型进一步研究的思路。

关键词：不确定性云模型正态云云发生器云变换

来源：评论

学校读者我要写书评

暂无评论

云计算环境下差别矩阵知识约简算法研究

引用

计算机科学 2011年第8期38卷 193-196页

作者：钱进苗夺谦张泽华同济大学计算机科学与技术系上海201804 江苏技术师范学院计算机工程学院常州213001 同济大学嵌入式系统与服务计算教育部重点实验室上海201804

知识约简是粗糙集理论的重要研究内容之一。经典的差别矩阵知识约简算法只能处理小数据集,而已有的任务并行的知识约简算法是假设所有数据一次性装入内存中,这显然不适合处理海量数据。为此,剖析了差别矩阵元素的特性,根据属性(集)的不... 详细信息

知识约简是粗糙集理论的重要研究内容之一。经典的差别矩阵知识约简算法只能处理小数据集,而已有的任务并行的知识约简算法是假设所有数据一次性装入内存中,这显然不适合处理海量数据。为此,剖析了差别矩阵元素的特性,根据属性(集)的不可辨识性和云计算技术MapReduce设计了适合数据并行的差别矩阵,并首次提出了面向大规模数据的差别矩阵知识约简算法。实验结果表明该知识约简算法是有效可行的,且具有较好的可扩展性。

关键词：云计算差别矩阵知识约简粗糙集

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：