• Geophysics and Geophysical Exploration
• /
• v.23 no.4
• /
• pp.243-252
• /
• 2020

To share an understanding of trajectory measurement in surveys using borehole, this tutorial summarizes the relevant mathematical principles of the borehole deviation survey based on coordinate transform. For uncased or open holes, calculations of the azimuth-deviation-tool face rotation using three-component accelerometer and magnetometer measurements are summarized. For the steel-cased holes, calculations are based on the time-derivative formula of the coordinate transform matrix; yaw-pitch-roll angles through time are mathematically determined by integrating the threecomponent angular velocity measurements from the gyroscope while also removing the Earth's rotation effect. Sensor and data fusion to increase the accuracy of borehole deviation survey is explained with an example of the method. These principles of borehole deviation surveys can be adapted for attitude estimation in air-borne surveys or for positioning in tunnels where global positioning system (GPS) signals cannot be accessed. Information on the optimization filter that must be incorporated in sensor fusion is introduced to help future research.

• Membrane Journal
• /
• v.28 no.2
• /
• pp.136-141
• /
• 2018

Carbon dioxide ($CO_2$) exists not only as a component of natural gas, biogas, and landfill gas, but also as a major combustion product of fossil fuels which leads to a major contributor to greenhouse gases. Hence it is essential to reduce or eliminate carbon dioxide ($CO_2$) in order to obtain high fuel efficiency of internal combustion engine, to prevent corrosion of gas transportation system, and to cope with climate change preemptively. In recent years, there has been a growing interest in not only conventional membrane-based separation but also new adsorbent-based separation technology. Particularly, in the case of metal-organic frameworks (MOFs), it has been received tremendous attentions due to its unique properties (eg : flexibility, gate effect or strong binding site such as open metal sites) which are different from those of typical porous adsorbents. Therefore, in this study, stereotype of two MOFs have been selected as its flexible MOFs (MIL-53) representative and numerous open metal sites MOFs (MOF-74) representative, and compared each other for $CO_2/CH_4$ separation performance. Furthermore, varying and changeable separation performance conditions depending on the temperature, pressure or samples' unique properties are discussed.

• Korean Journal of Agricultural Science
• /
• v.44 no.4
• /
• pp.513-518
• /
• 2017

Soybean, one of most widely used swine feed component in the world, contains non-starch polysaccharides (NSP). The digestive system of weaned pigs is not yet fully developed, and thus weaned pigs cannot easily digest diets based on corn and soybean meal. Dietary exogenous enzymes supplementation has been intensively investigated to assist digestion of anti-nutritional factors, such as NSP. This experiment was conducted to investigate the effects of dietary enzyme cocktail on growth performance, intestinal morphology, and nutrient digestibility of weaned pigs. A total 36 weaned pigs ($5.92{\pm}0.48kg\;BW$; 28 d old) were randomly allotted to 2 dietary treatments (3 pigs/pen, 6 replicates/treatment) in a randomized complete block design. The dietary treatments were a typical diet based on corn and soybean meal (CON) and CON with 0.05% enzyme cocktail (Cocktail; mixture of xylanase, ${\alpha}-amylase$, protease, ${\beta}-glucanase$, and pectinase). Pigs were fed their respective diets for 6 wk. Growth performance, morphology of ileum, apparent ileal digestibility (AID) and apparent total tract digestibility (ATTD) of dry matter, crude protein, and energy of weaned pigs were measured. No significant differences (p > 0.05) were observed for growth performance for the duration of the experimental period, and morphology of ileum, and nutrient digestibility between CON and Cocktail treatment groups. Therefore, the results from the current study indicated that enzyme cocktail supplementation in diets had no influence on growth performance, intestinal morphology, and nutrient digestibility of weaned pigs.

• KIISE Transactions on Computing Practices
• /
• v.21 no.12
• /
• pp.774-779
• /
• 2015

