• Journal of Educational Research in Mathematics
• /
• v.9 no.2
• /
• pp.419-438
• /
• 1999

This paper explored the impact of dynamic geometry software such as CabriII, GSP on student's understanding deductive justification, on the assumption that proof in school mathematics should be used in the broader, psychological sense of justification rather than in the narrow sense of deductive, formal proof. The following results have been drawn: Dynamic geometry provided positive impact on interacting between empirical justification and deductive justification, especially on understanding the necessity of deductive justification. And teacher in the computer environment played crucial role in reducing on difficulties in connecting empirical justification to deductive justification. At the beginning of the research, however, it was not the case. However, once students got intocul-de-sac in empirical justification and understood the need of deductive justification, they tried to justify deductively. Compared with current paper-and-pencil environment that many students fail to learn the basic knowledge on proof, dynamic geometry software will give more positive ffect for learning. Dynamic geometry software may promote interaction between empirical justification and edeductive justification and give a feedback to students about results of their own actions. At present, there is some very helpful computer software. However the presence of good dynamic geometry software can not be the solution in itself. Since learning on proof is a function of various factors such as curriculum organization, evaluation method, the role of teacher and student. Most of all, the meaning of proof need to be reconceptualized in the future research.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.5
• /
• pp.2434-2453
• /
• 2019

To improve the separation performance of time-frequency overlapped radar and communication signals from a single channel, this paper proposes an effective separation method based on an improved empirical wavelet transform (EWT) that introduces a fast boundary detection mechanism. The fast boundary detection mechanism can be regarded as a process of searching, difference optimization, and continuity detection of the important local minima in the Fourier spectrum that enables determination of the sub-band boundary and thus allows multiple signal components to be distinguished. An orthogonal empirical wavelet filter bank that was designed for signal adaptive reconstruction is then used to separate the input time-frequency overlapped signals. The experimental results show that if two source components are completely overlapped within the time domain and the spectrum overlap ratio is less than 60%, the average separation performance is improved by approximately 32.3% when compared with the classic EWT; the proposed method also improves the suitability for multiple frequency shift keying (MFSK) and reduces the algorithm complexity.

• Ocean and Polar Research
• /
• v.43 no.1
• /
• pp.1-14
• /
• 2021

In this study, extreme wind speeds in the Western North Pacific (WNP) were estimated using reanalysis wind fields synthesized with an empirical typhoon vortex model. Reanalysis wind data used is the Fifth-generation European Centre for Medium-Range Weather Forecasts (ECMWF) reanalysis (ERA5) data, which was deemed to be the most suitable for extreme value analysis in this study. The empirical typhoon vortex model used has the advantage of being able to realistically reproduce the asymmetric winds of a typhoon by using the gale/storm-forced wind radii information in the 4 quadrants of a typhoon. Using a total of 39 years of the synthesized reanalysis wind fields in the WNP, extreme value analysis is applied to the General Pareto Distribution (GPD) model based on the Peak-Over-Threshold (POT) method, which can be used effectively in case of insufficient data. The results showed that the extreme analysis using the synthesized wind data significantly improved the tendency to underestimate the extreme wind speeds compared to using only reanalysis wind data. Considering the difficulty of obtaining long-term observational wind data at sea, the result of the synthesized wind field and extreme value analysis developed in this study can be used as basic data for the design of offshore structures.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.56 no.4
• /
• pp.374-383
• /
• 2020

At ship design stage, the maneuverability is generally estimated based on the empirical formula or the computational fluid dynamic (CFD), which is one of the numerical simulation methods. Using the hydrodynamic derivatives derived through these methods can quantitatively estimate the maneuverability of target vessels and evaluate indirect maneuverability. Nevertheless, research on estimating maneuverability is insufficient for ships not subject to IMO maneuverability standard, especially fishing vessels, and even at the design stage, the empirical formula developed for merchant ships is applied without modification. An estimation error may occur due to the empirical formula derived from the regression analysis results of a model test if the empirical formula developed for merchant ships with different hull shapes is applied to fishing vessels without any modification. In this study, the modified empirical formula that can more accurately estimate the fishing vessel's maneuverability was derived by including the hull shape parameter of target fishing trawlers in the regression analysis process that derives Kijima et al. (1990) formula. As a result, the modified empirical formula showed an average estimation error of 6%, and the result improved the average error of 49% of Kijima et al. (1990) formula developed for merchant ships.

• Structural Engineering and Mechanics
• /
• v.89 no.3
• /
• pp.283-300
• /
• 2024

