scholarly journals KOMPARASI PRINSIP VERIFIKASI POSITIVISME LOGIS DAN PENERAPAN HUKUM QIYAS

2022 ◽  
Vol 17 (2) ◽  
pp. 345-362
Author(s):  
M. Marovida Aziz
Keyword(s):  
Main Idea ◽  
Logical Positivism ◽  
Main Condition ◽  
Five Senses ◽  
Scientific Truth

Abstract The view of the logical positivism group regarding science is based on the development of exact sciences, scientific truth can be measured positively, namely the truth must be real, concrete, logical, accurate and useful, but the effect behind everything abstract and metaphysical in the dimensions of life is ignored and regardless of observation. The main idea of logical positivism that was promoted by Alfred Jules Ayer, one of which is the principle of verification. In the application of the verification principle, it can also be taken for study studies in the determination of Qiyas law, namely by analogizing a law that has not yet been stipulated in the text, by testing and observing by verifying the causes of its similarity with the established law, determining the similarity of causes with logical parameters. and also empirical. The analogy in Qiyas must go through a verification stage, namely because it must be a real and visible nature by the five senses, and logic, as well as through the empirical proof stage. According to logical positivism and qiyas, the main condition is that it must be something that is visible, and get rid of pseudo-problems. Keywords: Logical positivism, Verification, Qiyas.

scholarly journals The physical basis of the fission wave reactor

2008 ◽  
Vol 23 (2) ◽  
pp. 3-15 ◽  
Author(s):  
Volodymyr Pavlovych ◽  
Volodymyr Khotyayintsev ◽  
Olena Khotyayintseva
Keyword(s):  
Diffusion Equation ◽  
Main Idea ◽  
Stationary Wave ◽  
Short Review ◽  
Nuclear Fission ◽  
Stationary Processes ◽  
Wave Parameters ◽  
Nuclear Burning ◽  
Fission Wave

The main idea of slow nuclear fission wave reactor is discussed and short review of the existing works is also presented. The aim of this paper is to clarify the physics of processes, which define the stationary wave of nuclear burning, and to develop the approaches determining the wave parameters. It is shown that the diffusion equation for fluence can be used to describe the stationary and non-stationary processes in the nuclear fission wave. Two conditions of stationary wave existence are first formulated in the paper. The rule of determination of wave velocity as the eigenvalue of boundary problem is also formulated.

The 3D graph approach for breakdown voltage calculation in BaTiO3 ceramics

2021 ◽  
pp. 2150103
Author(s):  
Vojislav V. Mitic ◽  
Branislav Randjelovic ◽  
Ivana Ilic ◽  
Srdjan Ribar ◽  
An-Lu Chun ◽  
...  
Keyword(s):  
Graph Theory ◽  
Crystal Structures ◽  
Breakdown Voltage ◽  
Main Idea ◽  
Experimental Results ◽  
Grain Structure ◽  
Mathematical Approach ◽  
Electronic Parameters ◽  
Mathematical Graph

After pioneering attempts for the introduction of graph theory in the field of ceramics and microstructures, where 1D and 2D graphs were used, in this paper we applied 3D graphs for the breakdown voltage calculation in BaTiO3 sample with some predefined constraints. We have described the relations between grains in the sample and established a mathematical approach for the calculation of breakdown voltage using experimental results. As a result, we introduced mapping between the property of sample and grain structure, then between the grain structure and mathematical graph, using various crystal structures. The main idea was to apply 3D graph theory for the distribution of electronic parameters between the neighboring grains. With this study, we successfully confirmed the possibilities for applications of graphs as a tool for the determination of properties even at the intergranular level.

Determination of Important Parameters and Technical Characteristic for Welding Fumes Index Development by Using QFD Approach

2013 ◽  
Vol 315 ◽  
pp. 744-748
Author(s):  
Azian Hariri ◽  
Abdul Mutalib Leman ◽  
Mohammad Zainal M. Yusof
Keyword(s):  
Quality Function Deployment ◽  
Health Hazard ◽  
Main Idea ◽  
Workplace Safety ◽  
Technical Characteristic ◽  
Welding Fumes ◽  
System Effect ◽  
Safety And Health ◽  
Study Results

This paper discussed on the determination of important parameters and technical characteristic for the development of a welding fumes index by using Quality Function Deployment (QFD) approach. Welding fumes index is developed with the objective to enhance the welding workplace safety and health. Index simplifies complex health-hazard issues of welding fumes to be comprehended easily by the employees. Questionnaires on welder desire to know the various welding fumes health effects that exist in their workplace were distributed among welders of a selected automotive assembly lines in the state Pahang, Malaysia, during a pilot case study. Results of the questionnaires show that all the customer requirements (irritants effect, sensitizer effects, respiratory system effect, systemic toxin effect, reproductive toxins effect, carcinogen effect, mixture effect) were equally important to the welders. The relationship between the customer (welder) requirement and technical characteristic were established whereby important technical characteristics were shortlisted. Development of welding fumes index according to employees demand will increase the knowledge and awareness on occupational safety and health among employees. The paper provides the main idea on development of welding fumes index taking into consideration the needs of the customer i.e. welder.

