• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.23 no.1
• /
• pp.157-162
• /
• 2023

To NP-complete 3-SAT problem, this paper proposes a O(nm) polynomial time algorithm, where n is the number of literals and m is the total frequency of all literals in equation f. The algorithm firstly decides a truth value of a literal in sequence of previously-set priority. The priority order is as follows: a literal whose occurrence in a clause is 1(k=1), a literal which is k≥2 and whose truth value is either 0 or 1, and a literal with the minimum frequency. Then, literals whose truth value is determined are then deleted from clause T and the remaining clauses. This process is repeated l times, the number of literals. As a result, the proposed algorithm has been successful in accurately determining the satisfiability of a given equation f and in deciding the truth value of all the literals. This paper, therefore, provides not only a linear-time algorithm as a viable solution to the SAT problem, but also a basis for solving the P versus NP problem.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.43 no.6
• /
• pp.811-819
• /
• 2023

Understanding the local conditions is a crucial factor in enhancing the success potential of overseas construction projects. This can be achieved through the analysis of news articles of the target market using topic modeling techniques. In this study, the authors aimed to analyze news articles using two topic modeling methods, namely Latent Dirichlet Allocation (LDA) and BERTopic, in order to determine the optimal approach for market condition analysis. To evaluate the alignment between the generated topics and the actual themes of the news documents, the research collected 6,273 BBC news articles, created ground truth data for individual news article topics, and finally compared this ground truth with the results of the topic modeling. The F1 score for LDA was 0.011, while BERTopic achieved a score of 0.244. These results indicate that BERTopic more accurately reflected the actual topics of news articles, making it more effective for understanding the overseas construction market.

• The Korean Journal of Archival Studies
• /
• no.17
• /
• pp.247-292
• /
• 2008

Investigations have been started to set the modern history and national spirit to rights after Commissions were established. Those Commissions are established and operated with time limit to finish its own missions. They creates three kinds of records as acquired materials which acquired or are donated for investigation; investigation records as investigation reports; and administrative records that created while supporting organization's operation. The Commissions use more past records to do special tasks asnation's slate clean and uncovering the truth than other agencies. In other words, the commissions take the most advantages of well-managed records, however, their record management environment and operation systems are relatively loose than other permanent machineries. It has three reasons that; first, there is no record management regulations and criteria for machineries that have time limit. This affected each commissions 'systems and 6 Truth Commissions' record management systems are built separately and on the different level; Second, members lack responsibility from frequent sending, reinstatement, change, and restructuring and that makes troubles to produce and manage records; Third, central archives pay less attention to machineries that operated limited period as the truth commissions. The Commissions rather need more systematic control because its records have historical value. To solve these problems, record management regulations have to be prepared first with features of organizations running limited time and commissions' records as acquired materials or investigation records. Furthermore, building up standard record management system for the Commissions, standardizing transfer data, imposing professional record personnel, and setting limits frequent personnel changes would finish practical problems. Besides, those records created to reveal the truth should use for education and research because Truth Commissions are established to set unfortunate history right and not to repeat it again. The records would serve as steppingstone for establishment of the Truth Record Center that does education, information work, publication, and research with the records. The record center would help using the records efficiently and improving knowledge for its people. And, the center should devote people to recognize importance of the records.

• English Language & Literature Teaching
• /
• v.13 no.3
• /
• pp.99-116
• /
• 2007

Indeterminacy, along with the traces of the unknown identity V, plays a crucial role in building a new possibility in the narrative V. While the characters search for the single identity of V, Pynchon never lets readers and critics reach any final destination or goal in analyzing the novel. Exploring the multiple possibilities and meanings of life, the characters merely keep traveling and searching, without ever reaching any final conclusion or destination. The journey without ever reaching a final destination equals going beyond the boundary and embracing the margins of various possibilities. It concerns the Others and breaks off the hierarchy of Western metaphysics, which is quite similar to what the theorists of deconstruction seek to do. The search without ever reaching a final destination not only designates the multifarious aspect of truth, but it also suggests the possibility of the multiple meanings of words that the characters create. Just as their stories are abundant, the meaning that they produce with their stories can be open-ended. The notion of indeterminacy and broadness in this text, which can be well explained by Derrida, makes it possible for one to search for something other than the fixed meanings or truth claims. The text becomes multifarious in meaning as well as in structure, thus rejecting any kind of singular signifying act.

• Proceedings of the KSRS Conference
• /
• v.2
• /
• pp.655-659
• /
• 2006

Surface Solar Insolation is important for vegetation productivity, hydrology, crop growth, etc. In this study, Surface Solar Insolation is estimated using Multi-functional Transport Satellite (MTSAT-1R) in clear and cloudy conditions. For the Cloudy sky cases, the surface solar insolation is estimated by taking into account the cloud transmittance and multiple scattering between cloud and surface. This model integrated Kawamura's model and SMAC code computes surface solar insolation with a 5km ${\times}$ 5km spatial resolution in hourly basis. The daily value is derived from the available hourly Surface Solar Insolation, independently for every pixel. To validation, this study uses ground truth data recorded from the pyranometer installed by the Korea Meteorological Agency (KMA). The validation of estimated value is performed through a match-up with ground truth. Various match-up with ground truth. Various match-up window sizes are tested with 3${\times}$3, 5${\times}$5, 7${\times}$7, 9${\times}$9, 10${\times}$10, 11${\times}$11, 13${\times}$13 pixels to define the spatial representativity of pyranometer measurement, and to consider drifting clouds from adjacent pixels across the ground station during the averaging interval of 1 hour are taken into account.

