• Kyungpook Mathematical Journal
• /
• v.60 no.1
• /
• pp.1-20
• /
• 2020

A simple but elegant result of Rival states that every sublattice L of a finite distributive lattice 𝒫 can be constructed from 𝒫 by removing a particular family 𝒥_L of its irreducible intervals. Applying this in the case that 𝒫 is a product of a finite set 𝒞 of chains, we get a one-to-one correspondence L ↦ 𝒟_𝒫(L) between the sublattices of 𝒫 and the preorders spanned by a canonical sublattice 𝒞^⋄ of 𝒫. We then show that L is a tight sublattice of the product of chains 𝒫 if and only if 𝒟_𝒫(L) is asymmetric. This yields a one-to-one correspondence between the tight sublattices of 𝒫 and the posets spanned by its poset J(𝒫) of non-zero join-irreducible elements. With this we recover and extend, among other classical results, the correspondence derived from results of Birkhoff and Dilworth, between the tight embeddings of a finite distributive lattice L into products of chains, and the chain decompositions of its poset J(L) of non-zero join-irreducible elements.

• Journal of Veterinary Science
• /
• v.23 no.6
• /
• pp.80.1-80.6
• /
• 2022

A 10-year-old male neutered Labrador Retriever presented with a history of acute-onset tachypnoea, lethargy and anorexia. The dog was pyrexic, tachypnoeic and dyspnoeic on examination. A rapid antigen test for severe acute respiratory syndrome coronavirus-2 (SARS-CoV-2) was performed on an oropharyngeal swab and yielded a positive result. SARS-CoV-2 infection was subsequently confirmed by reverse transcription polymerase chain reaction (RT-PCR) analysis. Both of the dog's owners had positive rapid antigen test and RT-PCR analysis results for SARS-CoV-2. Additional diagnostics included computed tomography. Resolution of the dog's clinical signs was achieved with symptomatic treatment.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.12
• /
• pp.1-10
• /
• 2011

As requirements of embedded system get complicated, the tool for analyzing the reliability of embedded software is being needed. A probabilistic modeling is used as the way of analyzing the reliability of a software and to apply it to embedded software controlling multiple devices. So, it is necessary to specialize that to embedded software. Also, existing reliability analyzers should measure the transition probability of each condition in different ways and doesn't consider reusing the model once used. In this paper, we suggest a reliability analyzer for embedded software using embedded software Markov chin model and a unit testing tool. Embedded software Markov chain model is model specializing Markov chain model which is used for analyzing reliability to an embedded software. And a unit testing tool has host-target structure which is appropriate to development environment of embedded software. This tool can analyze the reliability more easily than existing tool by automatically measuring the transition probability between units for analyzing reliability from the result of unit testing. It can also directly apply the test result updated by unit testing tool by representing software model as a XML oriented document and has the advantage that many developers can access easily using the web oriented interface and SVN store. In this paper, we show reliability analyzing of a example by so doing show usefulness of reliability analyzer.

• Korean Journal of Organic Agriculture
• /
• v.12 no.3
• /
• pp.317-331
• /
• 2004

Foci of this thesis arc an estimation of willingness to pay and an establishment of green marketing strategics for environment-friendly agricultural products(EFAR). Estimations of willingness to pay for grain, vegetables, fruit and processed food-stuffs arc respectively 20.6%, 20.2%, 19.3% and 17.2% higher than agricultural products produced by conventional farming method. And a green mark6ting mix for EFAP is as follows; Erst, a product strategy focuses on producing safe and high-quality foods by environment-friendly agriculture(EFA) to point to consumer’s health and desire for environmental preservation. Second, in a price strategy, the balance of three factors should be kept, namely the environmental value the true quality as food materials and the price of EFAP. Third, a place strategy is to reduce waste matters, resource and energy uses in marketing chain, and to simplify marketing channels. Also, it is necessary to choose the marketing channel for price discrimination. Fourth, a promotion strategy make use of programs that emphasize the multi-function of EFA.

• Proceedings of the CALSEC Conference
• /
• 2005.11a
• /
• pp.78-84
• /
• 2005

