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

Refining formal specifications of human computer interaction by graph rewrite rules 1st

1st International Conference on Fundamental Approaches to Software Engineering, FASE 1998

作者： Sucrow, Bettina Eva Data Management Systems and Knowledge Representation Dept. of Mathematics and Computer Science University of Essen Essen45117 Germany

ISBN: (纸本)3540643036

Human computer interaction can be specified successfully using the concept of information resources and the formal notation of graph grammars. In order to achieve a precise and continuous specification process between the requirements and design stages, however, a suitable strategy for refining abstract specifications into more concrete ones correctly and consistently is highly necessary. In this paper it will be proposed to apply graph rewrite rules at a meta level to abstract graph grammar specifications of human computer interaction in order to achieve correct and consistent refinements of the specifications wrt important requirements. A safety-critical system concerning the interaction between the pilot and the flight management system on the flight deck of an aircraft will be used as an example. A graph grammar specification of this interaction at an abstract level will be refined wrt mode visualization by a graph rewrite rule at a meta level. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Reducing data Hazards on Multi-pipelined DSP Architecture with Loop Scheduling

引用

Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology 1998年第2期18卷 111-123页

作者： Tongsima, Sissades Chantrapornchai, Chantana Sha, Edwin H.-M. Passos, Nelson L. Dept. of Comp. Sci. and Engineering University of Notre Dame Notre Dame IN 46556 United States Dept. of Computer Science Midwestern State University Wichita Falls TX 76308 United States King Mongkut Institute of Technology Ladkrabang Thailand University of Notre Dame United States Dept. of Comp. Sci. and Engineering University of Notre Dame United States Thammasat University Bangkok Thailand Northeastern University Boston MA United States National Taiwan University Taipei Taiwan Department of Computer Science Princeton University Princeton NJ United States University of Notre Dame Notre Dame IN United States Dept. of Comp. Sci. and Engineering University of Sao Paulo Brazil Control Data Corporation Greece University of North Dakota United States Midwestern State University Department of Computer Science Wichita Falls TX United States

Computation intensive DSP applications usually require parallel/pipelined processors in order to meet specific timing requirements. data hazards are a major obstacle against the high performance of pipelined systems. This paper presents a novel efficient loop scheduling algorithm that reduces data hazards for such DSP applications. This algorithm has been embedded in a tool, called SHARP, which schedules a pipelined data flow graph to multiple pipelined units while hiding the underlying data hazards and minimizing the execution time. This paper reports significant improvement for some well-known benchmarks showing the efficiency of the scheduling algorithm and the flexibility of the simulation tool.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Region-Based Representation of Images in MARS

引用

Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology 1998年第1-2期20卷 137-150页

作者： Servetto, Sergio D. Rui, Yong Ramchandran, Kannan Huang, Thomas S. Beckman Inst. Adv. Sci. and Technol. Univ. Illinois at Urbana-Champaign Urbana IL 61801 United States Universidad Nacional de La Plata Argentina Univ. Illinois at Urbana-Champaign United States Comp. Res. Adv. Applications Group IBM Argentina Argentina Image Formation and Processing Group Beckman Institute UIUC United States Department of Computer Science UNLP Argentina Dept. of Elec. and Comp. Engineering UIUC United States Multimedia Commun. Res. Department Bell Laboratories Murray Hill NJ United States Info. Sciences Research Department AT and T Labs. Florham Park NJ United States Department of Computer Science UIUC United States Southeast University China Tsinghua University China University of Illinois Urbana-Champaign IL United States Image Formation and Processing Group Beckman Inst. Advance Sci. Technol. UIUC United States Vis. Technol. Grp. of Microsoft Res. Redmond WA United States City College of New York United States Columbia University United States AT and T Bell Labs. United States Ctr. for Telecommunications Research Columbia University United States Elec. and Comp. Eng. Department United States Beckman Institute Coordinated Science Laboratory IL United States IEEE Signal Processing Society United States IEEE IMDSP Technical Committee United States IEEE Transactions on Image Proc. United States National Taiwan University Taipei Taiwan Massachusetts Inst. of Technology Cambridge MA United States Department of Electrical Engineering MIT United States School of Electrical Engineering United States Lab. for Info. and Signal Processing Purdue University United States Dept. of Elec. and Comp. Engineering United States Coordinated Science Laboratory United States Image Formation and Processing Group Beckman Inst. Adv. Sci. and Technol. United States MIT Lincoln Laboratory IBM Thomas J. Watson Research Center Rheinishes Landes Museum Bonn Germany Swiss Institutes of Technology Zurich Switzerland Swiss Institutes of Technology Lausanne S

