您的位置: 专家智库 > >

赵致琢

作品数:58 被引量:124H指数:6
供职机构:厦门大学信息科学与技术学院更多>>
发文基金:福建省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术文化科学电子电信交通运输工程更多>>

文献类型

  • 46篇期刊文章
  • 12篇会议论文

领域

  • 41篇自动化与计算...
  • 18篇文化科学
  • 1篇机械工程
  • 1篇电子电信
  • 1篇交通运输工程

主题

  • 15篇教学
  • 12篇分布式
  • 11篇计算机
  • 11篇程序设计
  • 10篇科学办学
  • 10篇办学
  • 8篇教育
  • 8篇教学改革
  • 8篇DEL语言
  • 7篇课程
  • 7篇计算机科学
  • 7篇计算机科学与...
  • 6篇设计语言
  • 6篇教学方法
  • 6篇高等教育
  • 6篇程序设计语言
  • 5篇学科
  • 5篇容错
  • 4篇专家系统
  • 4篇逻辑程序

机构

  • 50篇厦门大学
  • 9篇石家庄经济学...
  • 8篇仰恩大学
  • 6篇中国科学院数...
  • 5篇武汉大学
  • 4篇中国地质大学
  • 1篇南京大学
  • 1篇北京工业大学
  • 1篇中国科学技术...

作者

  • 58篇赵致琢
  • 11篇李慧琪
  • 9篇刘坤起
  • 6篇李松斌
  • 5篇吴文鑫
  • 5篇黄小炜
  • 4篇侯米娜
  • 4篇苏剑煌
  • 3篇曹华
  • 3篇蔡强
  • 2篇赵占芳
  • 2篇昌杰
  • 2篇王良霖
  • 2篇王啸澜
  • 2篇康立山
  • 2篇陆汝钤
  • 2篇李玲
  • 2篇张继红
  • 2篇倪子伟
  • 2篇夏金存

传媒

  • 11篇工业和信息化...
  • 9篇计算机科学
  • 4篇计算机研究与...
  • 3篇学术问题研究
  • 2篇教育发展研究
  • 2篇计算机学报
  • 2篇贵州大学学报...
  • 2篇软件学报
  • 2篇集美大学学报...
  • 2篇智能系统学报
  • 2篇2005年中...
  • 2篇2006年全...
  • 1篇计算机时代
  • 1篇厦门大学学报...
  • 1篇计算机应用与...
  • 1篇贵州大学学报...
  • 1篇计算机工程与...
  • 1篇福建电脑
  • 1篇计算机科学与...
  • 1篇2004年全...

年份

  • 1篇2016
  • 5篇2014
  • 6篇2013
  • 1篇2012
  • 1篇2011
  • 1篇2010
  • 4篇2009
  • 5篇2008
  • 2篇2007
  • 7篇2006
  • 8篇2005
  • 4篇2004
  • 2篇2003
  • 1篇2002
  • 1篇2001
  • 1篇2000
  • 2篇1993
  • 1篇1992
  • 5篇1990
