• Education of Primary School Mathematics
• /
• v.7 no.2
• /
• pp.85-99
• /
• 2003

In this paper, firstly examined various proofs types that cover informal empirical justifications by Balacheff, Miyazaki, and Harel ＆ Sowder and Tall. Using these theoretical frameworks, justification activities by 5th graders were analyzed and several conclusions were drawn as follow: 1) Children in 5th grade could justify using various proofs types and method ranged from external proofs schemes by Harel & Sowder to thought experiment by Balacheff This implies that children in elementary school can justify various mathematical statements of ideas for themselves. To improve children's proving abilities, rich experience for justifying should be provided. 2) Activities that make conjectures from cases then justify should be given to students in order to develop a sense of necessity of formal proof. 3) Children have to understand the meaning and usage of mathematical symbol to advance to formal deductive proofs. 4) New theoretical framework is needed to be established to provide a framework for research on elementary school children's justification activities. Research on proof mainly focused on the type of proof in terms of reasoning and activities involved. But proof types are also influenced by the tasks given. In elementary school, tasks that require physical activities or examples are provided. To develop students'various proof types, tasks that require various justification methods should be provided. 5) Children's justification type were influenced not only by development level but also by the concept they had. 6) Justification activities provide useful situation that assess students'mathematical understanding. 7) Teachers understanding toward role of proof(verification, explanation, communication, discovery, systematization) should be the starting point of proof activities.

• Journal of the Korean Institute of Gas
• /
• v.24 no.4
• /
• pp.18-24
• /
• 2020

The purpose of this study is to validate thermal hinderance effects, i.e., feasibilities, of fire-proof structure for LPG tank exposed to fire from adjacent burning building. The panel materials suggested for the fire-proof structure are (1) 10 mm-thick wood, (2) wood with fireproof coating, (3) 75 mm-thick Expanded Polystyrene, (4) 75 mm-thick glass wool filled sandwich panel, and (5) 75 mm-thick autoclaved lightweight concrete. The square planar fire source of 1 ㎡, a matrix of nozzles releasing 120-140 g/s of LPG, is used to heat up the wall and the tank beyond, mimicking heat transfer from burning exterior wall finishes. The feasibility is tested by inspecting structural integrity after test, and then by examining temperatures at both sides of panels and tank's front surface as well as heat fluxes. As a result, it can be concluded that, among the suggested sample materials, fire-proof wall with ALC panel only showed the feasibility for explosion prevention with the proven evidences of structural integrity and least increase in temperature of tank.

• Journal of the Korea Safety Management & Science
• /
• v.14 no.3
• /
• pp.33-38
• /
• 2012

Construction companies with the highest proportion in death crash has been devoting much effort to prevent the crash accidents. In general, a crash-proof worker has been wearing a seatbelt. However, the G construction company had happened in industrial settings when workers fail to abide by the rules. The Carabiner, one of the composing of Safety Belt, must endure the Allowable Load. In this study, the Industrial accidents and cause of the crash analysis in G Construction company is performed by empirical research. And we have been studied the empirical research to setting up of the allowable limit for Carabiner.

• The Journal of Asian Finance, Economics and Business
• /
• v.9 no.4
• /
• pp.197-212
• /
• 2022

The study uses the audited financial statements of 26 Vietnamese commercial banks listed on the Ho Chi Minh City Stock Exchange (HOSE) and Hanoi Stock Exchange (HOSE) during the 2008-2018 period to estimate the system GMM model, which provides empirical evidence on the effect of the variables of customer deposit to total assets (DEPO) ratio, loan to assets (LTA) ratio, liquidity of commercial banks (LIQ), credit development (CRD) ratio, external funding (EFD) ratio, and credit loss provision (LLP) ratio on liquidity risk. The study confirms that commercial banks' internal factors play the most important role, and there is no empirical evidence on macro variables that affect liquidity risk. Finally, in accordance with the theoretical framework, the study uses an estimation method with the R language and the bootstrap methodology to give empirical proof of the nonlinear correlation and U-shaped graph between commercial bank size and liquidity risk. The importance of commercial bank size in absorbing and moderating the effects of liquidity shocks is demonstrated, however, excessive growth in commercial bank size would increase liquidity risk in commercial bank operations.

• Journal of the Korean Society of Safety
• /
• v.35 no.1
• /
• pp.1-11
• /
• 2020

Article 325 (Prevention of Fire Explosion due to Electrostatic) of the Rule for Occupational Safety and Health Standard specifies that in order to prevent the risk of disasters caused by static electricity, fire, explosion and static electricity in the production process, However, in order to do this, it is absolutely necessary to use a pre-detection technology and a detector for antistatic discharge prediction, which is a precautionary measure by static electricity in a fire / explosion hazard place, but in Korea, And there is no technical standard for the application of the technology of the explosion proof structure of the related equipment. Research methods include domestic and overseas electrostatic discharge detection technology and literature investigation of related equipment explosion proofing technology, domestic and foreign electrostatic discharge detection device production and use situation investigation, advanced foreign technology data analysis and benchmarking. In particular, we sought to verify the results of empirical experiments using electrostatic discharge detection technology through sample purchase and analysis of related major products, development of optimization technology through prototype production, evaluation, and supplementation, and expert knowledge through expert consultation. The results of this study were developed and fabricated two prototypes of electrostatic discharge detector based on the technology / standard related to electrostatic discharge detection technology in Korea and abroad through development of electrostatic discharge detection technology and development and production of detector. In addition, based on the development of electrostatic discharge detection technology, we developed an intrinsic safety explosion proof ib class explosion proof technology applicable to the process of using and handling flammable gas and flammable liquid vapor and combustible dust. In the case of the over voltage and minimum voltage are supplied to the explosion-proof structure ESD detector, check the state of the circuit and the transient and transient currents generated by the coil and capacitor elements during the input and standby of the signal pulse voltage. Explosion-proof equipment-Part 11: Intrinsically safe explosion proof structure The comparative evaluation with the reference curve in Annex A of "i" confirms that the characteristics of the intrinsically safe explosion protection structure are met.

