A FLOW ANALYSIS ALGORITHM

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.

Download Full-text

Power flow analysis algorithm for islanded LV microgrids including distributed generator units with droop control and virtual impedance loop

2014 IEEE Applied Power Electronics Conference and Exposition - APEC 2014 ◽

10.1109/apec.2014.6803760 ◽

2014 ◽

Cited By ~ 14

Author(s):

Chendan Li ◽

Sanjay K. Chaudhary ◽

Juan C. Vasquez ◽

Josep M. Guerrero

Keyword(s):

Power Flow ◽

Flow Analysis ◽

Droop Control ◽

Analysis Algorithm ◽

Distributed Generator ◽

Power Flow Analysis ◽

Virtual Impedance

Download Full-text

An interprocedural data flow analysis algorithm

10.1145/512950.512962 ◽

1977 ◽

Cited By ~ 12

Author(s):

Jeffrey M. Barth

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Analysis Algorithm

Download Full-text

Modification of Surface Flow Analysis Algorithm in SWAT

Journal of the Korean Society of Civil Engineers ◽

10.12652/ksce.2016.36.3.0417 ◽

2016 ◽

Vol 36 (3) ◽

pp. 417-426

Author(s):

Jeongwoo Lee ◽

Nam Won Kim ◽

Jeong Eun Lee

Keyword(s):

Flow Analysis ◽

Surface Flow ◽

Analysis Algorithm

Download Full-text

From Polyvariant flow information to intersection and union types

Journal of Functional Programming ◽

10.1017/s095679680100394x ◽

2001 ◽

Vol 11 (3) ◽

pp. 263-317 ◽

Cited By ~ 21

Author(s):

JENS PALSBERG ◽

CHRISTINA PAVLOPOULOU

Keyword(s):

Cartesian Product ◽

Flow Analysis ◽

Type System ◽

Equivalence Theorem ◽

Standard Type ◽

Analysis Algorithm ◽

Flow Type ◽

The Family ◽

Flow Information ◽

Intersection Types

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.

Download Full-text