集成AI大语言模型的在线编程实验平台设计与实现 被引量：9

1

作者 厉旭杰 顾雨辰 姚持恩 《实验技术与管理》 CAS 北大核心 2024年第8期215-221,共7页

传统在线编程实验平台受限于反馈信息的局限性、忽视代码风格及规范性、代码的可读性、代码的效率等多种因素,不利于学生的学习和发展。该文设计并实现了一个集成AI大语言模型的在线编程实验平台方案,该方案在传统平台基础上,引入了大... 传统在线编程实验平台受限于反馈信息的局限性、忽视代码风格及规范性、代码的可读性、代码的效率等多种因素,不利于学生的学习和发展。该文设计并实现了一个集成AI大语言模型的在线编程实验平台方案,该方案在传统平台基础上,引入了大语言模型的实时代码建议、程序安全扫描和判题结果分析优化功能。通过AI大语言模型的实时分析、诊断和优化建议,大大提高了教学效果,增强了学生与系统的互动,能够使学生更好的理解编程概念并提升解决问题的能力。该研究证实了AI模型在编程教育中的价值,并为人工智能在高等教育技术的应用提供了新的视角和策略。 展开更多

关键词 大语言模型 编程实验平台 程序设计 人工智能

在线阅读 下载PDF 职称材料

基于DPAM-F的机电一体化系统广义执行机构子系统智能设计 被引量：25

2

作者 田永利 邹慧君 +2 位作者 郭为忠 李瑞琴 张青 《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第1期66-70,共5页

分析了机电一体化系统的3个子系统的组成及其相互关系.研究了机电一体化系统广义执行机构子系统的设备-过程-动作-机构-功能(DPAM-F)设计模型.利用人工智能语言SICStusProlog实现了DPAM-F模型的计算机辅助化,初步建立了机电一体化系统... 分析了机电一体化系统的3个子系统的组成及其相互关系.研究了机电一体化系统广义执行机构子系统的设备-过程-动作-机构-功能(DPAM-F)设计模型.利用人工智能语言SICStusProlog实现了DPAM-F模型的计算机辅助化,初步建立了机电一体化系统广义执行机构子系统的智能化方案产生软件平台.通过计算机辅助缝纫机剪线机构方案的产生、自动仿真等说明了这一模型的实际应用取得了较好的效果. 展开更多

关键词 机电一体化系统 智能设计 广义执行机构

在线阅读 下载PDF 职称材料

智能教学组织管理与课程调度系统 被引量：6

3

作者 张清绵 徐明 +2 位作者 王鸣 吴北雅 王凤兰 《大连理工大学学报》 EI CAS CSCD 北大核心 1991年第2期227-232,共6页

整个系统从教学计划入手，对教学组织工作进行全面管理，完成大量繁杂的数据 处理工作直到自动生成全校课程表．系统采用第四代语言设计原理及人工智能技术进 行设计。运用启发式搜索方法、归约方法及一种新的强有力的知识混合表示法．

关键词 人工智能 教学组织 课程调度系统

在线阅读 下载PDF 职称材料

面向agent的程序设计语言:DL-1 被引量：6

4

作者 马志方 刘大有 吕为工 《计算机研究与发展》 EI CSCD 北大核心 1996年第2期93-101,共9页

为适应协作分布式问题求解（ＣＤＰＳ）研究和应用的需要，我们研制了面向ａｇｅｎｔ的程序设计语言：ＤＬ－１语言。ＤＬ－１语言由二部分组成：ＤＬ－１／ｓｙｓｔｅｍ和ＤＬ－１／ａｇｅｎｔ。ＤＬ－１／ｓｙｓｔｅｍ主要用于显式地... 为适应协作分布式问题求解（ＣＤＰＳ）研究和应用的需要，我们研制了面向ａｇｅｎｔ的程序设计语言：ＤＬ－１语言。ＤＬ－１语言由二部分组成：ＤＬ－１／ｓｙｓｔｅｍ和ＤＬ－１／ａｇｅｎｔ。ＤＬ－１／ｓｙｓｔｅｍ主要用于显式地描述ＣＤＰＳ系统的行政管理结构。ＤＬ－１／ａｇｅｎｔ主要用于描述ＣＤＰＳ系统的ａｇｅｎｔ，并允许用户在描述ａｇｅｎｔ的同时，描述ＣＤＰＳ系统的问题求解结构。 展开更多

关键词 问题求解 DL-1语言 Agent语言 程序语言

在线阅读 下载PDF 职称材料

一种新人工智能程序设计语言ROOP 被引量：2

5

作者 李涛 《高技术通讯》 CAS CSCD 1995年第9期21-23,共3页

提出了一种新的人工智能程序设计语言ＲＯＯＰ，它具有与机器硬件无关性并具有处理一般逻辑程序设计的能力。在ＲＯＯＰ中，规则和事实均被处理成一个特殊的对象，ＲＯＯＰ的语义基于对象之间的消息传递。ＲＯＯＰ集基于规则、过程、逻... 提出了一种新的人工智能程序设计语言ＲＯＯＰ，它具有与机器硬件无关性并具有处理一般逻辑程序设计的能力。在ＲＯＯＰ中，规则和事实均被处理成一个特殊的对象，ＲＯＯＰ的语义基于对象之间的消息传递。ＲＯＯＰ集基于规则、过程、逻辑和面向对象等技术于一身，是一个多体裁的语言。 展开更多

