Relaxing the Correctness Conditions on Concurrent Data Structures for Multicore CPUs. A Numerical Case Study

Author(s):  
Giuliano Laccetti ◽  
Marco Lapegna ◽  
Valeria Mele ◽  
Raffaele Montella
1985 ◽  
Vol C-34 (12) ◽  
pp. 1178-1185 ◽  
Author(s):  
Carla Schlatter Ellis

Author(s):  
Yutaka Watanobe ◽  
Nikolay Mirenkov

Programming in pictures is an approach where pictures and moving pictures are used as super-characters to represent the features of computational algorithms and data structures, as well as for explaining the models and application methods involved. *AIDA is a computer language that supports programming in pictures. This language and its environment have been developed and promoted as a testbed for various innovations in information technology (IT) research and implementation, including exploring the compactness of the programs and their adaptive software systems, and obtaining better understanding of information resources. In this paper, new features of the environment and methods of their implementation are presented. They are considered within a case study of a large-scale module of a nuclear safety analysis system to demonstrate that *AIDA language is appropriate for developing efficient codes of serious applications and for providing support, based on folding/unfolding techniques, enhancing the readability, maintainability and algorithmic transparency of programs. Features of this support and the code efficiency are presented through the results of a computational comparison with a FORTRAN equivalent.


2020 ◽  
Vol 182 ◽  
pp. 02009
Author(s):  
Gang Luo ◽  
Yujun He ◽  
Chen Zhao ◽  
Xuan Zhang ◽  
Shaohua Lin ◽  
...  

In the deregulated retail market, consumers should have more right of choice for paying for their energy demand. This paper focuses on the design of electricity price package mechanism in retail market considering the demand elasticity of consumers. An optimal price package mechanism is proposed to incentivize consumers for peak-clipping/valley-filling. Consumers are able to choose the appropriate one from a set of price packages, each of which consists of specific time-of-use energy price and maximum-demand price. A numerical case study has shown the usefulness and effectiveness of the proposed mechanism.


2014 ◽  
Vol 36 (4) ◽  
pp. 245-254
Author(s):  
N. T. Khiem ◽  
P. T. Hang

In present paper, the spectral approach is proposed for analysis of multiple cracked beam subjected to general moving load that allows us to obtain explicitly dynamic response of the beam in frequency domain. The obtained frequency response is straightforward to calculate time history response by using the FFT algorithm and provides a novel tool to investigate effect of position and depth of multiple cracks on the dynamic response. The analysis is important to develop the spectral method for identification of multiple cracked beam by using its response to moving load. The theoretical development is illustrated and validated by numerical case study.


Sign in / Sign up

Export Citation Format

Share Document