Artifact for article: Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems

2020 ◽  
Author(s):  
Qinheping Hu ◽  
John Cyphert ◽  
Loris D'Antoni ◽  
Thomas Reps
Keyword(s):  
Approximate Methods ◽  
Exact And Approximate Methods

scholarly journals The effect of the application of the exact and approximate methods on values of selected ecological indices

2014 ◽  
Vol 67 (1) ◽  
pp. 39-46
Author(s):  
Maria Ługowska ◽  
Zofia Rzymowska
Keyword(s):  
Wiener Index ◽  
Ecological Indices ◽  
Exact Methods ◽  
Approximate Methods ◽  
Winter Cereals ◽  
Spring Cereals ◽  
Phytosociological Relevés ◽  
Exact And Approximate Methods ◽  
Potato Crops ◽  
Tuber Crops

<p>The work presents the results of a study on the biodiversity of agrocenoses using ecological indices. In order to calculate the measures, phytosociological relevés were made and exact methods were applied in winter cereals, spring cereals, tuber crops and stubble fields. The objective of the work was to compare ecological indices (Simpson’s index of dominance <em>C</em>, Simpson’s index of species richness <em>D,</em> and Shannon-Wiener index of biodiversity <em>H</em>’) calculated using the number of plants and their cover determined based on the degree of presence. Moreover, correlation analysis was conducted between the indices computed using the two approaches applied.</p><p>The results of the study revealed significant differences between all the indices calculated using the exact and approximate methods. In turn, comparisons of the measures computed for individual crops showed significant differences only for potato crops and winter cereals. No significant differences were found between the indicators calculated for spring cereals and stubble fields.</p>

Comparison of exact and approximate methods for analysing vibrational relaxation regions

1961 ◽  
Vol 10 (1) ◽  
pp. 33-47 ◽  
Author(s):  
P. A. Blythe
Keyword(s):  
Exact Solution ◽  
Shock Waves ◽  
Numerical Integration ◽  
Vibrational Relaxation ◽  
Relaxation Frequency ◽  
Rayleigh Line ◽  
Relaxation Equation ◽  
Approximate Methods ◽  
Exact And Approximate Methods

The validity of various solutions for the vibrational relaxation region in shock-waves, and of the assumptions on which they are based, has been assesed by comparison with an exact solution obtained by numerical integration of the relaxation equation, and also by use of the Rayleigh-line equations. Estimates of errors in the values of the relaxation frequency, determined by means of these solutions, are given.

Optimal Feedback Solutions for a Class of Distributed Systems

1966 ◽  
Vol 88 (2) ◽  
pp. 337-342 ◽  
Author(s):  
H. C. Khatri ◽  
R. E. Goodson
Keyword(s):  
Heat Transfer ◽  
Integral Equation ◽  
Control System ◽  
Partial Differential Equations ◽  
Differential Equations ◽  
Lagrange Equations ◽  
Partial Differential ◽  
Approximate Methods ◽  
Exact And Approximate Methods ◽  
Good Agreement

In the design of controllers for heat transfer systems, one must often describe the plant dynamics by partial differential equations. The problem of optimizing a controller for a system described by partial differential equations is considered here using exact and approximate methods. Results equivalent to the Euler-Lagrange equations are derived for the minimization of an index of performance with integral equation constraints. These integral equation constraints represent the solution of the partial differential equations and the associated boundary conditions. The optimization of the control system using a product expansion as an approximation to the transcendental transfer function of the system is also considered. The results using the two methods are in good agreement. Two examples are given illustrating the application of both the exact and approximate methods. The approximate method requires less computation.

scholarly journals Exact Optimum Design of Segmented Thermoelectric Generators

