• ETRI Journal
• /
• v.30 no.6
• /
• pp.790-798
• /
• 2008

Recently, NAND flash memory has emerged as a next generation storage device because it has several advantages, such as low power consumption, shock resistance, and so on. However, it is necessary to use a flash translation layer (FTL) to intermediate between NAND flash memory and conventional file systems because of the unique hardware characteristics of flash memory. This paper proposes a new clustered FTL (CFTL) that uses clustered hash tables and a two-level software cache technique. The CFTL can anticipate consecutive addresses from the host because the clustered hash table uses the locality of reference in a large address space. It also adaptively switches logical addresses to physical addresses in the flash memory by using block mapping, page mapping, and a two-level software cache technique. Furthermore, anticipatory I/O management using continuity counters and a prefetch scheme enables fast address translation. Experimental results show that the proposed address translation mechanism for CFTL provides better performance in address translation and memory space usage than the well-known NAND FTL (NFTL) and adaptive FTL (AFTL).

• Korean Institute of Interior Design Journal
• /
• v.26 no.4
• /
• pp.93-102
• /
• 2017

The study of space through image evaluation has reached the stage of measuring the emotion with the development of IT technology and the advent of VR AR era. Many researches have been trying to evaluate the space and measure the emotion in objective form by providing various forms of spatial images such as photographs, sketches, and CG. In order for these studies to be used as objective data with logical relevance, it is necessary to describe in detail the method of collecting the data used in the experiment, the characteristics of the test procedure, and the method of analysis. This study is a basic study for constructing a database by systematically organizing the attributes, experimental methods and experimental procedures of subjects. From the viewpoint of securing the objectivity and reproducibility of the paper, we analyzed the spatial image evaluation process focusing on 1) evaluation subject, 2) experimental method, and 3) analysis standard. It is necessary to examine whether the object of evaluation and the form of image and the method of providing it meet the purpose of the study. In addition, the size and order of the image, the viewing time and the interval (break time) should be different according to the gender and group experiment and the individual test method.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.3
• /
• pp.131-136
• /
• 1990

In this paper, new methods are proposed which speed up the logical redundancy identification for the gate-level logic optimization. Redundancy indentification, as well as deterministic test pattern generation, can be viewed as a finite space search problem, of which execution time depends on the size of the search space. For the purpose of efficient search, we propose dynamic head line and mandatory assignment. Dynamic head lines are changed dynamically in the process of the redundancy identification. Mandatory assignement can avoid unnecessary assignment. They can reduce the search size efficiently. Especially they can be used even though the circuit is modified in the optimization procedure, that is different from the test pattern generation methods. Some experimental results are presented indicating that the proposed methods are faster than existing methods.

• Journal of Korean Society of Rural Planning
• /
• v.18 no.1
• /
• pp.47-57
• /
• 2012

The following study has examined possible methodological approach and prospect of implementing storytelling in rural tourism field. It is aimed towards deducing principles of space composition behind securing placeness of rural tourism village through storytelling. The research had been conducted by archival research and case study on field of interest, and its findings are as follows: 1) Storytelling exhibits principles of narrative structure (exposition, complication, climax, and resolution) in various fields, and has shown tendency to structuralize a plot. 2) It can be said that storytelling is deeply related with people's associations of their inner mind. This can be a logical explanation of a certain sight or location, which is a physical environment itself being the actual narrator and distributor in storytelling. 3) In order to convey a story in a more convincing way, storytelling a naming strategy based on a rhetorical technique, which has been shown to positively influence creating unique placeness of a rural village. As indicated in our study, means of storytelling-"Continuity and tourist circulation of space composition with a narrative structure, spatial hierarchical order, concealment and revelation, cast, and naming based on rhetorical technique and facilities positioning"-is a viable solution that can bring recovery of the rural village's unique placeness, as well as spatial development for sustainable rural tourism.

• International Journal of Aeronautical and Space Sciences
• /
• v.14 no.3
• /
• pp.264-271
• /
• 2013

A method of multiple transport-aircraft mission modeling is proposed in order to improve the efficiency of evaluating and optimizing pre-mission plans. To deal with the challenge of multiple transport-aircraft missions, the object-oriented modeling method is utilized. The elements of the mission are decomposed into objects and businesses, And the major mission objects and their important properties are summarized. A complex mission can be broken down into basic business modules such as the ground section and flight section. The business models of loading and fueling services in the ground section are described. The business model of the flight section is composed of an air route and flight profile with the flight equation and the fuel consumption model. The logical relationship of objects and business modules is introduced. The architecture of the simulation system, which includes a database, computation module, graphical user interface (GUI) module, and a result analysis module, is established. A sample case that includes two different plans is provided to verify the model's ability to achieve multi-aircraft composite mission simulation.