• Journal of the Korean Statistical Society
• /
• v.26 no.2
• /
• pp.231-243
• /
• 1997

In this paper we investigate weak convergence of the intergral processes whose index set is the non-compact infinite time interval. Our first goal is to develop the empirical central limit theorem as random elements of [0, .infty.) for an integral process which is constructed from iid variables. In developing the weak convergence as random elements of D[0, .infty.), we will use a result of Ossiander(4) whose proof heavily depends on the total boundedness of the index set. Our next goal is to establish the empirical central limit theorem for the Kaplan-Meier integral process as random elements of D[0, .infty.). In achieving the the goal, we will use the above iid result, a representation of State(6) on the Kaplan-Meier integral, and a lemma on the uniform order of convergence. The first result, in some sense, generalizes the result of empirical central limit therem of Pollard(5) where the process is regarded as random elements of D[-.infty., .infty.] and the sample paths of limiting Gaussian process may jump. The second result generalizes the first result to random censorship model. The later also generalizes one dimensional central limit theorem of Stute(6) to a process version. These results may be used in the nonparametric statistical inference.

• The Journal of Asian Finance, Economics and Business
• /
• v.9 no.1
• /
• pp.167-176
• /
• 2022

By analyzing the impact of oil prices on economic growth, this study has shown a new insight into the link between oil price inflation and economic growth. The primary goal of this study is to determine if oil prices are pro-growth or anti-growth. To provide empirical proof, the series data for both the core and control variables from 1972 to 2020 was used to justify the association on empirical grounds. To account for the presence of a unit root, the Augmented Dickey-Fuller Test was used, and after making the series compatible for co-integration, the Autoregressive distributed lag model was used to determine the empirical estimate. Additionally, the empirical models were used to diagnose heteroscedasticity and autocorrelation. The reference point model reveals that in developing nations like Pakistan, economic growth is anti-growth with an increase in prices, and it responds negatively to economic growth in the long and short run. As a result, oil price inflation in Pakistan fails to have a significant beneficial impact on economic growth in both the long and short run, but it does raise the general price level in the economy.

• Journal of the Korean Society of Safety
• /
• v.33 no.4
• /
• pp.21-29
• /
• 2018

In many companies handling flammable liquids, explosion-proof electrical equipment have been installed according to the Korean Industrial Standards (KS C IEC 60079-10-1). In these standards, hazardous area for explosive gas atmospheres has to be classified by the evaluation of the evaporation rate of flammable liquid leakage. The evaporation rate is an important factor to determine the zones classification and hazardous area distance. However, there is no systematic method or rule for the estimation of evaporation rate in these standards and the first principle equations of a evaporation rate are very difficult. Thus, it is really hard for industrial workplaces to employ these equations. Thus, this problem can trigger inaccurate results for evaluating evaporation range. In this study, empirical models for estimating an evaporation rate of flammable liquid have been developed to tackle this problem. Throughout the sensitivity analysis of the first principle equations, it can be found that main factors for the evaporation rate are wind speed and temperature and empirical models have to be nonlinear. Polynomial regression is employed to build empirical models. Methanol, benzene, para-xylene and toluene are selected as case studies to verify the accuracy of empirical models.

• Communications for Statistical Applications and Methods
• /
• v.27 no.2
• /
• pp.163-175
• /
• 2020

We consider a wide class of general weakly-dependent processes, called ψ-weak dependence, which unify almost all weak dependence structures of interest found in statistics under natural conditions on process parameters, such as mixing, association, Bernoulli shifts, and Markovian sequences. For detecting the tail behavior of the weakly dependent processes, change point tests are developed by means of cumulative sum (CUSUM) statistics with the empirical distribution functions of sample extremes. The null limiting distribution is established as a Brownian bridge. Its proof is based on the ψ-weak dependence structure and the existence of the phantom distribution function of stationary weakly-dependent processes. A Monte-Carlo study is conducted to see the performance of sizes and powers of the CUSUM tests in GARCH(1, 1) models; in addition, real data applications are given with log-returns of financial data such as the Korean stock price index.

• The Journal of Asian Finance, Economics and Business
• /
• v.9 no.6
• /
• pp.231-243
• /
• 2022

The objective of this study is to analyze the impact of conservative financial reporting on investment during uncertainty. It was assumed that during uncertainty conservative financial reporting can play an important role to improve investment decision-making. For our analysis, data sets from 2005-2020 of nonfinancial companies are used. To measure the impact of conservative financial reporting in the non-financial sector of Pakistan, Khan and Watts' (2009) model is applied. "Prospector" and "Defender" Business strategy is applied for measuring firm-level uncertainty. Investment is measured by adding the change in fixed assets (property, plant, and equipment). To check the robustness of conservative financial reporting, Givoly and Hayn's (2000) Negative Accruals measure is applied. To measure the robustness of uncertainty, environmental scanning and alertness technique is applied. According to environmental scanning and alertness technique, companies are divided into two groups named 'inert' and 'alert'. 'Inert' are those firms that are not scanning their environment, and 'alert' are those firms who continuously analyze their environment. The empirical estimations support our hypothesis. The empirical findings provide the proof that in the wake of uncertainty conservative financial reporting may facilitate to take optimal investment decisions in the developing economy of Pakistan. Our results provide critical and practical implications for investors, researchers, and standard setters.