In this paper, we present the design and implementation of a large-scale qualitative spatial reasoner using Apache Spark, an in-memory high speed cluster computing environment, which is effective for sequencing and iterating component reasoning jobs. The proposed reasoner can not only check the integrity of a large-scale spatial knowledge base representing topological and directional relationships between spatial objects, but also expand the given knowledge base by deriving new facts in highly efficient ways. In general, qualitative reasoning on topological and directional relationships between spatial objects includes a number of composition operations on every possible pair of disjunctive relations. The proposed reasoner enhances computational efficiency by determining the minimal set of disjunctive relations for spatial reasoning and then reducing the size of the composition table to include only that set. Additionally, in order to improve performance, the proposed reasoner is designed to minimize disk I/Os during distributed reasoning jobs, which are performed on a Hadoop cluster system. In experiments with both artificial and real spatial knowledge bases, the proposed Spark-based spatial reasoner showed higher performance than the existing MapReduce-based one.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.1_2
• /
• pp.27-40
• /
• 2004

The OSGi service platform has several characteristics as in the followings. First, the service is deployed in the form of self-installable component called service bundle. Second, the service is dynamic according to its life-cycle and has interactions with other services. Third, the system resources of a home gateway are restricted. Due to these characteristics of a home gateway, there are a lot of rooms for malicious services can be Installed, and further, the nature of service can be changed. It is possible for those service bundles to influence badly on service gateways and users. However, there is no service bundle authentication mechanism considering those characteristics for the home gateway In this paper, we propose a service bundle authentication mechanism considering those characteristics for the home gateway environment. We design the mechanism for sharing a key which transports a service bundle safely in bootstrapping step that recognize and initialize equipments. And we propose the service bundle authentication mechanism based on MAC that use a shared secret created in bootstrapping step. Also we verify the safety of key sharing mechanism and service bundle authentication mechanism using a BAN Logic. This service bundle authentication mechanism Is more efficient than PKI-based service bundle authentication mechanism or RSH protocol in the service platform which has restricted resources such as storage spaces and operations.

• Korean Journal of Fisheries and Aquatic Sciences
• /
• v.35 no.3
• /
• pp.273-281
• /
• 2002

Determination of sediment type is generally based on ground truthing. This method, however, provides information only for the limited sites. Recent developments of remote classification of seafloor sediments made it possible to obtain continuous profiles of sediment types. QTC View system, which is an acoustic instrument providing digital real-time seabed classification, was used to classify seafloor sediment types in the Suyoung Bay, Pusan. QTC View was connected to 50 kHz echo sounder, All parameters of QTC View and echo sounder are uniformly kept during survey. By ground truthing, the sediments are classified into seven types, such as slightly gravelly sand, slightly gravelly sandy mud, gravelly muddy sand, clayey sand, sandy mud, slightly gravelly muddy sand, and rocky bottom. By the first remote classification using QTC View, four sediment types are clearly identified, such as slightly gravelly sand, gravelly mud, slightly gravelly muddy sand, and rocky bottom. These are similar to the result of the second survey. Also the result of remote classification matches well with that of ground truthing, but for sediment type determined by minor component. Therefore, QTC View can effectively be used for remote classification of seafloor sediments.

• The KIPS Transactions:PartC
• /
• v.13C no.2 s.105
• /
• pp.147-154
• /
• 2006

The certificate status validation mechanism is a critical component of a public key infrastructure based on certificate system. The most generally mechanisms used these days are the use of the certificate revocation list and the real-time certificate status protocol. But the certificate revocation list can not give the real-time certificate status because the certificate is being delivered periodically, and the real-time certificate status protocol method will generate a concentrated load to the server because the protocol in the central server will be accessed whenever a certification is necessary. It will also take a long time to validate the certificate because each trade has to send mass information through the network. This paper will present that real-time validation is guaranteed as the real-time certificate status protocol method and the traffic congestion in the network Is reduced in a way that the certification would be requested using the user information hash value and would be validated using the user information kept in the certification authorities and the service providers. Based on the this study, we suggest a real-time certificate status validation mechanism which can reduce the certificate status validation time using the signed user information hash value. And we confirm speed of certificate status verification faster than existing CRL(Certificate Revocation List) and OCSP(Online Certificate Status Protocol) method by test.

• Journal of the Korean Academy of Child and Adolescent Psychiatry
• /
• v.18 no.2
• /
• pp.123-129
• /
• 2007

