• ETRI Journal
• /
• v.33 no.3
• /
• pp.470-473
• /
• 2011

In this letter, we propose blackbox and scenario-based testing of multiplayer online games as well as simple load testing. Game testing is done from outside the source code, and the access to the source code is not required to testers because the game logic is described with a game description language and virtual game map. Instead of using a subset of the main game client for the test client, only game packet protocols and the sequence of packets are analyzed for new game testing. In addition, complex and various scenarios can be tested through combining defined actions. Scenario-based testing helps testers mimic real testing environments instead of doing simple load testing and improves the productivity of game testing.

• Cross-Cultural Studies
• /
• v.33
• /
• pp.309-330
• /
• 2013

This paper explores the concept of pure language introduced in Walter Benjamin's "The Task of the Translator" and looks at various perspectives on this concept represented in theories of Paul De Man and Gilles Deleuze and a short story of Jorge Luis Borges. According to "The Task of the Translator," pure language is defined as a vessel of which fragments are the original and the translation. Just as fragments are part of a vessel, so the original and the translation are fragments of a greater language, which is pure language. On the other hand, De Man, from a deconstructive criticism, says that pure language does not exist except as a permanent disjunction, which inhabits all languages as such, and that any work is totally fragmented in relation to this pure language and every translation is totally fragmented in relation to the original. While De Man consider pure language incorporeal, Deleuzian interpretation regards it as a virtual object or differenciator in relation to which the two series of the original and the translation coexist and resonate. Finally in Borges's "Pierre Menard, Author of the Quixote" Menard attempt to translate Cervantes's Don Quixote identically in every detail. By showing a case in which the original and the translation are the same, Borges raises a question what would take place in relation to pure language if the original and the translation were identical. In Deleuze, identity and resemblance are the result of a differenciator, but in Borges, identity is a differenciator which produces differences. If we apply this logic to the last paragraph of "The Task of the Translator," we can say the interlinear version of Scriptures, as the prototype or ideal of all translation, in the form of which the original and the translation must be one, is a differenciator, an endless difference-making machine.

• Journal of English Language & Literature
• /
• v.56 no.2
• /
• pp.237-253
• /
• 2010

In Christopher Marlowe's Cambridge days in the 1580s, the British forward wits were engaged in the curious pursuit of magic and occult philosophy in order to discover the mystery of things. Magic, together with judiciary astronomy, astrology, mathematics, and logic, was one of the most practical disciplines. Marlowe, Shakespeare, and Jonson demonstrate their deep interest in magic and its language of spell and charms in the light of their analogical application to the alchemical theatre. As Shakespeare says that the poet, the lover, and the madman are of the same because they give forms to airy nothing, a magical illusion is, for the three playwrights, similar to the theatrical illusion in that both magic and theatre work in and by a language and both give us sportive pleasures through the deceptio visus. However, while Jonson is rather puritanically antagonistic to the illusive language of alchemy and magic, Marlowe and Shakespeare are attracted to the rapturous nature of the absolute language of magic. Doctor Faustus' indulgence in magic stands for the Marlovian aspiration for the absolute language which allows no discrepancy between thinking and willing, conceiving and actualizing. His uses of spells, charms, anagrams, and magic books are transformed and translated in the play into an alchemical theatre. Faustus is dependant on and bound by his books of magic, as is the actor on the stage. Faustus is the poet condemned from the beginning. Though he is mistakenly thinking that it is he himself that manipulates Mephostophilis the magical agent, it is otherwise. Faustus is a shadow or an actor in the Elizabethan language. He remains a farcical figure during the twenty-four years which are given to him for his sensual dalliance. Marlowe never forgets through his farcical clowning to satirize such Catholic rituals as exorcism and benediction for their illusive theatricalism. The sports of Faustus' playacting and play-directing rise at the last hour to the height of a tragedy. Ironically Marlowe the playwright succeeds as a tragedian at the point where Faustus fails as a magician.

