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

International Workshop on Discrete Event Systems, WODES

作者： Rong Su J.G. Thistle System Architecture and Networking Group (SAN) in Department of Mathematics and Computer Science Eindhovan University of Technology Eindhoven Netherlands Department of Electrical and Computer Engineering University of Waterloo Waterloo ONT Canada

It is well known that space and time complexity is one of the main bottlenecks of supervisor synthesis. The model of a large system is usually too big to be explicitly expressed, owing to composition of local components' models, making supervisor synthesis difficult, if still possible. In this paper, we propose a distributed supervisor synthesis approach, where instead of computing a model of the entire system, a local abstraction of the system with respect to each local component is computed based on weak bisimulation. Then a local supervisor for each component is computed based on the component model and the abstract system model, by using well developed centralized supervisor synthesis approaches. The collection of all resulting local supervisors forms a distributed supervisor

关键词： Distributed computing Control system synthesis Automata Centralized control Control theory Computational complexity Encoding Data structures Boolean functions Network synthesis

来源：评论

学校读者我要写书评

暂无评论

Middleware Fault Tolerance Support for the BOSS Embedded Operating System

Middleware Fault Tolerance Support for the BOSS Embedded Ope...

引用

Workshop on Intelligent Solutions in Embedded Systems

作者： F. Afonso C. Silva S. Montenegro A. Tavares Department of Industrial Electronics University of Minho Guimaraes Portugal Fraunhofer Institute for Computer Architecture and Software Technology Berlin Germany

Critical embedded systems need a dependable operating system and application. Despite all efforts to prevent and remove faults in system development, residual software faults usually persist. Therefore, critical systems need some sort of fault tolerance to deal with these faults and also with hardware faults at operation time. This work proposes fault-tolerant support mechanisms for the BOSS embedded operating system, based on the application of proven fault tolerance strategies by middleware control software which transparently delivers the added functionality to the application software. Special attention is taken to complexity control and resource constraints, targeting the needs of the embedded market

关键词： Middleware Fault tolerant systems Operating systems Application software Redundancy Yarn Hardware Fault tolerance Control systems Embedded software

来源：评论

学校读者我要写书评

暂无评论

State Machine Based CDMA Stress Testing Service System

State Machine Based CDMA Stress Testing Service System

引用

IEEE Asia-Pacific Conference on Services Computing (APSCC)

作者： Lan Liu Jun Lin Zhitang Li Jiachun Li Department of Computer Architecture Huazhong University of Science and Technology China Department of Electronic Information Guangdong Polytechnic Normal University China Research & Development Guangdong Nortel Telecommunication Equipment Company Limited China Department of Computer Science South China University of Technology China

This paper introduces a system model of CDMA stress testing service platform based on state machine technology. This system provides an efficient service oriented solution on protocol and stress testing of CDMA system, with high performance and automatic capability. The concurrent multitask mechanism and the state machine framework enable the high performance and automatic capability of this system. And the scalable distributed architecture offers the maximum flexibility of deployment

关键词： Multiaccess communication Stress System testing Protocols computer architecture Software testing Hardware Communication system control Mobile communication Electronic equipment testing

来源：评论

学校读者我要写书评

暂无评论

Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems 06

Schedulability analysis of AR-TP, a Ravenscar compliant comm...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： S. Uruena J. Zamorano D. Berjon J.A. Pulido J.A. de la Puente Department of Computer Architecture and Technology Technical University Madrid Boadilla del Monte Spain Department of Telematic Systems Engineering Technical University Madrid Madrid Spain

ISBN: (纸本)9781424400546

A new token-passing algorithm called AR-TP for avoiding the non-determinism of some networking technologies is presented. This protocol allows the schedulability analysis of the network, enabling the use of standard Ethernet hardware for hard real-time behavior while adding congestion management. It is specially designed for high-integrity distributed hard real-time systems, being fully compliant with the Ravenscar profile

关键词： Protocols Real time systems Ethernet networks Communication networks Certification Bandwidth Hardware Automation Costs Local area networks

来源：评论

学校读者我要写书评

暂无评论

A Security Event Management Framework Using Wavelet and Data-Mining Technique

A Security Event Management Framework Using Wavelet and Data...

引用

International Conference on Communications, Circuits and Systems (ICCCAS)

作者： Lan Liu Zhitang Li Ling Xu Huajun Chen Department of Computer Architecture Huangzhong University of Science and Technology Wuhan Hubei China Department of Electronic Information GuangDong Polytechnic Normal University Guangzhou Guangdong China

As the rapid increase of network security events, network security monitoring and management on network behavior become more and more focused in the fields of computer science. This paper develops a kind of network security management framework using collection, analysis and integration, event-correlation and scenario-analysis technique to process the raw data gathered from hybrid network. Data-mining and wavelet technology are introduced into this framework, which can rapidly identify the types of security events from integrated information by using frequent episodes, wavelet and case-based reasoning. By these means, it can help to analyze the status of network security and then adjust the strategy to secure the network. We have implemented a prototype system following this framework, which can rapidly react to typical security events with visual output of result

关键词： Data security Information security Communication system security Monitoring computer security computer network management Intrusion detection technology management Information analysis Standardization