As the research activities related to 'Ubiquitous Computing' whose concept was introduced by Mark Weiser are growing, RFID(Radio Frequency Identification) technology has recently gained attention as a technology to advance the ubiquitous computing and a lot of related researches are also in progress. Research works done so far are mainly linked to the situation that the research outputs apply to meet the requirements for asset tracking and data sharing with partners over supply chain by using fixed RFID readers. However, it is essential that users have access to real-time information about the tagged objects and services whenever and wherever they want in the era of ubiquitous computing, so mobile devices-including PDA, smart phone, cellular phone, etc - which are equipped with an RFID reader can be regarded as an essential terminal for users living in ubiquitous computing environment. As far as the application with mobile devices are concerned, there are many considerations due to their limited capabilities of data processing, battery consumption and so on. In this paper, we review the generic RFID network model and introduce the revised RFID network model in consideration of incorporation with mobile devices equipped with an RFID reader. Also, we derive the requirements for software embedded within an RFID- enabled mobile terminal and then discuss essential components for implementation. Moreover, we develop the applications for asset management at museum by using mobile RFID network model.

• The Korean Journal of Rheology
• /
• v.7 no.3
• /
• pp.211-224
• /
• 1995

묽은 고분자 용액의선형 점탄성과 완화시간 스펙트럼에 대하여 비드수, 유체역학적 상호작용, 배제 부피와 비선형 스프링들의 영향을 비드-스프링 모델을 통하여 연구하였다. Fixman의 모델을 개량하였고, 비선형 스프링개념을 도입한후 선형점탄성에 관한 식들을 유 도하였다. 그중에서 주로 복고 점도의 크기와 위상차에 대한 BSM 파라미터들의 영향을 살 펴보았다. 실험데이터에서 진동수에 따른 위상차의 평평한 부분의 길이로부터 비드수를 Mark-Houwink 식의 지수 값으로부터 유체역학적 상호작용 파라미터를 그리고 fitting 파라 미터로써 배제 부피 파라미터와 비선형 스프링 파라미터의 함수형태로 표현되는 동적 확장 파라미터를 결정할수 있었다. 또한 광산란 실험등으로부터 배제 부피 파라미터를 결정하게 된다면 이로부터 비선형 스프링 파라미터도 결정할수 있음을 알수 있었다. 한편 불연속적인 현태인 BSM의 완화시간 스펙트럼에 미치는 BSM 파라미터들의 영향을 분석함으로써 각 파람터의 효과와 차이점을 분명히 알수 있었다. 본논문에서는 BSM에 비드수, 유체역학적 상호작용 배제 부피 그리고 비선형 스프링 효과를 동시에 적용하는 방법을 제시하였으며 이 방법을 통하여 묽은 고분자 용액의 선형 점탄성 실험 데이터를 정량적으로 설명할 수 있었다.

• International Journal of Advanced Culture Technology
• /
• v.3 no.2
• /
• pp.1-14
• /
• 2015

The purpose of this paper is to reveal two problems in the existing inventory systems in retail market, and to suggest a Two-Bin System under Automatic Ordering System considering only base-stock. Large retailers already have a sophisticated inventory system based on an automatic ordering principle. However, why does the out-of-stock (OOS) happen in large discount stores in spite of having a good inventory system? This paper suggests two systems after finding the root causes concerning the previous question. For evaluating the performance of each system, the random 200 data set in each sample group was generated from MINITAB 16 and obeyed the Poisson distribution. The existing inventory system in retail market cannot help generating OOS due to indwelling contradiction in itself. The reasons are the ordering deadline and the relationship between ordering quantity and base stock. This paper also demonstrates that these previous studies on inventory fall into the closed loop. Also the paper shows that the performance of the replenishment policy was better than traditional methods dealing with ordering quantity and base stock.

• Journal of Satellite, Information and Communications
• /
• v.11 no.2
• /
• pp.8-13
• /
• 2016

A buoy is a float attached by chain to the seabed to mark channels in a harbor or underwater hazards and can be classified into two major types as autonomous buoys and fixed buoys. When there is high demand such as marking channels in a harbor, monitoring ecology of ocean and environmental monitoring of coastal areas, smart buoys are developed. The smart buoys have wireless network systems such as GPS, CDMA and ZigBee. Using the GPS techniques, location and environments of buoy can be monitored and traced. However, the GPS in fixed buoy systems has a high power consumption and cost. Using many buoys on low power ZigBee basis allows dramatic reduction of the overall power consumption. In this study, it is aimed at the design of the trackable protocol for a buoy system which has low data rate and low power consumption. The proposed protocol has advantages that it can detect abnormal movement and gather trackable information without any system changes. In the introduced protocol, additional 2 bits and join request messages are used for trackable buoy system. The behaviors of improved protocol is modeled into petri-net and proved a reachability.

• Speech Sciences
• /
• v.1
• /
• pp.153-200
• /
• 1997

