期刊文献+
共找到287篇文章
< 1 2 15 >
每页显示 20 50 100
“创新创业”彰显一个地方高校的特色发展——桂林电子科技大学古天龙校长专访
1
作者 古天龙 《计算机教育》 2016年第3期1-6,共6页
桂林电子科技大学(简称"桂电")是一所电子信息特色鲜明的地方院校,建校50多年来,为国家、行业和地方培养了大批人才,特别是桂电计算机专业,创建30多年来成绩斐然,在国内外享有盛誉。作为桂电校长、教育部计算机类专业教指委... 桂林电子科技大学(简称"桂电")是一所电子信息特色鲜明的地方院校,建校50多年来,为国家、行业和地方培养了大批人才,特别是桂电计算机专业,创建30多年来成绩斐然,在国内外享有盛誉。作为桂电校长、教育部计算机类专业教指委副主任,一位计算机学科的领军人物,古天龙教授一直致力于创新创业人才的培养,倡导创新教育,推动成立创新学院、国家级人才培养模式创新实验区,创建了广西高校课程联盟"广西漓江学堂",为国内地方高校的应用型人才培养起到了引导作用。岁末年初,正值国家"十三五规划"开启之际,带着对桂林电子科技大学未来更美好的期待,《计算机教育》杂志主编奚春雁(以下简称奚)在山水旖旎的桂电校园里专门拜访了古天龙校长(以下简称古),下面是他们的对谈。 展开更多
关键词 创新实验 计算机类专业 高校课程 计算机教育 人才培养 形式化方法 教指委 引导作用 电子信息 领军
在线阅读 下载PDF
本科院校工程应用型人才培养模式改革探索--基于桂林电子科技大学电子信息类工程应用型人才培养实验区的思考 被引量:78
2
作者 古天龙 景新幸 +1 位作者 郭庆 魏银霞 《中国高教研究》 CSSCI 北大核心 2012年第1期107-110,共4页
长期以来,工程教育脱离产业需求,培养的学生不能适应企业和社会需求。如何定位和培养符合社会发展要求的工程应用型人才是工科高校改革面临的关键问题。以桂林电子科技大学电子信息类工程应用型人才培养为例,深入分析工程应用型人才培... 长期以来,工程教育脱离产业需求,培养的学生不能适应企业和社会需求。如何定位和培养符合社会发展要求的工程应用型人才是工科高校改革面临的关键问题。以桂林电子科技大学电子信息类工程应用型人才培养为例,深入分析工程应用型人才培养目标及基本素质,构建电子信息类工程应用型人才培养新体系,追求人才培养的社会适应性,以实现地方高校特色化发展。 展开更多
关键词 本科院校 工程应用型 人才培养模式
原文传递
教学型高校培养目标定位研究 被引量:31
3
作者 古天龙 魏银霞 磨玉峰 《中国高教研究》 CSSCI 北大核心 2009年第1期69-71,共3页
目前,教学型高校由于定位不清,在培养目标上存在同质化、单一化、表述过于笼统等问题。按照国际教育标准分类法,不同类型高校其培养目标各不相同,培养应用型人才是教学型高校的理性选择,应根据社会需求和学校现实条件确定其培养目标定位。
关键词 教学型高校 培养目标 人才类型 培养规格
原文传递
以新工科理念推动地方高校建设一流本科教育 被引量:94
4
作者 古天龙 魏银霞 《中国大学教学》 CSSCI 北大核心 2018年第2期32-35,共4页
新经济形态催生新工科,新工科是一种教育理念,是大学人才培养的新方向,是新兴工科的设置与传统工科的改造工程。新工科具有面向未来和整合性两个特征。在高等教育"双一流"建设的契机下,地方大学应有建设一流本科教育的目标追... 新经济形态催生新工科,新工科是一种教育理念,是大学人才培养的新方向,是新兴工科的设置与传统工科的改造工程。新工科具有面向未来和整合性两个特征。在高等教育"双一流"建设的契机下,地方大学应有建设一流本科教育的目标追求。桂林电子科技大学以建设电子信息特色鲜明的国内一流本科教育为使命,推进"电子信息+"新工科改革,在专业新结构、课程新体系、实践新平台上做出了初步的探索。 展开更多
关键词 新工科 一流本科教育 专业改革 课程体系 实践教学
在线阅读 下载PDF
符合伦理的人工智能应用的价值敏感设计:现状与展望 被引量:10
5
作者 古天龙 马露 +1 位作者 李龙 闫茹 《智能系统学报》 CSCD 北大核心 2022年第1期2-15,共14页
价值敏感设计是一种将伦理嵌入人工智能设计的高效方法,尤其是其独特的三方方法为人工智能应用提供了规避伦理问题和道德风险的手段,因此有着广阔的应用前景。本文系统地介绍了价值敏感设计的内涵、原理和方法;详细描述了价值敏感设计... 价值敏感设计是一种将伦理嵌入人工智能设计的高效方法,尤其是其独特的三方方法为人工智能应用提供了规避伦理问题和道德风险的手段,因此有着广阔的应用前景。本文系统地介绍了价值敏感设计的内涵、原理和方法;详细描述了价值敏感设计在国内外的研究现状,并对典型研究内容进行了对比分析;总结了近年来价值敏感设计在智能机器人、智能运载工具等人工智能领域取得的研究成果,并探讨了已有研究的优缺点;最后对后续研究中亟待解决的问题和挑战进行了分析和讨论,并对未来研究方向进行了展望。 展开更多
关键词 人工智能 人工智能应用 符合伦理设计 价值敏感设计 人类价值 设计方法 利益相关者 三方方法
在线阅读 下载PDF
基于符号ADD和线性多分支程序的分类算法安全评估 被引量:3
6
作者 古天龙 何仲春 +1 位作者 常亮 徐周波 《电子学报》 EI CAS CSCD 北大核心 2014年第5期940-947,共8页
分类算法是机器学习和数据分析中重要的算法.当需要对分类算法本身以及算法的输入数据进行隐私保护时,就出现了分类算法安全评估问题.针对现有的分类算法安全评估协议效率较低的问题,文章给出了一种基于代数决策图和线性多分支程序的解... 分类算法是机器学习和数据分析中重要的算法.当需要对分类算法本身以及算法的输入数据进行隐私保护时,就出现了分类算法安全评估问题.针对现有的分类算法安全评估协议效率较低的问题,文章给出了一种基于代数决策图和线性多分支程序的解决方案.首先,设计了基于代数决策图的安全函数评估协议,用以安全评估决策函数;其次,引入了线性多分支程序的概念,用其对分类算法进行表示.最后,借助线性多分支程序和基于代数决策图的安全函数评估协议,给出了一个私有线性多分支程序的安全评估协议.对新的协议的正确性和安全性进行了分析和证明.实验数据表明,与原有的解决方案相比,新的协议在效率上有明显的提高. 展开更多
关键词 安全评估 分类算法 代数决策图 线性多分支程序
在线阅读 下载PDF
国家精品课程“离散数学”中的教学方法和手段建设 被引量:6
7
作者 古天龙 常亮 +1 位作者 徐周波 陈光喜 《计算机教育》 2012年第11期94-97,共4页
"离散数学"是计算机科学与技术及相关专业的一门核心基础课程。文章针对工程应用型计算机及相关专业本科人才的培养,介绍国家精品课程"离散数学"的教学方法的创新、教学手段的改革、实验教学的设计等。
关键词 离散数学 课程建设 精品课程 教学方法
在线阅读 下载PDF
基于赋时Petri网描述的多产品间歇过程调度研究 被引量:6
8
作者 古天龙 蔡国永 琶里莎·巴哈里 《控制理论与应用》 EI CAS CSCD 北大核心 2000年第6期933-936,共4页
生产调度是多产品间歇生产过程中的一类重要问题 .赋时Petri网技术是求解此类问题的一种有效方法 .本文给出了复杂中间存储策略下间歇化工过程生产调度的描述方法 ,包括 :无限存储策略UIS、有限存储策略FIS、无中间存储策略NIS和混合存... 生产调度是多产品间歇生产过程中的一类重要问题 .赋时Petri网技术是求解此类问题的一种有效方法 .本文给出了复杂中间存储策略下间歇化工过程生产调度的描述方法 ,包括 :无限存储策略UIS、有限存储策略FIS、无中间存储策略NIS和混合存储策略MIS .同时给出了调度求解的修正分支定界和赋时Petri网执行 (MBBTE)算法 。 展开更多
关键词 离散事件系统 赋时PETRI网 间歇过程 多产品 调度
在线阅读 下载PDF
分段线性函数应用于线性时变系统的最优控制 被引量:7
9
作者 古天龙 徐国华 《控制理论与应用》 EI CAS CSCD 北大核心 1989年第4期102-108,共7页
本文给出了分段线性函数的一些运算性质,利用这些性质求解线性时变系统基于二次型性能指标的最优反馈控制律,推导出了形式简明的求解算法,该算法较之于方块脉冲函数算法具有更高的计算精度。
关键词 线性系统 时变系统 最优控制 函数
在线阅读 下载PDF
基于符号有序二叉决策图的装配序列生成技术 被引量:6
10
作者 古天龙 刘华东 《计算机集成制造系统》 EI CSCD 北大核心 2008年第2期321-328,共8页
为提高装配序列规划求解效率和自动化水平,给出了装配体联结图模型、干涉向量和接触向量模型的有序二叉决策图描述,建立了基于符号有序二叉决策图模型及操作的可行装配序列生成技术。结合实例验证了基于有序二叉决策图的装配体模型和可... 为提高装配序列规划求解效率和自动化水平,给出了装配体联结图模型、干涉向量和接触向量模型的有序二叉决策图描述,建立了基于符号有序二叉决策图模型及操作的可行装配序列生成技术。结合实例验证了基于有序二叉决策图的装配体模型和可行装配序列生成技术的正确性和可行性。 展开更多
关键词 装配序列规划 装配体联结图 装配序列生成 有序二叉决策图
在线阅读 下载PDF
间歇生产过程中离散事件的Petri网建模与协调控制 被引量:3
11
作者 古天龙 高衿畅 周春晖 《信息与控制》 CSCD 北大核心 1996年第5期282-286,共5页
将Petri网用于间歇生产过程中离散事件的建模,讨论了离散事件活动的顺序、同步、资源共享竞争协调控制问题.文中同时给出了一个间歇精细化工过程的例.
关键词 间歇过程 离散事件系统 PETRI网 建模 控制
在线阅读 下载PDF
CS2013对本科计算机类应用型人才培养的启示 被引量:6
12
作者 古天龙 周娅 《中国大学教学》 CSSCI 北大核心 2015年第7期90-93,共4页
计算教程CC20xx对计算机类专业的人才培养有着重要的影响,本文介绍了CC20xx的历史演化,分析了CS2013的特点,讨论了对计算机类应用型人才培养的几点启示,以期对国内高校本科计算机类应用型人才培养的教学改革与实践提供参考。
关键词 计算机科学教程 计算机类专业 应用型人才 知识体系
在线阅读 下载PDF
基于社会新闻数据集的伦理行为判别方法 被引量:2
13
作者 古天龙 冯旋 +2 位作者 李龙 包旭光 李云辉 《计算机研究与发展》 EI CSCD 北大核心 2021年第2期253-263,共11页
人工智能(artificial intelligence,AI)应用的伦理风险和挑战引起了人们的普遍关注,如何从技术实现角度开发出遵守人类价值观和伦理规范的AI系统,即,符合伦理的AI设计,是亟需解决的重要问题之一.基于机器学习的伦理与道德判别是此方面... 人工智能(artificial intelligence,AI)应用的伦理风险和挑战引起了人们的普遍关注,如何从技术实现角度开发出遵守人类价值观和伦理规范的AI系统,即,符合伦理的AI设计,是亟需解决的重要问题之一.基于机器学习的伦理与道德判别是此方面的有益探索.社会新闻数据具有丰富的伦理和道德的内容及知识,为机器学习的训练数据开发提供了可能.鉴于此,本文构建了具有人类行为伦理和道德属性的社会新闻数据集,附之以法律与行为规范数据集,用以机器学习的训练和测试;建立了基于使用信息实体的增强语言表示(enhanced language representation of information entities,ERNIE)和卷积神经网络(convolutional neural network,CNN)的伦理行为判别模型ERNIE-CNN,通过词的向量表示计算语义相似度来提取关于行为的伦理判断.实验结果表明,提出的模型具有比基准模型更好的性能,验证了方法和模型的有效性. 展开更多
关键词 社会新闻数据集 符合伦理的设计 深度学习 ERNIE CNN
在线阅读 下载PDF
柔性制造系统中生产调度问题求解的一种符号算法 被引量:2
14
作者 古天龙 熊太平 赵岭忠 《计算机集成制造系统》 EI CSCD 北大核心 2007年第2期338-344,共7页
讨论了基于有序二叉决策图的有界Petri网符号分析,给出了其中镜像计算的一种新算法,进而建立了柔性制造系统生产调度问题的符号有序二叉决策图求解算法。该算法在求解过程中通过对状态空间及其搜索过程中相关数据的有序二叉决策图表示,... 讨论了基于有序二叉决策图的有界Petri网符号分析,给出了其中镜像计算的一种新算法,进而建立了柔性制造系统生产调度问题的符号有序二叉决策图求解算法。该算法在求解过程中通过对状态空间及其搜索过程中相关数据的有序二叉决策图表示,避免了状态和搜索的显示枚举,实现了隐式高效操作,进而改善了算法的计算性能。仿真实验表明了算法的有效性。 展开更多
关键词 赋时PETRI网 柔性制造系统调度 有序二叉决策图 符号算法
在线阅读 下载PDF
基于有序二叉决策图的装配序列符号表示方法 被引量:4
15
作者 古天龙 杨志飞 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第10期1315-1320,共6页
通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OB-DD模型进行了存储效率比较.实验结果表明... 通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OB-DD模型进行了存储效率比较.实验结果表明:OBDD方法具有较好的存储性能,可以改善复杂装配体的装配序列表示的存储效率,适合于复杂装配体的可行装配序列的描述. 展开更多
关键词 装配规划 装配序列表示 与或图 有序二叉决策图
在线阅读 下载PDF
基于模型检验集成规划系统的机械装配序列规划 被引量:3
16
作者 古天龙 张勐 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1781-1790,共10页
为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配... 为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配过程中的硬约束和软约束进行了描述;根据装配序列规划问题的形式化描述,对装配序列规划领域及领域的具体问题进行了定义,给出了基于模型检验集成规划系统的装配序列规划问题的求解过程。实验结果表明,该系统可以正确、有效地实施机械装配序列规划。 展开更多
关键词 装配序列规划 模型检验 规划领域定义语言 谓词逻辑 时态逻辑
在线阅读 下载PDF
一类Petri网调度问题的符号求解技术 被引量:2
17
作者 古天龙 李风英 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期148-150,154,共4页
讨论了Petri网分析的符号有序二叉决策图(Ordered Binary Decision Disgram--OBDD)技术.对于一类赋时Petri网模型的生产调度问题,通过实施赋时位置(迁移)结构等价替换,建立了调度问题求解的符号算法.该算法可以在makespan步得到结果,从... 讨论了Petri网分析的符号有序二叉决策图(Ordered Binary Decision Disgram--OBDD)技术.对于一类赋时Petri网模型的生产调度问题,通过实施赋时位置(迁移)结构等价替换,建立了调度问题求解的符号算法.该算法可以在makespan步得到结果,从而有效改善了求解的效率,适合于复杂大规模Petri网模型调度问题的求解. 展开更多
关键词 PETRI网 有序二叉决策图(OBDD) 调度 可达性 离散事件系统
在线阅读 下载PDF
基于OBDD的描述逻辑εL循环术语集推理 被引量:1
18
作者 古天龙 吕思菁 +1 位作者 常亮 徐周波 《软件学报》 EI CSCD 北大核心 2014年第1期64-77,共14页
循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑... 循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑循环术语集的推理.首先,针对描述逻辑εL中的循环术语集,给出了描述图上关于最大模拟关系的重要性质,并借助集合表示和集合运算对该性质进行了表述和证明.在此基础上,应用布尔函数对描述图进行编码,给出了基于OBDD求解最大模拟关系的方法,进而给出了最大不动点语义下基于OBDD对概念包含关系进行判定的算法;接下来,基于OBDD给出了求解描述图中可以到达循环路径的所有结点的方法,进而给出了最小不动点语义下基于OBDD对概念包含关系进行判定的算法;最后,对算法的正确性、复杂度等进行了分析和证明,并对算法进行了编程实现,给出了关于计算性能的实验结果.该工作为循环术语集的推理提供了一条有效途径,也为OBDD在逻辑推理中的应用提供了新的案例. 展开更多
关键词 描述逻辑εL 循环术语集 有序二叉决策图 概念包含关系 不动点语义
在线阅读 下载PDF
Digicash协议原子性的符号模型分析 被引量:1
19
作者 古天龙 郭云川 +1 位作者 董荣胜 蔡国永 《计算机工程与应用》 CSCD 北大核心 2004年第9期170-173,共4页
电子商务协议的安全性和原子性是电子商务研究者和使用者广泛关心的问题,在协议设计完成之后,采取一定的方法对协议进行分析检验以确认协议,是否满足协议是否符合协议设计要求是十分必要的。提出了可以用符号模型检验器(SMV)对电子商务... 电子商务协议的安全性和原子性是电子商务研究者和使用者广泛关心的问题,在协议设计完成之后,采取一定的方法对协议进行分析检验以确认协议,是否满足协议是否符合协议设计要求是十分必要的。提出了可以用符号模型检验器(SMV)对电子商务协议进行分析,在对Digicash协议及电子商务原子性进行形式化描述的基础上,用SMV从钱原子性和商品原子性这两个角度对Digicash协议的原子性进行了分析和检验,指出了Digicash协议的缺陷,从而表明了用SMV对电子商务协议分析和验证的可行性。 展开更多
关键词 电子商务协议 符号模型检验 原子性
在线阅读 下载PDF
构建面向应用型人才培养的实践教育体系 被引量:13
20
作者 古天龙 《实验技术与管理》 CAS 北大核心 2011年第12期1-4,8,共5页
以培养"务实创新的高素质应用型人才"为目标,阐述了在课程模式、实验内容、实习实训及第二课堂领域所进行的建设实践,并对进一步改革培养模式,强化学生创新精神和工程能力进行了探讨。
关键词 应用型人才 实践教育 创新精神 工程能力
在线阅读 下载PDF
上一页 1 2 15 下一页 到第
使用帮助 返回顶部