检索结果-内蒙古大学图书馆

iee colloquium on User Interface Management Systems

作者： P.D. Gray Computing Science Department University of Glasgow UK

UIMSs are software components designed to handle the dialogue between user and application, enforcing a separation of application functionality from interface presentation and behaviour, by interpreting user input, providing feedback, controlling the execution of application actions and (ideally) handling application-generated output. Usually, a specification language is available for specifying the syntax of the user-computer dialogue, which is then linked to application functions and compiled into an executable program or interpreted at run-time. The Chimera UIMS is being developed as part of the Druid Project. The goal of Project Druid is to produce a highly interactive user interface design environment to support the style of design described above. Chimera is implemented in C and runs under Unix and the NeWS distributed window system on Sun 3 workstations. It consists of three parts: Chisl (a specification language), Chip (an interpreter) and Chime (an integrated multi-view editing environment). In various ways, each of these components provides support for the interactive design process.< >

关键词： Interactive systems object oriented programming Program interpreters programming environments Specification languages User interfaces

来源：评论

学校读者我要写书评

暂无评论

Simulation of mixed-mode systems with enhanced visualisation using virtual reality techniques

Simulation of mixed-mode systems with enhanced visualisation...

引用

iee colloquium on Mixed Mode Modelling and Simulation

作者： R.J. Hollands N. Mort Department of Automatic Control & Systems Engineering University of Sheffield Sheffield UK

Most manufacturing oriented simulation languages only offer the facility to model the system in one mode: discrete or continuous. However if a real, single mode system is examined more closely, some characteristics of the opposing mode can usually be found. It is to what extent that the opposing mode can be neglected that determines in which mode the system can be successfully modelled. For many systems it is not satisfactory to approximate to a single mode system, and a mixed-mode systems simulation language would be required. A genuine mixed-mode simulation language would be able to model both discrete and continuous systems individually, in addition to combined continuous/discrete systems, and would therefore be a more useful general purpose simulation tool. It has been postulated that all systems should be treated as mixed-mode, with those with only discrete characteristics, or those with only continuous characteristics treated only as exceptions instead of the rule.< >

关键词： Visualization Simulation Manufacturing data processing object oriented programming Manufacturing automation software Simulation languages Virtual reality

来源：评论

学校读者我要写书评

暂无评论

Animation using accelerated ray tracing on a hypercube

Animation using accelerated ray tracing on a hypercube

引用

iee colloquium on High Performance applications of Parallel Architectures

作者： L.J. Grimstead S. Hurley Department of Computing Mathematics College of Cardiff University of Wales Cardiff UK

Ray-tracing is an image synthesis method producing some of the most photorealistic images to date. The method is taken from classical optics, where rays of light are traced around a scene inside the computer and results are plotted into the resulting image. This simple technique enables refraction, reflection and shadowing to be created in the same algorithm. The drawback, however, is that the method is very computationally expensive, and hence requires accelerating to enable images to be produced in a reasonable time. Most of the time spent in any ray-tracing algorithm is spent in ray-object intersection tests, so techniques to accelerate the ray tracing process have concentrated on this problem. Two acceleration techniques are investigated, those of parallelism and temporal coherence.< >

关键词： Animation Hypercubes Parallel programming Ray tracing

来源：评论

学校读者我要写书评

暂无评论

object oriented interface to Matlab

Object oriented interface to Matlab

引用

iee colloquium on Advances in Computer-Aided Control System Design (Digest No: 1996/061)

作者： J.B. Levy The Control Systems Centre UMIST (University of Manchester Institute of Science and Technology)

For many novice users the interface to Matlab can appear somewhat daunting. Users brought up on programs with a graphical user interface can find the command line interface presented by Matlab daunting. For average users, requiring the ability to perform tasks such as Control System Design and basic Signal Processing operations, numerous calls to Matlab routines need to be learnt to achieve even the simplest of results. In order to alleviate this obstacle and provide an easy to use and intuitive interface a graphical 'front end' employing the freely available Tcl/Tk programming toolkit is utilised to provide a point and click and drag and drop interface in order to enable rapid design and prototyping with minimal knowledge of the underlying computer engine, in this case Matlab.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Creating hypermedia documents by doing: an alternative to authoring

Creating hypermedia documents by doing: an alternative to au...

引用

iee colloquium on Authoring and Application of Hypermedia-Based User-Interfaces

作者： C. Hand Department of Computer Science De Montfort University Leicester UK

Describes how we provided a way for transient users of a "virtual trade exhibition" on the Internet to create hypertext documents by acting rather than writing. "TaTTOO'95 On-line" was a set of Internet-based online events, implemented using two key technologies: the World-Wide Web (WWW) and MOO. MOO (MUD, object-oriented) is a multi-user, text-based virtual world, based on MUD (Multi-User Dungeons or Multi-User Dimension). Users interact with each other by typing text commands in real time and reading the responses of other users from the screen. MOO is more than a simple "chat" system for a number of reasons. Firstly, users are situated in a virtual space, whereas simple chat systems disembody their users in the same way that the telephone does. Secondly, this virtual space may be constructed and customised by the users who inhabit it-the world is built by creating software objects for locations, people, books and so on. In this way, no two MOOs are alike, each developing its own identity and structure according to the needs and wishes of its inhabitants. Since MOO is text-based, we used the WWW to present the online events with additional information such as graphics. The two interfaces, MOO and WWW, were intended to coexist and to provide different ways to experience the events.

