您的位置： 专家智库 > >

董广智

作品数：14 被引量：49H指数：3
供职机构：北京师范大学信息科学与技术学院更多>>
发文基金：电子信息产业发展基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术语言文字文化科学电气工程更多>>

合作作者

文献类型

  • 12篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 8篇自动化与计算...
  • 2篇语言文字
  • 1篇经济管理
  • 1篇机械工程
  • 1篇电子电信
  • 1篇电气工程
  • 1篇文化科学

主题

  • 2篇动态语义
  • 2篇多媒体
  • 2篇英语
  • 2篇软件过程模型
  • 2篇教学
  • 2篇工作流
  • 2篇反应式
  • 1篇单稳态
  • 1篇单稳态触发器
  • 1篇电化教学
  • 1篇电教
  • 1篇电路
  • 1篇电路设计
  • 1篇电声
  • 1篇电声技术
  • 1篇掉电
  • 1篇掉电保护
  • 1篇业务过程建模
  • 1篇业务流
  • 1篇业务流程建模

机构

  • 7篇中国科学院软...
  • 5篇东北大学
  • 1篇北京师范大学
  • 1篇东北师范大学

作者

  • 14篇董广智
  • 7篇柳军飞
  • 4篇田勇
  • 2篇张耀伟
  • 1篇刘丽欣
  • 1篇樊新华
  • 1篇胡广兴
  • 1篇武省
  • 1篇齐璇
  • 1篇施海虎
  • 1篇田浩
  • 1篇胡旷
  • 1篇丁婧
  • 1篇王健

传媒

  • 2篇计算机辅助设...
  • 2篇黄金学报
  • 2篇计算机工程与...
  • 1篇电声技术
  • 1篇计算机应用与...
  • 1篇东北大学学报...
  • 1篇软件学报
  • 1篇辽宁商务职业...
  • 1篇大学物理实验
  • 1篇2003中国...

年份

  • 1篇2012
  • 1篇2008
  • 2篇2007
  • 2篇2006
  • 1篇2005
  • 2篇2003
  • 1篇2002
  • 1篇2000
  • 2篇1999
  • 1篇1998
共 14 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
SJS-1型双路计时仪的改进
1998年
SJS－1型计时仅采用光电输入，自动计时，并有记忆功能．分期显示先后两次时间，通过用单稳态触发器替代双稳态触发器以实现任意时间显示，加自锁电路以避免无效触发引起计时错误。
胡广兴董广智翟玉生
关键词：双稳态触发器单稳态触发器与门时标
MC146818掉电保护的一种设计方法
1999年
本文介绍实时时钟／日历芯片MC146818掉电保护电路的一种简单、方便的设计方法．
张耀伟董广智樊新华
关键词：掉电保护实时时钟电路设计
基于代价的过程动态变更
2006年
通过实例说明工作流运作阶段存在多种动态变更途径;并采用矩阵表示过程的数据流和控制流,利用矩阵变换找到所影响范围内所有可能变更途径;最后对它们作代价分析,求出最佳变更途径·
田勇董广智柳军飞
关键词：工作流异常处理
关于多媒体CAI课件开发方法的研究被引量：1
2000年
根据多媒体计算机辅助教学课程软件的发展与存在的问题 ,结合软件工程和软件开发方法 ,对 CAI课件进行了必要的需求分析 ,阐述了一种多媒体 CAI课件生命周期模型 ,进而对 MCAI课件的标准化。
董广智武省
关键词：CAI多媒体
一种弹性的软件过程模型验证工具被引量：1
2007年
过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。
胡旷董广智田勇柳军飞
关键词：语义规则可扩展标记语言
一种反应式SPM及其动态语义XYZ表示被引量：6
2005年
过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑语言XYZ/E表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础.
董广智柳军飞齐璇
关键词：软件过程模型过程建模语言反应式XYZ/E
工作流过程图形建模及基于自动机的动态语义被引量：3
2007年
根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性.
董广智田勇柳军飞
关键词：工作流过程图形建模自动机动态语义
一种反应式软件过程支撑系统
软件过程技术被认为是提高软件质量和软件生产率的一项重要技术.经过二十多年的发展,软件过程技术取得了很多的成果,但是也遇到许多困难.在对软件过程支撑系统及其当前成果进行了介绍后,本文提出了一种反应式软件过程支撑系统,并说明...
董广智田浩柳军飞施海虎
关键词：软件过程建模反应式系统
文献传递
支持复杂事件处理的业务流程建模研究被引量：2
2012年
现有的流程建模语言缺少对复杂事件的支持。通过对BPMN进行扩展,提出一种事件的分层方法来表达业务过程中的基本事件和复杂事件。在此基础上进一步提出CE-BPM建模方法,并给出其形式化定义和图形化表示,增加了复杂事件和复杂事件处理网关的图形表示。最后通过实例来说明用BPMN建模时遇到的问题以及如何用CE-BPM建模解决问题的。
王健董广智柳军飞
关键词：业务流程建模复杂事件处理
图式理论与英语听力教学被引量：35
2003年
概述了图式理论的基本观点。具体论述了图式理论在英语听力教学中的重要作用:即图式对学生推理能力、理解能力和记忆能力的作用。指出英语教师应转变传统的教学观念,在不断研究与探索中把图式理论与英语听力教学更完美地结合在一起。
董广智刘丽欣
关键词：图式图式理论英语听力教学
全选 清除 导出
共2页<12>
聚类工具0