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

计算机工程 2006年第9期32卷 91-93页

作者：余晓锋应时贾向阳张韬武汉大学软件工程国家重点实验室

软件系统非功能特性的分析设计一直是面向对象方法研究中的薄弱环节,缺乏系统化的建模手段。文章提出了一种基于反射的非功能特性分析设计方法,该方法利用反射思想分离功能特性和非功能特性。对于非功能特性,扩展UML并结合相关的非功能... 详细信息

软件系统非功能特性的分析设计一直是面向对象方法研究中的薄弱环节,缺乏系统化的建模手段。文章提出了一种基于反射的非功能特性分析设计方法,该方法利用反射思想分离功能特性和非功能特性。对于非功能特性,扩展UML并结合相关的非功能需求建模策略对其进行分析设计。

关键词：反射非功能特性 UML

来源：评论

学校读者我要写书评

暂无评论

视点间的不一致性检查和视点集成

引用

计算机研究与发展 2001年第6期38卷 706-714页

作者：李剑毋国庆武汉大学软件工程国家重点实验室武汉430072

需求定义人员常从不同的观察角度来定义大型软件系统的需求 ,从而形成多个部分需求说明 (视点 ) .由于视点之间的相对独立性 ,多视点的集成是需求工程中一项重要而又困难的研究课题 .使用形式化方法来描述视点需求和视点间的关系将使视... 详细信息

需求定义人员常从不同的观察角度来定义大型软件系统的需求 ,从而形成多个部分需求说明 (视点 ) .由于视点之间的相对独立性 ,多视点的集成是需求工程中一项重要而又困难的研究课题 .使用形式化方法来描述视点需求和视点间的关系将使视点集成能自动进行 .在此 ,使用 SFSM状态转换图来描述视点需求 ,并将视点间的关系用谓词的形式表示在状态图中状态转换的卫士条件中 ,同时在此基础上提出了一种自动合成视点的方法 .需求定义人员可以根据状态等价关系与合成后状态图的冲突来检查和解决两个视点之间的不一致性 .通过重复视点合成和检查、处理视点间的不一致性这一过程 ,多个视点可以被集成为整个软件系统的需求说明 .应用了一个电话系统的例子说明了此视点需求表示和视点集成方法 .使用此方法 ,视点集成过程可以自动完成 ,同时还可以在一定程度上引导需求定义人员检查和解决视点间的不一致性 .

关键词：需求工程视点一致性检查视点集成软件工程软件系统

来源：评论

学校读者我要写书评

暂无评论

面向大数据流的多任务加速在线学习算法

引用

计算机研究与发展 2015年第11期52卷 2545-2554页

作者：李志杰李元香王峰匡立软件工程国家重点实验室(武汉大学) 武汉430072