Machine learning (ML) models based on artificial neural network (ANN) and decision tree (DT) were developed for estimation of axial capacity of concrete columns reinforced with fiber reinforced polymer (FRP) bars. Between the design codes, the Canadian code provides better formulation compared to the Australian or American code. For empirical models based on elastic modulus of FRP, Hadhood et al. (2017) model performed best. Whereas for empirical models based on tensile strength of FRP, as well as all empirical models, Raza et al. (2021) was adjudged superior. However, compared to the empirical models, all ML models exhibited superior performance according to all five performance metrics considered. The performance of ANN and DT models were comparable in general. Under the present setup, inclusion of the transverse reinforcement information did not improve the accuracy of estimation with either ANN or DT. With selective use of inputs, and a much simpler ANN architecture (4-3-1) compared to that reported in literature (Raza et al. 2020: 6-11-11-1), marginal improvement in correlation could be achieved. The metrics for the best model from the study was a correlation of 0.94, absolute errors between 420 kN to 530 kN, and the range being 0.39 to 0.51 for relative errors. Though much superior performance could be obtained using ANN/DT models over empirical models, further work towards improving accuracy of the estimation is indicated before design of FRP reinforced concrete columns using ML may be considered for design codes.

• The Journal of Information Systems
• /
• v.21 no.1
• /
• pp.1-17
• /
• 2012

Common Method Bias(CMB) may cause the potential inflation of correlations between measures assessed via the same method. The problem of CMB has been well known in behavioral sciences because the survey method with self-reporting is vulnerable to CMB. Thus, the discussion on CMB is still ongoing in the MIS research in US. However, in Korea, the MIS research has never paid attention on the CMB problem. The purpose of this study is to examine the CMB problem in the Korean MIS research. To evaluate the effect of CMB, empirical studies on Technology Acceptance Model(TAM) are selected because (1) TAM is one of the MIS research areas studied intensively, (2) TAM is a theoretical model well supported by the existing empirical studies so that the result of this study would have a great ripple effect when the CMB problem turned out to be serious, (3) CMB is domain-specific. 47 TAM samples (out of 45 studies) from three Korean Journals were selected and the relevant data were collected such as correlation matrixes and the measures of the dependent variable. To find and evaluate the size of CMB, two analytic methods (Marker-Variable Technique and Method-Method Pair Technique) are employed. The result showed that there exists CMB in the Korean studies but the problem is not so serious to distort the empirical testing, compared with that of US studies. However, considering that CMB can contaminate the testing results, Korean MIS researchers should explicitly deal with the problem in designing empirical studies and collecting data.

• Informatization Policy
• /
• v.29 no.1
• /
• pp.3-23
• /
• 2022

As a form of online co-production, government crowdsourcing platforms have received growing attention from scholars and practitioners as a means of enhancing government-citizen co-production. This research aims (1) to introduce government leaders and managers to recent empirical research examining real-world cases of government crowdsourcing from different countries, (2) to systematically organize, analyze, and discuss the findings and implications of recent government crowdsourcing empirical studies, and (3) to provide government practitioners with evidence-based insights that could encourage informed decisions about how they design, implement, and evaluate government crowdsourcing platforms effectively and inclusively. Literature review is limited primarily to empirical works that rigorously examined real-world cases of government crowdsourcing. By focusing on a review of empirical research on crowdsourcing co-design and crowdsourcing design/government delivery platforms, this study discusses the key findings systematically and offers some insights and implications for leaders and managers seeking effective and inclusive design and implementation of government crowdsourcing platforms.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.9 no.6
• /
• pp.613-623
• /
• 2017

A semi-empirical model to predict ship resistance in level ice based on Lindqvist's model is presented. This model assumes that contact between the ship and the ice is a case of symmetrical collision, and two contact cases are considered. Submersion force is calculated via Lindqvist's formula, and the crushing and breaking forces are determined by a concept of energy consideration during ship and ice impact. The effect of the contact coefficient is analyzed in the ice resistance prediction. To validate this model, the predicted results are compared with model test data of USCGC Healy and icebreaker Araon, and full-scale data of the icebreaker KV Svalbard. A relatively good agreement is achieved. As a result, the presented model is recommended for preliminary total resistance prediction in advance of the evaluation of the icebreaking performance of vessels.

• Journal of the Korean Institute of Navigation
• /
• v.23 no.3
• /
• pp.75-89
• /
• 1999

The importance of service quality in any service industry cannot be disputed. Shippers have increased expectations concerning the quality of shipping service they receive and carriers are struggling to meet these expectations. This struggle between shipper and carriers would suggest that there is room to improve much more understandings of how shipper define shipping service quality in the carriers' perspectives. This is an empirical investigation and study on the measurement of customer response and service quality as perceived by customer in the international transportation logistics system. The purpose of this study is to clarify factors of shipping service quality on the basis of service marketing concept. In order to fulfill the objectives, this paper combined research tools that include both empirical study and documentary research. Data was gathered from 132 freight forwarder by the use of questionnaire. In this study, the established hypotheses were generated on the basis of the service quality evaluation model(SERVQUAL, SERVPERF, and EP) and Gap model.

• Journal of Information Technology Applications and Management
• /
• v.20 no.3
• /
• pp.129-141
• /
• 2013

When the formative construct is placed in the endogenous position, there are clear theoretical, mathematical, and empirical issues in model estimation. Nonetheless, scholars who have adopted structural equation modeling for empirical research and those who are engaged in debates on the viability of formative modeling fail to recognize the fundamental problems of employing formative measurement in the endogenous position. This manuscript is intended to set a corrective path by discussing three reasons why this frequented practice may be avoided in both theoretical and empirical research.