• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.225-256
• /
• 2010

The two school $M{\bar{a}}dhyamika$ and $Yog{\bar{a}}c{\bar{a}}ra$ act as a representative of $Mah{\bar{a}}y{\bar{a}}na$ Buddhism in India. But the two school disputed with each other insisting ${\acute{s}}{\bar{u}}nyat{\bar{a}}-v{\bar{a}}da$ and $vij{\tilde{n}}aptim{\bar{a}}trav{\bar{a}}da$ separately. To introduce the disputation shortly is as follow. $N{\bar{a}}g{\bar{a}}rjuna$ explained the world and truth by two truth theories(二諦說) which carry out truth of a word and the dimension(spiritual enlightenment) which is absolute(ultimate) to it being lokasaṁvṛtisatya(世俗諦) about the truth which can be expressed verbally, and which is phenomenon-like (everyday) at paramaarthasatya(勝義諦). By the way, lokasaṁvṛtisatya and paramaarthasatya are actually distinction of the recognition which is not an ontological distinction. That is, lokasaṁvṛti(世俗) is paramaartha(勝義) as it is the time of seeing by the eyes of those who have realized. The two truth theories of $N{\bar{a}}g{\bar{a}}rjuna$ was developed logical more precisely by his successors. With an everyday language, the position of Candrakīrti(月稱) that it cannot be expressed as the position of $Bh{\bar{a}}vaviveka$(淸辨) that paramaarthasatya can be expressed logically is opposed to each other, and dissociates by $Sv{\bar{a}}tantrika$(自立論證派) and $P{\bar{a}}rsagika$(歸謬論證派). Confrontation of $Sv{\bar{a}}tantrika$ and $P{\bar{a}}rsagika$ is the dispute about the ability of s which is the highest truth to be proved logically. The $P{\bar{a}}rsaga$ of Candrakirti thinks that people exist truly, and is because it claims not existing in the world where a favorite thing is actually actual. However, $Bh{\bar{a}}vaviveka$ proved Sunyata(空性)을 positively based on the reliance to language and logic. Also the mokṣa of $M{\bar{a}}dhyamika$ is not recovery of original condition of $vij{\tilde{n}}apti$ which is pure in itself as $Yog{\bar{a}}c{\bar{a}}ra$ saying, as well as obtaining a thing which is dravya-sat as $Sarv{\bar{a}}stiv{\bar{a}}din$ saying. The mokṣa of $M{\bar{a}}dhyamika$ means a condition of liberated from karma and pains through extinction of $prapa{\tilde{n}}ca$ and discrimination by realizing the real aspect of all dharma which is said by pratītyasamutpāda, $praj{\tilde{n}}apti$, niḥsvabhāva, ${\acute{s}}{\bar{u}}nya$, $madhyam{\bar{a}}pratipad$.

• The Journal of Korean Academy of Prosthodontics
• /
• v.59 no.1
• /
• pp.27-35
• /
• 2021

Purpose: The purpose of this study is to compare the accuracy of digital scans of implants according to different shapes of scanbodies, and to compare the accuracy of library merging according to different oral exposure height. Materials and methods: A master model with a single tooth edentulous site was prepared. For the first experiment, three types of intraoral scanbodies were prepared, divided into three groups, and the following experiments were conducted for each group: An internal hex implant was placed. The master model with the scanbody connected was scanned with a model scanner, and a master reference file (control group) was created. 10 files (experimental group) were created by performing 10 consecutive scans with an intraoral scanner. After superimposing the control and experimental groups, the following values were calculated: 1) Distance deviation of a designated point on the scanbody 2) Angle deviation of the major axis of the scanbody. For the second experiment, the scanbody scan data were prepared in 6 different heights. Library files were merged with each of the scan data. The distance and angular deviation were calculated using the 7 mm scan data as control group. Results: In the first experiment, there were no significant differences between A and B (P=.278), B and C (P=.568), and C and A (P=.711) in the distance deviations. There were no significant differences between A and B (P=.568), B and C (P=.546), and C and A (P=.112) in the angular deviations. Also, the scanbody showed significantly higher library merging accuracy in the groups with high oral exposure height (P<.5). Conclusion: There were no significant differences in scan accuracy according to the different shapes of scanbodies, and the accuracy of library merging increased according to exposure height of the scanbody in the oral cavity.

• Journal of The Institute of Information and Telecommunication Facilities Engineering
• /
• v.1 no.1
• /
• pp.6-25
• /
• 2002

