• Journal of Advanced Navigation Technology
• /
• v.22 no.4
• /
• pp.271-278
• /
• 2018

For ionospheric correction of low earth orbiter (LEO) satellites using single frequency global navigation satellite system (GNSS) receiver, ionospheric scale factor should be applied to the ground-based ionosphere model. The ionospheric scale factor can be calculated by using a NeQuick model, which provides a three-dimensional ionospheric distribution. In this study, the ionospheric scale factor is calculated by using NeQuick G model during 2015, and it is compared with the scale factor computed from the combination of LEO satellite measurements and international GNSS service (IGS) global ionosphere map (GIM). The accuracy of the ionospheric delay calculated by the NeQuick G model and IGS GIM with NeQuick G scale factor is analyzed. In addition, ionospheric delay errors calculated by the NeQuick G model and IGS GIM with the NeQuick G scale factor are compared. The ionospheric delay error variations along to latitude and solar activity are also analyzed. The mean ionospheric scale factor from the NeQuick G model is 0.269 in 2015. The ionospheric delay error of IGS GIM with NeQuick G scale factor is 23.7% less than that of NeQuick G model.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.1
• /
• pp.9-23
• /
• 1999

병렬 그래프 감축 모델에 있어서 투기적 연산(speculative evaluation)모델은 병렬성을 증가시키지만 불필요한 연산으로 인해 자원을 낭비할 수 있다. 투기적 태스크가 람다 연산식을 WHNF(Weak Head Normal Form)로 감축할 때, 대치과정은 그래프를 증가시킬 수 있고, 많은 복사과정을 요구할 수 있다. 이러한 투기적 태스크는 나중에 불필요한 연산이 될 수있고 이 경우 이러한 투기적 태스크에서 발생한 다른 모든 투기적 태스크들을 종료해야 하는 부담이 있다. 또한 불필요하게 된 복사과정으로 인한 기억 공간을 재사용이 가능한 상태로 만들어 주어야 한다. 본 논문은 WHNF 또는 HNF 로 감축할 대 발생할수 있는 불필요한 대치과정으로 인한 오버헤드를 줄이기 위해 대치과정이 지연된 람다 연산식 형태 (DSF : Deferred Substitution Form)를 제안한다. 이 형태는 대치과정을 필수적 태스크(mandatory task)가 수행될 때 까지 지연시키기 위한 람다 연산식 형태이다. 대치과정이 지연된 람다 연산식 형태로의 감축을 수행하는 투기적 태스크에서 , 대치과정이 존재하지 않기 때문에 그래프의 크기가 증가하지 않고 또한 복사과정을 요구하지 않는다. 따라서 연산식에 대한 대치과정이 지연된 람다 연산식 형태로의 감축이 불필요하게 된 경우 부담이 줄어들게 된다. 아울러 병렬성을 증가시키기 위한 연산모델을 제안한다.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.28 no.4
• /
• pp.413-420
• /
• 2010

The ionospheric delay is currently one of the most significant error sources in precise GNSS surveys. The users of single-frequency receivers should apply some kind of ionospheric correction algorithms to remove or model the ionospheric delay. For real-time correction of the ionospheric delay, one can use Klobuchar or NeQuick model provided by navigation messages of GPS and Galileo, respectively. We evaluated the performance of those models by comparing their effectiveness at different seasons and latitudes. For the first test, we computed the vertical total electron content (VTEC) at the permanent GPS site SUWN for four different seasons. As the second test, we picked three sites in Korea (CHLW, SUWN, JEJU) with high, medium, and low latitudes and evaluated the dependency of VTEC on the site latitude. Computed VTEC values were compared with those from the IRI model and Global Ionosphere Maps (GIM). The root-mean-square (RMS) differences of Klobuchar and NeQuick with respect to IRI and GIM were analyzed. As a result, without regard to season and latitude, the RMS differences of NeQuick models were smaller than that of Klobuchar by about 0.01~3.50 TECU.

• Journal of Biomedical Engineering Research
• /
• v.25 no.6
• /
• pp.565-573
• /
• 2004

In this paper, we proposed a heart activity control model for simulation of the aortic sinus baroreceptor, which was the most representative baroreceptor sensing the variance of pressure in the cardiovascular system. And then, the heart activity control model composed electric circuit model of the cardiovascular system with baroreflex control and time delay sub-model to observe the effect of time delay in heart period and stroke volume under the regulation of baroreflex in the aortic sinus. The mechanism of time delay in the heart activity baroreflex control model is as follows. A control function is conduct sensing pressure information in the aortic sinus baroreceptor to transmit the efferent nerve through central nervous system. As simulation results of the proposed model, we observed three patterns of the cardiovascular system variability by the time delay. First of all, if the time delay over 2.5 second, aortic pressure and stroke volume and heart rate was observed non-periodically and irregularly. However, if the time delay from 0.1 second to 0.25 second, the regular oscillation was observed. And then, if time delay under 0.1 second, then heart rate and aortic pressure-heart rate trajectory were maintained in stable state.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1747-1748
• /
• 2008