多任务在线学习框架采用直接数据处理的流式计算模式,是大数据流分析很有前途的一种工具.然而目前的多任务在线学习算法收敛率低,仅为O(1/T1/2),T为算法迭代次数.提出一种新颖的多任务加速在线学习算法ADA-MTL(accelerated dual averagi... 详细信息

多任务在线学习框架采用直接数据处理的流式计算模式,是大数据流分析很有前途的一种工具.然而目前的多任务在线学习算法收敛率低,仅为O(1/T1/2),T为算法迭代次数.提出一种新颖的多任务加速在线学习算法ADA-MTL(accelerated dual averaging method for multi-task learning),在保持多任务在线学习快捷计算优势的基础上,达到最优收敛率O(1/T2).对多任务权重学习矩阵Wt的迭代闭式解表达式进行了推导,对提出算法的收敛性进行了详细的理论分析.实验表明,提出的多任务加速在线学习算法能够更好地保障大数据流处理的实时性和可伸缩性,有较广泛的实际应用价值.

关键词：大数据流多任务加速在线学习收敛分析

来源：评论

学校读者我要写书评

暂无评论

演化参数反演方法

引用

武汉大学学报（自然科学版） 2001年第1期47卷 37-41页

作者：熊盛武李元香武汉大学软件工程国家重点实验室

给出了一类基于演化计算的演化参数反演方法 ,此类方法既可以给定参数的函数类 ,用遗传算法 (Ge neticAlgorithms)来反演参数的最优估计值 ,也可以不指定函数类形式 ,用遗传程序设计 (GeneticProgramming)的方法反演出最优的函数模型 ,... 详细信息

给出了一类基于演化计算的演化参数反演方法 ,此类方法既可以给定参数的函数类 ,用遗传算法 (Ge neticAlgorithms)来反演参数的最优估计值 ,也可以不指定函数类形式 ,用遗传程序设计 (GeneticProgramming)的方法反演出最优的函数模型 ,使参数反演实现客观化、自动化 .由此建立反演系统后 ,在使用过程中可以根据最新获得的数据对模型中的物理参数作适时校准 ,一旦发现预报误差较大 ,就利用演化算法及时修正方程中的参数以改进预报 .运用该方法于椭圆边值问题的物理参数反演的数值模拟 ,证实了此方法的有效性 ,为物理模型参数的反演提供了一种崭新的实用方法 .

关键词：演化计算遗传算法遗传程序设计参数估计反问题演化参数反演方法椭圆边值问题

来源：评论

学校读者我要写书评

暂无评论

基于图像和点云融合的三维小目标检测方法

引用

测绘通报 2025年第3期 33-38页

作者：郝佳姚国英周剑王斯远肖进胜 92942部队北京100161 武汉大学测绘遥感信息工程国家重点实验室湖北武汉430072 武汉大学电子信息学院湖北武汉430072

目标检测技术在人工智能、人脸识别、自动驾驶等关键领域发挥着至关重要的作用。三维点云目标检测,特别是对小目标的识别,仍然是技术发展中的一个难点。针对该问题,本文提出了一种新的三维检测网络,该网络融合了图像与点云数据,以显著... 详细信息

目标检测技术在人工智能、人脸识别、自动驾驶等关键领域发挥着至关重要的作用。三维点云目标检测,特别是对小目标的识别,仍然是技术发展中的一个难点。针对该问题,本文提出了一种新的三维检测网络,该网络融合了图像与点云数据,以显著提高三维小目标的检测精度。首先,利用YOLOv5进行精确的二维目标检测,并利用相机和激光雷达的坐标映射关系建立三维约束,从原始点云中提取出锥形感兴趣区域;然后,针对远处的点云小目标,提出了一种基于聚类优化的三维目标检测网络架构,将感兴趣区域的点云同时输入PointNet及聚类模块中,并对两者的检测结果进行融合判别,提升三维小目标检测精度。在KITTI数据集上的测试结果表明:与现有技术相比,本文算法在中等难度条件下,两种小目标物体的平均精度(AP)分别提升了15.94%、2.29%;在高难度条件下,分别提升了13.34%、2.86%。证明了本文算法在提升三维小目标检测精度方面的显著效果和实际应用潜力。

关键词：三维目标检测小目标感兴趣区域点云聚类点云图像融合

来源：评论

学校读者我要写书评

暂无评论

长江源查旦湿地表层土壤有机碳空间分布

引用

长江科学院院报 2025年第3期42卷 193-201页

作者：张双印徐平王密赵保成付重庆郑航徐坚赵登忠程学军郑学东长江科学院空间信息技术应用研究所武汉430010 武汉市智慧流域工程技术研究中心武汉430010 长江科学院野外科学观测中心武汉430010 武汉大学测绘遥感信息工程国家重点实验室武汉430079 长江勘测规划设计研究有限责任公司武汉430010 长江科学院科技交流与国际合作处武汉430010

高寒湿地是一个巨大的碳库,对于高原野生动物栖息和生态安全维护具有重要意义。当前研究主要集中在海拔4000 m以下,对于海拔>4000 m高寒湿地表层土有机碳的研究仍待加强。基于长江源海拔最高(平均海拔>4500 m)的查旦湿地20个监测... 详细信息

高寒湿地是一个巨大的碳库,对于高原野生动物栖息和生态安全维护具有重要意义。当前研究主要集中在海拔4000 m以下,对于海拔>4000 m高寒湿地表层土有机碳的研究仍待加强。基于长江源海拔最高(平均海拔>4500 m)的查旦湿地20个监测点共60个样方的表层土采样化验,分析了高寒湿地表层土有机碳含量和有机碳占比的空间分布,并探究干流、南北岸支流的空间差异。结果表明查旦湿地表层土有机碳的含量在0.54%~18.47%之间,平均值为4.78%,在总碳含量中的占比高于80%,总碳、总有机碳在南北岸支流的空间相关性相反。研究加深了我们对高寒湿地表层土有机碳空间分布差异的理解,为进一步估算高海拔高寒湿地碳汇储量提供了前期探索和验证数据。

关键词：长江源高寒湿地查旦湿地总有机碳碳赋存

来源：评论

学校读者我要写书评

暂无评论

Web本体语言的逻辑语义分析的研究

引用

计算机工程 2005年第9期31卷 7-10页

作者：刘进何克清李兵武汉大学软件工程国家重点实验室武汉430072

分析了OWL的3个子语言,特别是OWLDL的DL逻辑语义。OWLDL和OWLLite分别与SH系的SHOIN(D)和SHIF(D)对应。通过定义本体的传递概念匹配模式,给出了基于该模式的降水量管理知识模型作为DL推理示例。该示例表明深入分析研究OWL的DL语义对增... 详细信息

分析了OWL的3个子语言,特别是OWLDL的DL逻辑语义。OWLDL和OWLLite分别与SH系的SHOIN(D)和SHIF(D)对应。通过定义本体的传递概念匹配模式,给出了基于该模式的降水量管理知识模型作为DL推理示例。该示例表明深入分析研究OWL的DL语义对增强基于OWL推理能力的应用具有现实意义。

关键词： Web本体语本体 DL语义

来源：评论

学校读者我要写书评

暂无评论

一种OWL-S到OPM的映射转换方法

引用

计算机工程 2006年第6期32卷 248-250页

作者：熊旖旎何克清刘进武汉大学软件工程国家重点实验室武汉430072

OWL-S表示Web服务的复杂性性严重制约了智能Web过程建模的易操作性。该文将OWL-S映射到OPM(Object-ProcessMethodology)作为缓解上述矛盾的关键技术,定义了OPM建模元素与OWL-S语法元素之间的映射关系。一个购票示例说明使用该方法能够... 详细信息

OWL-S表示Web服务的复杂性性严重制约了智能Web过程建模的易操作性。该文将OWL-S映射到OPM(Object-ProcessMethodology)作为缓解上述矛盾的关键技术,定义了OPM建模元素与OWL-S语法元素之间的映射关系。一个购票示例说明使用该方法能够直观、清晰地进行OWL-S过程建模,促进Web服务建立的易操作性。

关键词： Web服务本体语言 OPM 过程建模

来源：评论

学校读者我要写书评

暂无评论

Use Case可视化自动建模工具的设计与实现

引用

计算机工程 2005年第15期31卷 93-95页

作者：林佳一何克清武汉大学软件工程国家重点实验室武汉430072

围绕UML中Usecase的可视化自动建模进行了研究,设计与实现了一个Usecase可视化自动建模工具,并通过在金融贸易系统需求建模中的应用,说明了这一方法对于提高需求建模的速度、确保文档的规范化和模型语法的正确性等具有明显的效果。

关键词： Use case 可视化自动建模统一建模语言

来源：评论

学校读者我要写书评

暂无评论

基于MDA的ODP互操作性软件过程研究

引用

计算机工程 2004年第9期30卷 87-88,114页

作者：王璞巍唐胜群武汉大学软件工程国家重点实验室武汉430072

利用RM-ODP概念架构，提出了基于MDA的ODP软件过程，将互操作性的实现贯穿于整个系统的开发过程之中：在PIM中设计，在PSM中实现。为了使系统建立在正确的完整的PIM之上，在需求分析阶段采用了EDOC 模式进行可视化的建模，在功能设计阶... 详细信息

利用RM-ODP概念架构，提出了基于MDA的ODP软件过程，将互操作性的实现贯穿于整个系统的开发过程之中：在PIM中设计，在PSM中实现。为了使系统建立在正确的完整的PIM之上，在需求分析阶段采用了EDOC 模式进行可视化的建模，在功能设计阶段采用了E-LOTOS形式化描述得到PIM。因此，本软件过程实现了ODP系统基于可测试业务模型的互操作性。

关键词：互操作性软件过程 MDA RM-ODP PIM ODP trader

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：