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

Asian Test Symposium (ATS)

作者： Fukunaga Kajihara Takeoka Graduate School of Computer Science and System Engineering Kyushu Institute of Technology Japan Center for Microelectronics Systems Kyushu Institute of Technology Japan Semiconductor Company Matsushita Elecrric Indusrrial Company Limited Japan

In this paper, we propose a method to estimate fault efficiency for path delay faults based on untestable path analysis. In path delay fault testing, fault coverage of test patterns is usually, very low, because logic circuits often have huge number of paths including many untestable paths. Hence we should compute fault efficiency rather than fault coverage, but it is too difficult to compute exact fault efficiency in a short time, because there is no method to compute total number of untestable paths quickly. The proposed method statistically estimate the number of untestable paths based on untestable path analysis, and compute fault efficiency. Experimental results show that the proposed method can accurately estimate fault efficiency of given test patterns in a reasonable time.

关键词： Logic circuit testing Fault diagnosis Combinational logic circuits Sequential logic circuits Very-large-scale integration

来源：评论

学校读者我要写书评

暂无评论

Developing a formal specification for the mission system of a maritime surveillance aircraft

Developing a formal specification for the mission system of ...

引用

International Conference on Application of Concurrency to system Design

作者： L. Petrucci J. Billington L.M. Kristensen Z.H. Qureshi ENS de Cachan LSV CNRS UMR 8643 Cachan France Computer Systems Engineering Centre School of Elec. and Information Engineering University of South Australia Mawson Lakes SA Australia Department of Computer Science University of Aarhus Aarhus Denmark System Sciences Laboratory Defence Science and Technology Organisation Edinburgh SA Australia

The mission system of an aircraft is a complex real-time distributed system consisting of a mission control computer, different kinds of devices interconnected by a number of serial data buses. The complexity and real-time requirements of mission systems have motivated research into the application of formal techniques to investigate and predict the effects of upgrades on mission system behaviour. We report on a joint research project between the University of South Australia and Australia's Defence science and Technology Organisation. In previous work we modelled a generic avionics mission system with coloured Petri nets and analysed the model using state spaces. Here, we describe how this model was refined and modified to obtain a coloured Petri net model for the AP-3C Orion maritime surveillance aircraft.

关键词： Formal specifications Surveillance Aircraft Real time systems Aerospace electronics Aerospace control Control systems Distributed computing Data buses Application software

来源：评论

学校读者我要写书评

暂无评论

Behavior Relativity of Petri Nets

引用

Journal of computer science & Technology 2002年第6期17卷 770-780页

作者：蒋昌俊王怀清廖少毅 Department of Computer Science and Engineering Tongji University Shanghai 200092 P.R. ChinaThe School of Information Science and Engineering Ningbo University Ningbo 315211 P.R. ChinaDepartment of Computer Science and Technology University of Sha Department of Information System City University of Hong Kong Kowloon Hong Kong P.R. China

This paper presents a novel methodology for modelling and analyzing of behav-ior relations of concurrent systems. The set of all firing sequences of a Petri net is an importanttool for describing the dynamic behavior of concurrent systems. In this paper, the behaviorrelativity of two concurrent subsystems in their synchronous composition is presented. Such be-havior relativities, including Controlled Relativity, United Relativity, Interactive Relativity andExclusive Relativity, are defined respectively. The properties of the relativities are discussed indetail. The analysis method for these properties is based on minimum T-invariants, when twosubsystems are live bounded Petri nets. A well-known example has also been analyaed usingthe new methodology to demonstrate the advantages of the proposed methodology.

关键词： Petri网行为相对性系统分析

来源：评论

学校读者我要写书评

暂无评论

End-to-End Congestion Control via Optimal Bandwidth Allocation for Multimedia Streams 15

End-to-End Congestion Control via Optimal Bandwidth Allocati...

引用

15th International Conference on computer Applications in Industry and engineering, CAINE 2002