In languages such as Japanese, it is very common to observe that short peripheral vowel are completely voiceless when surrounded by voiceless consonants. This phenomenon has been known as Montreal French, Shanghai Chinese, Greek, and Korean. Traditionally this phenomenon has been described as a phonological rule that either categorically deletes the vowel or changes the [+voice] feature of the vowel to [-voice]. This analysis was supported by Sawashima (1971) and Hirose (1971)'s observation that there are two distinct EMG patterns for voiced and devoiced vowel in Japanese. Close examination of the phonetic evidence based on acoustic data, however, shows that these phonological characterizations are not tenable (Jun & Beckman 1993, 1994). In this paper, we examined the vowel devoicing phenomenon in Korean using data from ENG fiberscopic and acoustic recorders of 100 sentences produced by one Korean speaker. The results show that there is variability in the 'degree of devoicing' in both acoustic and EMG signals, and in the patterns of glottal closing and opening across different devoiced tokens. There seems to be no categorical difference between devoiced and voiced tokens, for either EMG activity events or glottal patterns. All of these observations support the notion that vowel devoicing in Korean can not be described as the result of the application of a phonological rule. Rather, devoicing seems to be a highly variable 'phonetic' process, a more or less subtle variation in the specification of such phonetic metrics as degree and timing of glottal opening, or of associated subglottal pressure or intra-oral airflow associated with concurrent tone and stricture specifications. Some of token-pair comparisons are amenable to an explanation in terms of gestural overlap and undershoot. However, the effect of gestural timing on vocal fold state seems to be a highly nonlinear function of the interaction among specifications for the relative timing of glottal adduction and abduction gestures, of the amplitudes of the overlapped gestures, of aerodynamic conditions created by concurrent oral tonal gestures, and so on. In summary, to understand devoicing, it will be necessary to examine its effect on phonetic representation of events in many parts of the vocal tracts, and at many stages of the speech chain between the motor intent and the acoustic signal that reaches the hearer's ear.

• Korean Journal of Poultry Science
• /
• v.45 no.3
• /
• pp.219-228
• /
• 2018

This study was conducted twice to investigate egg purchase behavior and perception on animal welfare of Korean consumers. This study included women, who were the main decision makers and caretakers in the household, and men with one-person household. This survey was conducted with by the Computer Assisted Web Interview and Gang Survey methods. On the key considerations factor, the highest response rate was considered to be 'price', and the response rate of considering 'packing date' increased in the second survey. At a reasonable price based on 10 eggs, the response rate was the highest at 53.8% and 42.9% in both the first and second surveys and the appropriate price averages were 2,482 won and 2,132 won, respectively. The highest rate of purchase of egg consumers from 'Large Mart' followed by 'Medium sized supermarket' and 'Chain supermarket'. As for the awareness about animal welfare, the recognition ratio (73.5%) was higher in the result of the second survey than the first. The cognitive period of animal welfare was 59.0% before the insecticide egg crisis and 41.0% thereafter. Regarding whether or not they have ever seen an animal welfare certification mark and an animal welfare animal farm certification mark, 59.6% of respondents said that they saw it for the first time and 37.6% answered that they knew the animal welfare certification mark. On the animal welfare system, the 'free-range' response rate was the highest at 85.8%. The 'free-range' fit response decreased by 34.2%p, while the 'barn' and 'European type' fit response increased by 13.2%p and 24.1%p, respectively. The number of 'I have never seen' and 'I have ever eaten' responses to the recognition and eating experience of animal welfare certified eggs decreased while the number of those who answered 'Have ever seen' and 'Have eaten' increased. The answer of purchasing animal welfare certified eggs at department stores, organic farming cooperatives, and internet shopping malls was higher than that of buying conventional eggs. Of the total respondents, 92.0% were willing to purchase an animal welfare egg before the price was offered, but after offering the prices of animal welfare eggs, the intention to purchase was 62.7%, which was about 30%p lower than before. The reason for purchasing an animal welfare certified egg was the highest score of 71.0% for 'I think it is likely to be high in food safety', and 38.1% for 'I think the price is high' for lack of intention to purchase. In the sensory evaluation of animal welfare eggs, egg color and skin texture of conventional eggs were significantly higher than those of certified welfare eggs (P<0.05), and boiled eggs showed that egg whites of animal welfare certified eggs were more (P<0.05). As a result, the results of this study will contribute to the activation of the animal welfare certification system for laying hens by providing basic data on consumer awareness to animal welfare certified farmers.