• International conference on construction engineering and project management
• /
• 2022.06a
• /
• pp.304-311
• /
• 2022

Construction inspection is a crucial stage that ensures that all contractual requirements of a construction project are verified. The construction inspection capabilities among state highway agencies have been greatly affected due to budget reduction. As a result, efficient inspection practices such as risk-based inspection are required to optimize the use of limited resources without compromising inspection quality. Automated prioritization of textual requirements according to their criticality would be extremely helpful since contractual requirements are typically presented in an unstructured natural language in voluminous text documents. The current study introduces a novel model for predicting the risk level of requirements using machine learning (ML) algorithms. The ML algorithms tested in this study included naïve Bayes, support vector machines, logistic regression, and random forest. The training data includes sequences of requirement texts which were labeled with risk levels (such as very low, low, medium, high, very high) using the fuzzy logic systems. The fuzzy model treats the three risk factors (severity, probability, detectability) as fuzzy input variables, and implements the fuzzy inference rules to determine the labels of requirements. The performance of the model was examined on labeled dataset created by fuzzy inference rules and three different membership functions. The developed requirement risk prediction model yielded a precision, recall, and f-score of 78.18%, 77.75%, and 75.82%, respectively. The proposed model is expected to provide construction inspectors with a means for the automated prioritization of voluminous requirements by their importance, thus help to maximize the effectiveness of inspection activities under resource constraints.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.5
• /
• pp.108-116
• /
• 1989

The simulator described here-LOSIM(LOgic SIMulator)-was developed to verify the logic design for VLSI(Very Large Scale Integrated) circuits at mixed level. In this paper, we present a modeling approach to obtain more accurate results than conventional logic simulators [5-6,9] for general elements, functional elements, transmission gates and tri-state gates using eight signal values and two gignal strengths. LOSIM has the capability which can perform timing and hazard analysis by using assignable rise and fall delays. We also prosent an efficient algorithm to accurately detectdynamic and static hazards which may be caused by the circuit delays. Our approach is based on five logic values and the scheduled time. LOSIM has been implemented on a UN-3/160 workstation running Berkeley 4.2 UNIX, and the program is written in C language. Static RAM cell and asynchronous circuit are illustrated as an example.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.33-70
• /
• 2014

We still do not know against what histocial/philosophical background and motivation was Tarski's definition of logical consequence introduced, even if it has had such a strong influence. In view of the centrality of the notion of logical consequence in logic and philosophy of logic, it is rather shocking. There must be various intertwined reasons to blame for this uncomfortable situation. There has been remarkable progress achieved recently on the history of analytic philosophy and modern logic. In view of the recent developments of the controversies involved, however, we will have to wait years to resolve all this uneasiness. In this gloomy situation, Douglas Patterson's recent study of Tarski's philosophy of language and logic seems to have the potential to turn out to be a ground breaking achievement. [Patterson (2012)] This article aims at reporting the state-of-the-art in this problem area, and fathoming the future directions of research by examining critically some unclear components of Patterson's study.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.2
• /
• pp.169-180
• /
• 2009

The conventional paper retrieval is the keyword-based search and as a huge amount of data be published, this search becomes more difficult in retrieving information that user want to find. In order to search for information to the user's intent, we need to introduce semantic Web that represents semantics of Web document resources on the Internet environment as ontology and enables the computer to understand this ontology. Therefore, we describe a paper retrieval system through OWL(Ontology Web Language) ontology-based reason in this paper. We build the paper ontology based on OWL which is new popular ontology language for semantic Web and represent the correlation among diverse paper properties as the DL(description logic) query, and then this system infers the correct results from the paper ontology by using the DL query and makes it possible to retrieve information intelligently. Finally, we compared our experimental result with the conventional retrieval.

• Journal of KIISE:Software and Applications
• /
• v.31 no.3
• /
• pp.255-266
• /
• 2004

