作者： 张新宇;汤庆乐;张智;裴先登

期刊： 微细加工技术,2001年(2):67-70 ISSN：1003-8213

作者机构： 华中大学计算机学院外存储系统国家专业实验室;中国船舶重工集团华中光电技术研究所光电二部;光电子工程系

关键词： 尖形微结构;离子束蚀刻;抗激光烧蚀;能力;微结构器件

摘要： 讨论了光刻热熔成形工艺灰度掩模技术结合离子束蚀刻制作面阵尖形微结构器件的问题,分析了几种凸尖及凹尖结构抗入射激光烧蚀的能力强于平面端面同质器件的原因,所作的若干分析结果可用于这类器件的实际制作和应用.

语种： 中文

作者： 张铮;何秀玲;冯刚;梁妙园

期刊： 计算机工程与应用,2001年37(11):125-126 ISSN：1002-8331

作者机构： [张铮; 何秀玲; 冯刚; 梁妙园] 华中师范大学多媒体研究所

关键词： 教学素材库;网络课件;课件生成系统;远程教育

摘要： 远程教育的当务之急是建立一个合理有效的资源库，使得广大教师可以共享制作网络课件所需的基本微小课件、以及媒体、案例、试题等素材资源，可以简单方便地制作出适合个人需要的网络课件。文章就如何构建一个教学素材库系统展开讨论，并提出一个有较强可行性的模型。

语种： 中文

作者： 杨毅坚;肖德宝

期刊： 小型微型计算机系统,2001年22(6):747-750 ISSN：1000-1220

作者机构： [杨毅坚; 肖德宝] 华中师范大学计算机系

关键词： 分布式系统;防火墙;IP陷阱

摘要： 随着网络的广泛使用,网络安全问题成为人们关注的焦点.以往采用的安全保护中使用得最多的是传统的防火墙机制.可是随着网络技术的不断发展,传统防火墙已经渐渐不能满足安全的需要.本文针对由传统防火墙所带来的问题,提出了一种基于Kerberos认证的分布式防火墙的新型体系结构.在保留传统防火墙优点的基础上,解决了传统防火墙的不安全隐患.

语种： 中文

作者： 柳青;胡金柱;杨青;高劲松

期刊： 计算机应用研究,2001年18(9):17-20 ISSN：1001-3695

作者机构： [柳青; 胡金柱; 杨青; 高劲松] 华中师范大学软件工程与数据库研究所

关键词： 工作流;工作任务;高级Petri网;远程考试

摘要： 随着信息技术的发展,分布式工作流MIS系统得到了进一步应用.以基于Web的远程计算机考试系统为例,阐述了一种基于高级Petri网的工作流模型,并对其工作流、工作任务间的顺序、并发、冲突、同步及资源共享与竞争等关系进行了详细地分析.

语种： 中文

作者： 易红樱;陈祖义

期刊： 计算机与网络,2001年(3):32-33 ISSN：1008-1739

作者机构： 华中理工大学;空军第一航空学院 在读研究生、讲师;华中师范大学计算机系、助教、学士

关键词： 网上教学;多媒体

摘要： 开发基于WEB的网上多媒体教学软件是实现网络化教学和远程教学(Distance Learning)的资源基础,其优点是不受地域的限制,能够充分利用目前日趋成熟的校园网络,做到资源共享.本文着重介绍了该类教学系统的总体规划和设计思路,以及如何用多媒体著作工具Authorware开发网上教学系统的技巧和方法.

语种： 中文

作者： 胡金柱;谭支鹏

期刊： 小型微型计算机系统,2001年22(1):96-99 ISSN：1000-1220

作者机构： [胡金柱; 谭支鹏] 华中师范大学计算机科学系软件工程与数据库研究所;华中师范大学计算机科学系软件工程与数据库研

关键词： 分布式数据库;对象迁移;对象调度;Petri网;算法实现