Kalman Filter-Based Orbit Determination with Dynamic Model Compensation for a Maneuvered GEO Satellite

2011 ◽  
Vol 383-390 ◽  
pp. 5626-5631 ◽  
Author(s):  
Tian He Xu ◽  
Yue Peng Chen ◽  
Qian Xin Wang
Keyword(s):  
Kalman Filter ◽  
Dynamic Model ◽  
Orbit Determination ◽  
Main Idea ◽  
First Order ◽  
Geo Satellite ◽  
Orbital Maneuver ◽  
Determination Methods ◽  
High Orbit

Orbit determination methods for a geostationary (GEO) satellite are introduced. In order to control or model the thrust force, a Kalman filter based on dynamic model compensation is proposed for the orbit determination of a maneuvered GEO satellite. The main idea is to use a first-order Gauss-Markov process to compensate the unmodeled or inaccurately modeled accelerations caused by orbital maneuver in Kalman filter-based orbit determination. Simulation with Chinese ground tracking network for a maneuvered GEO satellite was conducted to verify the performance of the proposed orbit determination technique. The results show that it can efficiently compensate the influence of orbital maneuver and achieve high orbit accuracy.

scholarly journals Mathematical modeling of the corpse cooling under conditions of varying ambient temperature

2021 ◽  
Vol 7 (1) ◽  
pp. 29-35
Author(s):  
German V. Nedugov
Keyword(s):  
Mathematical Modeling ◽  
Mathematical Model ◽  
Ambient Temperature ◽  
Analytical Determination ◽  
Time Of Death ◽  
Main Condition ◽  
Proposed Model ◽  
Thermometric Determination ◽  
Early Postmortem

Background: The constancy of the ambient temperature is the main condition to correctly determine the time of death by thermometric method. However, in practice, this requirement is met only in cases of death in closed rooms. In this study, an exponential mathematical model was proposed for corpse cooling under any changes in ambient temperature. Aim: This study aimed to develop a mathematical model to determine the time of death based on the NewtonRichman cooling law in changing ambient temperature conditions. Materials and methods: Mathematical modeling of corpse cooling under changing ambient temperature is performed, focusing on problem solving of thermometric determination of the time of death. The axillary hollow was used as the diagnostic zone of the corpse, and the temperature of which at the time of death is taken is 36.6С. Results: A method of reverse reproduction of the cadaver temperature in conditions of changing ambient temperature has been developed. Results allow a relatively simple analytical determination of the time of death in the early postmortem period. Conclusions: The proposed method is advisable to be used in forensic medical practice to determine the time of death in early postmortem period. The developed mathematical model is implemented in the format of the application program Warm Bodies NRN. Use of tympanic and intraocular thermometry was recommended within the proposed model.

Characterization of Superplastic Materials by Results of Free Bulging Tests

2016 ◽  
Vol 838-839 ◽  
pp. 552-556 ◽  
Author(s):  
Sergey A. Aksenov ◽  
Ivan Y. Zakhariev ◽  
Aleksey V. Kolesnikov ◽  
Sergey A. Osipov
Keyword(s):  
Simple Technique ◽  
Main Idea ◽  
Main Subject ◽  
Material Constants ◽  
Element Simulation ◽  
Simplified Solution ◽  
Characterization Of Materials ◽  
Free Bulging

Determination of material constants describing its behavior during superplastic gas forming is the main subject of this study. The main feature of free bulging tests is the stress-strain conditions which are very similar to ones occurring in the most of gas forming processes. On the other hand, the interpretation of the results of such tests is a complicated procedure. The paper presents a simple technique for the characterization of materials superplasticity by free bulging tests, which is based on inverse analysis. The main idea of this technique is a semianalytical solution of the direct problem instead of finite element simulation which allows one to reduce the calculation time significantly. At the same time the results this simplified solution are accurate enough to obtain realistic material constants.

An Efficient Technique for Three-Dimensional Image Visualization Through Two-Dimensional Images for Medical Data

2017 ◽  
Vol 29 (1) ◽  
pp. 100-109
Author(s):  
Ganesan Gunasekaran ◽  
Meenakshisundaram Venkatesan
Keyword(s):  
Three Dimensional ◽  
Main Idea ◽  
Two Dimensional ◽  
3D Image ◽  
Image Visualization ◽  
Good Determination ◽  
The Given ◽  
Geometric Primitives ◽  
2D Images

Abstract The main idea behind this work is to present three-dimensional (3D) image visualization through two-dimensional (2D) images that comprise various images. 3D image visualization is one of the essential methods for excerpting data from given pieces. The main goal of this work is to figure out the outlines of the given 3D geometric primitives in each part, and then integrate these outlines or frames to reconstruct 3D geometric primitives. The proposed technique is very useful and can be applied to many kinds of images. The experimental results showed a very good determination of the reconstructing process of 2D images.

scholarly journals Estimation of streamflow by slope Regional Dependency Function