来源：评论

学校读者我要写书评

暂无评论

Automatic synthesis of data-flow systems using high level codesign tool. Application to vision processors

Automatic synthesis of data-flow systems using high level co...

引用

Mediterranean Electrotechnical Conference (MELECON)

作者： A.M. Alvarez L.M. Reyneri F.J.P. Valle Polytechnic University College Department Computing Technology and Computation University of Alicante Alicante Spain Department of Electronics Polytechnic of Turin Torino Italy Department of Computer Architecture and Technology University of Granada Granada Spain

In this paper, we present a tool devised for the automatic design and optimization of bioinspired visual processing models using reconfigurable hardware. We have focused on the simulation and optimization characteristics of our system. We also present a retina-like processing system based on a PCI-based FPGA board as an example. The whole system is intended for the design and analysis of real-time vision processing schemes. The top-down design path of our system involves a high level synthesis scheme while allowing different strategies for optimizing the system via the CodeSimulink codesign tool

关键词： Mathematical model Hardware Field programmable gate arrays Computational modeling computer vision Biological system modeling Design optimization Retina computer architecture Digital signal processing

来源：评论

学校读者我要写书评

暂无评论

Low-level real-time vision in specific computing architectures: Advantages and drawbacks

引用

WSEAS Transactions on Circuits and Systems 2006年第9期5卷 1431-1437页

作者： Ros, Eduardo Diaz, Javier Odeh, Suhail M.I. Cañas, Antonio Department of Computer Architecture and Technology University of Granada E.T.S.I.I.T. C/ Periodista Daniel Saucedo s/n E-18071 Granada Spain

The design of specific computing datapaths for early cognitive vision tasks (such as local features, motion and stereo) allows very efficient processing architectures that achieve outstanding performance rates. In this paper we describe how high performance cores for different vision modalities can be integrated on a single chip. We briefly describe the full system and the hardware consumption of each module. The paper also highlights the necessity of on-chip integration mechanisms since the datathroughput of the full system becomes hardly manageable by any other target processing platform. On-chip integration mechanisms become necessary if we address hybrid systems in which higher abstraction level models are simulated on conventional computers, while early cognitive tasks are computed taking advantage of the presented specific purpose datapaths.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

Transient event detection for nonintrusive load monitoring and demand side management using voltage distortion

Transient event detection for nonintrusive load monitoring a...

引用

Annual IEEE Conference on Applied Power Electronics Conference and Exposition (APEC)

作者： R. Cox S.B. Leeb S.R. Shaw L.K. Norford Laboratory for Electromagnetic and Electronic Systems Massachusetts Institute of Technology Cambridge MA USA Department of Electrical and Computer Engineering Montana State University Bozemon MT USA Department of Architecture Massachusetts Institute of Technology Cambridge MA USA

This paper describes a simple system that can be used for autonomous demand-side management in a load site such as a home or commercial facility. The system identifies the operation of individual loads using transient patterns observed in the voltage waveform measured at an electric service outlet. The theoretical foundation of the measurement process is introduced, and a preprocessor that computes short-time estimates of the spectral content of the voltage waveform is described. The paper presents several example measurements demonstrating the ability of the system to obtain estimates of the spectral content of the voltage waveform.

关键词： Event detection Power supplies computerized monitoring technology management Engineering management Paper technology Voltage measurement Circuits Temperature control Water heating

来源：评论

学校读者我要写书评

暂无评论

Two-dimensional evaluation of the queueing network equilibrium based on clustering and self-organizing map

Two-dimensional evaluation of the queueing network equilibri...

引用

Joint IST Symposium on Mobile Future, and the Symposium on Trends in Communications, SympoTIC

作者： D. Radev I. Lokshina S. Radeva Department of Communication Technique and Technology University of Rousse Rousse Bulgaria Division of Economics and Business SUNY Oneonta Oneonta USA Department of Computer Aided Engineering Civil Engineering and Geodesy University of Architecture Sofia Bulgaria

A new approach to two-dimensional evaluation of the queueing network equilibrium, based on calculations of the steady-state probability vector with use of neural modeling and clustering, is considered in this paper. The equilibrium of queueing networks is a mean for performance evaluation of real communication systems presented as Markov chains. The experimental results were obtained with use of clustering analysis and self-organizing map, and the proposed method was compared with direct techniques on the base of obtained results

关键词： Steady-state Equations Markov processes Performance analysis Iterative methods Communications technology Power generation economics Business communication computer aided engineering computer architecture

来源：评论

学校读者我要写书评

暂无评论

Public policy and engineering design: A creative partnership in engineering education

Public policy and engineering design: A creative partnership...

引用

113th Annual ASEE Conference and Exposition, 2006

作者： Tramba, Alison Russell, Edmund Paxton, Marshall, P. University of Virginia United States School of Engineering and Applied Science University of Virginia United States Department of Science Technology and Society and History University of Virginia United States Department of Electrical and Computer Engineering Undergraduate Programs School of Engineering and Applied Science University of Virginia United States UVA School of Architecture Energy Conversion and Conservation Division Engineering and Public Policy Division American Society for Engineering Education United States

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：