期刊文献+
共找到144篇文章
< 1 2 8 >
每页显示 20 50 100
计算机科学中的共代数方法的研究综述 被引量:12
1
作者 周晓聪 舒忠梅 《软件学报》 EI CSCD 北大核心 2003年第10期1661-1671,共11页
代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念棗共代数,则直到20世纪90年代中后期才被越来越多的计算机学者关注.代数从构造的角度研究数据类型,而共代数则从观察的角度考察系统及其性质.共... 代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念棗共代数,则直到20世纪90年代中后期才被越来越多的计算机学者关注.代数从构造的角度研究数据类型,而共代数则从观察的角度考察系统及其性质.共代数方法对研究基于状态的系统有独特的优越性,可以对系统的行为等价、不确定性等从数学上进行深入的探讨.目前,共代数理论已经逐步应用在自动机理论、并发程序的语义、面向对象程序的规范等领域.对共代数的基本概念、范畴理论基础、共代数逻辑及应用等方面的最新研究成果进行了介绍,以引起国内相关研究领域的学者对计算机科学中的共代数方法的关注. 展开更多
关键词 共代数 互模拟 终结共代数 共归纳原理 共代数逻辑
在线阅读 下载PDF
基于FPGA的计算机组成原理实验教学探索 被引量:7
2
作者 吴迪 谢雪炎 吴贺俊 《计算机教育》 2014年第18期30-34,共5页
详细介绍基于FPGA的计算机组成原理实验平台软硬件架构以及基于FPGA的课程实验体系,给出具体实验实例,指出基于FPGA的计算机组成原理课程实验能够明显增强学生的学习设计能力并且提高实验平台的硬件可重用性。
关键词 FPGA CPU 计算机组成原理 实验教学
在线阅读 下载PDF
计算机应急响应服务中安全事件分类方法研究 被引量:2
3
作者 王常吉 段海新 吴建平 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第B06期115-118,共4页
随着互联网的飞速发展,计算机安全事件的出现愈来愈频繁,愈来愈严重,计算机应急响应受到广泛关注。计算机安全事件分类方法的研究对于计算机应急响应体系的建设具有重要的意义。首先报告了计算机安全事件分类方法相关研究的现状。而后... 随着互联网的飞速发展,计算机安全事件的出现愈来愈频繁,愈来愈严重,计算机应急响应受到广泛关注。计算机安全事件分类方法的研究对于计算机应急响应体系的建设具有重要的意义。首先报告了计算机安全事件分类方法相关研究的现状。而后从计算机安全事件应急响应组的工作实践出发,提出计算机网络安全和计算机网络安全事件的形式化模型,并在此形式化模型的基础上,提出计算机安全事件的描述方法和分类方法。最后给出了两个具体的应用实例。 展开更多
关键词 计算机安全事件 安全事件响应 分类法
在线阅读 下载PDF
广义Rough近似关系基本性质及其计算 被引量:2
4
作者 叶小平 汤庸 +1 位作者 周风华 蒋贻铨 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第3期1-4,共4页
讨论了基于相似关系的广义Rough近似关系。通过提出一系列基本概念,研究了广义Rough近似关系的"自反性"、"对称性"、"传递性"和"广义反对称性"等基本性质,同时探讨了广义Rough关系的相关计算... 讨论了基于相似关系的广义Rough近似关系。通过提出一系列基本概念,研究了广义Rough近似关系的"自反性"、"对称性"、"传递性"和"广义反对称性"等基本性质,同时探讨了广义Rough关系的相关计算问题。 展开更多
关键词 相似关系 广义Rough近似关系 基本性质和计算
在线阅读 下载PDF
科研项目管理系统的设计与实现 被引量:36
5
作者 印鉴 曹王华 +1 位作者 杨敏 胡菁 《计算机应用研究》 CSCD 北大核心 2005年第3期214-216,共3页
提出了基于Browser/Server的多层次结构建立科研项目管理系统的设计思想和体系结构,给出了数据输入、数据维护、浏览查询、统计分析报表生成等模块的实现方法和具体的实现过程。
关键词 决策支持 信息管理系统 科研管理
在线阅读 下载PDF
基于Web服务的敏捷供应链管理系统 被引量:17
6
作者 肖颖浩 常会友 林枬 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2004年第2期148-151,共4页
针对敏捷供应链动态异构的特点,采用信息集成技术来构建供应链管理系统,从而实现供应链内的信息共享和交互,是敏捷供应链研究的一个重要课题。Web服务是新兴的分布式技术,介绍了将Web服务技术应用于敏捷供应链的可行性和优点,提出了一... 针对敏捷供应链动态异构的特点,采用信息集成技术来构建供应链管理系统,从而实现供应链内的信息共享和交互,是敏捷供应链研究的一个重要课题。Web服务是新兴的分布式技术,介绍了将Web服务技术应用于敏捷供应链的可行性和优点,提出了一个基于Web服务的敏捷供应链管理系统的集成框架,并指出了实现中的一些具体问题和进一步研究的方向。 展开更多
关键词 敏捷供应链 WEB服务 信息集成
在线阅读 下载PDF
有界模型检测同步多智体系统的时态认知逻辑 被引量:13
7
作者 骆翔宇 苏开乐 杨晋吉 《软件学报》 EI CSCD 北大核心 2006年第12期2485-2498,共14页
提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系... 提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系统的智能体知识,避免了为时间域而扩展通常的时态认知模型的状态及迁移关系编码.ECKLn的时态认知表达能力强于另一个逻辑CTLK.给出该算法的技术细节及正确性证明,并用火车控制系统实例解释算法的执行过程. 展开更多
关键词 模型检测 有界模型检测 多智体系统 同步时态认知模型 时态认知逻辑
在线阅读 下载PDF
时态变量“Now”语义及相应时态关系运算 被引量:18
8
作者 叶小平 汤庸 《软件学报》 EI CSCD 北大核心 2005年第5期838-845,共8页
讨论了时态变量“Now”的基本语义,即Now不仅可以表示当前时间,还能表示过去时间和将来时间.在语义分析的基础上,讨论了带变量时态关系运算中需要解决的基本问题,即变量Now值的确定问题,研究了相应时态关系数据操作,建立了带变量时态关... 讨论了时态变量“Now”的基本语义,即Now不仅可以表示当前时间,还能表示过去时间和将来时间.在语义分析的基础上,讨论了带变量时态关系运算中需要解决的基本问题,即变量Now值的确定问题,研究了相应时态关系数据操作,建立了带变量时态关系代数系统. 展开更多
关键词 时态变量语义 时间变量值确定 带变量时态关系代数系统
在线阅读 下载PDF
Web挖掘在考试系统中应用 被引量:13
9
作者 刘林东 印鉴 《计算机应用研究》 CSCD 北大核心 2005年第2期150-151,154,共3页
阐述了在考试系统的研究和应用中,利用Web挖掘技术,有效地对考生考试过程中的数据记录到日志文件中,并对日志文件进行有效地分析和挖掘;利用Apriori改进算法FT-树增长算法,找出对考试系统及基于Web的其他教学和管理工作有指导作用的关... 阐述了在考试系统的研究和应用中,利用Web挖掘技术,有效地对考生考试过程中的数据记录到日志文件中,并对日志文件进行有效地分析和挖掘;利用Apriori改进算法FT-树增长算法,找出对考试系统及基于Web的其他教学和管理工作有指导作用的关联规律。 展开更多
关键词 数据挖掘 考试系统 知识发现 WEB挖掘 人工智能
在线阅读 下载PDF
类型系统λω×≤ 被引量:3
10
作者 周晓聪 李文军 李师贤 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第3期13-17,共5页
为研究高阶子类型的范畴论语义模型 ,区分了带高阶子类型的类型系统中的各种上下文 ,并简化其中的受限全称量词类型引入规则 ,而提出了类型系统λω×≤ .文章介绍该类型系统有关类别 (Kind)、算子 (Operator)、项 (Term)的规则 ,... 为研究高阶子类型的范畴论语义模型 ,区分了带高阶子类型的类型系统中的各种上下文 ,并简化其中的受限全称量词类型引入规则 ,而提出了类型系统λω×≤ .文章介绍该类型系统有关类别 (Kind)、算子 (Operator)、项 (Term)的规则 ,及其与建立范畴论语义模型有关的结构性质 . 展开更多
关键词 类型系统 子类型 受限全称量词类型 语义模型 面向对象技术
在线阅读 下载PDF
基于OLAP的网络广告投放分析系统的设计与实现 被引量:3
11
作者 陈健 黄晋 印鉴 《计算机应用研究》 CSCD 北大核心 2004年第8期234-236,239,共4页
随着Internet的普及 ,网络广告以其独特的优势成为企业参与市场经济竞争的重要手段。如何分析广告的市场与受众 ,从而有针对性地投放广告 ,是现代企业信息化管理的必然选择。以OLAP体系结构为基础 ,设计并实现了一个网络广告投放分析系... 随着Internet的普及 ,网络广告以其独特的优势成为企业参与市场经济竞争的重要手段。如何分析广告的市场与受众 ,从而有针对性地投放广告 ,是现代企业信息化管理的必然选择。以OLAP体系结构为基础 ,设计并实现了一个网络广告投放分析系统 ,详细介绍了其设计思想和体系结构 ,并对系统的各部分功能进行了分析 。 展开更多
关键词 网络广告 OLAP 数据立方体
在线阅读 下载PDF
基于扩展Dewey编码的XML文档更新计算 被引量:3
12
作者 覃遵跃 汤庸 徐洪智 《计算机工程与设计》 CSCD 北大核心 2009年第10期2583-2585,2589,共4页
针对在进行XML文档插入、删除等更新时因需要频繁调整相应的子树编码而导致更新低效问题。分析了低效的原因,提出了一种扩展的Dewey编码方案。该编码方案对Dewey编码的连续性进行扩展,使兄弟节点之间的编码不再连续,为插入新节点准备冗... 针对在进行XML文档插入、删除等更新时因需要频繁调整相应的子树编码而导致更新低效问题。分析了低效的原因,提出了一种扩展的Dewey编码方案。该编码方案对Dewey编码的连续性进行扩展,使兄弟节点之间的编码不再连续,为插入新节点准备冗余空间。在此基础上,设计了支持该扩展编码方案的XML文档节点插入算法和分裂算法。实验结果表明,提出的扩展Dewey编码方案有效地实现了XML文档的更新计算。 展开更多
关键词 XML技术 扩展Dewey编码 文档修改 插入 兄弟距离
在线阅读 下载PDF
人工智能教学与计算思维培养 被引量:26
13
作者 王甲海 印鉴 《计算机教育》 2010年第19期68-70,共3页
计算机专业教育要选择适当的知识为载体,来进行能力培养和素质教育。首先分析人工智能的基本教学内容和计算思维能力间的联系,然后给出了人工智能教学中计算思维能力的培养方法,并进行了总结。
关键词 人工智能 计算思维 创新思维
在线阅读 下载PDF
生态样带边界分析的改进算法与网络计算 被引量:5
14
作者 张文军 齐艳红 张治国 《生物数学学报》 CSCD 北大核心 2005年第4期477-486,共10页
确定生态样带的边界,其目的是找出样带中的一系列不连续点,判定生物物种扩 散的自然屏障,分析生物分布及其景观多样性.生态样带边界分析对有害生物的扩散、生物物种 分布研究以及生物多样性保护具有一定的意义.本文在前人研究的基础上... 确定生态样带的边界,其目的是找出样带中的一系列不连续点,判定生物物种扩 散的自然屏障,分析生物分布及其景观多样性.生态样带边界分析对有害生物的扩散、生物物种 分布研究以及生物多样性保护具有一定的意义.本文在前人研究的基础上,对生态样带边界分析 算法进行了改进,在算法中加入了不同的距离测度,由方差/均值比率确定窗口宽度数,用置信 区间及其统计检验来确定样带边界.改进算法减少了主观性,具有较高的灵敏度,可检测出更细 致的边界点.研制了改进算法的Java网络软件,可在多种兼容Java的网络浏览器,如Internet Explorer,HotJava,Nescape Navigator上调用和运行.以稻田生态环境的节肢动物样带对算法 进行了检验和实例分析.结果显示,低营养级的植食性节肢动物,其分布受可见边界的显著影响. 高营养级的捕食性节肢动物和寄生性节肢动物的分布也受到可见边界的一定影响,但不很显著. 另外,也检测到植食性节肢动物在样带中的扩散方向.相对于植食性节肢动物,捕食性节肢动物 和寄生性节肢动物的扩散无明显规律性. 展开更多
关键词 生态样带 边界检测 算法 网络程序
在线阅读 下载PDF
网络课程中基于Web的在线测试系统的研究与实现 被引量:6
15
作者 杨晋吉 刘太根 《计算机应用研究》 CSCD 北大核心 2007年第2期230-232,共3页
设计了一个基于Web的在线测试系统,并成功应用于网络课程的教学活动中。同时,设计了一个高效率自动组卷算法。介绍了该系统的功能、结构、关键技术和自动组卷算法。该系统在其他的相关领域也有较重要的参考价值。
关键词 在线测试 网络课程 自动组卷
在线阅读 下载PDF
基于支持向量机的文本无关字迹鉴别系统 被引量:3
16
作者 欧贵文 肖国华 《小型微型计算机系统》 CSCD 北大核心 2004年第10期1885-1888,共4页
介绍一个脱机方式的文本无关的字迹鉴别系统 .系统由把手写的文字作为图像通过扫描仪输入计算机 ,预处理 ,提取特征参数 ,训练模型 ,最后进行识别等阶段组成 .在预处理阶段 ,提出了局部分割字符图像中的行 ,行的标准化 ,通过行的投影纠... 介绍一个脱机方式的文本无关的字迹鉴别系统 .系统由把手写的文字作为图像通过扫描仪输入计算机 ,预处理 ,提取特征参数 ,训练模型 ,最后进行识别等阶段组成 .在预处理阶段 ,提出了局部分割字符图像中的行 ,行的标准化 ,通过行的投影纠正行的水平位置 ,最后消除水平方向文字之间的空白的方法 .在参数提取阶段 ,采用 Gabor变换计算 4个方向每个方向 4个频率的笔迹特征 .在训练和识别阶段 ,使用支持向量机建立模型和进行识别 .通过对 17个人任意书写的笔迹进行实验 。 展开更多
关键词 支持向量机 笔迹鉴别 GABOR变换
在线阅读 下载PDF
面向异构平台的敏捷供应链管理系统解决方案 被引量:1
17
作者 林枬 常会友 衣扬 《计算机集成制造系统》 EI CSCD 北大核心 2005年第3期381-385,共5页
如何在企业原有系统上快速、有效地建立敏捷供应链管理系统,是敏捷供应链研究中的一个重要课题。介绍了Web服务及其相关技术,在不改变企业内部系统底层架构的基础上,提出了面向异构平台的信息集成方案,开发了一个实际系统,验证分析了该... 如何在企业原有系统上快速、有效地建立敏捷供应链管理系统,是敏捷供应链研究中的一个重要课题。介绍了Web服务及其相关技术,在不改变企业内部系统底层架构的基础上,提出了面向异构平台的信息集成方案,开发了一个实际系统,验证分析了该方案应用于敏捷供应链的优越性,为企业实现异构平台的信息共享和交互提供了新思路,并指出了进一步的研究方向。 展开更多
关键词 敏捷供应链 异构平台 体系结构
在线阅读 下载PDF
自动布局问题的进化计算算法 被引量:1
18
作者 侯广坤 李明 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第2期6-9,26,共5页
二维不规则形状物体的自动最优布局是属于NP完全的组合优化问题 ,使用传统的方法很难得到满意解答 .文章针对该问题提出了一个基于进化计算的算法 ,并以服装计算机辅助设计为例表明基于进化计算的算法卓有成效地应用到自动布局问题 .为... 二维不规则形状物体的自动最优布局是属于NP完全的组合优化问题 ,使用传统的方法很难得到满意解答 .文章针对该问题提出了一个基于进化计算的算法 ,并以服装计算机辅助设计为例表明基于进化计算的算法卓有成效地应用到自动布局问题 .为了得到关于问题的自然和有效的编码 ,将问题变换为一种与之等价的关于多边形的运动规划问题 ,根据问题的特性设计了算法的 3个重要算子 .在解的解码和评价过程中则综合地利用了已有的最优算法 . 展开更多
关键词 进化计算 组合优化问题 多边形运动规划 服装CAD 自动布局问题 NP完全问题
在线阅读 下载PDF
并行与分布式计算教学改革与课程建设 被引量:1
19
作者 李文军 《高等理科教育》 CSSCI 2005年第4期62-66,共5页
本文根据我系近年教学改革与课程建设经验,探讨了面向计算机科学与技术专业本科生的并行与分布式计算课程的教学思路和教学内容,并介绍了该课程实践环节的实验环境选择与实验项目设计.
关键词 并行与分布式计算 教学改革 实践环节 分布式对象 组件模型
在线阅读 下载PDF
元计算环境下阶段启发式任务分解与调度策略研究 被引量:1
20
作者 梅晓勇 王志刚 李师贤 《湘潭师范学院学报(自然科学版)》 2005年第1期19-22,共4页
提出了基于元计算环境下阶段启发式任务分解和调度的协同工作模型 ,给出了任务分解过程中任务间依赖关系的数学描述 ,通过任务粗粒度分解策略 。
关键词 元计算环境 任务分解 调度策略 启发式 粗粒度 协同工作 分解算法 阶段 过程 组合
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部