基于内容特征的图像和视频检索系统

该文介绍一种基于图像和视频内容的检索实验系统。系统能够提取描述图像和视频内容的特征矢量,通过用户接口实现图像和视频的检索或排序。文章描述了该实验系统的系统结构、检索方法、理论与实现技术和用户接口。在文章的结尾给出了试验结果并展望了以后的工作。     

交互系统用户接口的描述方法

用户接口管理系统(User Interface Management System,简称UIMS)是支持交互式系统人-机对话的实现、调试和评价的软件工具,其目的在于降低交互系统的研制费用和提高人-机接口的友善性。用户接口的描述是目前UIMS主要研究和解决的问题之一。现已提出的用户接口描述方法各有其局限性。本文提出一种基于扩充转换网络(Augmented Transition Network,简称ATN)和模块化结构的用户接口描述语言UISL(User Interface Specification Language),以弥补现有方法的不足之处和获得完整、精确的用户接口描述。     

图形用户接口开发系统的设计与实现

研制合适的软件工具以支持用户接口开发是一种趋势。本文介绍了一个基于图形交互描述的动态用户接口开系统ＤＵＩＤＳ的设计与实现。该系统实现了在用户接口开发中避免程序设计工作，从而让更多的人可以介入用主发口设计。系统的面向对象的图形交互描述方法保证了用户接口设计的高效率。     

用户空间驱动程序研究*

针对一些复杂设备驱动程序的特点,研究了用户空间实现驱动程序的方法,将驱动程序分为两部分：内核空间实现核心部分,在用户空间实现驱动程序新的接口,以适应设备的多样性。研究了用户空间驱动程序的结构、用户空间和内核空间驱动程序内容的划分及它们之间的通信方法。选择典型的USB设备驱动程序,描述了通用USB驱动程序在用户空间的实现过程,主要内容包括初始化设备接口、操作设备接口、控制传输接口、批传输接口、中断传输接口和通信部分,最后进行了测试分析。     

一个用户接口管理系统

本文介绍了一个用户接口管理系统NUUIMS的设计和实现.重点叙述了该系统基于规范化目标用户接口模型的设计思想,系统组成及描述方法.文章也讨论了使用NUUIMS设计而成的用户接口的特点.     

开放系统用户接口技术参考模型及标准轮廓

提出一个开放系统用户接口技术参考模型,给出了用户接口服务的标准体系及标准轮廓描述,定义了格式指南的层次,为实现具有一致风格,统一外观的用户接口设计提供一个通用框架。     

基于X窗口的图形用户接口编辑器的设计与实现

本文介绍了一个用于描述、生成用户接口的具有彩排功能的图形用户接口编辑器的设计思想和实现方法．叙述了对话控制树和输入数据队列在用户接口和应用程序的分离中所起的作用．最后还讨论了一种基于事件驱动机制的对话控制字解释程序．     

软件工程环境用户接口的形式描述与自动生成

本文讨论集成软件工程环境中统一用户接口的特点及其重要性,定义用户接口的一种抽象模型——回潮自动机,给出用户接口的形式描述方法.最后介绍在Unix程序设计环境中实现的一个实用的用户接口自动生成系统.     

智能住宅用户配置工具

论文介绍了智能住宅系统在国内外的发展现状;描述了智能住宅系统中用户接口的概念,并指出现有用户接口的不足;给出了一种具有自主知识产权的适合我国国情的智能住宅系统用户接口的解决与设计方案;并提出了对其发展的进一步构想。     

家庭网络用户接口技术及设计策略

本文分析了家庭网络用户接口的特点及用户需求,提出了用户接口的一般模型,对用户接口的最新技术及其实现进行了阐述。     

Color specification by visual interaction

In an increasing number of computer-graphics applications, the user makes critical color decisions on-screen. This leads to a growing demand for user-interfaces that allow color specification in a natural and effective way. This paper presents a visual language for communicating colors by appearance between the user and the computer system. The basic operations of selecting and editing colors are performed by pointing on the screen to samples of the current color space taken at variable sampling intervals, thus making possible both coarse and fine specification. Rigorous device-modeling tools provide hardware independence and reproducibility on various output devices. The software was implemented on the top of the XII Window Systern on a general-purpose graphic work station.     

