High-dimensional torus networks are becoming common in flagship HPC systems, with five of the top ten systems in June 2014 having networks with more than three dimensions. Although such networks combine performance wi...
详细信息
High-dimensional torus networks are becoming common in flagship HPC systems, with five of the top ten systems in June 2014 having networks with more than three dimensions. Although such networks combine performance with scalability at reasonable cost, the challenge of how to achieve optimal performance remains. Tools are needed to help understand how well the traffic is distributed among the many dimensions. This involves not only capturing network traffic but also its comprehensible visualization. However, visualizing such networks requires projecting multiple dimensions onto a two-dimensional screen, which is naturally challenging. To tackle this problem, in this position paper, we propose a visualization technique which can display traffic on torus networks with up to six dimensions. Our fundamental approach is to simultaneously present multiple views of the same network section, with each view visualizing different dimensions. Furthermore, we leverage the multiple-coordinate system concept and combine it with a customized polygon view to provide both a global and a zoomed-in perspective of the network. By interactively linking all the views, our technique makes it possible to analyze how the communication pattern of an application is mapped onto a network.
Nowadays, many considerable efforts are focused on the development of efficient and effective systems that increase the productivity of vehicles by controlling and manipulating the extraordinary states, such as slidin...
详细信息
Nowadays, many considerable efforts are focused on the development of efficient and effective systems that increase the productivity of vehicles by controlling and manipulating the extraordinary states, such as sliding and spinning, during the operational time. Those states play a central role in the performance of the vehicles described as an interaction among different mechanical parts regarding their life-time, their wear and tear, as well as the maintenance costs. In addition, these states ultimately affect the safety of target system and its environment. Therefore, the necessity of avoiding, controlling, or manipulating these states to lower their effects into a tolerable level has become the major driver for conducting the current research work. In this paper, a prototype for safety-related platform for detecting and controlling railway vehicles states by means of vibration capture is presented. Additionally, test procedures in order to collect the vibration data related to each state are presented; these tests were performed under the supervision of an industrial partner. Moreover, the recognized initial patterns of the vibration signals related to the studied states are also introduced.
In this paper a complete safety controller on a single chip is presented. HICore 1 is a comprehensive solution that includes a certified application specific integrated circuit for safety-critical applications accordi...
详细信息
In this paper a complete safety controller on a single chip is presented. HICore 1 is a comprehensive solution that includes a certified application specific integrated circuit for safety-critical applications according to the safety standard IEC 61508, meeting the safety integrity level SIL3. It also meets the requirements of the standard EN 13849 Performance Level e. A SIL3 operating system and a SIL3 middleware complement the presented safety chip solution. Based on the presented solution, the smallest certified safety controller represents an innovative product and allows system manufacturers to create safe solutions ready for certification.
Presently, fuzzy graph theory has wide applications in engineering and social networks. Based on the applications, different types of fuzzy graphs are defined. Among them the competition graph is significantly used to...
Presently, fuzzy graph theory has wide applications in engineering and social networks. Based on the applications, different types of fuzzy graphs are defined. Among them the competition graph is significantly used to model ecological problems. This graph is one kind of intersection graph. Different competitions of real world have been designed by fuzzy competition graphs. One generalization of fuzzy competition graph, called $$m$$ -step fuzzy competition graph, is defined in this paper. Some related fuzzy graphs including fuzzy $$m$$ -step neighbourhood graph, fuzzy economic competition graphs and fuzzy $$m$$ -step economic competition graphs are introduced. Some properties of these new graphs have been investigated.
This paper presents an automated code generation and validation, verification approach to convert model based developments into IEC 61131-3 conform function blocks. IEC 61131-3 programming languages are supported by P...
详细信息
In this paper, we propose an OpenCL framework for GPU clusters. The target cluster architecture consists of a single host node and multiple compute nodes. They are connected by an interconnection network, such as Giga...
详细信息
The objective of this study is to develop a socially-intelligent service team comprised of multiple robots with sophisticated sonic interaction capabilities that aims to transparently collaborate towards efficient and...
详细信息
The objective of this study is to develop a socially-intelligent service team comprised of multiple robots with sophisticated sonic interaction capabilities that aims to transparently collaborate towards efficient and robust monitoring by close interaction. In the distributed scenario proposed in this study, the robots share any acoustic data extracted from the environment and act in-sync with the events occurring in their living environment in order to provide potential means for efficient monitoring and decision-making within a typical home enclosure. Although each robot acts as an individual recognizer using a novel emotionally-enriched word recognition system, the final decision is social in nature and is followed by all. Moreover, the social decision stage triggers actions that are algorithmically distributed among the robots' population and enhances the overall approach with the potential advantages of the team work within specific communities through collaboration.
Member of the Russian Academy of Sciences Vladimir Melnikov was a disciple of the great Russian scientist, academician Sergei Lebedev, who was the founder of the national computer science, the creator of the first Sov...
详细信息
Member of the Russian Academy of Sciences Vladimir Melnikov was a disciple of the great Russian scientist, academician Sergei Lebedev, who was the founder of the national computer science, the creator of the first Soviet computers, the chief designer of computers that made up the famous BESM line (high-speed electronic computers). Since 1950, being the fifth-year student, he worked in the Academic Institute of Precise Mechanics and computer Engineering (IPMCE), where participated in the development of the first soviet electronic computer. The serial BESM version was called BESM-2, and Melnikov became the executive in charge. Later this computer was replicated in China. A significant role in the life of Melnikov was played by the creation of the transistor BESM-6 computer, on which he worked as a deputy chief designer. In 1967, this computer was put into production and was produced for 17 years. In 1969 Melnikov started the design and development of a computing system "BESM-6 pairing hardware interface" (HI-6). In 1975, during the Soviet-American space flight 'Soyuz-Apollo' the operation was carried out on the system, built on the basis of HI-6 and BESM-6, that also provided a highly automated processing of ballistic and telemetry data in the Soviet Mission Control Center. Since 1978 Melnikov began to develop a new supercomputer, which had the name 'Electronics SS BIS' and was close to the American supercomputer Cray 1 in its instruction set.
The structured approach to argumentation has seen a surge of models, introducing a multitude of ways to deal with the formalisation of arguments. However, while the development of the mathematical models have flourish...
详细信息
ISBN:
(纸本)9783939897637
The structured approach to argumentation has seen a surge of models, introducing a multitude of ways to deal with the formalisation of arguments. However, while the development of the mathematical models have flourished, the actual implementations and development of methods for implementation of these models have been lagging behind. This paper attempts to alleviate this problem by providing methods that simplify implementation, i.e. we demonstrate how the functional programming language Haskell can naturally express mathematical definitions and sketch how a theorem prover can verify this implementation. Furthermore, we provide methods to streamline the documenting of code, showing how literate programming allows the implementer to write formal definition, implementation and documentation in one file. All code has been made publicly available and reusable.
R is an environment and functional programming language for statistical data analysis and visualization. Largely unknown to the functional programming community, it is popular and influential in many empirical science...
详细信息
暂无评论