摘要： 本文提出了分布式对象数据库系统中的对象迁移和对象调度的概念 ,对系统中的对象迁移策略和对象调度策略作了详细的研究和讨论 .针对系统负载不平衡的问题 ,给出了对象迁移的动态调整模型和对象迁移时目标地址选择的判定条件及其相应算法 .针对对象的调度 ,本文运用扩展的时间 Petri网理论对其调度策略作了模拟 ,给出了对象最优调度策略的算法实现 .事实证明面向对象的技术应用于分布式数据库系统不仅可以提高系统的性能、优化系统的结构、有助于在虚拟网上实现分布式数据库 ,而且具有一定的实用性

语种： 中文

作者： 陈砚雄;魏长华

作者机构： 华中师范大学计算机科学系人工智能研究所(武汉)

会议名称： 第一届中国Rough集与软计算学术研讨会

会议时间： 2001-05-01

会议地点： 重庆

会议论文集名称： 第一届中国Rough集与软计算学术研讨会论文集

关键词： 粗糙集;大气质量;预测分析

摘要： 本文基于粗糙集理论进行大气质量预测分析,通过数据浓缩、约简以及分析、推理,从而产生合理的决策方案.

语种： 中文

作者： 张德宝;廖学兵;李振敬;朱绍文

期刊： 微计算机信息,2001年17(10):7-8 ISSN：1008-0570

作者机构： 430208,武汉,军械士官学校自行火炮系;430079,武汉,华中师范大学计算机应用研究所;[廖学兵; 李振敬; 张德宝] 军械士官学校;[朱绍文] 华中师范大学

关键词： 测瞄装置;调制传递函数;测量

摘要： 测瞄装置是自行火炮的重要组成部分。本文介绍了一种采用光电探测原理和计算机控制的信息处理技术，对自行火炮测瞄装置调制传递函数（MTF）进行测量的方法；本文提出的计算机对自行火炮测瞄装置MTF的测量，突破了机械扫描法模拟傅里叶变换原理，采用蓝牙技术和计算机控制的光电探测原理完成对测瞄装置MTF的测量。用该方法全面评价测瞄装置质量，具有操作简单、速度快、精度高、测量周期短的特点，适用于较小在空间的自行火炮对测瞄装置进行MTF测量。

语种： 中文

作者： Wei, CH*;Wang, S

期刊： WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XVII, PROCEEDINGS: CYBERNETICS AND INFORMATICS: CONCEPTS AND APPLICATIONS (PT II),2001年:119-125

通讯作者： Wei, CH

作者机构： [Wei, CH; Wang, S] Cent China Normal Univ, Dept Comp Sci, Wuhan 430079, Peoples R China.

通讯机构： [Wei, CH] C;Cent China Normal Univ, Dept Comp Sci, Wuhan 430079, Peoples R China.

语种： 英文

作者： 陈基雄;蔡霞

期刊： 计算机系统应用,2001年2001(4):41-43 ISSN：1003-3254

作者机构： [陈基雄] 华中科技大学计算机科学系;[蔡霞] 华中师范大学计算机科学系

关键词： 第三层VLAN;变长子网掩码

摘要： 本文结合华中科技大学东校区校园网(Huazhong University of Science & TechnologyEastern Part Network)的例子讨论了基于第三层VLAN的园区网实现技术.文章先对HUSTEPNET的方案进行了介绍,然后讨论了该校园网中基于第三层的VLAN划分和路由策略,并提出了使用变长子网掩码来划分第三层VLAN的方法.

语种： 中文

作者： 邹先霞;杜威;魏长华

期刊： 华中师范大学学报(自然科学版),2001年35(2):146-149 ISSN：1000-1190

作者机构： 华中师范大学计算机科学系人工智能研究所!武汉430079;广东省司法管理干部学院技术系!广州510232;[杜威] 广东省司法管理干部学院;[邹先霞; 魏长华] 华中师范大学

关键词： 概念格;粗集理论;知识约简

摘要： 概念格是数据分析与规则提取的一种有效工具.但是在实际应用中由于需要处理的数据是海量的，使得直接基于概念格上提取规则的冗余度过大，造成机器计算时间和空间的浪费．而粗集理论在数据预处理和不确定性规则提取等方面表现出很强的优势.因此，为了减少人力物力的浪费，本文提出了一种应用粗集理论构造概念格的算法，且指出了该算法的优点及存在的不足．