We study the problem of representing images within a multimedia database Management System (DBMS), in order to support fast retrieval operations without compromising storage efficiency. To achieve this goal, we propose new image coding techniques which combine a wavelet representation, embedded coding of the wavelet coefficients, and segmentation of image-domain regions in the wavelet domain. A bitstream is generated in which each image region is encoded independently of other regions, without having to explicitly store information describing the regions. Simulation results show that our proposed algorithms achieve coding performance which compares favorably, both perceptually and objectively, to that achieved using state-of-the-art image/video coding techniques while additionally providing region-based support.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Nonlinear trainable signal processing: applications to reconnaissance and surveillance imagery

Nonlinear trainable signal processing: Applications to recon...

引用

Defense and Space Programs Conference and Exhibit - Critical Defense and Space Programs for the Future, 1997

作者： Hunt, Bobby R. Science Applications International Corporation Dept. of Electrical and Computer Engineering University of Arizona TucsonAZ United States

来源：评论

学校读者我要写书评

暂无评论

A comparative study of fully and partially recurrent networks

A comparative study of fully and partially recurrent network...

引用

1997 IEEE International Conference on Neural Networks (ICNN 97)

作者： Ludik, J Prins, W Meert, K Catfolis, T Dept. of Computer Science University of Stellenbosch Stellenbosch 7600 South Africa Expert Systems Applications Development Group Dept. of Chemical Engineering K.U. Leuven B-3001 Heverlee De Croylaan 46 Belgium

ISBN: (纸本)0780341236

A number of fully and partially recurrent networks have been proposed to deal with temporally extended tasks. However it is not yet clear which algorithms and network architectures are best suited to certain kinds of problems. In this paper we report on experimental investigations of a quantitative nature, which address this particular need by comparing fully recurrent networks using learning algorithms such as Backpropagation-through-time (BPTT), Batch BPTT, Quickprop-through-time, and Real-time Recurrent Learning with Elman and Jordan partially recurrent networks on four benchmark problems: detection of three consecutive zeros, nonlinear plant identification, Turing machine emulation, and real-world distillation column modelling.

关键词： Turing machines

来源：评论

学校读者我要写书评

暂无评论

Simulation of a controlled airfoil with jets 35th

Simulation of a controlled airfoil with jets

引用

35th Aerospace sciences Meeting and Exhibit, 1997

作者： Allan, Brian G. Holt, Maurice Packard, Andrew Institute for Computer Applications in Science and Engineering HamptonVA23681 United States Dept. of Mechanical Engineering University of California BerkeleyCA94720 United States

Numerical simulation of a two-dimensional airfoil, controlled by an applied moment in pitch, and an airfoil controlled by jets are investigated. These simulations couple the Reynolds-averaged Navier Stokes equations and Euler’s equations of rigid body motion with an active control system. The simulation of a step in commanded altitude was performed for both systems with a free steam Mach number of 0.3. The airfoil controlled by a pitching moment used an optimal state feedback controller. The feedback gains were calculated using a Linear Quadratic Regulator method. The simulation of the coupled system compared very well with a quasi-steady aerodynamic model showing a measure of validation for the coupled system. Robust control design methods were used to develop a controller for the airfoil with jets. The linear model used to design the robust controller was identified from input/output data generated by open-loop simulations of the coupled system. Simulation of the airfoil with jets showed good tracking of the desired altitude trajectory with oscillations in the attitude and vertical velocity. The results of this research begin to provide a control system designer with a means of computationally evaluating an aircraft control system in problematic nonlinear flight regimes. © 1997, American Institute of Aeronautics and Astronautics, Inc.

关键词： Airfoils

来源：评论

学校读者我要写书评

暂无评论

A multilayer real-time recurrent learning algorithm for improved convergence 7th

A multilayer real-time recurrent learning algorithm for impr...

引用

7th International Conference on Artificial Neural Networks, ICANN 1997

作者： Meert, Kürt Ludik, Jacques Expert Systems Applications Development Group Dept. Of Chemical Engineering K.U.Leuven De Croylaan 46 Heverlee3001 Belgium Department of Computer Science University of Stellenbosch Stellenbosch7602 South Africa

