用户界面自动构造工具的结构模式

本文介绍了一个用户界面自动构造工具的结构模式。重点阐述了该模式的三层视域思想。第一层视域是一个直接操纵环境，也叫可视界面编辑器。在这个环境中，界面设置人员直接创建他所喜欢的界面，并用鼠标和其它输入设备确定该界面的运行机制。第二层视域是一个可编辑的界面描述语言，称做ＩＤＬ。第三层视域是一个交互技术类支持库和运行支撑工具集，它构筑了其它两层视域的工作平台，它的设计采用了面向对象技术。最后，讨论了三者之间的关系，并给出了一个应用实例来验证该模型。     

队列技术在MINIX 操作系统中的应用

本文从队列的先进先出理论出发,探讨了实际上机时遇到的内存上溢问题,为解决小容量内存的微机处理大信息量数据文件开辟了一条途径。     

用户界面的开发与实践

本文将面向对象技术运用于用户界面的开发之中，通过从界面基本组成单元中抽象出一系列的用户界面类，组成界面接口类库，从而大大地提高了界面开发的效率。     

提高MINIX2.0文件属性信息的访问效率

提高文件属性信息的访问速度可以有效地提高文件系统的性能.由于磁盘存取速度始终落后于处理器和内存速度,近年来许多研究都致力于如何提高文件属性信息在内存中的访问效率.许多实际运行的操作系统(包括GNU/Linux)通常都是使用基于LRU淘汰策略或LFU淘汰策略的一级链表结构来管理文件属性的内存信息.文中通过建立一个二级链表结构(称之为LRU-LFU链表),并采用LRU-LFU淘汰算法(此算法集成了Simple LRU淘汰算法和LFU淘汰算法)来实现MINIX2.0文件系统对文件属性信息在内存中的管理.研究结果表明,综合执行效率和访问命中率两个因素,基于LRU-LFU淘汰算法的LRU-LFU链表管理策略是提高MINIX2.0文件系统文件属性信息访问效率的较为理想的管理策略.     

基于FeaVer的MINIX3验证和改进

使用FeaVer对MINIX 3文件系统源代码进行形式化验证,并找到其中的错误代码。在验证的过程中引入测试用具的概念,它的特点是高效性和可复用性。在验证结果的基础上对原来的验证模型进行修改,并建立新的模型。经验证新模型符合应有的正确性属性。以新模型为依据对MINIX 3的源代码进行改进,使操作系统达到一个更可靠的状态。     

Chicago的用户界面

Chicago是Microsoft公司继Windows 3.1以后,开发成功的又一新产品,采用了许多不胜枚举的高新技术,增加了许多新功能。试问,用户现有的PC机能否将这些新功能发挥得淋漓尽致呢?为此,Microsoft公司提供了“即插即用” (plug-and-play)的硬件支持,优先的多任务能力,并能支持32位的应用程序。只要用户使用的是具有4MB内存的386以上的微机,Chicago就能在其上正常运行。据开发Windows平台的负责人,Microsoft公司的Carl Stork先生     

MINIX进程通信功能的分析和扩展

ＭＩＮＩＸ是一个运行的ＩＭＢ ＰＣ微机计算机上的微型ＵＮＩＸ操作系统。其外部功能与ＵＮＩＸ完全相同，而实现原理却截然不同，它吸收了结构化程序设计思想。本文在分析ＭＩＮＩＸ进程通信原理的基础上，对其进行了合理的扩展。以会合和原理为基础，设计并实现了用户进程间消息通信机构。为进一步开发ＭＩＮＩＸ网络功能打下基础。     

对MINIX操作系统的若干改造和扩充

本文论述了我们对美国知名学者Ａ．Ｓ．ＴＡＮＥＮＢＡＵＭ１９８６年编制的分时多任务多用户操作系统ＭＩＮＩＸ所做的若干重要改造和扩充，包括对３．５寸高密盘的支持，ＡＴ机扩展内存的利用，进程对换和假脱机系统的实现．     

ISEE用户界面的集成与实现

本文重点讨论了ＩＳＥＥ界面集成的基本原则和结构以及实现方法，最后作为范例介绍了ＰＣＴＥ的界面集成和实现。     

用户界面管理系统的设计与构造

计算机科学技术的不断发展,导致人们对人机交互的研究领域日益重视。作为人机交互的一个重要组成部分——用户接口的研究,也日益为人们所关注。本文介绍和分析了用户界面管理系统(UIMS)的原理与实现,指出了目前国内外UIMS发展现状及存在的问题,并提出了一些解决方法。     

多通道用户界面

随着近年来计算机技术和INTERNET技术的飞速发展,用户界面由于其对最终用户使用的影响及对计算机推广应用的影响,已经越来越显现出它的重要性.多通道用户界面使用多种交互设备,通过多种交互方式的协作和互补,提高了交互效率,增进了交互自然性.首先介绍了多通道用户界面的概念以及各种交互技术,最后介绍了多通道用户界面的发展前景.     

用户界面友好与应用程序设计

用户界面是信息系统的门面，界面的友好对应用程序的正确使用起着十分重要的作用。友好的用户界面应该清晰明了、在不同的应用之间保持一致、充分利用桌面隐喻、只将有效的操作提供给用户，并且避免使用模式。要达到这些目标，应用程序的编程方式必须进行相应的改变，使用基于体系框架的反向编程方式。     

多语言用户界面的研究与实现

提出了一种适应多用户界面的工具—多语言转换器 ,详细论述了多语言转换器的实现技术 ,并对该技术的作用进行了分析 ,最后把它应用于软件开发中     

提高MINIX2．0文件属性信息的访问效率

提高文件属性信息的访问速度可以有效地提高文件系统的性能。由于磁盘存取速度始终落后于处理器和内存速度，近年来许多研究都致力于如何提高文件属性信息在内存中的访问效率。许多实际运行的操作系统(包括GNU／Linux)通常都是使用基于LRU淘汰策略或LFU淘汰策略的一级链表结构来管理文件属性的内存信息。文中通过建立一个二级链表结构(称之为LRU—LFU链表)，并采用LRU—LFU淘汰算法(此算法集成了Simple LRU淘汰算法和LFU淘汰算法)来实现MINIX2．0文件系统对文件属性信息在内存中的管理。研究结果表明，综合执行效率和访问命中率两个因素，基于LRU—LFU淘汰算法的LRU—LFU链表管理策略是提高MINIX2．0文件系统文件属性信息访问效率的较为理想的管理策略。     

用户界面生成工具的设计与实现

本文论述了一个通用计算机软件用户界面生成工具的设计与实现，该软件界面生成工具可以简捷直观地为多种工程应用软件设计和生成功能明确、操作一致的用户操作界面。