语种： 中文

作者： 姬涛;胡金柱

期刊： 计算机应用研究,2001年18(6):53-54,87 ISSN：1001-3695

作者机构： 华中师范大学计算机系软件工程与数据库研究所;[胡金柱; 姬涛] 华中师范大学

关键词： 工作流管理;分布式工作流

摘要： 提出了一种新的分布式结构,在这个结构中,排除了工作流系统对一个集中式数据库的依赖,而是用持续消息的方法将与过程执行有关的信息存储起来,使过程的执行是完全分布式的,并且每个节点都是各自独立的.采用这种方式能增强对错误的恢复能力以及构造系统的灵活性和扩展性.

语种： 中文

作者： 胡恒兴;冯刚;梁妙园

作者机构： 华中师范大学多媒体研究所(武汉)

会议名称： 第十届全国多媒体技术学术会议

会议时间： 2001-10-01

会议地点： 北京

会议论文集名称： 第十届全国多媒体技术学术会议论文集

关键词： 表格处理;OCR技术;表格类型识别;图像辨识;自动处理

摘要： 针对日常各种事务处理中大量应用的表格,我们使用计算机进行自动处理.在表格自动处理系统的多个环节,我们应用了OCR技术,在表格类型识别这一重要环节,我们在以表格格线分布特征为主,对表格类型进行区分的基础上,对印刷体的表头信息进行OCR识别,进一步对类型进行判别.我们还对表格中以中文大写数字,手写阿拉伯数字,勾选填写的信息项运用OCR技术进行处理,提高了表格自动处理系统的能力.

语种： 中文

作者： 邹先霞;杜威;王淑礼;魏长华

期刊： 计算机工程与应用,2001年37(15):135-137 ISSN：1002-8331

作者机构： 华中师范大学计算机科学系人工智能研究所!武汉 430079;广东省公安司法管理干部学院技术系!广州 510232

关键词： 粗集理论;容错关系;容错粗集;知识发现

摘要： 粗集理论（Rough Sets Theory，RST）在许多领域已得到成功的应用，它在处理不完全、不精确、不确定性智能信息问题中表现出优秀品质。然而在标准RST理论中存在有局限性，比如对等价关系的定义使得知识约简相对复杂化。论文提出了基于RST的容错粗集的概念，给出了容错粗集上的性质，使得在进行知识约简时无需进行量化。从而大大提高了知识发现的效率。

语种： 中文

作者： 张德宝;廖学兵;李振静;朱绍文

期刊： 计算机测量与控制,2001年9(5):287-291 ISSN：1671-4598

作者机构： [张德宝; 朱绍文; 廖学兵; 李振静] 武汉军械士官学校自行火炮火控教研室;[张德宝; 朱绍文; 廖学兵; 李振静] 武汉华中师范大学计算机应用研究所

会议名称： 2001年中国智能自动化会议

会议时间： 2001-08-01

会议地点： 昆明

会议论文集名称： 2001年中国智能自动化会议论文集(上下册)

关键词： 单片机;自行火炮;测瞄装置;故障诊断

摘要： 针对自行火炮测瞄装置故障诊断的特点,设计开发了一种基于单片机AT89C51的自行火炮测瞄装置故障诊断系统,阐述了其系统结构及设计原理,该方法克服了以往检测系统的某些缺陷,在实际运用中是可行的.

语种： 中文

作者： Yang, SH*;Tan, LS（谭连生）;He, CH

期刊： Journal of Loss Prevention in the Process Industries,2001年14(5):379-386 ISSN：0950-4230

通讯作者： Yang, SH

作者机构： [Yang, SH] Loughborough Univ Technol, Dept Comp Sci, Loughborough LE11 3JZ, Leics, England.;Cent China Normal Univ, Dept Comp Sci, Wuhan, Peoples R China.;Zhejiang Univ, Dept Chem Engn, Hangzhou 310027, Peoples R China.

