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

International Conference on Distributed Computing Systems

作者： J.E. Lumpp T.L. Casavant H.J. Siegel D.C. Marinescu Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa IA USA Parallel Processing Laboratory School of Electrical Engineering Purdue University USA Parallel Processing Laboratory School of Electrical Engineering Purdue University West Lafayette IN USA Computer Science Department Purdue University West Lafayette IN USA

The design of a debugging and performance analysis system that includes a specification language for process-level events and hardware for nonintrusive identification of these events during the execution of parallel and distributed application for a nonshared memory system is presented. The design is based on a formal event/action model and a layered architecture model that have been previously presented. Background, related work, and specification, and identification of events are discussed.< >

关键词： Debugging computerized monitoring Programming profession Multiprocessing systems parallel processing Laboratories Condition monitoring Hardware Application software Data structures

来源：评论

学校读者我要写书评

暂无评论

Simulation research of communication networks based on prim algorithm

Simulation research of communication networks based on prim ...

引用

International Forum on Information Technology and Applications

作者： Yang, Chenghui Ren, ChuanJun College of Electrical Engineering Northwest University for Nationalities Lanzhou 730030 China National Laboratory for Parallel and Distributed Processing College of Computer Science National University of Defense Technology Changsha 410073 China

ISBN: (纸本)9780769541150

In order to improve the efficiency of the communication networks, we used the Kruskal algorithm and the Prim algorithm through algorithm comparison and analysis methods of data structure. A dynamic framework for the communication network installed system is built. Moreover, according to the actual framework of the communication network specific issues, the module chooses the Minimum Cost Spanning Tree Prim algorithm ultimately. The assumptions process and outcomes simulation have proper analysis and certification by C language. Experimental results show that the Minimum Cost Spanning Tree of Prim algorithm on the installed system for communication networks dynamic planning process have the advantage of speed and effectively reduce the waste of resources, which not only can ensure efficiency but also can effectively improve communication networks installed cost. © 2010 IEEE.

关键词： Costs

来源：评论

学校读者我要写书评

暂无评论

Mathematical transformation of Petri-nets for development of parallel/distributed programs

Mathematical transformation of Petri-nets for development of...

引用

IEEE Annual International computer Software and Applications Conference (COMPSAC)

作者： Y.E. Papelis T.L. Casavant Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa IA USA

A novel approach for visually specifying parallel/distributed software using extended Petri-nets (PNS) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are employed because of their highly visual nature that can give insight into the nature of the controller of such a system and because of their well-known analytical properties. In order to increase the expressive power of PNs, the extension of transition enabling functions is used. The main focus is a set of automatic transformations derived to transform such an extended net into a basic PN. Then, well-known analytical methods can be used to investigate characteristic properties of the system and validate correct operation. A graphical programming tool (XPAT) has been built to automate the visual programming process as well as the transformations.< >

关键词： Testing parallel processing Control systems Software systems Power system modeling Laboratories Distributed control Distributed computing Petri nets Automatic control

来源：评论

学校读者我要写书评

暂无评论

Use of PARADISE: a meta-tool for visualizing parallel systems

Use of PARADISE: a meta-tool for visualizing parallel system...

引用

International Symposium on parallel processing

作者： J.A. Kohl T.L. Casavant Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa IA USA

Addresses the problem of creating software tools for visualizing the dynamic behavior of parallel applications and systems. PARADISE (parallel Animated Debugging and Simulation Environment) approaches this problem by providing a meta-tool environment for generating custom visual analysis tools. PARADISE is a meta-tool because it is a tool which is utilized to create other tools. The authors focus on the user's view of the use of PARADISE for constructing tools which analyze the interaction between parallel systems and parallel applications. An example of its use, involving the PASM parallel processing System, is given.< >

关键词： Visualization Algorithm design and analysis Image analysis parallel processing Laboratories Cities and towns Animation Computational modeling Analytical models Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

A flexible runtime system for image processing in a distributed computational environment for an unmanned aerial vehicle

A flexible runtime system for image processing in a distribu...

引用

