scholarly journals On Proof Complexities Relations in Some Systems of Propositional Calculus

2020 ◽  
pp. 138-146
Author(s):  
Hakob Tamazyan ◽  
Anahit Chubaryan
Keyword(s):  
Propositional Calculus ◽  
The Other ◽  
Cut Rule ◽  
Substitution Rule ◽  
Monotone System ◽  
Speed Up ◽  
Distinctive Property

The number of linear proofs steps for some sets of formulas is compared in the folowing systems of propositional calculus: PK – seguent system with cut rule, PK— - the same system without cut rule, SPK – the same system with substitution rule, QPK – the same system with quantifier rules. The number of steps of tree-like proofs in the same systems for some considered set of formulas is compared from Alessandra Carbone in [1] and some distinctive property of the system QPK is revealed: QPK has an exponential speed-up over the systems SPK and PK, which, in their turn, have an exponential speed-up over the system PK—. This result drew the heavy interest for the study of the system QPK. In this work for linear proofs steps in the same systems the other relations are received: it is showed that the system QPK has no preference over the system SPK, it is showed also that for the considered formula sets the system PK has no preference over the system PK—, which, in its turn, has no preference over the monotone system PMon. It is proved also, that the same results are reliable for some other sets of formulas and for other systems as well.

Sparse Incremental Delta-Bar-Delta for System Identification

2014 ◽  
Vol 665 ◽  
pp. 643-646
Author(s):  
Ying Liu ◽  
Yan Ye ◽  
Chun Guang Li
Keyword(s):  
System Identification ◽  
Cost Function ◽  
Learning Algorithm ◽  
Learning System ◽  
The Other ◽  
Sparse System ◽  
Speed Up ◽  
Sparse System Identification ◽  
The Cost ◽  
Zero Attractor

Metalearning algorithm learns the base learning algorithm, targeted for improving the performance of the learning system. The incremental delta-bar-delta (IDBD) algorithm is such a metalearning algorithm. On the other hand, sparse algorithms are gaining popularity due to their good performance and wide applications. In this paper, we propose a sparse IDBD algorithm by taking the sparsity of the systems into account. Thenorm penalty is contained in the cost function of the standard IDBD, which is equivalent to adding a zero attractor in the iterations, thus can speed up convergence if the system of interest is indeed sparse. Simulations demonstrate that the proposed algorithm is superior to the competing algorithms in sparse system identification.

scholarly journals Speed and Sustainability When Entering New Market

2021 ◽  
Vol 13 (22) ◽  
pp. 12458
Author(s):  
Gwang Seok Kim ◽  
Young Hoon Lee
Keyword(s):  
Life Cycle ◽  
Entry Mode ◽  
The Other ◽  
Environmental Damage ◽  
Optimal Size ◽  
Construction Time ◽  
Business Excellence ◽  
Speed Up ◽  
Mature Market ◽  
Job Prospects

When constructing a factory to enter new markets, the optimal size to respond to demand is determined by the construction time. Hyundai Motor Company (Hyundai), on the other hand, standardizes the size of its factories to speed up the entry and response to demand. The Hyundai’s entry mode, called SPEED, is modeled as a strategy. The strategy is evaluated of excellence with capacity expansion rules formalized, key parameters identified, and mathematical programming. The SPEED strategy is suited for market followers who want to enter a midscale or mature market in terms of business excellence and more sustainable throughout the factory’s life cycle on the side of sustainability. Shorter construction times, as a result of the SPEED strategy, can help to prevent environmental damage while also standardization can increase job prospects for local workers.

Prediction of Soil Particle Size Fraction using Geographically Weighted Regression and Random Forest

2021 ◽  
Vol 20 ◽  
pp. 683-693
Author(s):  
Henny Pramoedyo ◽  
Novi Nur Aini ◽  
Sativandi Riza ◽  
Danang Ariyanto
Keyword(s):  
Spatial Data ◽  
Size Fraction ◽  
Field Measurements ◽  
Major Effect ◽  
The Other ◽  
Terrain Attributes ◽  
Soil Fraction ◽  
Speed Up ◽  
Considerable Impact ◽  
Gwr Model

