论文部分内容阅读
本文讨论了人机接口的分类及特点，着重介绍了图形人机接口的重要性及实用性；引入了回溯自动机作为定义人机接口的一种抽象数学模型，并采用该模型给出其图形人机接口的形式化描述。
图形人机接口的形式化描述
【摘 要】
：
本文讨论了人机接口的分类及特点，着重介绍了图形人机接口的重要性及实用性；引入了回溯自动机作为定义人机接口的一种抽象数学模型，并采用该模型给出其图形人机接口的形式化描述
【机 构】
：
西北大学计算机科学系,西安电子科技大学
【出 处】
：
小型微型计算机系统
【发表日期】
：
1997年12期
【基金项目】
：
国家“九五”科技攻关资助
其他文献
本文根据《商业银行公司治理指引》,通过研究、细化银行高级管理人员职责,将其履职评价的部分指标进行量化,使用JAVA技术,通过DB2数据库以B/S架构完成了该系统的实现。
目的观察自拟益气健脾宜肺通便汤治疗肠易激综合症中脾肺亏虚证的临床疗效。方法将40例脾肺亏虚证患者随机分为两组，对照组20例给予常规西医治疗，治疗组20例服自拟益气健脾宣肺
随着建筑工程项目越来越多,混凝土在建筑工程中的应用也越来越普遍,但在施工过程中或者施工结束后,混凝土的开裂现象直接影响了施工质量的好坏,因此,在使用混凝土和后期保养
文章介绍了在以太网中通过对介质访问子层和网络层的编程，在ＰＣ机和ＵＮＩＸ主机间或ＰＣ和ＰＣ间实现了网络层的联接，实现了双总线网络中双机热备份的应用。这对网络实时控制系统的开发和国产路由
常有患者对医生诉说：＂我这病受不住一点儿凉,每逢秋冬季节咳喘症状就明显加重,吃药有时都抵不住,随着天气转暖,感觉不用服药物就又好许多。＂不少慢性咳喘患者为此感到苦恼。据河
进程的同步算法是影响多进程系统性能的一个重要因素。旋转锁，信号量等同步算法都需要硬件提供对原子性“读－改－写”访存周期的支持。此外，多机系统的互连网络，总线仲裁，数据高速缓
网络技术能让高职教学课堂充分利用网路上的教学资源,让教师准备教学课件和内容时,能够做到游刃有余。网络技术近些年也在不断的完善和发展,高等职业教育工作者可以抓住这项
本文详细地介绍了一种集成式硬件描述语言（ＩＨＤＬ）和与ＩＨＤＬ相适配的门级电路测试生成系统，实现了从硬件描述语言编译器到自动测试生成的完整系统。从我们的理论分析和实验结果来看，这种完整的系统作为ＥＤＡＣＡＤ中的重要环节是可行的，也是有效的。
巷道支护技术在矿体开采中有着广泛的应用,在煤矿行业中,由于深度矿体工程越来越多,施工单位需要对深井进行开采,这种施工环境的条件比较差,增加了施工的难度。本文对深井困