通讯机构： [Yang, SH] L;Loughborough Univ Technol, Dept Comp Sci, Loughborough LE11 3JZ, Leics, England.

关键词： safety interlock system;symbolic model checking;safety verification;industrial processes

摘要： The safety interlock system (SIS) is one of the most important protective measurements in industrial processes that provide automatic actions to correct an abnormal plant event. This paper considers the use of formal techniques based on symbolic model checking and computation tree logic (CTL) in the specification to automatically verify the SIS for industrial processes. It addresses the problem of modelling industrial processes and presenting the SIS in CTL. It shows how symbolic model checking can be used efficiently in the verification of a SIS. A transferring system for a penicillin process is used as a case study. (C) 2001 Elsevier Science Ltd. All rights reserved.

语种： 英文

作者： 魏长华;邹先霞

作者机构： 华中师范大学计算机科学系人工智能研究所(武汉)

会议名称： 第七届联合国际计算机会议

会议时间： 2000-10-01

会议地点： 汕头

会议论文集名称： 第七届联合国际计算机会议论文集(下册)

关键词： 社会智能系统;模态逻辑;模态逻辑模型

摘要： 该文基于系统中Agent的应用，将其分类为强Agent和弱Agent。论文首先给出了有关强Agent的概念及其特性，提出了一个能处理社会智能系统的模态逻辑模型(MIMS)，MIMS采取模态逻辑处理系统中的强Agent精神状态。然后文章讨论了MIMS的逻辑语义和语法。最后，论文给出了MIMS在作者开发的社会智能系统(SISIG)中的应用。

语种： 中文

作者： 邹先霞;王淑礼;魏长华

期刊： 高等继续教育学报,2000年(03):50-54 ISSN：2095-5987

作者机构： 华中师范大学计算机科学系人工智能研究所!武汉430079

关键词： 数据仓库;数据挖掘;体系结构;人工智能;知识发现;信息查询

摘要： 数据仓库与数据挖掘技术是信息领域的两个热门话题 ,掌握这两项技术是信息社会的必然趋势。本文首先介绍了数据仓库产生的背景、定义以及它的体系结构 ,然后介绍了数据挖掘的定义、处理阶段以及相关的模式 ,最后介绍了基于数据仓库的数据挖掘技术 ,使读者对这两项技术有一个全面的了解。

语种： 中文

作者： 彭绪富;张铮;冯刚;梁妙园

作者机构： 华中师范大学多媒体技术研究所(武汉);华中师范大 学多媒体技术研究所(武汉)

会议名称： 第九届全国多媒体技术学术会议

会议时间： 2001-10-18

会议地点： 北京

会议论文集名称： 第九届全国多媒体技术学术会议论文集

关键词： 交互式远程教育;交互式教学模式

摘要： 交互式远程教学的主要目的是实现网络计算机、教师、学生三方面的信息交流，双达集思广益、开启智慧的目的。交互式教学模式设计是该文探讨的主要内容，文中探讨了基于BBS的讨论系统和共享电子白板的设计原则及功能设计和实现。

语种： 中文

作者： 杨从平;郑世珏;党永杰;崔建群（崔建群）

期刊： 系统工程,2000年33(11):53-59 ISSN：1001-4098

作者机构： [崔建群; 杨从平; 郑世珏; 党永杰] 华中师范大学计算机学院

关键词： 快递网络;路径优化;Floyd算法;Dijkstra算法

摘要： 通过Floyd算法求出快递网络节点间的最短路径长度和需要中转的次数,根据节点间的最短路径和需要中转的次数算出配送时间;通过Dijkstra算法对边介数、节点介数进行加权求和得出快递网络边的货物流量和节点的货物中转量,根据运费率、边的货物流量和边的长度算出边的运输成本,根据节点货物中转量算出中转费用和存储费用;以快递网络总配送成本最小化为优化目标,构建带有配送时间约束和节点最大流量约束的快递网络优化模型,并设计从全连通网络逐渐删除网络边至总配送成本最小为止的算法进行求解,最后通过算例验证了模型和算法的有效性。

语种： 中文