ISBN: (纸本)3540636315

In this paper an algorithm is described, which is based on the Real-Time Recurrent Learning (RTRL) algorithm by Williams and Zipser [1], for Multilayer Real-Time Recurrent Learning Networks (MLRN). The general gradient descent algorithm is used to update the weights, but without backpropagating the error through the network. To study its modelling efficacy and its dynamic capacities, the MLRN algorithm is applied to two benchmark problems, a grammar problem and a real-life modelling problem from the chemical process industry and is compared to various other fully and partially recurrent networks. © Springer-Verlag Berlin Heidelberg 1997.

关键词： Multilayers

来源：评论

学校读者我要写书评

暂无评论

Schemaless representation of semistructured data and schema construction 8th

Schemaless representation of semistructured data and schema ...

引用

8th International Conference on database and Expert Systems applications, DEXA 1997

作者： Seo, Dong-Yal Lee, Dong-Ha Moon, Kang-Sik Chang, Jisook Lee, Jeon-Young Han, Chang-Yong Dept. of Computer Science and Engineering Pohang University of Science and Technology Pohang Kyungbuk790-784 Korea Republic of Data Warehouse Advanced Technology Oracle Systems Korea Ltd Youngdeungpo-Gu Seoul150-010 Korea Republic of

ISBN: (纸本)3540634789

We should consider semistructured data of which have a weak schema information in networked information world. To manage such semistructured data efficiently, this paper introduces a data model for semistructured data and operations for schema construction. We transform semistructured data into structured one by introducing schema construction methodology, compared to the former studies which are fully dependent on schemaless manipulations. For schema construction, we defined operations for building IS-A/IS-PART-OF relationships, collecting data objects to build a primitive class, and merging two data instances or classes. © Springer-Verlag Berlin Heidelberg 1997.

关键词： Information use

来源：评论

学校读者我要写书评

暂无评论

PERFORMANCE PREDICTION OF PARALLEL applications ON NETWORKS OF WORKSTATIONS 22

PERFORMANCE PREDICTION OF PARALLEL APPLICATIONS ON NETWORKS ...

引用

22nd International computer Measurement Group Conference, CMG 1996

作者： Menascé, Daniel A. Rao, Amar Dept. of Computer Science George Mason University FairfaxVA22030 United States Science Applications International Corporation 1953 Gallows Rd ViennaVA22182 United States

Networks of workstations (NOWs) are an alternative to supercomputers when it comes to running paral lel applications. In most environments, users of a workstation use less than 20% of the available CPU cycles. The remaining capacity can be used to support tasks of a paral lel application. This paper presents a hybrid analytic and simulation model that can be used to predict the performance of paral lel applications speci ed by a task graph on a network of workstations. The model was validated through measurements and takes into account the speci c workstations used, the scheduling discipline, and the network characteristics. Moreover, it considers the e ect of the owner's interactive workload on the execution time of the paral lel application. The paper brie y discusses a tool developed. © 1993 22nd International computer Measurement Group Conference, CMG 1996. All rights reserved.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

A domain aware tool for guiding requirements capture and design 6

A domain aware tool for guiding requirements capture and des...

引用

6th Australian Conference on computer-Human Interaction, OzCHI 1996

作者： Rogers, I. Levine, J. Pattison, C. Plowman, L. School of Cognitive and Computer Science Sussex University Brighton United Kingdom Dept. of Artificial Intelligence Edinburgh University United Kingdom Intelligent Applications Ltd Livingston West Lothian United Kingdom

ISBN: (纸本)081867525X

EquipCo is a multi-national electronics company. One of its tasks is to supply complex electronic systems that interact with customer supplied equipment. These systems are usually low-volume and high-cost, so the task of accurately capturing customer requirements is expensive but vital. This paper describes the CORECT tool, a computerised tool that aids this requirements capture process. The tool is notable in that it integrates many technologies and methods (graphics, Natural Language Generation, and Expert Systems, CSCW, ethnographic workplace studies, etc.) to provide different users with multiple perspectives onto the design artifact. A "permissive" user interface coupled with a monitoring expert system seems to be very useful in guiding users through the requirements capture process, allowing users enough freedom to express a design while ensuring they never get lost. © 1996 IEEE.

关键词： Expert systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：