• The Journal of the Korea Contents Association
• /
• v.13 no.1
• /
• pp.137-146
• /
• 2013

Anton Chekhov was able to deliver a significant influence to the 20th realist drama types and styles, because his deep thoughts about diverse aspects of human life were realistically expressed on stages. Western realistic actors endeavored to embody their routines based on their words, behaviors, and habits. Chekhov used his outstanding talent to identify the characteristics of people, created unforgettable drama characters, and focused on their behavioral motives. From his philosophical point of view, Chekhov argued that secrets are hidden in life itself, and that everything, shown on the stage, should be as it is in our actual daily life. The realistic acting, recognizing the difference between the daily truth and the truth mentioned in works, pursued acting styles by which audiences regarded play characters as the real people.

• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.373-399
• /
• 2014

This paper deals with the question whether the metaphysical dialetheism is a persuasive view or not. That is, the purpose of this paper is to criticize the metaphysical dialetheism by answering three questions, whether the dialetheism is compatible with the correspondence theory of truth, whether there is an observable contradiction, finally what the status of LNC is. In conclusion, it is argued that dialetheism is incompatible with the correspondence theory of truth, because it results in trivialism to suppose that two views are compatible. It is also claimed that LNC should be understood as the principle of exclusion which constrains the structure of the world and that the real world is consistent. Therefore, there is no observable contradiction in the world and the metaphysical dialetheism is not persuasive.

• Journal of Korean Academy of Nursing
• /
• v.24 no.2
• /
• pp.206-215
• /
• 1994

Intuition is an abstract concept which is most often thought of as a nonrational, nonscientific mode of thought. However, since there are so many amorphous definitions of intuition that it seems important to clarify the meaning of this concept. Therefore, this study use the process of Walker & Avant’s concept analysis to define of the concept of intuition Attributes of intuition were defined as 1) Knowledge of truth that is difficult to explicate ; 2) A type of immediate knowing ; 3) Knowlwdge without reasining analysis ; 4) Knowledge that is attained based on virtue character which integrates all matter and is not attained through individual experience. Antecedents of intuition consists of 1) as ground for knowledge or truth that is not availables to trace through the analytic procedures ; & 2) the flow of Ki which unites human beings and the universe. Consequences of intuition events or incidents occuring as a result of the concept consist of verification of the truth though analytic procedures and application of knowledge in both theoretical and practical ways. To develop intuitive ability, as an educator should not only make studies in recognizine, analysing and teaching concepts related to logical, rational decision making but should also recognize and teach concepts related to intuitive components of making decisions in clinical practice and classroom learning as well.

• Journal of the Korean Society of Costume
• /
• v.55 no.1 s.91
• /
• pp.151-164
• /
• 2005

In the modern popular culture, a significant code is not the truth itself but the seeming truth. To fulfill this function, it is a mythology that has a transcendental power to eliminate any doubt and mystery. That is to say, cultural uniqueness is understood as an identical thing through mass communication, and people perceive it as a similar cultural community. In this process, mythology form and accumulate the matrix of mythological meaning by eliminating the difference between the reality and the illusion. Such a matrix forces a meaningless and unconditional truth and practice without any criticism and reconsideration. This paper tries to extract art and cultural characteristics of mythological image through examining the relationship among mythological image, history, and ideology. For this aim, we make use of Roland Barthes' signs and Daniel Boorstin's image as a basic analytical tool. After that we examine the characteristics of mythological image appeared in modern cultural discourses and the relationship between mythological image and modern popular culture. Furthermore, we consider the mythological image expressed in modern fashion, which has the nature of commodity aesthetics.

• Korean Journal of Remote Sensing
• /
• v.22 no.5
• /
• pp.389-396
• /
• 2006

Surface Solar Insolation is important for vegetation productivity, hydrology, crop growth, etc. In this study, Surface Solar Insolation is estimated using Multi-functional Transport Satellite (MTSAT-1R) in clear and cloudy conditions. For the Cloudy sky cases, the surface solar insolation is estimated by taking into account the cloud transmittance and multiple scattering between cloud and surface. This model integrated Kawamura's model and SMAC code computes surface solar insolation with a $5\;km{\times}5\;km$ spatial resolution in hourly basis. The daily value is derived from the available hourly Surface Solar Insolation, independently for every pixel. To validation, this study uses ground truth data recorded from the pyranometer installed by the Korea Meteorological Agency (KMA). The validation of estimated value is performed through a match-up with ground truth. Various match-up with ground truth. Various match-up window sizes are tested with $3{\times}3,\;5{\times}5,\;7{\times}7,\;9{\times}9,\;10{\times}10,\;11{\times}11,\;13{\times}pixels to define the spatial representativity of pyranometer measurement, and to consider drifting clouds from adjacent pixels across the ground station during the averaging interval of 1 hour are taken into account.