Objectives: Autism is a complex neurodevelopmental spectrum disorder with a strong genetic component. Previous neurochemical and genetic studies have suggested the possible involvement of the serotonin system in autism. Tryptophan 2,3-dioxygenase(TDO2) is the rate-limiting enzyme in the catabolism of tryptophan, which is the precursor of serotonin synthesis. The aim of this study was to investigate the association between the TDO2 gene and autism spectrum disorders(ASD) in a Korean population. Methods: The patients were diagnosed with ASD on the basis of the DSM-IV diagnostic classification outlined in the Korean version of the Autism Diagnostic Interview-Revised and Autism Diagnostic Observation Schedule. The present study included the detection of four single nucleotide polymorphisms(SNPs) in the TDO2 gene(rs2292536, rs6856558, rs6830072, rs6830800) and the family-based association analysis of the single nucleotide polymorphisms in Korean ASD trios using a transmission disequilibrium test(TDT) and haplotype analysis. The family trios of 136 probands were included in analysis. 87.5% were male and 86.0% were diagnosed with autism. The mean age of the probands was $78.5{\pm}35.8$ months(range: 26-264 months). Results: Two SNPs showed no polymorphism, and there was no significant difference in transmission in the other two SNPs. We also could not find any significant transmission in the haplotype analysis(p>.05). Conclusion: We could not find any significant statistical association between the transmission of SNPs in the TDO2 gene and ASD in a Korean population. This result may not support the possible involvement of the TDO2 gene in the development of ASD, and further exploration might be needed to investigate other plausible SNP sites.

• KSBB Journal
• /
• v.21 no.4
• /
• pp.312-316
• /
• 2006

A optimal condition for the Ginkgo biloba extraction in ethanol and water binary solvent system has been proposed based on concentration of bilobalide and ginkgolide known as having a antimicrobial components in the range 5% to 70% ethanol in water at $80^{\circ}C$. Concentration of bilobalide as a single component of Ginkgo biloba leaves extract is the highest at the 60% ethanol and ginkgolide A and B is highest at 50% ethanol. Antimicrobial effect of Ginkgo biloba leaves extracts on the S. aureus was also examined by disc diffusion test and optical density test. In case of the disc diffusion test, the clean zone diameter was increased from 0.95 cm to 1.70 cm as ethanol concentration increased from 5 to 70%. However, over the 40% of ethanol concentration the antimicrobial effect was almost flat. Based on these results, we propose that the 40% of ethanol and 60% water solvent is most desirable for Ginkgo biloba extract considering vapor pressure problem in concentrating process after extraction. We introduced SEM and TEM to figure out the morphological change on the surface and inside body of S. aureus when Ginkgo biloba leaves extract was treated. After mixed with Ginkgo biloba leaves extract blast like blebs appeared on the surface of S. aureus cells and cell wall was not observed. From the these results, it seems that the Ginkgo biloba leaves extract including bilobalide and ginkgolide A, B prevent cell wall synthesis.

• Journal of Korea Water Resources Association
• /
• v.51 no.4
• /
• pp.347-354
• /
• 2018

In urban areas, runoff flow is drained through sewer networks as well as surface areas. Therefore, it is very important to consider sewer networks as a component of hydrological drainage processes when conducting urban inundation modelling. However, most researchers who have implemented urban inundation/flood modelling, instinctively simplified the sewer networks without the appropriate criteria. In this research, a 1D-2D fully coupled urban inundation model is applied to estimate the influence of sewer network simplification on urban inundation modelling based on the dendritic network classification. The one-dimensional (1D) sewerage system analysis model, which was introduced by Lee et al. (2017), is used to simulate inlet and overflow phenomena by interacting with surface flow. Two-dimensional (2D) unstructured meshes are also applied to simulate surface flow and are combined with the 1D sewerage analysis model. Sewer network pipes are simplified based on the dendritic network classification method, namely the second and third order, and all cases of pipes are conducted as a control group. Each classified network case, including a control group, is evaluated through their application to the 27 July 2011 extreme rainfall event, which caused severe inundation damages in the Sadang area in Seoul, South Korea. All cases are compared together regarding inundation area, inflow discharge and overflow discharge. Finally, relevant criterion for the simplification method is recommended.