• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.5
• /
• pp.626-631
• /
• 2007

Autonomous robots performing desired tasks in rough, changing, unstructured environments without continuous human assistance must have the ability to cope with its surroundings whether this be certain or not. The development of algorithms deriving useful conclusions from uncertain information obtained by various sensors may be the first for it. Recently ontology is taken great attention as a method useful for the representation and processing of knowledge. In this paper, we propose an ontology-based navigation algorithm for autonomous robots, and provide computer simulation results in order to show the validity of the proposed algorithm.

• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.43-86
• /
• 2019

If 1st order ZFC is consistent(has a model($M_1$)) it has a transitive denumerable model($M_2$). This leads to a paradoxical situation called 'Skolem paradox'. This can be easily resolved by Skolem's typical resolution. but In the process, we must accept the model theoretic relativity for the concept of set. This relativity can generate a situation where the meaning of the set concept, for example, is given differently depending on the two models. The problem is next. because the sentence '¬denu(PN)' which indicate that PN is not denumerable is equally true in two models, A indistinguishability problem that the concept <¬denu> is not formally indistinguishable in ZFC arise. First, I will give a detail analysis of what the nature of this problem is. And I will provide three ways of responding to this problem from the standpoint of supporting ZFC. First, I will argue that <¬denu> concept, which can be relative to the different models, can be 'almost' distinguished in ZFC by using the formalization of model theory in ZFC. Second, I will show that <¬denu> can change its meaning intrinsically or naturally, by its contextual dependency from the semantic considerations about quantifier that plays a key role in the relativity of <¬denu>. Thus, I will show the model-relative meaning change of <¬denu> concept is a natural phenomenon external to the language, not a matter of responsible for ZFC.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.39 no.11
• /
• pp.14-23
• /
• 2002

Two implementation methods for SOVA (Soft Output Viterbi Algorithm)of Turbo decoder are applied and verfied. The first method is the combination of a trace back (TB) logic for the survivor state and a double trace back logic for the weight value in two-step SOVA. This architecure of two-setp SOVA decoder allows important savings in area and high-speed processing compared with that of one-step SOVA decoding using register exchange (RE) or trace-back (TB) method. Second method is adjusting the reliability value with a scaling factor between 0.25 and 0.33 in order to compensate for the distortion for a rate 1/3 and 8-state SOVA decoder with a 256-bit frame size. The proposed schemes contributed to higher SNR performance by 2dB at the BER 10E-4 than that of SOVA decoder without a scaling factor. In order to verify the suggested schemes, the SOVA decoder is testd using Xillinx XCV 1000E FPGA, which runs at 33.6MHz of the maximum speed with 845 latencies and it features 175K gates in the case of 256-bit frame size.

• Journal of Korea Trade
• /
• v.27 no.3
• /
• pp.65-86
• /
• 2023

Purpose - As globalization progresses, complexity also increases, and various factors that threaten port functions are emerging. Accordingly, the demand for port security to prevent the crisis and resilience that quickly recovers its original function after the crisis is also increasing in port operations. However, few studies have examined how to ensure the port security and how the resilience affects operation performance of port and sustainability performance as well. So the study aims to find out how port security affects port resilience and port operational performance, and consequently, this two factors affect socioeconomic and environmental sustainability performance respectively and synthetically. Design/methodology - Confirmatory Factor Analysis (CFA) was first performed to determine the validity of the factors of model and hypothesis test was performed using Structural Equation Model (SEM) to analyze the Port Performance Model, which show the perception logic among port security level, port resilience, operation performance, and sustainability performance. In order to empirically analyze this model, total 264 respondents from port security operators, shipping companies in South Korea were surveyed. Findings - As result of SEM, First, port security level positively affected the resilience (H1) and cargo operational performance (H2) but not in both of the sustainability performances (H3, H4). Second, resilience positively affected only cargo operational performance (H5) and socio-economic sustainability performance (H7). Last, cargo operation performance positively affects the both of sustainability performances (H8, H9). Originality/value - It was confirmed that port security could improve cargo operational performance through ensuring port resilience and eventually increase the socio-economic sustainability. Therefore the study implies that careful integration and management of port security, port resilience, and sustainability are required, along with compromise on sustainable development goals in the social, economic, and environmental area among all stakeholders.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.11 no.4
• /
• pp.217-222
• /
• 2011

Genetic algorithms are one of the most important methods used to solve the Traveling Salesman Problem. Therefore, many researchers have tried to improve the Genetic Algorithm by using different methods and operations in order to find the optimal solution within reasonable time. This paper intends to find a new approach that adopts an improved genetic algorithm to solve the Traveling Salesman Problem, and compare with the well known heuristic method, namely, Kohonen Self-Organizing Map by using different data sets of symmetric TSP from TSPLIB. In order to improve the search process for the optimal solution, the proposed approach consists of three strategies: two separate tour segments sets, the improved crossover operator, and the improved mutation operator. The two separate tour segments sets are construction heuristic which produces tour of the first generation with low cost. The improved crossover operator finds the candidate fine tour segments in parents and preserves them for descendants. The mutation operator is an operator which can optimize a chromosome with mutation successfully by altering the mutation probability dynamically. The two improved operators can be used to avoid the premature convergence. Simulation experiments are executed to investigate the quality of the solution and convergence speed by using a representative set of test problems taken from TSPLIB. The results of a comparison between the new approach using the improved genetic algorithm and the Kohonen Self-Organizing Map show that the new approach yields better results for problems up to 200 cities.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.05a
• /
• pp.478-482
• /
• 2002

