• Proceedings of the Safety Management and Science Conference
• /
• 2010.04a
• /
• pp.71-79
• /
• 2010

• East Asian mathematical journal
• /
• v.39 no.3
• /
• pp.369-376
• /
• 2023

In this paper, we provide Sawyer type conditions on a pair of weights so that the dyadic paraproduct π_b is bounded from L²(u) into L²(v). The conditions can be obtained by checking the boundedness of the dyadic paraproduct on a collection of test functions.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.05a
• /
• pp.505-508
• /
• 2008

Electrocardiogram (ECG) and blood pressure (BP) are main vital signs which are the standards in most medical settings in assessing the most basic body functions. Multi parameters are desired in providing more information for health professionals in order to detect or monitor medical problems of patients more precisely. This study urges us to develop a robust wireless healthcare monitoring system which has multiple physiological signs measurements on real time that applicable to various environments which integrates wireless sensor network technology and code division multiple access (CDMA) network with extended feature of locally standalone diagnosis algorithms that implemented in tell phone. ECG signal and BP parameter of the patients are routinely be monitored, processed and analyzed in details at cell phone locally to produce useful medical information to ease patients for tracking and future reference purposes. Any suspected or unknown patterns of signals will be immediately forwarded to hospital server using cell phone for doctors' evaluation. This feature enables the patients always recognize the importance of self-health checking so that the preventive actions can be taken earlier through this analytic information provided by this monitoring system because "Prevention is better than Cure".

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.354-357
• /
• 2004

According to the computerization of railway signaling systems, the interface link between the signaling systems has been replaced by the digital communication channel. At the same time, the importance of the communication link is more pronounced than in the past. In this paper, new network-based protocol for Korean railway signaling has designed between CTC and SCADA system, and the overview of designed protocol is briefly represented. Using the informal method for specifying the communication protocol, a little ambiguity may be contained in the protocol. To clear the ambiguity contained in the designed protocol, we use LTS model to design the protocol for this interface link between CTC and SCADA, the LTS is an intermediate model for encoding the operational behavior of processes. And then, we verify automatically and formally the safety and the liveness properties through the model checking method. Especially, the modal ${\mu}$-calculus, which is a highly expressive method of temporal logic that has been applied to the model checking method. It will be expected to increase the safety, reliability and efficiency of maintenance of the signaling systems by using the designed protocol for railway signaling in Korea.

• The Journal of the Convergence on Culture Technology
• /
• v.2 no.3
• /
• pp.29-34
• /
• 2016

This study is about developing an app that offers tourist information and it was made to search festivals, camping, and glamping regions near the area. Also, by providing cooking recipe, it was made to provide convenience at the tour site. While searching recommended regions, it offers help in searching accommodations and checking in and checking out process. If the service is expanded nation-wide from the Gyeonggido area that this study was applied to, it will be more convenient for users and if the service is expanded and coupled with local coupons, quality services will be provided.

• Journal of the Korean Data and Information Science Society
• /
• v.8 no.2
• /
• pp.195-209
• /
• 1997

The joint modelling of mean and dispersion in quasi-likelihood models which greatly extend the scope of generalized linear models, is required in case that the dispersion parameter, the variance component of response variables, is not constant but changes by depending on any covariates. In this paper, by using statistical package GENSTAT(release 5.3.2, 1996) which makes a easily analyze real data through this joint modelling, we mention necessities that must consider this joint modelling rather than existing mean models through model checking based on graphic methods for esterase assay data introduced by Carrol and Ruppert(1987, pp.46-47), and then study methods finding reasonable joint model of mean and dispersion for this data.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2002.11a
• /
• pp.117-121
• /
• 2002

The purpose of this study was to Identification the Risk of construction method to protect and reduce the risk of construction period. For this study we are using the pre and during construction period Inspection list. The inspection list was used by construction company for check a flaw of Construction field. So we rearrange the individual item of inspection list to match the Risk factor. This inspection list usually has the difference of importance because this list is not made by Method which is not focused on Method. Therefore, To find the difference of these importance, We surveyed this matter by doing interview of specialist group. To find the application of field and the possibility of measurement of Risk status, We tested Risk occurring frequency and it's strength by checking the level of Risk. The results of this study were as follows; Each Method Check List made out through the rearrangement of Construction Inspection list which used in construction company. To solve and compensate the matter which happened by changing the each Method Check List to each General Inspection List, we added the each Method Check List by checking the importance of check list of each process. By doing this, The Check List for finding Risk level of Method was created by using the check list of each Method.

• Journal of the Korea Institute of Building Construction
• /
• v.11 no.3
• /
• pp.265-275
• /
• 2011

As BIM is now being accepted and broadly expanded in the building industry, the demand for developing, managing, submitting, and checking the BIM models has increased. To meet this demand, it is necessary to develop and spread BIM guidelines, standards, and manuals. Meanwhile, as the number of public construction projects increases, the importance of quantifying the BIM quality checking and evaluation also grows. This study aims to enhance our understanding of the definition and characteristics of BIM quality management, and review the current situation of BIM standards worldwide. In particular, by focusing on BIM quality control and its relevant subjects, the minimum standards for BIM quality management are suggested.

• The Korean Journal of Applied Statistics
• /
• v.21 no.1
• /
• pp.109-123
• /
• 2008

Many small area estimation methods have been suggested. Also for the comparison of the estimation methods, model diagnostic checking techniques have been studied. Almost all of the small area estimators were developed by minimizing MSE(Mean square error) and so the MSE is the well-known comparison criterion for superiority. In this paper we suggested a new small area estimator based on minimizing MSPE(Mean square percentage error) which is recently re-highlighted. Also we compared the new suggested estimator with the estimators explained in Shin et al. (2007) using MSE, MSPE and other diagnostic checking criteria.

• Communications for Statistical Applications and Methods
• /
• v.15 no.1
• /
• pp.27-41
• /
• 2008

A graphical method of checking the adequacy of a generalized linear model is proposed. The graph helps to assess the assumption that the link function of mean can be expressed as a linear combination of explanatory variables in the generalized linear model. For the graph the boosting technique is applied to estimate nonparametrically the relationship between the link function of the mean and the explanatory variables, though any other nonparametric regression methods can be applied. Through simulation studies with normal and binary data, the effectiveness of the graph is demonstrated. And we list some limitations and technical details of the graph.