2008 ◽  
Vol 5 (2) ◽  
pp. 1003-1020
Author(s):  
A. Altunkaynak
Keyword(s):  
Mississippi River ◽  
Main Idea ◽  
Weighting Coefficient ◽  
Practical Applications ◽  
Value Differences ◽  
Data Completion ◽  
Influence Radius ◽  
Dependency Function ◽  
Regional Variable

Abstract. Kriging is one of the most developed methodologies in the regional variable modeling. However, one of its drawbacks is that the influence radius can not be determined by this method. In which distance and in what ratio that pivot station is influenced from adjacent sites is rather often encountered problem in practical applications. Regional weighting functions obtained from available data consist of several broken lines. Each line has different slopes which represent the similarity and the contribution of adjacent stations as a weighting coefficient. The approach in this study is called as Slope Regional Dependency Function (SRDF). The main idea of this approach is to express the variability in value differences [γ(d)] and distances together. Originally proposed SRDF and Trigonometric Point Cumulative Semi-Variogram (TPCSV) methods are used to predict streamflow. Also TPCSV and Point Cumulative Semi-Variogram (PCSV) approaches are compared with each other. Prediction performance of all three methods stays below 10% relative error which is acceptable for the engineering applications. It is shown that SRDF outperforms PCSV and TPCSV with very high differences. It can be used for missing data completion, determination of measurement sites location, calculation of influence radius, and determination of regional variable potential. The proposed method is applied for the 38 stream flow measurement sites located in the Mississippi River basin.

scholarly journals A NEW TEACHING METHOD AIMED AT ELIMINATING THE CAUSES OF STUDENTS’ UNSUCCESSFUL ALGORITHMIC PROBLEM SOLVING WITH PARAMETER

2018 ◽  
Vol 76 (4) ◽  
pp. 499-519
Author(s):  
Dalibor Gonda ◽  
Anna Tirpakova
Keyword(s):  
Teaching Method ◽  
Main Idea ◽  
New Method ◽  
Algorithmic Problem ◽  
Algorithmic Solution ◽  
Solving Equations ◽  
Two Phases ◽  
Mathematical Didactics ◽  
Pedagogical Research

The new method of teaching the problems with a parameter was designed based on the identification of the reasons for the low success rate of the kids in solving the problems. In order to identify these causes and to find ways of their elimination, pedagogical research was carried out in two phases at selected universities of Slovakia (126 students) in 2016-2017. In the first stage the validity of the research hypothesis was confirmed, that the cause of the kids´ poor success in solving problems with the parameter is an algorithmic approach to their solution, a misunderstanding of the concept of a parameter and a formal determination of solvability conditions. Based on this, a new method of teaching the tasks with a parameter was developed. Its main idea is focusing on understanding the term parameter and showing its creative use in solving multiple tasks. In the second stage of the research, the success of the new teaching method was also verified experimentally. The results of the experiment confirmed the success of the students in solving the problems with the parameter, confirming that the basis of the success in solving the problems is the understanding of the term parameter and the ability to find their own solution to the task. It has turned out that the transition from the method of solving equations with a parameter by algorithms to the solution method by understanding the basic concepts and possibilities of their use is one of the methods to improve the teaching of mathematics. Keywords: algorithmic solution, formal conditions, mathematical didactics, problems with the parameter, understanding of the concept.

scholarly journals APPROACH TO REFURBISHMENT OF TIMBER PRESCHOOL BUILDINGS WITH A VIEW ON ENERGY AND ECONOMIC EFFICIENCY

2019 ◽  
Vol 25 (1) ◽  
pp. 27-40 ◽  
Author(s):  
Nataša Šuman ◽  
Maja Žigart ◽  
Miroslav Premrov ◽  
Vesna Žegarac Leskovar
Keyword(s):  
Economic Efficiency ◽  
Energy Savings ◽  
Main Idea ◽  
Energy Demands ◽  
Functional Quality ◽  
Low Efficiency ◽  
Almost All ◽  
The City

The refurbishment of educational buildings usually involves a variety of measures aiming at reducing energy demands and improving building functionality to achieve higher living comfort. This paper aims to develop an approach for determination of comprehensive refurbishment strategy upon existing preschool buildings in Slovenia from the aspects of energy and economic efficiency. The main idea of the approach is to separate and individually analyse the investments into those related to energy efficiency improvements and those related to improvements of building functional quality through the step-by-step evaluation of individual measures. The proposed approach was applied on the case study of the existing timber preschool building in the city of Maribor. Generally, the highest energy savings are detected only in the case of combination of multiple renovation measures. Moreover, the economic indicators show low efficiency for almost all measures if they are treated separately. Additionally, the analysis reveals that certain measures are totally inefficient in terms of energy, yet they are highly beneficial from the viewpoint of building functional quality, which indicates the importance of the multi-perspective assessment of renovation process. The conclusions of this study can be implemented to similar building types and construction ages in similar climatic and economic environments.

Sign in / Sign up

Export Citation Format

Share Document