作者： Nordberg, Klas Doherty, Patrick Forssén, Per-Erik Wiklund, Johan Andersson, Per Computer Vision Laboratory Department of Electrical Engineering Linköping University Sweden Knowledge Processing Laboratory Department of Computer Science Linköping University Sweden Department of Computer Science Lund University Sweden

A runtime system for implementation of image processing operations is presented. It is designed for working in a flexible and distributed environment related to the software architecture of a newly developed UAV system. The software architecture can be characterized at a coarse scale as a layered system, with a deliberative layer at the top, a reactive layer in the middle, and a processing layer at the bottom. At a finer scale each of the three levels is decomposed into sets of modules which communicate using CORBA, allowing system development and deployment on the UAV to be made in a highly flexible way. Image processing takes place in a dedicated module located in the process layer, and is the main focus of the paper. This module has been designed as a runtime system for data flow graphs, allowing various processing operations to be created online and on demand by the higher levels of the system. The runtime system is implemented in Java, which allows development and deployment to be made on a wide range of hardware/software configurations. Optimizations for particular hardware platforms have been made using Java's native interface. © World Scientific Publishing Company.

关键词： Image processing

来源：评论

学校读者我要写书评

暂无评论

Design of a system for software testing and debugging for multiprocessor avionics systems 15

Design of a system for software testing and debugging for mu...

引用

15th Annual International computer Software and Applications Conference, CMPSAC 1991

作者： Lumpp, James E. Shultz, Roger K. Casavant, Thomas L. Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa CityIA52242 United States Advanced Technology and Engineering Collins Commercial Avionics Rockwell International Corporation Cedar RapidsIA52498 United States

ISBN: (纸本)0818621524

The debugging and testing of commercial software constitutes a substantial portion of the development time and, by most estimates, over fifty percent of the overall cost of software development. For critical applications, such as avionics, complete testing is extremely important. However, as multiprocessor software solutions find their way into these critical applications as a means of increasing performance and reliability, the need for both debugging and testing tools increases dramatically. This paper focuses on the gathering of accurate run-time information providing support for both debugging and testing of embedded multi-processor systems by employing runtime identification of "simple events" and post-execution identification of "compound events." Additionally, we propose a novel way of combining specification based (black-box) system testing and automatic monitoring to substantially reduce the complexity, tedium, and cost of complete structural (white-box) testing. © 1991 IEEE.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

A zeroing neurodynamics‐based location method for nodes in underwater acoustic sensor network

引用

CAAI Transactions on Intelligence Technology 2023年第3期8卷 661-669页

作者： Shuqiao Wang Xiujuan Du Tiantai Deng College of Computer Qinghai Provincial Key Laboratory of loTQinghai Normal UniversityXiningChina The State Key Laboratory of Tibetan Intelligent Information Processing and Application XiningChina The Department of Electronics and Electrical Engineering The University of SheffieldSheffieldEnglandUnited Kingdom

Zeroing neurodynamics methodology,which dedicates to finding equilibrium points of equations,has been proven to be a powerful tool in the online solving of problems with considerable *** this paper,a method for underwater acoustic sensor network(UASN)localisation is proposed based on zeroing neurodynamics methodology to preferably locate moving underwater nodes.A zeroing neurodynamics model specifically designed for UASN localisation is constructed with rigorous theoretical analyses of its *** proposed zeroing neurodynamics model is compatible with some localisation algorithms,which can be utilised to eliminate error in non‐ideal situations,thus further improving its ***,the effectiveness and compatibility of the proposed zeroing neurodynamics model are substantiated by examples and computer simulations.

关键词： artificial neural network internet of things underwater acoustic sensor network

来源：评论

学校读者我要写书评

暂无评论

Where Does AlphaGo Go: From Church-Turing Thesis to AlphaGo Thesis and Beyond

引用

IEEE/CAA Journal of Automatica Sinica 2016年第2期3卷 113-120页