关键词： Hypertext systems Internet Teleconferencing Authoring systems Virtual reality object oriented programming Multiaccess communication Multiprogramming

来源：评论

学校读者我要写书评

暂无评论

Classification of scheduling problems and selection of corresponding constraint-based techniques

Classification of scheduling problems and selection of corre...

引用

iee colloquium on Advanced Software Technologies for Scheduling

作者： C. Le Pape LOG S. A. Gentilly France

It has been argued that the use of constraint-based techniques and tools allows the implementation of precise, flexible, efficient and extensible scheduling systems: precise and flexible as the system can take into account any constraint expressible in the constraint language; efficient in as much as highly optimized constraint propagation procedures are now available; extensible as the consideration of a new type of constraint may require (especially in an object-oriented framework) only an extension to the constraint propagation system, or the implementation of additional decision-making modules (without needs for modification of the existing code). Yet there are a number of tradeoffs (between precision, flexibility, efficiency and extensibility) to consider when designing a scheduling system. These tradeoffs relate to: the representation of the scheduling problem; the set of control strategies to make available for the resolution of the problem; and the relation between the scheduling system and other information providing systems operating in the environment. Each of these three points suggests a different classification of scheduling problems and association of constraint-based techniques to scheduling problem classes.< >

关键词： Logic programming Optimization methods Scheduling

来源：评论

学校读者我要写书评

暂无评论

Adapting Java for embedded development

引用

iee Review 2000年第3期46卷 29-35页

作者： V. Perrier Wind River Alameda CA USA

Java has many powerful attractions as a platform for software development. In this paper, the author explains how developers of embedded systems can exploit its strengths to maximum advantage and describes how realisi... 详细信息

关键词： optimisation Java technology software development platform software engineering Java Software engineering techniques embedded systems object-oriented programming High level languages embedded applications Distributed systems software embedded system development

来源：评论

学校读者我要写书评

暂无评论

object oriented rule-based control on a personal computer

Object oriented rule-based control on a personal computer

引用

iee colloquium on Use of Personal Computer Systems for Plant Monitoring and Control

作者： V. Vadhwana B.P. Research International Sunbury-on-Thames UK

A rule based control system, known as 'RUBIC' (rule-based intelligent control), has been implemented in SmallTalk to run on a personal computer. RUBIC uses fuzzy logic to decipher the vaguely defined terms such as 'high, low, OK', etc which are used in the control rules, e.g. IF (Temp is LOW) THEN (make a MEDIUM increase to fuel rate). A graphical interface tool, which is linked to every instance of a rule-based object, has been developed to make the system easy to use. The graphics make extensive use of the SmallTalk graphics primitives. The graphics tool is used for entering the control-rules and the fuzzy sets associated with ill-defined quantities such as LOW, HIGH, etc. RUBIC has been used to control temperature in a model of an exothermic reactor and level in a model of a spherical vessel. It is planned to use RUBIC for temperature control on an exothermic pilot plant reactor.< >

关键词： Computer graphics Knowledge based systems Microcomputer applications Temperature control User interfaces

来源：评论

学校读者我要写书评

暂无评论

An object-oriented toolkit for adaptive beamforming performance modelling

An object-oriented toolkit for adaptive beamforming performa...

引用

iee colloquium on Radar System Modelling (Ref. No. 1998/459)

作者： A. Wynne S.D. Hayward C.A. Speirs A. Green DERA Malvern UK

There has been considerable interest in applying sensor array signal processing techniques to a variety of radar applications. The use of adaptive spatial and temporal filtering techniques has been widely discussed. The relative expense of building hardware and conducting experiments has led to a strong emphasis on simulation as a way of developing new equipment, but there are currently no software tools available that are particularly suited to the problems of simulating sensor array systems. This paper describes the current state of development of an adaptive array processing toolset (AdAPT), which is capable of modelling systems comprising large numbers of sensors. AdAPT encompasses modelling a target environment, design of array hardware, application and design of signal processing algorithms and the display and interaction of data as it flows through the design scenario. We also discuss the graphical user interface to AdAPT.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Theoretical Aspects of Computing – ICTAC 2014 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Gabriel Ciobanu Dominique Méry

ISBN: (数字)9783319108827

ISBN: (纸本)9783319108810

This book constitutes the refereed proceedings of the 11th International colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 74 submissions. The papers cover various topics such as automata theory and formal languages; principles and semantics of programming languages; theories of concurrency, mobility and reconfiguration; logics and their applications; software architectures and their models, refinement and verification; relationship between software requirements, models and code; static and dynamic program analysis and verification; software specification, refinement, verification and testing; model checking and theorem proving; models of object and component systems; coordination and feature interaction; integration of theories, formal methods and tools for engineering computing systems; service-oriented architectures: models and development methods; models of concurrency, security, and mobility; theories of distributed, grid and cloud computing; real-time, embedded, hybrid and cyber-physical systems; type and category theory in computer science; models for e-learning and education; case studies, theories, tools and experiments of verified systems; domain-specific modeling and technology: examples, frameworks and practical experience; challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.

关键词： Logics and Meanings of Programs programming Languages, Compilers, Interpreters Discrete Mathematics in Computer Science Software Engineering

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：