In the Web-based information systems, separating the business process logic from the data and presentation logic brings about a wide range of advantages. However, this separation is not easily achieved; even the data logic may be not separated from the presentation layer. So, it requires to define an model for business processes, and then to map the model into the user's dynamic interface using the logic separating strategy. This paper presents a stylesheet method to recognize the process by extending XSLT (Extensible Stylesheet Language Transformations), in order to achieve the logic separation. To do this, it provides an specification of the business process, and a scheme that extracts business model factors and their interactions using a Petri-net notation to show the business model into the process point of view. This is an attempt to separate users' interaction from the business process, that is, dynamic components of interaction Web document from the process structure of Web applications. Our architecture consist mainly of an XSLT controller that is extended by a process control component. The XSLT controller is responsible for receiving the user requests and searching the relevant templet rule related to different user requests one by one. Separation of concerns facilities the development of service-oriented Web sites by making if modular. As a result, the development of service-oriented Web sites would be very easy, and can be changed without affecting the other modules, by virtue of the modularization concept. So, it is easy to develop and maintain the Web applications in independent manner.

• Journal of English Language & Literature
• /
• v.57 no.3
• /
• pp.367-389
• /
• 2011

The aesthetic attitude, in general or in particular, represented in matters of taste through aesthetic ideas and value judgments postulates a certain literary logic. And this literary logic reveals itself a sense of morality, philosophy, or moral aesthetic consciousness through the moments of act and thought demonstrated in the characters invented in literary works. Henry James, among many others, offers a very special cultural paradigm for transnational argument because of his diverse ways of shaping transatlantic relations in terms of aesthetic consciousness. And this international paradigm produced varied expressions referring to Henry James as "an American expatriate," "an Anglicized American artist," "a Europeanized aesthete," "a cosmopolitan intelligence," "a bohemian cosmopolitan" to designate his literary career and its characteristics shaped in Europe. Such expressions resonate with Transatlantic Sketches, James's first collection on travel and cultures in 1875 which heralded his long "expatriation" in terms of self-distantiation. James's temperament of mind, far from being always identified with shared values within an ideological framework, never avoided friction with fixed ideas but rather absorbed it fully for another friction which intervenes in his house of fiction. My question arises here regarding his cultural belonging or dislocation: where is the place of his mind or what could be his ultimate destination? In this essay, I'd like to define a place or rather the place of James's literary mind by proving a certain "sympathetic justice" for his literary logic. For this purpose, I'll try to examine: how James used transatlantic perspective, a spatio-temporal assessment to formulate his moral aesthetic consciousness; and how the aesthetic framework functions in assessing his literary logic of aesthetic consciousness. To start with the first argument, I'll analyze some essential aspects of aesthetic attitude of his characters to postulate a persona capable of theorizing James's aestheticism conditioned by the transatlantic context. And for the second argument, I'll examine how the persona functions in formulating a proper cultural stance of James's aesthetic consciousness in transatlantic perspective to illuminate the way of how Jamesian individuality reflects the American mind. This process of theorizing a place of James's own will lead, I hope, to our discovering James's ultimate destination on the assumption that it'll prove or create a certain "sympathetic justice" for his humanist aestheticism, a Jamesian absolute morality.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.7
• /
• pp.875-880
• /
• 2005

OWL(Web Ontology Language) is the Ontology Standard Language and the a lot of Ontologies are being constructed in OWL. But the research on the extension of OWL is also progressing because of the limit of representation power of in OWL language. The W3C suggests the SWRL(Semantic Web Rule Language) based on the combination of OWL and RuleML(Rule Markup Language), which is improved in the representation of rule. Thus, both OWL and SWRL are used for developing ontologies. However, research on inference of ontologies written in both languages is just begun. These day, for the inference of ontologies written in both languages, ontologies and divided in to two parts. The part written in OWL and written in SWRL. For the inference of the part written in OWL, Racer, a DL based inference engine, is used and for the other part Jess, a rule-based engine, is used. In this paper, we will propose three methods for integrated inference of the OWL part and the SWRL part of ontologies using Jess and some tools for ontology inference : OWLJessKB and SWRL Factory