• Journal of Astronomy and Space Sciences
• /
• v.29 no.2
• /
• pp.115-121
• /
• 2012

Existing but largely unused binary star model capabilities are examined. An easily implemented scheme is parameterization of starspot growth and decay that can stimulate work on outer convection zones and their dynamos. Improved precision in spot computation now enhances analysis of very precise data. An existing computational model for blended spectral line profiles is accurate for binary system effects but needs to include damping, thermal Doppler, and other intrinsic broadening effects. Binary star ephemerides had been found exclusively from eclipse timings until recently, but now come also from whole light and radial velocity curves. A logical further development will be to expand these whole curve solutions to include eclipse timings. An attenuation model for circumstellar clouds, with several absorption and scattering mechanisms, has been applied only once, perhaps because the model clouds have fixed locations. However the clouds could be made to move dynamically and be combined into moving streams and disks. An area of potential interest is polarization curve analysis, where incentive for modeling could follow from publication of observed polarization curves. Other recent advances include direct single step solutions for temperatures of both stars of an eclipsing binary and third body kinematics from combined light and velocity curves.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.277-279
• /
• 2003

The study utilizes remote sensing as the main monitoring means. With different spatial high-resolution, multichannel ASTER remote sensing image as the main information in Beijing city zone; with regional border and statistical data as auxiliary factor a study between the thermal space distribution character and the underground medium is analyzed based on the GIS logical algorithm and synthetic analysis technology. Results show thermal forming mechanism and the rule of distribution is mainly related to the underground medium and the change of the city distribution. Different underground medium has different degree and intensity influence on the thermal space distribution. Furthermore, urban greenbelt and water areas can reduce the thermal effect and large-scale greenbelt creates green island effect. In addition, Road net, residential area, population density, heat resources and so on have some positive effect on the thermal distribution, which increase the local temperature and intensity on the other hand. It is important to study the thermal distribution and its related factors, which contributes to the plan, construction and development of the city.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.11A
• /
• pp.1946-1956
• /
• 2001

In this paper, we propose a novel 2-D partial matching algorithm based on model-based stochastic analysis of feature correspondences in a relation vector space, which is quite robust to shape variations as well as invariant to geometric transformations. We represent an object using the ARG (Attributed Relational Graph) model with features of a set of relation vectors. In addition, we statistically model the partial occlusion or noise as the distortion of the relation vector distribution in the relation vector space. Our partial matching algorithm consists of two-phases. First, a finite number of candidate sets areselected by using logical constraint embedding local and structural consistency Second, the feature loss detection is done iteratively by error detection and voting scheme thorough the error analysis of relation vector space. Experimental results on real images demonstrate that the proposed algorithm is quite robust to noise and localize target objects correctly even inseverely noisy and occluded scenes.

• Korean journal of communication and information
• /
• v.61
• /
• pp.118-133
• /
• 2013

Lee Yeung-Hi is one of the most influential journalist in the modern history of Korea. Nevertheless, the judgement about him has been parallelized by opposite sides. He is called 'the Master of ideology', while the other calls him 'the culprit of theorization'. This thesis deduced the contemporary meaning of person Lee Yeung-Hi in order to promote communication for both sides. I compared their logical arguments and pointed out the error they missed. Also, I clarified that the criticism and anticriticism for Lee Young-Hi in the fields of both journalism and academia have fallacies, such as the fallacy of straw man, and the fallacy of question-begging. I criticized their arguments through the view of 'struggling to seek truth', which is the core value of Lee Yeung-Hi's thought. The necessity of communication between advocators and it's critics is due to the condition of Korean Journalism. Korean Journalism does not have much space to accept Lee Young-Hi in only one side. Paradoxically, the contemporary meaning of the truth that Journalist Lee Young-Hi had sought is profound and deep because of the condition where Korean Journalism is being dominated by political parallelism.

• Korean Journal of Logic
• /
• v.19 no.2
• /
• pp.145-184
• /
• 2016

Williamson(1994) proved incompatibility of Gab Theory and Tarski T-schema. But this does not means that Gab Theory could not involve intuition on truth that is expressed by T-schema. I will show that Gab Theory and mutual entailment of 'p' and 'it is true that p'(p⊨T

and T

⊨p) are compatible. It will draw that Gab Theory can involve minimal intuition on truth. After all what I want to reveal is logical space for Gab Theory through the compatibility of the mutual entailment and negation of the Principle of Bivalence. To prove the compatibility, I will present a consequent relation which should be accepted whenever we accept Gab Theory and demonstrate Gab Theory and the mutual entailment imply following two thesis; 1) not-T

and T are not equivalent. 2) p entails T

but not-T

does not entails not-p.