关键词 人工智能 程序语言 ROOP语言

在线阅读 下载PDF 职称材料

一种融合程序员和神经网络的自动化程序生成方法

6

作者 周鹏 武延军 赵琛 《计算机研究与发展》 EI CSCD 北大核心 2021年第3期638-650,共13页

程序生成是人工智能的核心研究问题之一,当前输入输出样例驱动的神经网络模型是非常流行的研究方法.面临的主要挑战是泛化能力差、生成程序准确率保证、难以处理复杂程序结构(如分支、循环、递归等),主要原因是模型的输入信息单一(输入... 程序生成是人工智能的核心研究问题之一,当前输入输出样例驱动的神经网络模型是非常流行的研究方法.面临的主要挑战是泛化能力差、生成程序准确率保证、难以处理复杂程序结构(如分支、循环、递归等),主要原因是模型的输入信息单一(输入输出对)和完全依赖神经网络.显然单一地通过输入输出样例倒推程序行为存在歧义性,而神经网络的记忆容量很难满足常规程序的变量存储需求.提出一种人工与神经网络生成相协作的编程模型,融合神经网络和程序员各自的优势,其中程序员用高级编程语法编写程序框架,神经网络自动学习生成程序局部的琐碎细节,从而促进自动化程序生成方法更好地应对实际应用挑战.实验表明,研究方法是有效的,跟同类代表性研究方法相比表现出更好的学习性能. 展开更多

关键词 智能软件 程序生成 软件工程 可微分编程语言 人工智能

在线阅读 下载PDF 职称材料

面向概念的知识获取系统

7

作者 王申康 《计算机学报》 EI CSCD 北大核心 1991年第12期902-909,共8页

本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的知识获取环境.系统结合了人工智能(AI),面向对象的程序设计(oop)和逻辑程序设计(Lp)等技术.系统以概念为知识基元,由概念描述器(cd)予以描述.cd由一组概念特性、属性... 本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的知识获取环境.系统结合了人工智能(AI),面向对象的程序设计(oop)和逻辑程序设计(Lp)等技术.系统以概念为知识基元,由概念描述器(cd)予以描述.cd由一组概念特性、属性、逻辑约束和函数式等支持.概念集在知识库中是一个层次式的继承网络.系统主要用于辅助专家开发新系统的描述、定义和说明.也可对已有的系统、文本文件进行描述并用于教育. 展开更多

关键词 面向概念 知识莸取系统 人工智能

在线阅读 下载PDF 职称材料

智能神经网络程序设计语言NIPL 被引量：2

8

作者 彭康 李涛 +2 位作者 伍良富 樊宏伟 王海兵 《小型微型计算机系统》 CSCD 北大核心 1999年第5期378-382,共5页

将符号逻辑融合于神经网络之中，给出了智能神经网络程序设计语言ＮＩＰＬ的详细定义及其实现技术，使神经网络理论与传统人工智能理论的结合成为可能．

关键词 程序设计语言 NIPL语言 神经网络 人工智能

在线阅读 下载PDF 职称材料

基于语义描述的报表自动生成系统 被引量：2

9

作者 李玉保 王孝通 +3 位作者 刘大为 张清绵 朱翊 王玉林 《大连理工大学学报》 EI CAS CSCD 北大核心 1992年第5期608-614,共7页

应用第四代语言设计原理，从理论上定义了树状表的数学描述和生成机 理，给出了面向设计的数学模型；应用人工智能原理设计的启发性策略解决 了排版布局美观大方的问题，结合国内报表多线条矩形表格的特点，设计并 实现了非过程化通用... 应用第四代语言设计原理，从理论上定义了树状表的数学描述和生成机 理，给出了面向设计的数学模型；应用人工智能原理设计的启发性策略解决 了排版布局美观大方的问题，结合国内报表多线条矩形表格的特点，设计并 实现了非过程化通用报表自动生成系统。 展开更多

关键词 人工智能 报表 自动生成系统

在线阅读 下载PDF 职称材料

一种用PROLOG实现非精确推理的方法

10

作者 余宏华 马玉书 《石油大学学报（自然科学版）》 CSCD 1990年第2期93-101,共9页

本文通过对模糊f-Horn子句的语义和推理机制的分析,提出了一种直接用Horn子句做非精确推理方法,并用Turbo Prolog编制了实例程序,对该方法做了检验。证明这种方法对于直接用Prolog语言编制需要做非精确推理的人工智能软件是可行的。

关键词 PROLOG语言 非精确推理 软件

在线阅读 下载PDF 职称材料

PROLOG:人工智能的一个有力工具

11

作者 张京山 《南京邮电学院学报》 北大核心 1989年第1期119-125,共7页

本文讨论了目前程序设计的缺陷和产生新型程序设计语言的必要性,介绍了 PROLOG 语言的特点,最后通过实例说明它在人工智能专家系统中的应用.

关键词 人工智能 专家系统 程序设计语言

在线阅读 下载PDF 职称材料