The development of spatial modeling for soil properties has progressed in recent decades. This responds to the growing demand for land spatial data and exact soil property prediction for agronomical reasons, particularly in precision farming, in order to speed up precision agricultural activities. In this regards a comparison of the GWR and RF models was carried out in order to determine which model is the best at forecasting surface soil texture and how dependable each model is at doing so. The purpose of this research is to get the best model in predicting particle soil fraction (PSF). 50 topsoil samples were collected from several locations in the Kalikonto Watershed, Indonesia, and the soil PSF (sand, silt, and clay) in the upper 10 cm varied. The LMV, slope, and elevation were calculated using DEM data and utilized as predictor variables. As a result, the weighting of the GWR model has a considerable impact on the final model, and all other factors have a major effect on the PSF determination. The RF, on the other hand, looks to be superior than the GWR variants. The RF model outperformed the other models in every PSF variable. This study reveals that topsoil quality and terrain attributes are linked, which may be assessed using field measurements and model projections. More research is needed to generate more efficient input parameters that will help with soil variability precision and accuracy of soil map products.

Fashioning Ethiopian Laborers

2019 ◽  
pp. 82-103
Author(s):  
Miriam Driessen
Keyword(s):  
Wage Differentials ◽  
The Self ◽  
The Other ◽  
Fundamental Interest ◽  
Economic Miracle ◽  
Employment Security ◽  
Speed Up ◽  
Moral Superiority ◽  
The One ◽  
Chinese Managers

Whereas Chinese road builders are modest about improving their own lives, they are confident about their ability to transform the lives of Ethiopian others. This chapter discusses Chinese management’s attempts to fashion young Ethiopian men into industrious laborers, modeling them on the self-sacrificing worker subject that helped realize China’s economic miracle throughout the 1990s and 2000s. What Ethiopian laborers lack, in Chinese managers’ eyes, is a sense of urgency and a drive to develop the self. Yet their attempts to fashion Ethiopians into committed laborers are a double-edged sword. On the one hand, management seeks to enhance the productivity of the local workforce and speed up the building works. On the other hand, they have a fundamental interest in upholding the image of the Ethiopian worker as indolent, for it confirms Chinese moral superiority and justifies wage differentials and inequalities in employment security.

scholarly journals Parallel computing applied to auto-tuning of state feedback speed controller for PMSM drive

2019 ◽  
Vol 28 ◽  
pp. 01031
Author(s):  
Rafal Szczepanski ◽  
Tomasz Tarczewski ◽  
Lech M. Grzesiak
Keyword(s):  
Parallel Computing ◽  
State Feedback ◽  
Computation Time ◽  
The Other ◽  
Speed Controller ◽  
Speed Up ◽  
Tuning Process ◽  
Auto Tuning ◽  
Reduce Computation Time ◽  
Simulation Time

Nowadays the simulation is inseparable part of researcher's work. Its computation time may significantly exceed the experiment time. On the other hand, multi-core processors can be used to reduce computation time by using parallel computing. The parallel computing can be employed to decrease the overall simulation time. In this paper the parallel computing is used to speed-up the auto-tuning process of state feedback speed controller for PMSM drive.

Vorhabenplanung durch Gesetz

2020 ◽  
Author(s):  
Jan Ziekow
Keyword(s):  
Federal Government ◽  
The Other ◽  
German Unification ◽  
Infrastructure Development ◽  
Climate Protection ◽  
Inland Waterways ◽  
The Road ◽  
Planning Procedure ◽  
Speed Up ◽  
The One

In its “Climate Protection Program 2030”, the German Federal Government has brought an instrument back to life which was last used after the German unification to speed up infrastructure development: the approval of traffic infrastructure projects by laws on measures rather than by plan approval decision. As a result of the faster expansion of rail and inland waterways, as much traffic as possible should be shifted from the road to these modes of transport. In preparation for these legislative steps, a study has been commissioned by the Federal Ministry of Transport, which has been reproduced in this volume. On the one hand, it analyses in detail the constitutional requirements under which such measures are permitted. On the other hand, it develops proposals for the distribution of tasks between the actors in a planning procedure concluding with a legislative act.

Intercultural interactions in the painting arts education: "Azerbaijani painters example in Turkey"

2016 ◽  
Author(s):  
Ayhan Ozer
Keyword(s):  
The Other ◽  
Intercultural Interaction ◽  
The Arts ◽  
Speed Up ◽  
Universal Values ◽  
The Subject ◽  
Intercultural Interactions ◽  
The One ◽  
Near Future ◽  
And Training

