期刊文献+
共找到127篇文章
< 1 2 7 >
每页显示 20 50 100
Knowledge representation and rule-based solution system for dynamic programming model
1
作者 胡祥培 王旭茵 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2003年第2期190-194,共5页
A knowledge representation has been proposed using the state space theory of Artificial Intelligence for Dynamic Programming Model, in which a model can be defined as a six tuple M=(I,G,O,T,D,S). A building block mode... A knowledge representation has been proposed using the state space theory of Artificial Intelligence for Dynamic Programming Model, in which a model can be defined as a six tuple M=(I,G,O,T,D,S). A building block modeling method uses the modules of a six tuple to form a rule based solution model. Moreover, a rule based system has been designed and set up to solve the Dynamic Programming Model. This knowledge based representation can be easily used to express symbolical knowledge and dynamic characteristics for Dynamic Programming Model, and the inference based on the knowledge in the process of solving Dynamic Programming Model can also be conveniently realized in computer. 展开更多
关键词 knowledge representation operations research Dynamic programming Model intelligent modeling support
在线阅读 下载PDF
基于边权重的软件漏洞检测方法
2
作者 于巧 黄子睿 +2 位作者 程圣懿 祝义 张淑涛 《计算机应用》 北大核心 2026年第2期518-527,共10页
随着软件在各个领域的广泛应用,软件漏洞呈不断增长的趋势,基于深度学习的软件漏洞检测方法得到广泛应用;然而,现有的图表示学习方法通常忽略了图中边对软件漏洞检测的影响,并且对边权重的表示过于粗糙。针对该问题,提出一种基于边权重... 随着软件在各个领域的广泛应用,软件漏洞呈不断增长的趋势,基于深度学习的软件漏洞检测方法得到广泛应用;然而,现有的图表示学习方法通常忽略了图中边对软件漏洞检测的影响,并且对边权重的表示过于粗糙。针对该问题,提出一种基于边权重的软件漏洞检测方法EWVD(Edge Weight for Vulnerability Detection)。首先,对源代码中的注释、自定义变量名和函数名进行清理和抽象表示;其次,经过对比分析后选择使用Sent2Vec进行嵌入表示;再次,利用连接结构、邻居节点的重要性和Jaccard相似性这3种度量方式,综合计算边权重,从而识别节点间的信息传递能力;最后,利用边权重提升模型对漏洞语句潜在关系的感知能力,从而判断图中边的重要性。实验结果表明,与7种漏洞检测基线方法中的最优基线VulCNN相比,EWVD的准确率提高了1.06个百分点,而假阳性率(FPR)降低了1.11个百分点。可见,EWVD细化了边权重的表示,并且提升了漏洞检测的综合性能。 展开更多
关键词 漏洞检测 边权重 图表示学习 程序依赖图
在线阅读 下载PDF
Studying Design and Use of Healthcare Technologies in Interaction: The Social Learning Perspective in a Dutch Quality Improvement Collaborative Program
3
作者 Esther van Loon Nelly Oudshoorn Roland Bal 《Health》 2014年第15期1903-1918,共16页
Designing technologies is a process that relies on multiple interactions between design and use contexts. These interactions are essential to the development and establishment of technologies. This article seeks to un... Designing technologies is a process that relies on multiple interactions between design and use contexts. These interactions are essential to the development and establishment of technologies. This article seeks to understand the attempts of healthcare organisations to integrate use contexts into the design of healthcare technologies following insights of the theoretical approaches of social learning and user representations. We present a multiple case study of three healthcare technologies involved in improving elderly care practice. These cases were part of a Dutch quality improvement collaborative program, which urged that development of these technologies was not “just” development, but should occur in close collaboration with other parts of the collaborative program, which were more focused on implementation. These cases illustrate different ways to develop technologies in interaction with use contexts and users. Despite the infrastructure of the collaborative program, interactions were not without problems. We conclude by arguing that interactions between design and use are not naturally occurring phenomena, but must be actively organised in order to create effects. 展开更多
关键词 Quality Improvement COLLABORATIVE program SOCIAL Learning User representation Healthcare Technology LONG-TERM Healthcare
暂未订购
基于连续时间表示的炼钢-连铸过程调度建模与求解
4
作者 李显昱 黄德先 +1 位作者 尚超 亓鲁刚 《控制工程》 北大核心 2025年第1期148-157,共10页
面向某钢铁企业在炼钢-连铸阶段的复杂生产调度问题,提出了一种基于连续时间表示的调度建模方法。依据炼钢-连铸过程的每个浇次中各炉次的保序性,针对每一台生产设备,将每个炉次的作业开始与结束时间作为决策变量,并根据避免作业冲突的... 面向某钢铁企业在炼钢-连铸阶段的复杂生产调度问题,提出了一种基于连续时间表示的调度建模方法。依据炼钢-连铸过程的每个浇次中各炉次的保序性,针对每一台生产设备,将每个炉次的作业开始与结束时间作为决策变量,并根据避免作业冲突的原则构建约束;同时,定义离散决策变量,保证炉次在同一类生产设备中进行作业的唯一性。最终,调度模型被构建为一个混合整数规划问题,从而便于使用商业求解器高效求解。在同一生产计划中对基于不同时间表示方法的调度模型进行仿真测试,仿真结果表明,所提方法能够在要求的运行时间内得到满足工艺要求的最优决策,在工程应用中具有可行性。 展开更多
关键词 炼钢-连铸过程 连续时间表示 调度优化 混合整数规划
原文传递
基于ASP的中医临床实践指南自动执行模型研究
5
作者 张天瑜 张志政 +1 位作者 张魁星 李延军 《计算机技术与发展》 2025年第4期172-178,共7页
中医临床实践指南是官方发布的标准化临床指导意见,由于其文本形式内容繁多复杂,不利于进行实际推广,而目前面向中医临床实践指南自动执行的研究仍然很不完善。为此,以世界中医药学会联合会发布的《中医临床实践指南慢性阻塞性肺疾病》... 中医临床实践指南是官方发布的标准化临床指导意见,由于其文本形式内容繁多复杂,不利于进行实际推广,而目前面向中医临床实践指南自动执行的研究仍然很不完善。为此,以世界中医药学会联合会发布的《中医临床实践指南慢性阻塞性肺疾病》为例,研究基于ASP(回答集程序)的中医临床实践指南自动执行的模型。具体地,该文提出了一种面向中医临床实践指南的疾病诊断知识表示模型,实现了基于回答集程序的模型表示和自动执行以及在特定医疗交互场景下的自动执行。根据用户提供的症状信息,能够反馈诊断结果或进一步诊断所需考虑的最小范围的其他症状。最后,将该方法与大语言模型进行了对比性实验,实验结果表明,该模型具有良好的准确性和可靠性。 展开更多
关键词 回答集程序 中医临床实践指南 知识表示 疾病诊断 自动执行
在线阅读 下载PDF
An Improved Graphic Representation for Structured Program Design 被引量:2
6
作者 周启海 《Journal of Computer Science & Technology》 SCIE EI CSCD 1991年第2期205-208,共4页
In this paper,an improved graphic representation for Structured Program Design——N-S-Z (Nassi-Shneiderman-Zhou Diagram)is proposed.It not only preserves the advantages of the conventional graphic and non-graphic repr... In this paper,an improved graphic representation for Structured Program Design——N-S-Z (Nassi-Shneiderman-Zhou Diagram)is proposed.It not only preserves the advantages of the conventional graphic and non-graphic representations,but also adds some new features which will enhance the representa- tive power of the original diagram. 展开更多
关键词 An Improved Graphic representation for Structured program Design
原文传递
基于 Transformer 的语句级软件漏洞检测方案
7
作者 邓俊 王敏 《成都信息工程大学学报》 2025年第4期428-433,共6页
软件漏洞检测对于保护系统免受网络安全攻击至关重要。当前大多数研究方法主要是基于各种机器学习和深度学习方法检测函数级、文件级的漏洞,不能检测出漏洞存在的具体语句。提出一种基于Transformer的语句级软件漏洞检测方案,使用代码... 软件漏洞检测对于保护系统免受网络安全攻击至关重要。当前大多数研究方法主要是基于各种机器学习和深度学习方法检测函数级、文件级的漏洞,不能检测出漏洞存在的具体语句。提出一种基于Transformer的语句级软件漏洞检测方案,使用代码预训练模型和数据流图进行代码表示,并与现有研究IVDetect、LineVD、SySeVR、Devign、VulDeePecker模型进行比较。此外,比较了不同代码嵌入方式对漏洞检测效果的影响。实验表明,方法在函数级漏洞检测的F1值提高了56%~65%,语句级漏洞检测的F1值提高了16%~35%,为白盒软件漏洞检测相关工作提供了一定研究思路。 展开更多
关键词 软件漏洞检测 深度学习 TRANSFORMER 程序分析 代码表示
在线阅读 下载PDF
手绘为基·AI为用:职业本科建筑装饰专业手绘表现课程的AIGC融合路径研究——基于工作过程系统化的课程创新实践
8
作者 张龙 《教育教学研究前沿》 2025年第7期64-66,共3页
在职业教育数字化转型与AIGC技术快速发展的背景下,职业本科建筑装饰专业的手绘表现课程面临传统教学与新技术融合的挑战与机遇。本文以姜大源“工作过程系统化”课程理论为指导,提出“手绘为基·AI为用”的教学理念,构建AIGC技术(... 在职业教育数字化转型与AIGC技术快速发展的背景下,职业本科建筑装饰专业的手绘表现课程面临传统教学与新技术融合的挑战与机遇。本文以姜大源“工作过程系统化”课程理论为指导,提出“手绘为基·AI为用”的教学理念,构建AIGC技术(如Stable Diffusion、MidJourney等)与手绘表现课程深度融合的创新路径。研究通过行动研究法,以南宁职业技术大学建筑装饰专业为例,基于“典型工作任务分析—行动领域归纳—学习领域转换—学习情境设计”的系统化课程开发流程,设计“手绘创意构思—MidJourney创意生成—手绘线稿深化—Stable Diffusion辅助生成”的闭环教学模式,依托“资讯、决策、计划、实施、检查、评价”六步法组织教学实践,能够显著提升学生的设计创新性、技术应用效率以及职业迁移能力,为职业本科教育“岗课赛证”综合育人目标的实现提供理论参考与实践案例。 展开更多
关键词 职业本科 手绘表现 AIGC 工作过程系统化 课程创新
在线阅读 下载PDF
基于面向对象的专家系统设计方法研究 被引量:11
9
作者 王道平 冯振声 董玉友 《河北科技大学学报》 CAS 1999年第2期19-23,共5页
首先介绍了面向对象的思想,分析了专家系统的特征,在此基础上指出了面向对象技术用于建造专家系统的适宜性;然后给出了面向对象知识表示的一般方法,并阐述了基于面向对象技术的专家系统中的3种推理方法;
关键词 面向对象 程序设计 专家系统 知识表示
在线阅读 下载PDF
遗传归纳逻辑程序设计中规则的位串表示法 被引量:10
10
作者 杨新武 刘椿年 《北京工业大学学报》 CAS CSCD 北大核心 2001年第3期297-302,共6页
为了利用GA来解决ILP方法中的性能瓶颈问题,关键在于如何把ILP的一阶规则编码为遗传算子可操作的位串形式.提出了一种新的用于遗传算法(GA)的一阶规则位串表示法.示例分析表明,这是一种结合GA算法和ILP技术的有效... 为了利用GA来解决ILP方法中的性能瓶颈问题,关键在于如何把ILP的一阶规则编码为遗传算子可操作的位串形式.提出了一种新的用于遗传算法(GA)的一阶规则位串表示法.示例分析表明,这是一种结合GA算法和ILP技术的有效的规则位串表示法. 展开更多
关键词 遗传算法 归纳逻辑程序设计 位串表示法 数据挖掘 ILP 一阶规则集 遗传算子
在线阅读 下载PDF
一种基于超完备字典学习的图像去噪方法 被引量:49
11
作者 蔡泽民 赖剑煌 《电子学报》 EI CAS CSCD 北大核心 2009年第2期347-350,共4页
基于超完备字典的图像稀疏表示因其具有稀疏性、特征保持性、可分性等特点而被广泛应用于图像处理.本文提出一种超完备字典学习算法并应用于图像去噪.将字典学习等价于一个二次规划问题,并提出适合于大规模运算的投影梯度算法.学习所得... 基于超完备字典的图像稀疏表示因其具有稀疏性、特征保持性、可分性等特点而被广泛应用于图像处理.本文提出一种超完备字典学习算法并应用于图像去噪.将字典学习等价于一个二次规划问题,并提出适合于大规模运算的投影梯度算法.学习所得字典能有效描述图像特征.基于此超完备学习字典,获得图像的稀疏表示,并恢复原始图像.实验结果表明,与小波类去噪方法相比,本文的学习算法能更好地去除图像噪声,保留图像细节信息,获得更高的PSNR值. 展开更多
关键词 稀疏表示 基追踪 匹配追踪 字典学习 二次规划
在线阅读 下载PDF
离散型动态规划模型的知识表示及其IBFS算法研究 被引量:10
12
作者 胡祥培 钱国明 胡运权 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1996年第3期119-126,共8页
针对运筹学模型表示中存在的问题,本文以离散型动态规划模型为研究对象,从解决动态模型的知识表示与基于知识的推理机制入手,通过剖析动态规划问题的决策过程及其状态演变特征,运用人工智能状态空间理论,将动态规划模型的求解转化... 针对运筹学模型表示中存在的问题,本文以离散型动态规划模型为研究对象,从解决动态模型的知识表示与基于知识的推理机制入手,通过剖析动态规划问题的决策过程及其状态演变特征,运用人工智能状态空间理论,将动态规划模型的求解转化为状态空间图中最佳路径的搜索,提出了以六元组M=(I,G,O,T,D,S)表示离散型动态规划模型的知识表示方法-IGOTDS表示法;并引入最优评价函数,研究了基于状态空间图的求解离散型动态规划模型IBFS搜索算法.本文的工作有利于促进并深化运筹学应用的知识化、智能化研究. 展开更多
关键词 动态规划模型 知识表示 人工智能 IBFS算法
在线阅读 下载PDF
面向工程设计领域的基于知识的分析计算程序生成系统 被引量:4
13
作者 王命延 黄兆华 钟伯刚 《计算机研究与发展》 EI CSCD 北大核心 1995年第4期16-21,共6页
本文介绍了面向工程(产品)设计领域的基于知识的分析计算程序生成系统KECPG。提出了公式逻辑相依性概念,并讨论了它的性质以及如何依据这种概念来自动生成公式计算程序设计规格说明。
关键词 工程设计 程序生成系统 知识表示 CAD
在线阅读 下载PDF
背包问题的动态规划改进算法 被引量:8
14
作者 蓝雯飞 吴子莹 杨波 《中南民族大学学报(自然科学版)》 CAS 北大核心 2016年第4期101-105,共5页
在动态规划算法的基础上提出了改进算法,对于0-1背包问题,改进了动态规划算法的状态表示以减少需要计算的状态个数来求解该问题;对于完全背包问题,简化了动态规划算法状态的决策依赖关系来求解该问题.实验结果表明:所提出的改进算法在... 在动态规划算法的基础上提出了改进算法,对于0-1背包问题,改进了动态规划算法的状态表示以减少需要计算的状态个数来求解该问题;对于完全背包问题,简化了动态规划算法状态的决策依赖关系来求解该问题.实验结果表明:所提出的改进算法在时空效率上具有一定的有效性和优越性. 展开更多
关键词 背包问题 动态规划 状态表示 决策依赖
在线阅读 下载PDF
基于知识的规划模型构造系统研究 被引量:10
15
作者 向阳 于长锐 《系统工程学报》 CSCD 2002年第1期72-77,共6页
给出了基于知识的模型构造系统的定义 ,并以此概念为指导思想实现了基于知识的规划模型构造系统 .详细论述了系统知识的表示与组织 ,并结合企业生产计划问题 。
关键词 模型构造系统 规划模型 知识表示 决策支持系统 人工智能
在线阅读 下载PDF
动力传动系统优化匹配专家系统的知识库构建 被引量:5
16
作者 李强 何仁 商高高 《江苏大学学报(自然科学版)》 EI CAS 北大核心 2005年第1期28-31,共4页
结合开发汽车动力传动系统优化匹配的专家系统(Matching Optimization of Automobile Power- train Expert System,简称APOMES)的实践,采用Visual Basic编程语言和Microsoft Access数据库作 为开发工具,依据汽车动力传动系统优化匹配的... 结合开发汽车动力传动系统优化匹配的专家系统(Matching Optimization of Automobile Power- train Expert System,简称APOMES)的实践,采用Visual Basic编程语言和Microsoft Access数据库作 为开发工具,依据汽车动力传动系统优化匹配的特点,将面向对象的知识表达方法和产生式规则的 知识表达方法相结合,探讨了基于面向对象的APOMES知识库系统的构建,详细阐述了知识的表 达方法、知识的存储形式、知识库系统的结构和管理方法. 展开更多
关键词 汽车 专家系统 动力传动系统 知识库 知识表达
在线阅读 下载PDF
基于多尺度的轮廓匹配方法 被引量:5
17
作者 刘曙 罗予频 杨士元 《计算机工程》 CAS CSCD 北大核心 2008年第1期201-203,共3页
物体的形状轮廓是计算机视觉中一个重要的特征。该文提出了一种基于多尺度下局部特征的描述和动态规划的形状匹配和识别方法。考虑到轮廓在不同尺度下特征点的变化,给出了形状的多尺度描述方法。在轮廓分段匹配过程中,根据噪声和形变的... 物体的形状轮廓是计算机视觉中一个重要的特征。该文提出了一种基于多尺度下局部特征的描述和动态规划的形状匹配和识别方法。考虑到轮廓在不同尺度下特征点的变化,给出了形状的多尺度描述方法。在轮廓分段匹配过程中,根据噪声和形变的程度不同对局部轮廓分别采用不同尺度滤波,避免了局部形变及噪声导致错误的匹配结果。该算法对于噪声、形变和适度的遮挡有较好鲁棒性,用于行人识别上取得了较好的效果。 展开更多
关键词 形状匹配 轮廓的多尺度描述 动态规划
在线阅读 下载PDF
面向对象的概念化个体分类结构的设计和实现 被引量:9
18
作者 黄河燕 陈肇雄 +2 位作者 张祥 高卫明 龙萍 《计算机研究与发展》 EI CSCD 北大核心 1992年第1期1-6,共6页
概念化个体的分类层次结构是智能信息处理系统中模型化问题域的一种有效方法.文中探讨如何把概念化个体的分类层次结构与面向对象的程序设计风格和多种知识表示方法相结合,给出在面向对象环境下概念化个体的分类层次结构的设计及其实现... 概念化个体的分类层次结构是智能信息处理系统中模型化问题域的一种有效方法.文中探讨如何把概念化个体的分类层次结构与面向对象的程序设计风格和多种知识表示方法相结合,给出在面向对象环境下概念化个体的分类层次结构的设计及其实现算法. 展开更多
关键词 面向对象 程序设计方法 概念化个体分类结构
在线阅读 下载PDF
压缩传感条件下红外和可见光图像融合技术的研究 被引量:11
19
作者 余南南 邱天爽 《信号处理》 CSCD 北大核心 2012年第5期692-698,共7页
为了提高夜间对目标的识别能力,红外和可见光图像融合技术被广泛应用到夜视系统中。使用压缩传感技术可以通过获取信号的少量线性投影来保留信号的完整信息,解决红外成像中红外探测器件与图像分辨率之间的矛盾。以压缩传感测量值作为图... 为了提高夜间对目标的识别能力,红外和可见光图像融合技术被广泛应用到夜视系统中。使用压缩传感技术可以通过获取信号的少量线性投影来保留信号的完整信息,解决红外成像中红外探测器件与图像分辨率之间的矛盾。以压缩传感测量值作为图像内容特征,直接进行图像融合,可以减少重构误差和计算量。因此本文提出一种压缩传感条件下的红外和可见光图像融合算法。首先,本文算法同时考虑融合图像和原始图像的相似度和对原始图像特征的保留程度,提出一个新颖的代价函数。然后,采用L1范数优化求解该代价函数,得到融合图像对应的稀疏系数。最后,利用字典和该稀疏系数重构为融合图像。通过和几种压缩传感条件下的融合算法比较,可以看出本文算法在主观视觉效果和客观评价方面均具有显著优势。该算法为压缩传感条件下的图像融合提供一种新的有效手段。 展开更多
关键词 压缩传感 图像融合 稀疏表达 线性规划
在线阅读 下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部