2016 ◽  
Vol 2016 ◽  
pp. 1-11 ◽  
Author(s):  
M. Zare ◽  
H. Ramin ◽  
S. Naemi ◽  
R. Hosseini
Keyword(s):  
Maximum Efficiency ◽  
Thermoelectric Generators ◽  
Approximate Methods ◽  
Design And Optimization ◽  
Compatibility Factor ◽  
Maximum Conversion Efficiency ◽  
Design Characteristics ◽  
Exact And Approximate Methods ◽  
And Performance ◽  
Theoretical Results

A considerable difference between experimental and theoretical results has been observed in the studies of segmented thermoelectric generators (STEGs). Because of simplicity, the approximate methods are widely used for design and optimization of the STEGs. This study is focused on employment of exact method for design and optimization of STEGs and comparison of exact and approximate results. Thus, using new highly efficient thermoelectric materials, four STEGs are proposed to operate in the temperature range of 300 to 1300 kelvins. The proposed STEGs are optimally designed to achieve maximum efficiency. Design and performance characteristics of the optimized generators including maximum conversion efficiency and length of elements are calculated through both exact and approximate methods. The comparison indicates that the approximate method can cause a difference up to 20% in calculation of some design characteristics despite its appropriate results in efficiency calculation. The results also show that the maximum theoretical efficiency of 23.08% is achievable using the new proposed STEGs. Compatibility factor of the selected materials for the proposed STEGs is also calculated using both exact and approximate methods. The comparison indicates a negligible difference in calculation of compatibility factor, despite the considerable difference in calculation of reduced efficiency (temperature independence efficiency).

Computation of atmospheric cooling rates by exact and approximate methods

1991 ◽  
Vol 96 (D5) ◽  
pp. 8969 ◽  
Author(s):  
William L. Ridgway ◽  
Harshvardhan ◽  
Albert Arking
Keyword(s):  
Approximate Methods ◽  
Cooling Rates ◽  
Exact And Approximate Methods

scholarly journals Improvement of Operational Performance through Value Stream Mapping and Yamazumi Chart: A case of Bangladeshi RMG Industry

2019 ◽  
Vol 8 (4) ◽  
pp. 11977-11986 ◽  
Keyword(s):  
Cycle Time ◽  
Production Line ◽  
Value Added ◽  
Global Market ◽  
Operational Performance ◽  
Shop Floor ◽  
Value Stream Mapping ◽  
Product Lines ◽  
Approximate Methods ◽  
Exact And Approximate Methods

To secure a competitive position in the global market, the Ready Made Garment (RMG) sector in Bangladesh has been facing various challenges including the improvement of industrial operational performance. Among the various operational issues, balancing the cycle time along the production line is felt to be a common and effective way for enhanced performance. There are numerous exact and approximate methods which have already been proposed and are available in literature for repetitive batch production. Unfortunately such approaches are rarely applied in the real RMG shop floor presumably due to the enormous efforts needed to align with the frequent changes of product lines. Compared to the exact and approximate methods, adoption of lean tools like VSM and Yamazumi chart is highly acclaimed for their simpler and wider applicability with superior capability in addressing and solving the balancing problems. So for balancing purposes of the RMG shop floor an attempt is made to frame and apply an integrated model combining the VSM and Yamazumi chart as presented in this article. Depending on the theoretical framework, operational performance of an RMG shop floor is evaluated upon balancing the cycle time. In doing so, firstly a current state map (CSM) and the corresponding Yamazumi chart are plotted to comprehend the existing operational procedure and analyse the workstation cycle time with respect to the takt time. Using the Yamazumi chart, the workstations are reorganized to reduce or eliminate the non-value added activities, to introduce parallel workstations, and to merge workstations so that a balanced production line is attained. Performance is then assessed by means of Overall Effectiveness of Equipment (OEE), Capacity Utilization and Efficiency. The results as obtained through testing a real life case study of RMG industry, ensure the effectiveness of the integrated system of VSM and Yamazumi chart to identify the wastes, restore the line balance and improve operational performance.

Sign in / Sign up

Export Citation Format

Share Document