In this paper, we have implemented UPnP Devices which emulate a Control Point, a Light Controller, and a Digital TV. The Control Point has been developed on Linux host system by using C language. The UPnP Devices emulating the Digital TV and Light Controller are running on embedded linux developer board. For the development of UPnP Devices, UPnP SDK API Vl.04 made by Intel Co. Ltd. has been ported on Assabet Linux Reference board to implement the UPnP protocol. After we analyze and design some services of Digital TV device, we have applied UPnP Device program to those devices. UPnP SDK vl .04 consists of APIs which support HTTP, SSDP, SOAP, GENA and XML DOM Level-1 that are cores of UPnP protocol. The C program written for the UPnP Control Point has been compiled and executed on Linux-based PC. The embedded system running on Embedded Linux OS has been connected all together through Ethernet which allows IP-based communications. Under this environment, the UPnP programs are being executed on each device. Control Point, when in operational mode, discovers UPnP Devices on the network and displays the device list on the consol. By selecting one of the functionalities of the device services that are displayed on the Control Point, the controllability has been accomplished. The experiment that we performed in this thesis have revealed that the Control Point and UPnP Devices have supported the protocols including SSDP, SOAP, GENA, and DHCP.

• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.9_10
• /
• pp.429-440
• /
• 2008

As embedded system becomes more complex, software development becomes more important in the entire design process. Most embedded applications consist of multi -tasks, that are executed in parallel. So, dataflow model that expresses concurrency naturally is preferred than sequential programming language to develop multitask software. For the execution of multitasking codes, operating system is essential to schedule multi-tasks and to deal with the communication between tasks. But, it is needed to execute multitasking code without as when the target hardware platform cannot execute as or target platforms are candidates of design space exploration, because it is very costly to port as for all candidate platforms of DSE. For this reason, we propose the serialized multitasking code generation technique from dataflow specification. In the proposed technique, a task is specified with dataflow model, and generated as a C code. Code generation consists of two steps: First, a block in a task is generated as a separate function. Second, generated functions are scheduled by a multitasking scheduler that is also generated automatically. To make it easy to write customized scheduler manually, the data structure and information of each task are defined. With the preliminary experiment of DivX player, it is confirmed that the generated code from the proposed framework is efficiently and correctly executed on the target system.

• Journal of Korea Multimedia Society
• /
• v.10 no.8
• /
• pp.1060-1067
• /
• 2007

We need various methods to develop MMORPG that is game genre which many users use among various game genre using Internet. Specially, to heighten efficiency of distributing work, Object-oriented language such as C++ is used and we need design techniques that can take advantage of enough object-oriented concept when making large-scale game. There is various pattern that can apply in software breakup design in GoF's design pattern for these design techniques. If you apply Observer pattern to Party System Design for forming community between game users, you can easily add new class and maintain system later. Party Play is one of the important system that is used to form game users' community in MMORPG games. The main point that must be considered in Party-Play-System is to divide evenly experience value and acquisition that is got by Party-Play among users according to each user's level. To implement Party Play System that consider maintenance of system, in this paper, we propose a method using GoF's Observer-Pattern, showing you that proposed method which has advantage to dynamic memory allocation and to virtual method call can be used usefully to change object to real time at program run and to add new class and to maintain system new.

• Speech Sciences
• /
• v.10 no.3
• /
• pp.7-27
• /
• 2003

Esophageal Speech uses the esophageal air during phonation. Fluent esophageal speakers frequently intake air in oral communication, but unskilled esophageal speakers are difficult with swallowing lots of air. The purpose of this study was to investigate the difference of acoustic characteristics of vowel and consonants production according to the speech proficiency level in esophageal speech. 13 normal male speakers and 13 male esophageal speakers (5 unskilled esophageal speakers, 8 skilled esophageal speakers) with age ranging from 50 to 70 years old. The stimuli were sustained /a/ vowel and 36 meaningless two syllable words. Used vowel is /a/ and consonants were 18 : /k, n, t, m, p, s, c, $C^{h},\;k^{h},\;t^{h},\;p^{h}$, h, I, k', t', p', s', c'/. Fundermental frequency (Fx), Jitter, shimmer, HNR, MPT were measured with by electroglottography using Lx speech studio (Laryngograph Ltd, London, UK). 36 meaningless words produced by esophageal speakers were presented to 3 speech-language pathologists who phonetically transcribed their responses. Fx, Jitter, HNR parameters is significant different between skilled esophageal speakers and unskilled esophageal speakers (P<.05). Considering manner of articulation, ANOVA showed that differences in two esophageal speech groups on speech proficiency were significant; Glide had the highest number of confusion with the other phoneme class, affricates are the most intelligible in the unskilled esophageal speech group, whereas in the skilled esophageal speech group fricatives resulted highest number of confusions, nasals are the most intelligible. In the place of articulation, glottal /h/ is the highest confusion consonant in both groups. Bilabials are the most intelligible in the skilled esophageal speech, velars are the most intelligible in the unskilled esophageal speech. In the structure of syllable, 'CV+V' is more confusion in the skilled esophageal group, unskilled esophageal speech group has similar confusion in both structures. In unskilled esophageal speech, significantly different Fx, Jitter, HNR acoustic parameters of vowel and the highest confusions of Liquid, Nasals consonants could be attributed to unstable, improper contact of neoglottis as vibratory source and insufficiency in the phonatory air supply, and higher motoric demand of remaining articulation due to morphological characteristics of vocal tract after laryngectomy.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.22 no.2
• /
• pp.141-147
• /
• 2012