作者： Fei-Yue Wang Jun Jason Zhang Xinhu Zheng Xiao Wang Yong Yuan Xiaoxiao Dai Jie Zhang Liuqing Yang IEEE the State Key Laboratory of Management and Control for Complex Systems Institute of Automation Chinese Academy of Sciences (SKL-MCCS CASIA) Research Center of Computational Experiments and Parallel Systems The National University of Defense Technology the Department of Electrical and Computer Engineering Ritchie School of Engineering and Computer Science University of Denver the Department of Computer Science and Engineering University of Minnesota the Qingdao Academy of Intelligent Industries (QAII) Qingdao Shandong China and SKL-MCCS CASIA the Department of Electrical and Computer Engineering Colorado State University

An investigation on the impact and significance of the AlphaGo vs. Lee Sedol Go match is conducted, and concludes with a conjecture of the AlphaGo Thesis and its extension in accordance with the Church-Turing Thesis in the history of computing. It is postulated that the architecture and method utilized by the AlphaGo program provide an engineering solution for tackling issues in complexity and intelligence. Specifically, the AlphaGo Thesis implies that any effective procedure for hard decision problems such as NP-hard can be implemented with AlphaGo-like approach. Deep rule-based networks are proposed in attempt to establish an understandable structure for deep neural networks in deep learning. The success of AlphaGo and corresponding thesis ensure the technical soundness of the parallel intelligence approach for intelligent control and management of complex systems and knowledge automation. © 2014 Chinese Association of Automation.

关键词： Religious buildings

来源：评论

学校读者我要写书评

暂无评论

Multi-objective Optimal Operation of Centralized Battery Swap Charging System with Photovoltaic

引用

Journal of Modern Power Systems and Clean Energy 2022年第1期10卷 149-162页

作者： Yuanzheng Li Yihan Cai Tianyang Zhao Yun Liu Jian Wang Lei Wu Yong Zhao School of Artificial Intelligence and Automation Ministry of Education Key Laboratory of Image Processing and Intelligence ControlHuazhong University of Science and TechnologyWuhanChina School of Electrical and Electronic Engineering Nanyang Technological UniversitySingaporeSingapore College of Mechatronics and Control Engineering Shenzhen UniversityShenzhenChina Department of Electrical&Computer Engineering Stevens Institute of TechnologyHobokenUSA

Electric vehicles(EVs)are widely deployed throughout the world,and photovoltaic(PV)charging stations have emerged for satisfying the charging demands of EV *** paper proposes a multi-objective optimal operation method for the centralized battery swap charging system(CBSCS),in order to enhance the economic efficiency while reducing its adverse effects on power *** proposed method involves a multi-objective optimization scheduling model,which minimizes the total operation cost and smoothes load fluctuations,***,we modify a recently proposed multi-objective optimization algorithm of non-sorting genetic algorithm III(NSGA-III)for solving this scheduling ***,simulation studies verify the effectiveness of the proposed multi-objective operation method.

关键词： Multi-objective optimization electric vehicle battery swap charging system scheduling photovoltaic

来源：评论

学校读者我要写书评

暂无评论

Face recognition through mismatch driven representations of the face

Face recognition through mismatch driven representations of ...

引用

2nd Joint IEEE International Workshop on Visual Surveillance and Performance Evaluation of Tracking and Surveillance, VS-PETS

作者： Lucey, Simon Chen, Tsuhan Advanced Multimedia Processing Laboratory Department of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA 15213 United States

ISBN: (纸本)0780394240

Performance of face verification systems can be adversely affected by a number of different mismatches (e.g. illumination, expression, alignment, etc.) between gallery and probe images. In this paper, we demonstrate that representations of the face used during the verification process should be driven by their sensitivity to these mismatches. Two representation categories of the face are proposed, parts and reflectance, each motivated by their own properties of invariance and sensitivity to different types of mismatches (i.e. spatial and spectral). We additionally demonstrate that the employment of the sum rule gives approximately equivalent performance to more exotic combination strategies based on support vector machine (SVM) classifiers, without the need for training on a tuning set. Improved performance is demonstrated, with a reduction in false reject rate of over 30% when compared to the single representation algorithm. Experiments were conducted on a subset of the challenging Face Recognition Grand Challenge (FRGC) v1.0 dataset. ©2005 IEEE.

关键词： Face recognition

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：