58 条 记 录,以下是 1-10
排序方式:
面向对象程序设计语言BETA
1990年
本文介绍一个新的面向对象的程序设计语言BETA。BETA语言在发展了十几年后,虽然国内对它了解甚少,但BETA的许多思想和风格确实在语言理论研究中占有重要地位,而且可以肯定,BETA将影响国内的一些研究工作.本文根据参考文献编译,限于篇幅,不可能完整而又详细地介绍。有兴趣的读者,请参考有关的文献.本文引用的参考文献系指B.B.Kristensen等人的文章中列出的参考文献。
曹华赵致琢
关键词:面向对象程序设计语言
G(o)del语言编译中多态多类类型的实现技术简报
本文对G(o)del语言编译中多态多类类型的实现进行了研究。文章针对类型系统的实现,介绍了语义分析中的静态类型检查和实现一致匹配时的动态类型检查等关键技术。
苏剑煌赵致琢李慧琪李松斌侯米娜
关键词:程序设计程序语言语言编译
文献传递
计算机科学与技术学科教育与教学改革研究进展通报被引量:25
2000年
一、引言 1.研究项目立项背景介绍 1995年,教育部在广泛调研的基础上,深感国内高等教育特别是高等理科教育存在着不能适应学科和社会发展需要的问题。教育思想与教学观念陈旧,许多教学内容几十年不变,教学管理和教学手段落后,办学经费与教学研究经费投入不足等,严重制约了我国高等教育培养的各类专业技术人才参与下一世纪的国际竞争,必须下大力气改变这种状况。随后。
赵致琢
关键词:计算机科学教学改革
一种新的基于权重的移动自组网络路由协议被引量:1
2008年
传统的按需路由协议大多采用泛洪策略来发现路由,主要考虑如何快速建立路由以及减少控制信息的交换,而很少考虑所选路由的稳定性。本文提出了一种稳定的基于权重的按需路由协议,它利用路由权重来选择一条稳定的基于能量保护的路由来保证系统的性能。路由的权重由以下三个因素决定:路由有效期(RET)、跳数(HC)、最小节点能量水平(REL)。通过选择具有较高权重的路由,可以有效避免选择具有高移动性节点或具有较小能量节点的不稳定路由。
夏金存赵致琢
关键词:移动AD按需路由能量保护
匿名网络中结点标识分配的分布式异步算法
对匿名网络中结点标识分配的分布式异步算法进行了研究。文章阐述了分布式网络系统中网络信息的特点;论述了网络大小的计算;介绍了标识分配算法。
吴文鑫赵致琢黄小炜
关键词:分布式网络计算机数学网络拓扑
Gdel语言编译时类型处理技术研究
2010年
Gdel是一种发展中的逻辑程序设计语言,目前还没有开发出编译器。Gdel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础。按照传统的方法,逻辑程序的运行机制和Gdel语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算。提出了一种处理Gdel语言类型系统的编译技术。针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率。
林永鹏赵致琢李慧琪徐丹
G(o)del语言中面向对象技术的实现
G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义.本文引入了在G(o)del语言中支持面向对象的程序开发技术的新的语言成分,对面向...
王炳波赵致琢
关键词:面向对象程序开发一阶逻辑
文献传递
一种分布式计算中的容错选举算法
选举算法被广泛应用于分布式计算中,而且它已经被证明比合意问题更难.在分析了选举问题和合意问题的关系之后,提出了一种新的容错选举算法.该算法是稳定的、通信有效的,并且该算法可以容忍进程和链路的暂时性错误.所提出的算法不仅解...
赵致琢黄小炜吴文鑫
关键词:选举算法容错分布式算法分布式计算
文献传递
计算机科学与技术一级学科面向21世纪系列教材一体化建设研究报告被引量:10
2002年
1引言 自从计算机科学与技术学科专业教育诞生之日起,学术界就开始了长期的、连续的教材创作工作,陆续推出了各式各样的教材.在中国,伴随着高等学校学科专业教育的兴起,采用翻译、编译、编写、编著、引进、创作等多种形式,大量专业教材不断地进入这个领域.众所周知,无论是国内还是国外,长期以来学科专业教材的建设确实为培养一大批专业人才做出了巨大的贡献.
赵致琢刘椿年许满武陈国良
关键词:计算机科学计算机技术
面向新世纪中国科技研发、高等教育与产业发展亟待解决的若干重大问题被引量:7
2003年
近年来中国经济的快速发展和社会的全面进步,世界政治、经济和战略格局的变化以及中央提出的西部大开发战略的推进都对中国科技研发、高等教育与产业发展提出了新的要求和挑战。科技研发与高等教育如何在科教兴国,服务于国家经济建设,促进社会全面进步和协调发展的过程中更好地发挥作用,国有控股企业如何在激烈的国际竞争中保持快速发展,壮大国家的经济基础和实力,文化建设如何为国家的长期发展提供持久的推动力,已经成为社会各界广泛关注的问题。在中国社会从计划经济向市场经济全面转轨的过程中,这一问题的核心已经演变为如何进行系统的重大变革,全面建立基于新型文化发展体系之上的面向新世纪中国科技研发、高等教育与产业发展的新体系。本文在系统、深入分析中国科技研发、高等教育、文化建设与产业发展及其原有产学研合作体系存在的问题的基础上,提出了系统的、全面的改革的新观点和新思想,按照合理分工,相互合作,有进有退,科学配套,浑然一体的构思和设想,创造性地提出了一个新世纪中国科技研发、高等教育与产业发展新体系的构架,讨论了这样一个新型产学研合作体系的属性和基本任务,直面高等教育的改革和办学实践,重点阐述了科学办学、内涵发展、依法管理。
赵致琢梁玉兰张继红刘坤起
关键词:高等教育文化建设科学办学
共6页<123456>
聚类工具0