정수처리시스템에서의 염소소독공정은 염소투입설비의 지연요소와 염소반응시간에 의한 지연요소 등으로 매우 큰 시지연특성을 갖는 대표적인 공정이다. 본 논문에서는 염소소독공정 중 후염소공정을 조사 분석하여 공정에 영향이 큰 파라메타를 선정하고 이를 통하여 각 파라메타간 상관관계를 분석함으로써, 시지연공정의 모델을 개발하였다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.12 no.3
• /
• pp.239-245
• /
• 2002

In this Paper, we present a method for designing fuzzy $H_2/H_{\infty}$ controllers of delayed nonlinear systems with saturating input. Takagi-Sugeno fuzzy model is employed to represent delayed nonlinear systems with saturating input. The fuzzy control systems utilize the concept of the so-called parallel distributed compensation(PDC). Using a single quadratic Lyapunov function, the globally exponential stability and $H_2/H_{\infty}$ performance problem are discussed. And a sufficient condition for the existence of fuzzy $H_2/H_{\infty}$ controllers is given in terms of linear matrix inequalities(LMIs). The designing fuzzy $H_2/H_{\infty}$ controllers minimize an upper bound on a linear quadratic performance measure. Finally, a design example of fuzzy $H_2/H_{\infty}$ controller for uncertain delayed nonlinear systems with saturating input.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.4
• /
• pp.347-353
• /
• 2001

A stable TSK -type FLC can be designed by the method of Parallel Distributed Compensation (PDC) [2] but in this case, solving the LMI problem is not a trivial task. To overcome such a difficulty, a Time-Delay based FLC (TDFLC) is proposed. TSK -type TDFLC consists of Time-Delay Control (TDC) and Sliding Mode Control (SMC) schemes, which result in a robust controller based upon an integral sliding surface. Finally, simulation study is conducted for a mass-spring-damper system.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.27 no.5
• /
• pp.565-574
• /
• 2009

The water vapor weighted vertically mean temperature(Tm) models, which were developed by the consideration of seasonal characteristics over the Korea, was used in the retrieval of precipitable water vapor (PWV) from GPS data which were observed at four GPS permanent stations. Since the weighted mean temperature relates to the water vapor pressure and temperature profile at a site, the accuracy of water vapor information which were estimated from GPS tropospheric wet delay is proportional to the accuracy of the weighted mean temperature. The adaption of Korean seasonal weighted mean temperature model, as an alternative to other formulae which are suggested from other nation, provides an improvement in the accuracy of the GPS PWV estimation. Therefore, it can be concluded that the seasonally appropriate weighted mean temperature model, which is used to convert actual zenith wet delay (ZWD) to the PWV, can be more reduced the relative biases of PWV estimated from GPS signal delays in the troposphere than other annual model, so that it would be useful for GPS PWV estimation with high accuracy.

• Journal of Internet Computing and Services
• /
• v.7 no.1
• /
• pp.121-130
• /
• 2006

In next generation wireless networks, an application must be capable of rating service information in real-time and prior to initiation of the service it is necessary to check whether the end user's account provides coverage for the requested service. However, to provide prepaid services effectively, credit-control should have minimal latency. In an endeavor to support real-time credit-control for Mobile IPv6 (MIPv6), we design an implementation architecture model of credit-control authorization. The proposed integrated model combines a typical credit-control authorization procedure into the MIPv6 authentication procedure. We implement it on a single server for minimal latency. Thus, the server can perform credit-control authorization and MIPv6 authentication simultaneously. Implementation details are described as software blocks and units. In order to verify the feasibility of the proposed model. latency of credit-control authorization is measured according to various Extensible Authentication Protocol (EAP) authentication mechanisms. The performance results indicate that the proposed approach has considerably low latency compared with the existing separated models, in which credit-control authorization is separated from the MIPv6 authentication.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.9
• /
• pp.157-164
• /
• 2012

Recently medical service environment, the clinical information exchange which contribute to medical safety, promotion of service quality and patient's convenience, efficiency of medical procedures and medical management is essential medical service model. But, practical exchange of clinical information which variation of information level, absence of standardization system, build of heterogeneous information systems is difficult in each medical institute. In this paper, We analyzed the related technical standardizations and the models of clinical information exchange. So, we designed the clinical information exchange system based on the ideal lazy response model which is aimed at vitalizations the exchange of clinical information under domestic law environment. In case of exchange the clinical information, we separate CDA document flow from metadata flow. As a experimental result we acquired 24% improved performance compared with existed system based on the lazy response model.