Teaching of the arts which include universal values and rules in essence ,in spite of containing local signs, should be formed by universal criteria’s and the richness, and contain diversity as well.  Intercultural interaction is an opportunity that may offer important advantages to this diversity. To be the subject of education and training of the arts, which is almost in the same age with humanity, in Turkey coincides with relatively near future. Turkish art education institutions, trying to fit the process of understanding hundreds of years of tradition and rules into a few decades, tried to speed up this process by going especially western countries or bringing artists from there. While the number does not exceed fingers of two hands especially in the last ten-fifteen years, now the expression of these numbers with three-digit numbers made the need for qualified instructors preferred. On the one hand this case contains various handicaps, but on the other hand, it can be considered as an opportunity. These study opportunities were designed to detect the sample.Keywords: art, intercultural interaction, Azerbaijani painters.

Strong completeness of fragments of the propositional calculus

1951 ◽  
Vol 16 (3) ◽  
pp. 204-204 ◽  
Author(s):  
Alan Rose
Keyword(s):  
Propositional Calculus ◽  
Modus Ponens ◽  
Primitive Function ◽  
Strong Completeness ◽  
Substitution Rule ◽  
Material Implication ◽  
Rules Of Procedure

There has recently been developed a method of formalising any fragment of the propositional calculus, subject only to the condition that material implication is a primitive function of the fragmentary system considered. Tarski has stated, without proof, that when implication is the only primitive function a formulation which is weakly complete (i.e., has as theorems all expressible tautologies) is also strongly complete (i.e., provides for the deduction of any expressible formula from any which is not a tautology). The methods used by Henkin suggest the following proof of theTheorem. If in a fragment of the propositional calculus material implication can be defined in terms of the primitive functions, then any weakly complete formalisation of the fragmentary system which has for rules of procedure the substitution rule and modus ponens is also strongly complete.

scholarly journals Quantum Mechatronics

Electronics ◽  
2021 ◽  
Vol 10 (20) ◽  
pp. 2483
Author(s):  
Lucas Lamata ◽  
Marco B. Quadrelli ◽  
Clarence W. de Silva ◽  
Prem Kumar ◽  
Gregory S. Kanter ◽  
...  
Keyword(s):  
Quantum Effects ◽  
Review Article ◽  
The Other ◽  
Highly Efficient ◽  
Other Hand ◽  
Educational Initiatives ◽  
Speed Up ◽  
Macroscopic Domain ◽  
Promising Avenue

Mechatronics systems, a macroscopic domain, aim at producing highly efficient engineering platforms, with applications in a variety of industries and situations. On the other hand, quantum technologies, a microscopic domain, are emerging as a promising avenue to speed up computations and perform more efficient sensing. Recently, these two fields have started to merge in a novel area: quantum mechatronics. In this review article, we describe some developments produced so far in this respect, including early steps into quantum robotics, macroscopic actuators via quantum effects, as well as educational initiatives in quantum mechatronics.

scholarly journals Discrete time reaching law based variable structure control for fast reaching with reduced chattering

2020 ◽  
Vol 9 (1) ◽  
pp. 51
Author(s):  
Pournami Padmalatha ◽  
Susy Thomas
Keyword(s):  
Discrete Time ◽  
Sliding Mode ◽  
Variable Structure Control ◽  
Variable Structure ◽  
The Other ◽  
Control Law ◽  
Sliding Surface ◽  
Structure Control ◽  
Reaching Law ◽  
Speed Up

In this paper, a variable structure control law is proposed for discrete time sliding mode control so as to reduce both reaching time and quasi sliding mode band reduction. This new law is composed of two different sliding variable dynamics; one to achieve fast reaching and the other to counter its effect on widening the quasi sliding mode band. This is accomplished<br />by introducing a boundary layer around the sliding surface about which the transformation of the sliding variable dynamics takes place. This provides the flexibility to choose the initial dynamics in such a way as to speed up the reaching phase and then at the boundary transform this dynamics to one that reduces the quasi sliding mode band. Thus, the law effectively<br />coalesces the advantageous traits of hitherto proposed reaching laws that succeed in either the reduction of reaching phase or the elimination of quasi sliding mode band. The effectiveness of the proposed reaching law is validated through simulations.<br /><br />

Sign in / Sign up

Export Citation Format

Share Document