发布求助
文献互助 智能选刊 最新文献

Proceedings. International Conference on Parallel Computing in Electrical Engineering最新文献

筛选
英文 中文
Formalization of multiagent reasoning 多主体推理的形式化
Proceedings. International Conference on Parallel Computing in Electrical Engineering Pub Date : 2002-09-22 DOI: 10.1109/PCEE.2002.1115206
M. Kacprzak
{"title":"Formalization of multiagent reasoning","authors":"M. Kacprzak","doi":"10.1109/PCEE.2002.1115206","DOIUrl":"https://doi.org/10.1109/PCEE.2002.1115206","url":null,"abstract":"The paper presents a new formal language for describing multiagent systems, which are collections of interacting, autonomous agents. The research work includes the description of the fundamental features of agents (processes) as well as the way they communicate with each other. The language defined in the paper allows describing the properties of systems such as deadlock, termination, and fairness. Two main results are presented for the defined logic: non-compactness of the semantic consequence relation and the lack of the deduction theorem. The article is an introduction to further research.","PeriodicalId":444003,"journal":{"name":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125880876","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Analysis of Petri nets by means of concurrent simulation Petri网的并行仿真分析
Proceedings. International Conference on Parallel Computing in Electrical Engineering Pub Date : 2002-09-22 DOI: 10.1109/PCEE.2002.1115207
A. Karatkevich, A. Zakrevskij
{"title":"Analysis of Petri nets by means of concurrent simulation","authors":"A. Karatkevich, A. Zakrevskij","doi":"10.1109/PCEE.2002.1115207","DOIUrl":"https://doi.org/10.1109/PCEE.2002.1115207","url":null,"abstract":"In the paper the task of concurrent analysis of a Petri net is considered. A Petri net is given, and several processes able to simulate transition firings. The methods of analysis described in this paper are based on the original approach to net decomposition and oriented for the so-called operational nets and a class of cyclic Petri nets. The methods analyze the nets by reduced state space construction; both their sequential and parallel versions are described. Also the algorithm of decomposition oriented to concurrent analysis is described. The suggested methods of analysis can be implemented as a multithreaded application.","PeriodicalId":444003,"journal":{"name":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126799845","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Boosting the performance of electromagnetic simulations on a PC-cluster 提高pc集群上电磁模拟的性能
Proceedings. International Conference on Parallel Computing in Electrical Engineering Pub Date : 2002-09-22 DOI: 10.1109/PCEE.2002.1115300
C. Trinitis, M. Schulz, Wolfgang Karl
{"title":"Boosting the performance of electromagnetic simulations on a PC-cluster","authors":"C. Trinitis, M. Schulz, Wolfgang Karl","doi":"10.1109/PCEE.2002.1115300","DOIUrl":"https://doi.org/10.1109/PCEE.2002.1115300","url":null,"abstract":"One of the crucial aspects in the design process of high voltage apparatus is the precise simulation of the electrostatic and/or electromagnetic field distribution in 3D domains. This paper summarizes the results obtained on the PC cluster platform installed at ABB Corporate Research using POLOPT a state-of-the-art parallel simulation environment for both electrostatic and electromagnetic problems. The experiments where conducted on a LINUX cluster using both Ethernet and scalable coherent interface (SCI)-based interconnection technologies to allow a study of the impact of high-speed networking technology. For both electrostatic and electromagnetic field simulations in practical high voltage engineering, a high efficiency was obtained in this commodity environment. In addition, the results show that some codes, in this case the electromagnetic solver, are highly sensitive to the communication performance and hence can significantly benefit from the presence of fast interconnection mechanisms, as with the given SCI.","PeriodicalId":444003,"journal":{"name":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122632747","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Modelling communication in distributed systems 分布式系统中的通信建模
Proceedings. International Conference on Parallel Computing in Electrical Engineering Pub Date : 2002-09-22 DOI: 10.1109/PCEE.2002.1115200
S. Chrobot
{"title":"Modelling communication in distributed systems","authors":"S. Chrobot","doi":"10.1109/PCEE.2002.1115200","DOIUrl":"https://doi.org/10.1109/PCEE.2002.1115200","url":null,"abstract":"We argue that communication is a two dimensional phenomenon and message passing and variable sharing disciplines represent only its spatial and temporal dimensions. Thus any model, e.g. CSP or the pi calculus, which selects one absolute discipline and derives other disciplines on top of it delivers, in our opinion, only a fragmented and distorted view of communication. We discuss a method of modelling the two-dimensional communication called multi-handshake which integrates synchronous communication as well as asynchronous message passing and variable sharing at one abstraction level.","PeriodicalId":444003,"journal":{"name":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128940052","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Parallel program development and execution in the grid 网格中并行程序的开发和执行
Proceedings. International Conference on Parallel Computing in Electrical Engineering Pub Date : 2002-09-22 DOI: 10.1109/PCEE.2002.1115221
P. Kacsuk
{"title":"Parallel program development and execution in the grid","authors":"P. Kacsuk","doi":"10.1109/PCEE.2002.1115221","DOIUrl":"https://doi.org/10.1109/PCEE.2002.1115221","url":null,"abstract":"Integration of P-GRADE with Condor and parallel check-pointing results in an environment under which both interactive parallel program development and batch mode execution is possible for the Grid. The integrated P-GRADE/Condor Grid system will guarantee reliable, fault-tolerant parallel program execution in the Grid, like the Condor system guarantees such features for sequential programs. The GRM/PROVE performance monitoring and visualisation toolset has been separated from P-GRADE and extended towards the Grid to create the basis of a general Grid application monitoring infrastructure for parallel programs.","PeriodicalId":444003,"journal":{"name":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126657691","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Chaotic processing in parallel speed independent architectures 并行速度无关体系结构中的混沌处理
Proceedings. International Conference on Parallel Computing in Electrical Engineering Pub Date : 2002-09-22 DOI: 10.1109/PCEE.2002.1115264
A. Katkov, J. Szopa
{"title":"Chaotic processing in parallel speed independent architectures","authors":"A. Katkov, J. Szopa","doi":"10.1109/PCEE.2002.1115264","DOIUrl":"https://doi.org/10.1109/PCEE.2002.1115264","url":null,"abstract":"Mathematical and computer simulation of chaotic processes in parallel architectures with speed independent logical units by means of method of chaotic relaxation with delay is considered. This method allows to imitate effectively the fulfillment of chaotic computing process in parallel architecture. Behavior of network consisting of interacting logical units is considered. We use the circuit for defining the end moment of transient processes in logical units. For computer simulation the solution of the Dirichlet problem for the Laplace differential equation on a rectangular domain in R/sup 2/ was chosen. Numerical simulation of this problem, using networks with speed independent logical units is presented.","PeriodicalId":444003,"journal":{"name":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","volume":"48 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120871544","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Use of extended semaphore operations in parallel programming on a transputer platform 在计算机平台上并行编程中扩展信号量操作的使用
Proceedings. International Conference on Parallel Computing in Electrical Engineering Pub Date : 2002-09-22 DOI: 10.1109/PCEE.2002.1115198
W. Zajac, A. Poplawski
{"title":"Use of extended semaphore operations in parallel programming on a transputer platform","authors":"W. Zajac, A. Poplawski","doi":"10.1109/PCEE.2002.1115198","DOIUrl":"https://doi.org/10.1109/PCEE.2002.1115198","url":null,"abstract":"The paper discusses a problem of the use of semaphores to solve parallel programming problems. It proposes a new semaphore mechanism of extended features. An example of an application of such a semaphore for controlling a technological process is introduced and discussed. Simulation results and advantages of applying the new mechanism are presented.","PeriodicalId":444003,"journal":{"name":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132156009","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
GASPARD: a visual parallel programming environment 一个可视化的并行编程环境
Proceedings. International Conference on Parallel Computing in Electrical Engineering Pub Date : 2002-09-22 DOI: 10.1109/PCEE.2002.1115225
Florent Devin, Pierre Boulet, J. Dekeyser, P. Marquet
{"title":"GASPARD: a visual parallel programming environment","authors":"Florent Devin, Pierre Boulet, J. Dekeyser, P. Marquet","doi":"10.1109/PCEE.2002.1115225","DOIUrl":"https://doi.org/10.1109/PCEE.2002.1115225","url":null,"abstract":"In this paper, we present GASPARD (Graphical Array Specification for Parallel and Distributed computing), our visual programming environment devoted to the development of parallel applications. Task and data parallelism paradigms of parallel computing are mixed in GASPARD to achieve a simple programming interface. We use the printed circuit metaphor. The programmer specifies tasks and instantiates by plugging them into a slot (task parallelism). Data parallelism is achieved by specifying the data the task uses. By mixing textual and visual programming, we achieve a convenient interface useful for scientific programming. The interface is also well suited for meta-computing deployment. This kind of programming is very useful for numerical simulation.","PeriodicalId":444003,"journal":{"name":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132699523","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Algorithms for distributed simulation - comparative study 分布式仿真算法-比较研究
Proceedings. International Conference on Parallel Computing in Electrical Engineering Pub Date : 2002-09-22 DOI: 10.1109/PCEE.2002.1115262
E. Niewiadomska-Szynkiewicz, Andrzej Sikora
{"title":"Algorithms for distributed simulation - comparative study","authors":"E. Niewiadomska-Szynkiewicz, Andrzej Sikora","doi":"10.1109/PCEE.2002.1115262","DOIUrl":"https://doi.org/10.1109/PCEE.2002.1115262","url":null,"abstract":"Distributed discrete-event simulation is proposed as ail alternative to traditional sequential simulation. The paper discusses some important issues associated with the implementation of parallel and distributed simulation. The topics that are covered are classical and new synchronization protocols. The effectiveness of different algorithms for asynchronous simulation is discussed based on the numerical tests results.","PeriodicalId":444003,"journal":{"name":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","volume":"123 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122369217","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Computation of Poincare map of chaotic torus magnetic field line using parallel computation of data table and its interpolation 用数据表并行计算及其插值计算混沌环面磁力线庞加莱映射
Proceedings. International Conference on Parallel Computing in Electrical Engineering Pub Date : 2002-09-22 DOI: 10.1109/PCEE.2002.1115303
R. Tsuji, S. Ido
{"title":"Computation of Poincare map of chaotic torus magnetic field line using parallel computation of data table and its interpolation","authors":"R. Tsuji, S. Ido","doi":"10.1109/PCEE.2002.1115303","DOIUrl":"https://doi.org/10.1109/PCEE.2002.1115303","url":null,"abstract":"This paper describes computational methods of a Poincare map using parallel computation of data tables and interpolation. The Poincare map of a chaotic torus magnetic field line caused by the perturbation coil is calculated as the test problem. Data tables are made by the geometric parallelization method. The calculation program is implemented on the HITACHI SR2201 parallel computer and microcomputers. Two calculation methods using data tables are presented. Calculation time of making data tables and the Poincare map is reported.","PeriodicalId":444003,"journal":{"name":"Proceedings. International Conference on Parallel Computing in Electrical Engineering","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128775142","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信