作者： Shyu, Mei-Ling Chen, Shu-Ching Luo, Hongli Department of Electrical and Computer Engineering University of Miami Coral GablesFL33124 United States Distributed Multimedia Information System Laboratory School of Computer Science Florida International University MiamiFL33199 United States

ISBN: (纸本)9781618395351

In this paper, an end-to-end congestion controlled optimal bandwidth allocation scheme with a transmission rate control mechanism for multimedia transmission is proposed. This rate control mechanism aims at minimizing the allocated rate and maximizing the utilization of the client buffer. By adjusting the transmission rate in response to the buffer occupancy and the playback requirements in the client, and variations in the network delay and packet loss rate, an acceptable quality-of-service (QoS) level can be maintained at the end systems. Simulation results show that our proposed scheme can generally achieve high network utilization and low losses, and no network support is needed. Copyright © (2002) by the International Society for computers and Their Applications All rights reserved.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

A stochastic model for content-based image retrieval 3rd

A stochastic model for content-based image retrieval

引用

3rd IEEE Pacific Rim Conference on Multimedia, PCM 2002

作者： Shyu, Mei-Ling Chen, Shu-Ching Luo, Lin Shu, Chi-Min Department of Electrical and Computer Engineering University of Miami Coral GablesFL United States Distributed Multimedia Information System Laboratory School of Computer Science Florida International University MiamiFL United States Department of Environmental and Safety Engineering National Yunlin University of Science and Technology Touliu Yunlin Taiwan

ISBN: (纸本)3540002626

Multimedia data, typically image data, is increasing rapidly across the Internet and elsewhere. To keep pace with the increasing volumes of image information, new techniques need to be investigated to retrieve images intelligently and efficiently. Content-based image retrieval is always a challenging task. In this paper, a stochastic model, called Markov Model Mediator (MMM) mechanism, is used to model the searching and retrieval process for content-based image retrieval. Different from the common methods, our stochastic model carries out the searching and similarity computing process dynamically, taking into consideration not only the image content features but also other characteristics of images such as their access frequencies and access patterns. Experimental results demonstrate that the MMM mechanism together with the stochastic process can assist in retrieving more accurate results for user queries. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Stochastic models

来源：评论

学校读者我要写书评

暂无评论

Scene change detection by audio and video clues

Scene change detection by audio and video clues

引用

2002 IEEE International Conference on Multimedia and Expo, ICME 2002

作者： Chen, Shu-Ching Shyu, Mei-Ling Liao, Wenhui Zhang, Chengcui Distributed Multimedia Information System Laboratory School of Computer Science Florida International University MiamiFL33 199 United States Department of Electrical and Computer Engineering University of Miami Coral GablesFL33124 United States

ISBN: (纸本)0780373049

Automatic video scene change detection is a challenging task. Using audio or visual information alone often cannot provide a satisfactory solution. However, how to combine audio and visual information efficiently still remains a difficult issue since there are various cases in their relationship due to the versatility of videos. We present an effective scene change detection method that adopts the joint evaluation of the audio and visual features. First, video information is used to find the shot boundaries. Second, the audio features for each video shot can be extracted. Lastly, an audio-video combination schema is proposed to detect the video scene boundaries. © 2002 IEEE.

关键词： Pattern recognition

来源：评论

学校读者我要写书评

暂无评论

A two-phase stock trading system using distributional differences 13th

A two-phase stock trading system using distributional differ...

引用

13th International Conference on Database and Expert systems Applications, DEXA 2002

作者： Kim, Sung-Dong Lee, Jae Won Lee, Jongwoo Chae, Jinseok Dept of Computer System Engineering Hansung University Seoul136-792 Korea Republic of School of Computer Science and Engineering Sungshin Women’s University Seoul136-742 Korea Republic of Division of Information and Communication Engineering Hallym University Chunchon-siKangwon-do200-702 Korea Republic of Dept. of Computer Science and Engineering University of Incheon Incheon402-749 Korea Republic of

ISBN: (纸本)3540441263