Recently, the demand for the optical cable is rapidly glowing because the number of internet user increases and high speed internet data transmission is required. To meet this demand, it is necessary to have a sufficient manufacturing capability for mass and high-quality production. But the present optical cable winding system has some serious problems such that the optical cable of radius (6 mm -40 mm) is often piled up and collapsed usually at the edge of the bobbin in the process of the cable winding. It is often necessary to have an additional operator in order to adjust the cable, which causes the productivity decrease. In order to improve a performance of cable winding system which deals with relatively thick cable( radius : 6 mm -40 mm ), we developed a new guiding system for a high-speed self-align cable winding. First of all, the winding mechanism was analyzed. Synchronization logics for the motions of winding, traversing, and the guiding were created and implemented by using the PLC and guiding system controller in a prototype cable winding system manufactured in the CILS( Computer Integrated Large scale System ) lab. An experimental verification was carried out to validate the logic. Results showed that the winding system with the developed guiding system outperformed in reducing pile-up and collapse in the high-speed winding(up to 300 mm/s) compared with the system without the guiding system.

• Korean journal of communication and information
• /
• v.56
• /
• pp.7-25
• /
• 2011

The purpose of this paper is to start off a debate in the current situation in which there exists two different logics about a newspaper company expanding their business field to the broadcasting market. In order to analyze the implications of the phenomenon, three points are raised and analyzed. First, Chosun-Ilbo, Jungang-Ilbo and Donga-Ilbo, who had a permission to get into the broadcasting arena, did not make their logic based on the fact while deriving the public opinion to be optimistic. Second, they strictly held their frames in order to support their logics which were an overall deregulation, to stimulate the economy and to create jobs without introducing various perspectives. Third, broadcasting of three major newspaper companies could monopolize the public sphere rather than contributing to the diversity of public opinions against three existing broadcasting companies KBS, MBC, SBS.

• Journal of English Language & Literature
• /
• v.55 no.1
• /
• pp.153-176
• /
• 2009

This paper attempts an allegorical reading of female sexuality in Henry James' The Aspern Papers, wherein the narrator reveals his obsession with the love letters of the dead poet, Jeffrey Aspern. Not only the old papers, but does he also fetishize female protagonists in order to maintain his belief in the "great poet." Discussing such fetishistic elements in the novella is in order firstly to reveal the self-splitting logic of phallocentric language, and secondly to analyze the limitation of such language, which resonates with the Freudian construction of female sexuality as critically presented by Irigary. The first part of this study explains the binary structure of The Aspern Papers crystalized in the symbolic courtship in the Bordereaus' garden. It also represents the psychological mindset of the narrator/protagonist: symbolically located "outside," the narrator describes the two Bordereaus as being closed "inside" in a dark mansion, concealing the precious papers from him and the public. In other words, the women are nothing but the obstacle for the self-elected agent, the narrator, from the publication of the language and ideas of the "great man". The women are associated with secrecy and surreptitiousness, while the man with transparency and the truth. Second part of this paper mimics this In/Out binary as a means to reveal insufficiency, if not impropriety, of the predominant discourse of female sexuality constructed and controlled from the male perspective. Employing Irigary's argument, this paper reads the female characters as allegory for female sexual organs, which explains the narrator's inevitable failure. That is, female sexuality is something that cannot be articulated by the intruding language of a masculine subject. since the female sex as such is not only plural but also harmonious and self-contained,

• Journal of the Korean Institute of Intelligent Systems
• /
• v.24 no.4
• /
• pp.372-378
• /
• 2014

Noise in biomedical X-ray image degrades the quality so that it might causes to decrease the accuracy of diagnosis. Especially the noise reduction techniques is quite essential for low-dose biomedical X-ray images obtained from low radiation power in order to protect patients, because their noise level is usually high to well discriminate objects. This paper proposes an efficient method to remove the noise in low-dose X-ray images while preserving the edges with diverse resolutions. In the proposed method, a noisy image is at first decomposed into several images with different resolutions in pyramidal representation, then the stable map of edge confidence is obtained from each of analyzed image using a fuzzy logic-based edge detector. This map is used to adaptively determine the parameter for guided filters, which eliminate the noise while preserving edges in the corresponding image. The filtered images in the pyramid are extended and synthesized into a resulted image using interpolation technique. The superiority of proposed method compared to the median, bilateral, and guided filters has been experimentally shown in terms of noise removal and edge preserving properties.

• Korean Security Journal
• /
• no.17
• /
• pp.33-51
• /
• 2008

According to dictionary, the meaning of protection is "guard and protect" that means protecting the Protectee's safety in case of sudden attack or various accident and Security means all protecting activity including Protectee and place where he is in or will be as comprehensively meaning of safe. As you see in the definition, Protection and security is the act to protect or will to protect from a security-threat act. A security-threat act can be discussed in the range of the concept of a criminal act in Criminal Law. A security-threat act is based on criminal act in Criminal Law, we are going to review such a security-threat act in a point of view in a sphere of learning in today's remarkable a brain-neuro science and cognitive science based on cognitive psychology, and to use an analysis on such a security-threat act to make a foundation for a establishment of the scientific preventive social security countermeasure. To do so, First of all we are going to review a security-threat act based on criminal act in Criminal Law in a point of protection police logic view. Next, we are going to introduce how cognitive science understand about act of man before we analyse a threat act as one of an act of man in cognitive science point of view. Finally, we are going to discuss the need of cognitive scientific analyse in order to establish the Scientific Preventive Social-security Countermeasure at the same time we are going to analyse a threat act in a cognitive scientific view.