信息系统可重用界面框架设计

针对信息系统中界面存在的大量相似特征,从MVC三方面研究信息系统界面的共性;在共性分析的基础上提出一个可重用的MVC框架类库,并设计相关类库;通过框架类库的重用来提高界面开发效率。     

对数据发布服务标准基本要素的研究

为了更好地解决以数据交换为目的的分布实时系统"在正确的时间、正确的位置获取正确的数据"的需求,OMG组织于2004年12月发布了国际上第一个基于发布-订阅模型的、以数据为中心的实时系统数据发布服务标准DDS(Data Distribution Service).对DDS标准进行深入研究,分离创建服务的基本要素,详细剖析DDS的基本通信模型--发布-订阅模型,讨论基于该模型的两种数据交互方式,最后分别阐述标准定义的各实体的角色、功能以及它们之间的联系.     

An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC

Property specification languages and ABV (assertion-based verification) driven by simulation are being recognized by many as essential for verification of today’s increasingly complex designs. In addition, there are few mature approaches that concentrate on improving assertion integration with high-level designs modeled in SystemC. This paper discusses the issues faced within SystemC environments to incorporate PSL (property specification language) assertions. It also proposes an automatic solution that enhances SOC (system on chip) SLD (system level design) flow with PSL assertions embedded into SystemC designs.     

基于广义表结构的OIL配置器设计

分析应用于汽车电子实时操作系统的OSEK OIL规范,以及OIL配置器的工作原理和特点,结合嵌入式实时操作系统AutoOSEK的特点,设计基于广义表结构的OIL配置器。给出AutoOSEK嵌入式实时操作系统配置器的设计方法和说明。实验结果证明,该设计能减少类似OIL配置系统的重复开发,提高符合OSEK标准的不同嵌入式操作系统的开发速度。     

Better Understanding through Formal Specification

The Graphical Kernel System (GKS) is now registered as an ISO International Standard for computer graphics programming. One of the major innovations of the Standard is the bundled specification of aspects, a mechanism which gives the applications programmer the ability to tailor the appearance of a picture independently on each of the workstations on which it is displayed, using the capabilities of the workstations. GKS also incorporates the traditional method of individual specification of aspects in which each workstation does the best it can to represent global aspect values. In this paper a formal specification technique, the Vienna Development Method (VDM), is used to describe aspect specification. The GKS model of aspect specification is progressively constructed from simpler models. Properties of these simpler models are formulated and the specifications are proved to conform to these. The properties are then traced through the more complex models. The paper demonstrates the applicability of formal specification to the design of graphics software and the ability of formal techniques to catalyse the deeper understanding of designs.     

On-the-move destination entry for vehicle navigation systems: Unsafe by any means?

This paper outlines the arguments (and supporting evidence) both for and against allowing drivers to enter a destination with a vehicle navigation system while active in the primary driving task ('on-the-move'). The benefits and limitations of various safety-related interventions are discussed, including the use of warnings/instructions, safeguards and design improvements. Whilst it is clear that the visual, manual and cognitive demands associated with entering destinations using current vehicle navigation systems can be high, it is concluded that inhibiting the use of this functionality whilst on-the-move, particularly through the use of reactionary legislation, will not be the ideal solution. Rather, human factors research must investigate the potential for novel user-interfaces, develop reliable and valid methods for assessing the safety impact of different designs, and consider the wider issues of system use and behavioural adaptation.     

Formal hardware verification methods: A survey

Growing advances in VLSI technology have led to an increased level of complexity in current hardware systems. Late detection of design errors typically results in higher costs due to the associated time delay as well as loss of production. Thus it is important that hardware designs be free of errors. Formal verification has become an increasingly important technique towards establishing the correctness of hardware designs. In this article we survey the research that has been done in this area, with an emphasis on more recent trends. We present a classification framework for the various methods, based on the forms of the specification, the implementation, and the proff method. This framework enables us to better highlight the relationships and interactions between seemingly different approaches.