您的位置： 专家智库 > >

蔡晓真

作品数：4 被引量：8H指数：2
供职机构：福州大学更多>>
发文基金：福建省教委科研基金福建省教育厅科技项目福建省教育厅资助项目更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...
  • 3篇文化科学

主题

  • 2篇形式化
  • 2篇语法
  • 2篇语言
  • 2篇文本
  • 2篇文本语言
  • 2篇描述语言
  • 2篇TL
  • 1篇形式化描述
  • 1篇形式化描述语...
  • 1篇用语
  • 1篇语义
  • 1篇数据库
  • 1篇随机数
  • 1篇随机数发生器
  • 1篇题库
  • 1篇题库系统
  • 1篇通用题库
  • 1篇通用题库系统
  • 1篇助教
  • 1篇专业语言

机构

  • 4篇福州大学

作者

  • 4篇蔡晓真
  • 2篇张莹
  • 2篇柯栋忠
  • 1篇陈安莎
  • 1篇刘延华
  • 1篇周力
  • 1篇胡彦
  • 1篇郑应文
  • 1篇陈兰生

传媒

  • 2篇福州大学学报...
  • 2篇福建电脑

年份

  • 1篇2004
  • 1篇2003
  • 1篇2002
  • 1篇1997
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
多功能通用题库系统
1997年
描述了一个多功能通用题库系统的设计与实现该系统克服了一般题库系统所存在的专用、封闭、功能单一、单用户使用等缺陷，集学生练习、测试和教师出卷等功能于一体。
张莹蔡晓真
关键词：CAI题库系统数据库随机数发生器
专业语言的描述工具文本语言TL被引量：2
2003年
着重讨论一种描述专用语言的工具文本语言TL ,它是一种形式化的描述语言 ,用文本语言TL可以严格地刻划所描述的专用语言的全信息 ,包括语法、语义等 .
柯栋忠周力郑应文蔡晓真陈兰生
关键词：专用语言形式化描述语言文本语言语法
一个教学网站的设计与实现被引量：6
2002年
随着网络技术和多媒体技术的发展,计算机远程教育这一新型的教学模式逐渐成为现代化教育的一个重要组成部分。本文描述了一个教学网站的设计与实现。
张莹胡彦刘延华蔡晓真陈安莎
关键词：教学网站计算机网络网络教学计算机辅助教学
文本语言TL的语法图形式被引量：1
2004年
本文介绍一种描述语言的工具文本语言 (TextLanguage)TL ,它是一种形式化的描述语言 ,我们以语法图的形式介绍TL如何描述语言的全信息 ,包括语法、语义等。
柯栋忠蔡晓真
关键词：描述语言文本语言形式化语义语法
全选 清除 导出
共1页<1>
聚类工具0