A Flow Analysis Algorithm

1964 ◽  
Vol 11 (4) ◽  
pp. 429-436 ◽  
Author(s):  
Lee Krider
1990 ◽  
Vol 16 (2) ◽  
pp. 129-140 ◽  
Author(s):  
B.G. Ryder ◽  
W. Landi ◽  
H.D. Pande

Vestnik MGSU ◽  
2021 ◽  
pp. 859-875
Author(s):  
Andrey A. Melekhin

Introduction. The problem relevance is explained by the advancement of digital technologies in science and engineering, including the design and reconstruction of engineering systems of buildings and structures. Numerous regulatory documents have been developed so far, including codes of rules, All-Russian State Standards (GOSTs) and other regulatory instruments. This scope of documents is regularly updated. The problem is the insufficient adaptation of this regulatory documentation in software packages. Materials and methods. To solve this problem and to complete a feasibility study backing the choice of envelopes and the analysis of thermal loads on buildings, an engineering calculator has been developed. The author has designed calculation algorithms for an engineering calculator based on (1) the regulatory documentation, applicable to the thermal protection of buildings, and (2) the heat flow analysis methodology based on the aggregate parameters of a construction facility, and (3) the economic justification of the methodology application. Results. The results obtained using the engineering calculator and based on the heat flow analysis algorithm that employs aggregate parameters are compared with the results extracted from the building designs. To solve the applied problem, the engineering calculator uses one sample building to analyze the feasibility of application of various types of envelopes. Conclusions. In the course of research, the author set and solved the following tasks: the method of specific heat flow analysis, based on the aggregate parameters of a construction facility, was applied to calculate new a, n coefficients; DHTML software was applied to develop algorithms for engineering calculators, including the heat flow analysis algorithm based on the aggregate parameters and the feasibility study algorithm applied to justify the use of particular types of building envelopes; a web application was developed to analyze the heat flow on the basis of the aggregate parameters and the feasibility of application of certain types of building envelopes.


2016 ◽  
Vol 36 (3) ◽  
pp. 417-426
Author(s):  
Jeongwoo Lee ◽  
Nam Won Kim ◽  
Jeong Eun Lee

2001 ◽  
Vol 11 (3) ◽  
pp. 263-317 ◽  
Author(s):  
JENS PALSBERG ◽  
CHRISTINA PAVLOPOULOU

Many polyvariant program analyses have been studied in the 1990s, including k-CFA, polymorphic splitting, and the cartesian product algorithm. The idea of polyvariance is to analyze functions more than once and thereby obtain better precision for each call site. In this paper we present an equivalence theorem which relates a co-inductively-defined family of polyvariant flow analyses and a standard type system. The proof embodies a way of understanding polyvariant flow information in terms of union and intersection types, and, conversely, a way of understanding union and intersection types in terms of polyvariant flow information. We use the theorem as basis for a new flow-type system in the spirit of the λCIL-calculus of Wells, Dimock, Muller and Turbak, in which types are annotated with flow information. A flow-type system is useful as an interface between a flow-analysis algorithm and a program optimizer. Derived systematically via our equivalence theorem, our flow-type system should be a good interface to the family of polyvariant analyses that we study.


Sign in / Sign up

Export Citation Format

Share Document