The purpose of the study is the acquisitions of knowledge related in job searching from local companies and job seekers using data mining techniques. At the first step, for the study, we had selected the local companies their headquarters are located in Jeonbuk province. Then we had picked the graduating students out from the high schools, colleges, and universities in the same area as the job seekers. After the targeting of the sample, we had surveyed 560 local companies and 14 schools for the collecting of the preliminary data. As the result of the survey, we could collect 173 responses from the companies and 551 responses from the job seekers. At the second step using data mining, we had adapted the C5.0 algorithm to extract the inference rules. Then we had used the Visual Basic (VB) programming language to visualize the rules at the third step. At the fourth step, we transformed the inference rules into DB tables. At the final step, we had executed the rule inferences to support the development of the long-term human resources development (HRD) strategies. As the result of the study, we could suggest the helpful information to the HRD directors and job seekers in designing their strategies in managing their jobs and career development.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.8
• /
• pp.543-554
• /
• 2013

Model-Driven Development(MDD) helps developers verify requirements and design issues of a software system in the early stage of development process by taking advantage of a software model which is the most highly abstracted form of a software system. In practice, however, many software systems have been developed through a code-centric method that builds a software system bottom-up rather than top-down. So, without support of appropriate tools, it is not easy to introduce MDD to real development process. Although there are many researches about extracting a model from code to help developers introduce MDD to code-centrically developed system, most of them only extracted base-level models. However, using concept of abstract component one can continuously extract higher level model from base-level model. In this paper we propose a practical method for automatic extraction of base level abstract component from source code, which is the first stage of continuous extraction process of abstract component, and validate the method by implementing an extraction tool based on the method. Target code chosen is the source code of TinyOS, an operating system for wireless sensor networks. The tool is applied to the source code of TinyOS, written in nesC language.

• International Commerce and Information Review
• /
• v.13 no.4
• /
• pp.275-295
• /
• 2011

Any attempt which requires banks to consider non-documentary conditions would destroy autonomy principle and increase the risks of the bank in L/C transactions. Therefore, non-documentary conditions are disregarded in the letter of credit. This provision was first introduced in UCP500, but later, ICC Position Paper No.3 added that if L/C requires documents related to non-documentary conditions, it cannot be disregarded. While the language in UCP600 is basically the same as that in UCP500, there is a difference between the two in that the former disregards the documents related to non-documentary conditions even if they are required by L/C. However, it should be remembered that international standard banking practice does not disregard all of non-documentary conditions. It recognizes the validity of some non-documentary conditions which it is not feasible to change into documentary conditions. That is, such non-documentary conditions as can be determined from an index specified in the guarantee or identified from the issuing bank's own records or their normal operations are recognized as valid in legal cases. ISP98 and UR00758 do not consider these as non-documentary conditions. The applicant should be cautious not to include non-documentary conditions in their applications.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.47 no.2
• /
• pp.106-114
• /
• 2010

We proposed an unified design methodology and verification platform for giga-scale System on Chip (SoC). According to the growth of VLSI integration, the existing RTL design methodology has a limitation of a production gap because a design complexity increases. A verification methodology need an evolution to overcome a verification gap. The proposed platform includes a high level synthesis, and we develop a power-aware verification platform for low power design and verification automation using it's results. We developed a verification automation and power-aware verification methodology based on control and data flow graph (CDFG) and an abstract level language and RTL. The verification platform includes self-checking and the coverage driven verification methodology. Especially, the number of the random vector decreases minimum 5.75 times with the constrained random vector algorithm which is developed for the power-aware verification. This platform can verify a low power design with a general logic simulator using a power and power cell modeling method. This unified design and verification platform allow automatically to verify, design and synthesis the giga-scale design from the system level to RTL level in the whole design flow.