李毅
- 作品数：6 被引量：3H指数：1
- 供职机构：天津理工学院计算机与通信工程学院计算机科学与工程系更多>>
- 发文基金：天津市自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信建筑科学冶金工程更多>>
- 完善Jackson的设计方法
- 2001年
- Jackson方法所得到的程序模块结构差 ,形式化描述能力弱 .因此 ,结构性不理想 ,使得Jackson方法在使用中受到限制 .本文提出一种方法 .将数据结构按其性质划分成若干个数据结构 ,对每一个数据结构设计出相应的CSP ,它们之间接口是CSP通讯 .在设计每个CSP时给出所处理数据的属性文法的形式说明 ,其描述能力比Jackson的数据结构树更严格 .由此形成说明导出相应的进程 .所设计的方法实质上是融合了当前属性文法 ,模块程序设计以及Jackson方法 ,而获得一个更好、更为有力的程序设计方法 .
- 李毅
- 关键词：数据结构程序结构属性文法CSP
- 基于COMPAQ产品的容错系统
- 2002年
- 以COMPAQ产品为例 ,给出了几种可行实用的数据容错系统方案 .并详细介绍了磁盘阵列管理系统和服务器自恢复系统的组成、功能及特点 .同时 ,结合计算机网络数据信息容错系统的应用 ,提出了解决系统随机故障和后台数据重建的两种方法 .在计算机网络信息系统中 。
- 王怀彬李毅王平健
- 关键词：COMPAQ容错系统数据容错数据安全
- 智能住宅小区能耗自动检测计量收费管理系统的设计与开发
- 2001年
- 随着住宅小区智能化水平的提高 ,能耗检测、计量和收费系统的智能化建设将显得越来越重要 .本文结合一个智能小区能耗自动检测计量收费系统的设计与开发 ,介绍了一个完整的系统实例 .该系统在检测、通讯和收费管理方面具有许多新的特点 ,与国内同类系统相比具有一定的先进性[1 ]
- 王怀彬李毅王平健
- 关键词：智能住宅
- 天津铁厂热力分厂微机实时监测与调度系统
- 1995年
- 本文介绍了一个微机实时监测与调度系统。该系统给出了改变大中型企业中传统的监测、调度方式、使用计算机完成这些工作的一个实例．通过系统设计与工程实践，解决了在强干扰环境下，实现稳定、准确监测和实时远距离高速数据交换等技术问题．
- 王怀彬李新李毅武周
- 关键词：微机调度系统炼铁厂热力系统
- 一个分布式计算机实时控制系统的设计与应用
- 1997年
- 本文以四台焦化炉实时控制系统为例，对计算机分布式实时控制系统的设计进行了讨论，该系统由下位一直接数字控制（ＤＤＣ）级和上位机—监测控制（ＳＣＣ）级两级组成．文中，首先介绍分布式控制系统的一般概念，然后一步步地介绍了系统的整个设计过程，并着重介绍了ＳＣＣ级的设计．文中将对如何在实时操作系统的支持下。
- 王怀彬李毅王平健
- 关键词：DDC分布式计算机计算机控制
- 欣苑小区视频点播(VoD)系统被引量：3
- 2000年
- 欣苑小区视频点播系统是一套面向中、小规模网络设计的实时系统 ,它采用了国际互联网技术作为多媒体信息服务的基础 ,服务器端使用WindowsNTServer,用户终端安装Windows95/98和标准Web浏览器 ,加自行开发的实时VoD系统服务器端软件 ,客户端标准插件 ,可以保证用户在熟悉的Web浏览器环境中检索 ,访问局域网中的各种多媒体资源和实时点播视频节目 ,同时支持与Internet直接连接 ,使小区住户充分利用己有的软、硬件技术和资源 ,并且使得小区网络管理人员能方便容易地制作。
- 王怀彬王平健李毅
- 关键词：分布式视频点播互联网多媒体
