期刊文献+
共找到157篇文章
< 1 2 8 >
每页显示 20 50 100
计算机图形学(第一讲)
1
作者 李炳法 朱宏 《计算机应用》 CSCD 1990年第2期41-46,共6页
应广大读者的要求,希望本刊开设计算机图形学讲座,经过一段时间的准备,本期开始第一讲,介绍图形学及其研究对象,重点是图形算法;第二讲着重介绍图形软件标准 GKS和微机绘图软件包 AutoCAD;第三讲着重介绍工程图形数据库及其应用实例。
关键词 计算机 图形学
在线阅读 下载PDF
区分商品图中计算机生成图和相机拍摄图的方法 被引量:1
2
作者 王永攀 吴诗娟 +2 位作者 冯华君 徐之海 李奇 《光电工程》 CAS CSCD 北大核心 2010年第2期113-121,共9页
在很多场合的应用中,利用图片做数据挖掘之前,有必要区分计算机生成图片和相机拍摄图片。本文针对互联网上的商品图片集(主题为商品的图片,简称商品图)。对现有的一些分辨计算机生成图片和相机拍摄图片的方法进行了讨论。分析了各种判... 在很多场合的应用中,利用图片做数据挖掘之前,有必要区分计算机生成图片和相机拍摄图片。本文针对互联网上的商品图片集(主题为商品的图片,简称商品图)。对现有的一些分辨计算机生成图片和相机拍摄图片的方法进行了讨论。分析了各种判别方法在商品图上运行时的局限性,并提出了一种适用于商品图的简单有效的方法。该算法首先从文字图片和图像图片具有不同视角效果的角度对二者进行区分,并将文字图片认定为计算机生成图片;然后对剩余的图像图片的主颜色,颜色多样性等进行综合的判定区分出计算机生成图片。本文在一个拥有40000张的网上商品图片库上验证了算法的有效性。 展开更多
关键词 数据挖掘 主颜色 颜色多样性 文字图片
在线阅读 下载PDF
程序切片技术在软件测试中的应用 被引量:14
3
作者 孙继荣 李志蜀 +2 位作者 王莉 殷锋 金虎 《计算机应用研究》 CSCD 北大核心 2007年第5期210-213,217,共5页
基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等。同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的... 基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等。同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的其他各种依赖关系,使得测试的准确性得到提高。详细阐述了目前存在的各种切片技术及其应用领域,重点探讨了目前切片技术在测试领域中的具体应用。 展开更多
关键词 程序切片 软件测试 数据依赖 控制依赖 测试数据自动生成
在线阅读 下载PDF
基于免疫计算的agent系统研究 被引量:6
4
作者 陈光柱 李志蜀 蒋亚平 《计算机工程与应用》 CSCD 北大核心 2005年第15期13-16,共4页
由于免疫系统具有良好的特性以及与multi-agent系统的相似性,因此将免疫机理应用于multi-agent系统的研究越来越受到关注。该文提出了一种新的实体agent——免疫agent和多免疫agent系统。首先给出了免疫agent的功能、结构以及形式化描述... 由于免疫系统具有良好的特性以及与multi-agent系统的相似性,因此将免疫机理应用于multi-agent系统的研究越来越受到关注。该文提出了一种新的实体agent——免疫agent和多免疫agent系统。首先给出了免疫agent的功能、结构以及形式化描述,然后构造了基于独特性网络理论的多免疫agent系统模型,借鉴生态学协同进化机理提出了系统中免疫agent之间的四种交互关系:共生、共栖、捕食者-猎物和竞争关系,并给出了免疫agent的浓度函数表达式。 展开更多
关键词 人工免疫系统 免疫AGENT 协同进化 AUML
在线阅读 下载PDF
用基于对象的Java中间件实现校园网网格计算 被引量:1
5
作者 殷锋 李志蜀 +3 位作者 王莉 卢暾 何先波 吴云波 《计算机应用与软件》 CSCD 北大核心 2005年第10期71-72,共2页
本文通过对校园网网格计算环境、计算的特殊性等的讨论,提出了通过Java中间件以构建“计算池”的方法来实现“校园网网格”,从而为我国高校构建自身的校园网网格提供了一个可供选择的实际方案。
关键词 校园网 网格计算 中间件 JAVA 基于对象 计算环境 构建
在线阅读 下载PDF
TP-Miner:基于生物启发计算的警用流动人口分析系统 被引量:1
6
作者 彭京 唐常杰 +3 位作者 程温泉 叶尚玉 方全心 石葆梅 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2006年第5期128-135,共8页
目前对流动人口的管理仅停留在数据查询比对和简单统计上,缺少对数据的深层次分析,难以对决策指挥提供支持。针对流动人口的分析问题,提出了构建一个基于生物启发计算的智能分析系统,用于发现流动人口中各类人员的流动模式以及流动人口... 目前对流动人口的管理仅停留在数据查询比对和简单统计上,缺少对数据的深层次分析,难以对决策指挥提供支持。针对流动人口的分析问题,提出了构建一个基于生物启发计算的智能分析系统,用于发现流动人口中各类人员的流动模式以及流动人口的趋势性问题,找出异常的流动信息和模式。该系统综合运用了前沿的生物启发计算技术———基于多层染色体基因表达式编程算法、重叠基因表达进化算法、基于概念相似度神经网络分类模型和层次距离计算的聚类算法搭建了一个警用流动人口的分析平台。同时根据实际需求,提出了一种新的基于智能分析结果的分级报警模型。实验表明系统具有较高的性能和实用性。 展开更多
关键词 生物启发计算 流动人口 概念相似度 人工神经网络 数据挖掘
在线阅读 下载PDF
TPLADD:高鲁棒性与高精度的C/C++第三方库检测方法
7
作者 贾昀峰 王俊峰 吴鹏 《计算机科学与探索》 北大核心 2025年第7期1969-1980,共12页
第三方库(TPL)作为现代C/C++软件开发的重要组成部分,其精确检测与管理对于保障软件质量与安全性至关重要。然而现有方法主要依赖代码语法特征,对TypeⅡ和TypeⅢ克隆重用场景的适应性不足,易导致检测失效。提出一种基于函数抽象语法树(A... 第三方库(TPL)作为现代C/C++软件开发的重要组成部分,其精确检测与管理对于保障软件质量与安全性至关重要。然而现有方法主要依赖代码语法特征,对TypeⅡ和TypeⅢ克隆重用场景的适应性不足,易导致检测失效。提出一种基于函数抽象语法树(AST)特征的TPL检测方法TPLADD。该方法利用AST节点度数与次序的度量信息快速实现函数语法向量嵌入,并结合向量数据库与近似最近邻检索技术,显著提升了修改重用场景下的检测鲁棒性。基于异常检测的过滤技术可以有效减少干扰函数对检测的影响,提高结果精确性。基于GitHub搜集的29 782个开源软件(OSS)共计726 074个版本,构建了特征向量索引库,并在100个知名项目上验证有效性。实验结果表明,在精度上,TPLADD相较于CENTRIS,精确率和召回率分别提升了3.88和2.76个百分点;在鲁棒性上,TPLADD即使出现较大程度代码修改时,仍能保持74%的F1值;在性能上,TPLADD平均每个TPL检测耗时仅0.42 s,索引库存储占用率仅为总体函数特征的0.41%。这些充分体现了TPLADD高鲁棒性、高精确性的特点,且具备良好的性能表现。 展开更多
关键词 开源软件 软件组件分析 第三方库检测 代码克隆 修改重用 静态分析
在线阅读 下载PDF
大模型在网络空间中的安全风险与治理对策
8
作者 雷文强 《人民论坛》 北大核心 2025年第16期52-56,共5页
随着智能技术的不断发展,大模型日益成为网络空间的新型基础设施,其生成内容借助互联网快速传播,对个人、社会乃至国家治理带来潜在安全风险。这些安全风险深嵌于大模型“数据—训练—评估—应用”的全生命周期,无法依赖单一环节或技术... 随着智能技术的不断发展,大模型日益成为网络空间的新型基础设施,其生成内容借助互联网快速传播,对个人、社会乃至国家治理带来潜在安全风险。这些安全风险深嵌于大模型“数据—训练—评估—应用”的全生命周期,无法依赖单一环节或技术的突破完全解决。推动大模型健康发展,应从数据源头安全、模型训练规范、动态风险评估、应用治理闭环四个方面着手,健全法规标准与敏捷治理体系,构建贯穿大模型全生命周期的立体化、多层次、自适应的综合治理框架。 展开更多
关键词 大模型 网络空间 安全风险 安全治理
在线阅读 下载PDF
一个用Turbo-C实现的软件集成器
9
作者 唐常杰 韩仲清 《计算机应用》 CSCD 1991年第4期39-41,共3页
本文提供的用 Turbo-C 实现的软件集成器能把在物理上分散的软件,从逻辑上集成于一个统一的界面之下。采用控制与数据分离的办法,用户不必修改和重编译 C 程序,而只需用文字处理器修改菜单文本文件和一个批处理文件,就能适应用户的特殊... 本文提供的用 Turbo-C 实现的软件集成器能把在物理上分散的软件,从逻辑上集成于一个统一的界面之下。采用控制与数据分离的办法,用户不必修改和重编译 C 程序,而只需用文字处理器修改菜单文本文件和一个批处理文件,就能适应用户的特殊需要. 展开更多
关键词 软件开发 软件集成器 TURBO-C
在线阅读 下载PDF
潜艇隐蔽效能建模与快速计算 被引量:3
10
作者 刘文 胡术 李辉 《舰船科学技术》 北大核心 2023年第6期39-46,共8页
针对现有潜艇隐蔽效能模型评估方法单一、计算效率低等问题,构建了基于海洋环境数据与潜艇工况的潜艇隐蔽效能模型,用于潜艇隐蔽性的评估,同时提出一种基于层次细节算法的快速计算方法,用于潜艇隐蔽效能快速计算。首先,通过海洋温盐场... 针对现有潜艇隐蔽效能模型评估方法单一、计算效率低等问题,构建了基于海洋环境数据与潜艇工况的潜艇隐蔽效能模型,用于潜艇隐蔽性的评估,同时提出一种基于层次细节算法的快速计算方法,用于潜艇隐蔽效能快速计算。首先,通过海洋温盐场计算海洋声速场,利用射线Bellhop模型计算声传播损失值;其次,分析潜艇工况与运动规律和被动声呐投放深度对探测能力的影响,结合概率论和被动声呐方程构建潜艇隐蔽效能模型;然后,利用误差反向传播算法建立BellhopBP模型,采用层次细节算法思想,实现隐蔽效能快速准确的计算。最后,在不同大小和位置的海域进行隐蔽效能仿真实验。实验结果表明,该潜艇隐蔽效能模型和快速计算方法可以快速准确地计算潜艇隐蔽效能,计算效率约提高至现有方法的12~25倍。该研究为潜艇隐蔽航行的航迹规划研究提供参考。 展开更多
关键词 潜艇隐蔽效能 快速计算 层次细节 建模与仿真
在线阅读 下载PDF
面向学生能力培养的课程教学设计--以软件工程专业为例 被引量:28
11
作者 洪玫 严斌宇 余静 《中国大学教学》 CSSCI 北大核心 2022年第7期39-44,共6页
针对软件工程专业学生能力培养的问题,在针对学生能力培养的调研基础上,基于工程教育理念,提出了课程教学大纲和考试大纲的设计方法,介绍了以学生为中心的反馈式、互动式课程教学方法,以及学生课外学习任务设计等。最后,以四川大学软件... 针对软件工程专业学生能力培养的问题,在针对学生能力培养的调研基础上,基于工程教育理念,提出了课程教学大纲和考试大纲的设计方法,介绍了以学生为中心的反馈式、互动式课程教学方法,以及学生课外学习任务设计等。最后,以四川大学软件工程专业的课堂教学改革实践为例,说明能力培养的可行性和有效性。 展开更多
关键词 面向能力培养 课程设计 课程考核 课堂教学 以学生为中心 软件工程
在线阅读 下载PDF
基于改进狼群算法的无人机协同任务规划 被引量:3
12
作者 彭泫滈 张娟 +1 位作者 李辉 胡术 《计算机工程》 CAS CSCD 北大核心 2024年第10期69-79,共11页
多无人机在现代化作战中的运用日渐增多,无人机任务规划在无人机智能作战中至关重要。针对子系统能力约束下的无人机任务分配问题,提出一种Levy Flight(LF)优化下基于拍卖机制的混沌反向学习狼群优化算法CRL-AMIWPA。首先,定义无人机能... 多无人机在现代化作战中的运用日渐增多,无人机任务规划在无人机智能作战中至关重要。针对子系统能力约束下的无人机任务分配问题,提出一种Levy Flight(LF)优化下基于拍卖机制的混沌反向学习狼群优化算法CRL-AMIWPA。首先,定义无人机能力矩阵和任务场景,对无人机异构性、任务执行能力、执行任务能力最低需求建立同一矩阵描述,根据距离油耗和最迟任务完成时间的加权和建立目标函数,建立子系统约束下的任务分配模型;然后,设计狼群个体编码,每个编码方案包含一种任务分配策略,针对未达到任务需求最低能力的解,采用基于合同网的拍卖策略予以修正。另外,在狼群初始化阶段,采用Tent混沌算子和反向学习策略,将狼群个体均匀地分布在解空间中,以提高初始种群的多样性,最后,利用LF策略优化寻优过程,提高跳出局部最优解的能力。仿真实验结果表明,所提算法能有效解决在子系统约束场景下无人机任务分配问题,相比其他群智能算法和狼群算法,具有更优的寻优性和收敛速度。 展开更多
关键词 狼群算法 任务分配 混沌优化 变步长优化 群智能算法
在线阅读 下载PDF
基于变异和约束求解的程序缺陷自动修复方法
13
作者 董兰 洪玫 伍佳 《计算机工程与设计》 北大核心 2024年第1期88-94,共7页
为能正确高效地生成修复补丁,针对Java程序中出现频率较高的条件语句相关缺陷修复问题,将启发式搜索方法与语义约束求解方法相结合,提出一个有针对性、更高效的解决方案。针对条件语句缺失错误,采用基于组件的程序合成技术,合成满足约... 为能正确高效地生成修复补丁,针对Java程序中出现频率较高的条件语句相关缺陷修复问题,将启发式搜索方法与语义约束求解方法相结合,提出一个有针对性、更高效的解决方案。针对条件语句缺失错误,采用基于组件的程序合成技术,合成满足约束的候选条件语句;针对条件语句逻辑表达式错误,采用变异技术,生成候选逻辑表达式;针对条件语句逻辑表达式错误中,不能用变异技术修复的缺陷,使用基于组件的约束求解方法生成候选补丁。实验结果表明,所提方法有更高的补丁召回率和准确率。 展开更多
关键词 程序自动修复 变异分析 约束求解 程序合成 条件语句缺陷 补丁生成 软件调试
在线阅读 下载PDF
基于分数阶微分的图像增强 被引量:98
14
作者 杨柱中 周激流 +1 位作者 晏祥玉 黄梅 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2008年第3期343-348,共6页
通过理论分析得出分数阶微分可以大幅提升信号高频成分,增强信号的中频成分、非线性保留信号的甚低频,据此得出分数阶微分应用于图像增强将使图像边缘明显突出、纹理更加清晰和图像平滑区域信息得以保留的增强图像;然后由经典的分数阶... 通过理论分析得出分数阶微分可以大幅提升信号高频成分,增强信号的中频成分、非线性保留信号的甚低频,据此得出分数阶微分应用于图像增强将使图像边缘明显突出、纹理更加清晰和图像平滑区域信息得以保留的增强图像;然后由经典的分数阶微分定义出发,推导出了分数阶差分方程,构建了近似的Tiansi微分算子.通过图像增强的实验表明:采用基于分数阶微分算子的图像增强方法,其增强图像的视觉效果明显优于传统的微分锐化(整数微分)方法.文中方法为拓展分数阶微分的应用领域进行了有意义的探索. 展开更多
关键词 分数阶微分 图像增强 微分阶数 掩模模板
在线阅读 下载PDF
基因表达式编程初始种群的多样化策略 被引量:44
15
作者 胡建军 唐常杰 +3 位作者 段磊 左劼 彭京 元昌安 《计算机学报》 EI CSCD 北大核心 2007年第2期305-310,共6页
基因表达式编程(GeneExpressionProgramming,GEP)算法是遗传家族的新成员,被广泛用于知识发现,其初始种群的质量对进化效率和进化结果至关重要.为了产生优势初始种群,提出了基因空间均匀分布策略(GeneSpaceBalanceStrategy,GSBS),证明... 基因表达式编程(GeneExpressionProgramming,GEP)算法是遗传家族的新成员,被广泛用于知识发现,其初始种群的质量对进化效率和进化结果至关重要.为了产生优势初始种群,提出了基因空间均匀分布策略(GeneSpaceBalanceStrategy,GSBS),证明了描述编码空间量化性质的GEP编码空间定理.实验表明,GSBS提高进化效率超过20%.GSBS算法的思想还可以应用于其它进化计算中. 展开更多
关键词 遗传编程 遗传算法 基因表达式编程 函数挖掘
在线阅读 下载PDF
基于分数阶积分的图像去噪 被引量:43
16
作者 黄果 蒲亦非 +1 位作者 陈庆利 周激流 《系统工程与电子技术》 EI CSCD 北大核心 2011年第4期925-932,共8页
为了在图像去噪的同时更多地保留图像的细节信息,介绍了分数阶积分算子在信号滤波中的作用,并将分数阶积分理论引入到数字图像去噪。该方法通过设定较小的分数积分阶次来构建相应的图像去噪掩模,并且利用迭代的思想来控制图像去噪的效果... 为了在图像去噪的同时更多地保留图像的细节信息,介绍了分数阶积分算子在信号滤波中的作用,并将分数阶积分理论引入到数字图像去噪。该方法通过设定较小的分数积分阶次来构建相应的图像去噪掩模,并且利用迭代的思想来控制图像去噪的效果,从而实现图像去噪的局部微调。实验结果表明,基于分数阶积分的图像去噪算法较传统去噪方法不仅可以提高图像的信噪比,而且可以更好地保留图像的边缘和纹理等细节信息。 展开更多
关键词 分数阶积分 图像去噪 迭代 信噪比
在线阅读 下载PDF
多处理器实时系统可调度性分析的UPPAAL模型 被引量:19
17
作者 代声馨 洪玫 +3 位作者 郭兵 杨秋辉 黄蔚 徐保平 《软件学报》 EI CSCD 北大核心 2015年第2期279-296,共18页
随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方... 随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方法的缺陷,提出使用模型检测的方法来实现可调度性分析.提出了一个用于多处理器实时系统可调度性分析的模板,将与系统可调度性相关的部分包括实时任务、运行平台和调度管理模块都用时间自动机建模,并使用UPPAAL验证可调度的性质是否总被满足.符号化模型检测方法被用于推断可调度性,但是由于秒表触发的近似机制,符号化模型检测方法不能用于证明系统不可调度.作为补充,统计模型检测方法被用于估算系统不可调度的概率,并在系统不可调度时生成反例.此外,在系统可调度时,通过统计模型检测方法获取一些性能相关的信息. 展开更多
关键词 可调度性 模型检测 UPPAAL 多处理器实时系统 时间自动机
在线阅读 下载PDF
基于神经网络和属性距离矩阵的中药方剂功效归约算法 被引量:23
18
作者 彭京 唐常杰 +2 位作者 曾涛 乔少杰 雍小嘉 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2006年第1期92-97,共6页
针对中药方剂功效归纳问题,提出了一种基于人工神经网络新的高维数据归约方法。新方法利用属性间先验的相似信息,得到属性距离矩阵,然后将矩阵引入神经网络,通过训练神经网络得到最终数据归约结果。依据这个方法实现了一个中药方剂分析... 针对中药方剂功效归纳问题,提出了一种基于人工神经网络新的高维数据归约方法。新方法利用属性间先验的相似信息,得到属性距离矩阵,然后将矩阵引入神经网络,通过训练神经网络得到最终数据归约结果。依据这个方法实现了一个中药方剂分析系统。实验表明,新方法在中药方剂功效的自动归纳中获得很好的效果。 展开更多
关键词 神经网络 高维数据归约 相似度 方剂功效 矢量 相似距离
在线阅读 下载PDF
快速跳出局部最优的VPS-GEP算法 被引量:13
19
作者 胡建军 唐常杰 +3 位作者 彭京 陈宇 元昌安 刘齐宏 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2007年第1期128-133,共6页
传统GEP(Gene Expression Programm ing)算法存在局部收敛方面的缺陷,为了解决这一问题,提出了可以使进化快速跳出局部最优的VPS-GEP(Various Popu lation Strategy GEP)算法,证明了在概率意义上GEP平均每代进化所耗时间与群体规模成正... 传统GEP(Gene Expression Programm ing)算法存在局部收敛方面的缺陷,为了解决这一问题,提出了可以使进化快速跳出局部最优的VPS-GEP(Various Popu lation Strategy GEP)算法,证明了在概率意义上GEP平均每代进化所耗时间与群体规模成正比,用两个标准测试函数和一个标准测试数据集测试了VPS-GEP算法的函数挖掘能力和效率。实验表明,VPS-GEP算法可以减少进化停滞代数55%以上。 展开更多
关键词 GEP 遗传算法 函数挖掘 基因多样性 VPS-GEP
在线阅读 下载PDF
一种基于概念相似度的数据分类方法 被引量:12
20
作者 彭京 唐常杰 +2 位作者 元昌安 李川 胡建军 《软件学报》 EI CSCD 北大核心 2007年第2期311-322,共12页
依据数据属性间的相似信息,提出了一种分类方法.该方法将属性矢量化,属性作为m维空间的基本矢量,数据记录作为属性矢量的和.利用属性间先验的概念相似信息,给出了求取任意属性矢量对的相似距离算法,并将数据间相关度计算转换为属性矢量... 依据数据属性间的相似信息,提出了一种分类方法.该方法将属性矢量化,属性作为m维空间的基本矢量,数据记录作为属性矢量的和.利用属性间先验的概念相似信息,给出了求取任意属性矢量对的相似距离算法,并将数据间相关度计算转换为属性矢量及其相互投影的公式,从而得到任意两条数据的相关度;利用相关度,提出了一种分类算法.用详实的实验证明了该算法的有效性. 展开更多
关键词 数据挖掘 概念相似度 相似距离 属性矢量 分类
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部