In the context of a dynamic trading environment, the ultimate goal of the financial forecasting system is to optimize a specific trading objective. This paper presents a two-phase (extraction and filtering) stock trading system that aims at maximizing the rates of returns. Extraction of stocks is performed by searching specific time-series patterns described by a combination of values of technical indicators. In the filtering phase, several rules are applied to the extracted sets of stocks to select stocks to be actually traded. The filtering rules are induced from past data using distributional differences. From a large database of daily stock prices, the values of technical indicators are calculated. They are used to make the extraction patterns, and the distributions of the discretization intervals of the values are calculated for both positive and negative data sets. The values in the intervals of distinctive distribution may contribute to the prediction of future trend of stocks, so the rules for filtering stocks are induced using those intervals. We show the rates of returns by the proposed trading system, with the usefulness of the rule induction method using distributional differences. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

Quality inspection of machines using the LVQ

Quality inspection of machines using the LVQ

引用

SICE Annual Conference

作者： Bingchen Wang S. Omatu Computer and System Science Graduate School of Engineering Osaka Prefecture University Sakai Osaka Japan

ISBN: (纸本)4907764197

We propose a method to test the quality of machines by using learning vector quantization (LVQ). We extract the characteristic spectrum from acoustic data, and apply it to train a neural network. Then we use the trained neural network to test the other acoustic data. The experimental results show that the proposed method is able to perform the intelligent testing of machines successfully.

关键词： Inspection Acoustic testing Machine intelligence Microphones Signal processing Tires Cities and towns Production facilities Auditory system Ovens

来源：评论

学校读者我要写书评

暂无评论

A study on partnering algorithm based on N-person cooperative game in virtual enterprise

A study on partnering algorithm based on N-person cooperativ...

引用

SICE Annual Conference

作者： T. Kaihara S. Fujii H. Sato Graduate School of Science and Technology Kobe University Japan Department of Computer and System Engineering Kobe University

The selection of business partners (i.e. partnering) is a very important and critical activity in the operation of a company in a Virtual Enterprise (VE). In this paper, we focus on the negotiation process in VE formulation as a basic research to clarify its effective management. Each enterprise in the VE is defined as an agent with multi-utilities and agent behavior is modeled with an N-person cooperative game to make a compromise on their multiple objectives. We develop a computer simulation model to form a virtual enterprise through multiple negotiations amongst several potential members in the negotiation domain, and finally clarify the formulation dynamism with the negotiation process.

关键词： Virtual enterprises Game theory Contracts Protocols IEEE news computer simulation systems engineering and theory Companies Power system modeling computer networks

来源：评论

学校读者我要写书评

暂无评论

A novel hierarchical approach to image retrieval using color and spatial information 3rd

A novel hierarchical approach to image retrieval using color...

引用

3rd IEEE Pacific Rim Conference on Multimedia, PCM 2002

作者： Li, Xiuqi Chen, Shu-Ching Shyu, Mei-Ling Li, Sheng-Tun Furht, Borko Department of Computer Science and Engineering Florida Atlantic University Boca RatonFL33431 United States Distributed Multimedia Information System Laboratory School of Computer Science Florida International University MiamiFL33199 United States Department of Electrical and Computer Engineering University of Miami Coral GablesFL33124 United States Department of Information Management National Kaohsiung First University of Science and Technology Juoyue Rd Nantz District Kaohsiung811 Taiwan

ISBN: (纸本)3540002626

A novel hierarchical approach to image retrieval is proposed. First, a color label histogram is used to effectively filter out the images that are not similar to the query image in color. The proposed color label histogram built by categorizing the pixel colors is computationally much more efficient compared to other approaches. Next, the class parameters of those images passing the first filter are used to identify the images similar to the query image in spatial layout. These class parameters are obtained automatically from the proposed unsupervised segmentation algorithm. Moreover, the wavelet decomposition coefficients are used to generate the initial partition for the segmentation algorithm. It doubles the segmentation performance. At the last stage, all images passing two filters are ranked based on the total normalized distance in color and spatial layout. The experiments show the effectiveness and efficiency of our approach. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Color

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：