• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• The Journal of Internal Korean Medicine
• /
• v.39 no.6
• /
• pp.1105-1115
• /
• 2018

Objectives: The aim of this review is to investigate clinical studies on Oriental medicine treatment for aphasia after cerebrovascular disease. Methods: Using the keywords 'Aphasia', 'Oriental medicine', 'Stroke' 'Cerebral infarction', 'Cerebral hemorrhage', and 'Clinic', we searched domestic databases, including "NDSL (National Discovery for Science Leaders)", "Korean Traditional Knowledge Portal", "OASIS (Oriental Medicine Advanced Searching Integrated System)", and "RISS (Research Information Sharing Service)". Each keyword was not searched individually, but combined in various ways. To investigate recent trends, we limited our search to papers published after 2000. Papers that did not include a specific treatment method or did not match the subject "Aphasia after stroke" were excluded. Results: Using the searching method, 13 studies were found. Of these, 12 studies were in the form of case reports, while one was in the form of a non-randomized controlled trial. These studies showed positive results for the use of Oriental medicine in terms of the Korean version of the Western Aphasia Battery (K-WAB), the evaluation form on functional performance capability and accuracy of articulatory organs developed by Lee, aphasia screening test refered in 'Assessment in Speech-Language Pathology' and adapted properly to Korean, the Communicative Ability in Daily Living Test (CADLT), the Korean Version-Boston Naming Test (K-BNT), and language assessment items included in CNS, and NIHSS. Conclusions: Of the 12 case reports, 11 studies showed positive results of the use of Oriental medicine for treatment of aphasia after cerebrovascular disease. However, more sophisticated and large-scale clinical research on aphasia should be conducted.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.36 no.6
• /
• pp.499-505
• /
• 2018

Most of 3D indoor spatial data recently constructed by many projects merely focus on the visualization rather than geospatial information applications. The 3D indoor data for visualization in 3DS or COLLADA format are based on triangular mesh representation. In order to implement meaningful applications, we need however more meaningful information in 3D indoor spatial data than visualization data in triangular meshes. For this reason, an OGC (Open Geospatial Consortium) standard, called IndoorGML(Indoor Geographic Markup Language) was published to meet the requirements on 3D indoor spatial data for several geospatial applications for indoor space more than simple visualization. It means that it becomes a critical functional requirement to convert triangular mesh representation in 3DS or COLLADA to IndoorGML. In this paper we propose a framework of the conversion, which consists of geometric, topological, and semantic construction of data from triangular meshes. An experiment carried out to validate the proposed framework is also presented in the paper.

• Journal of English Language & Literature
• /
• v.58 no.2
• /
• pp.217-247
• /
• 2012

This essay attempts to read Melville's Moby-Dick as a prefiguration of American pragmatism, especially Jamesian version of it. Underlying this project is the assumption that the American Romance and James's pragmatism partake in the enduring tradition of American thoughts and imagination. Despite the commonality in their roots, the continuity between these two products of American culture has received few critical assessments. The American Romance has rarely been discussed in terms of American pragmatism in part because critics have tended to narrowly define the latter as a kind of relativistic philosophy equivalent to practical instrumentalism, political realism and romantic utilitarianism. Consequently, they have favored literary works in the realistic tradition for their textual analyses, while eschewing a more imaginative genre like the American Romance. My contention is that James's version of pragmatism is a future oriented pluralism which is unable to dispense with the power of imagination and the talent for seeing unforeseen possibilities inherent in nature and culture. James's pragmatism is in tune with the American Romance in that it savours the attractions of alternative possibilities created by the genre in which the imaginary world is imbued with the actual one. The pragmatic impulse in Moby-Dick finds its finest expression in the words and acts of Ishmael. Through this protean narrator, Melville renders the text of Moby-Dick symbolic, fragmentary and thereby pluralistic in its meaning. With his rhetoric of incompletion and by refraining from totalizing what he experiences, Ishmael shuns finality in truth and entices the reader to join his intellectual journey with a non-foundational notion of truth and meaning in view. Ishmael also envisages pragmatists' beliefs that experience is fluid in nature and the universe is in a constant state of becoming. Yet Ishmael as the narrator of Moby-Dick is more functional than foundational.

• Journal of English Language & Literature
• /
• v.56 no.5
• /
• pp.773-796
• /
• 2010

This essay examines, first, the possibility and limitation of Asian America as a category of identity and its political and cultural implications through various theoretical perspectives. Here, by closely reading David Mura's poem "The Colors of Desire," I will argue that "Asian America" as a category of identity is now on the verge of falling apart and its politics of identity is no longer an effective way of fighting back against racism in the US. It is because Asian America is indeed what might be called a historical block, a product of ad-hoc coalition between different ethnic groups historically situated and constructed. In this sense, it is a kind of phantasmal object that is marked by practical absence. This fabricatedness inherent in Asian America as an identity category signifies that it has no essence that is meant to define the group in a transcendental way. The internal totality and coherence of that identity can thus be achieved only by suppressing differences between various ethnic groups and positing a single 'authentic' Asian American identity and culture. More dangerously, according to Viet Nguyen, such idealization of a single subject position can reinforces ideological rigidity that might threaten the ability of Asian America to represent itself in a unified fashion. Then, he predicts, Asian America will lose its cohesive force and fall apart. Eventually, every group within Asian America will be ethnicized. The only way of escaping from this bleak situation, as Vincent Cheng argues, is to foregroud the fabricatedness and ad-hocness of Asian America and to perform "inauthenticity," because Asian America is nothing but a functional category that is marked by absence of essence or authenticity. If Asian Americans admit that they have no essence and that they are essentially inauthentic, the practice of performing inauthenticity can become what we might call an alternative Asian American culture and identity.

• International Journal of Advanced Culture Technology
• /
• v.5 no.4
• /
• pp.31-37
• /
• 2017

This study was initiated with the aim of suggesting a further step in the program of literary therapy by revealing the mechanism by which the body heals through the discharge of neural network codes. Sentence is encoded as neural signals in our body as it is being read. If the neural networks in the human body are activated and created, the code in which the neural networks are encoded is a code composed of sentences. That is, Sentence is a code. And if the Sentence connects to the human body again and activates the human neural networks, it can be said that Sentence is encoded. At this time, the relation of "neural network codes = Sentence codes" is established. In other words, human narrative and literary narratives are the mediums that convey the same kinds of neural network codes. Cho Ji-Hoon's Poem "White Night" draws sadness through the path of loneliness in 1strophe. Through the Sentence of Loneliness, it activates neural network codes of sadness. 2strophe for the 'pure white snow' is the encoding of the Sentence. In 3strophe, the sentence for 'sadness' is encoded. This flow causes a healing mechanism in this Poem, because the neural network codes about the loneliness, sadness, and eyes of the human body are passed to the other. Here, the other is "White Night". In the future, it is expected that more effective healing results will be obtained if a literary therapy program on the encoding of the sentence of Cho Ji-Hoon's Poem is performed in the future.

• Korean Institute of Interior Design Journal
• /
• v.27 no.1
• /
• pp.109-116
• /
• 2018

Prairie style houses in first stages of Frank Lloyd Wright's architecture activity pay a leading role in the process of house modernization as reflecting social and economic circumstances of the time based on traditional house style of the States. Wright's first work after retiring from L. Sullivan's office, Winslow house in 1983 is pioneering work predicting prairie house. This is because this house has only one modern architecture language of Wright and follow no style prevailing of the time. So, a researcher analyse Winslow house within the framework of functional thinking and new formative value creation in the modernization process of western house. Through this, The goal of this study is to find out modern characteristics and the meaning of Winslow house in modernization process prior to the 1900s. Firstly, the followings are modern characteristics of Winslow house. First, Winslow house has original planning breaking from custom based on modern functional and reasonable thoughts, and has practical space reflecting resident's inner demand. Second, Winslow house has modern new plastic value through original exterior breaking from custom and integrated shape of inner-outer space and structure. Secondly, the followings are the meaning of Winslow house in modernization process prior to the 1900s. First, Wright intend to suggest directions of residence modernization through Winslow house before designing Prairie style houses in earnest. Second, mixing of modern vocabulary and eclecticism show a sign of residence modernization process on the time. Third, inner-outer flowing space, opening space concept of Winslow house has innovative meanings predicting spacial characteristics of modern architecture.

• Korean Institute of Interior Design Journal
• /
• v.23 no.3
• /
• pp.56-63
• /
• 2014

Furniture has been developed in pursuit of human convenience and comfort, but nowadays it does not consider human users and gradually loses the essence of furniture. Especially furniture design that disregards the relation with space loses both the meaning and purpose of furniture. In this regards, it is necessary to understand the essence of furniture design and establish a design direction for future progress. Based on the relation between furniture and space, this paper intended to study on John Pawson's works that pursued the essence of design focusing on users, and propose a direction in a sense of real meaning for modern furniture design after exploring the characteristic of the furniture design of John Pawson. The study method of this paper was to investigate the design language of John Pawson and analyze his furniture in the morphological structural, functional, and material aspects. Based on such analysis, this study investigated the characteristics of the furniture design and found out what the core of the design that he pursued was. The scope of the study included the Independent Furniture that was restricted furniture collections of Driade and Spatial Furniture designed and installed at the stage of space construction. The study result showed that the design of John Pawson considered 'the suitability to a specific place' as important factor and furniture was planned at the stage of planning space. Each independent furniture defines all spaces in the morphological, lay-out and functional aspects of furniture and emphasizes their own property. As Spatial Furniture shares the function of spatial composition element, Pawson's furniture can be all called Spatial Furniture.

• Journal of Internet Computing and Services
• /
• v.8 no.3
• /
• pp.75-83
• /
• 2007

Multithreaded model is an effective parallel system in that it can reduce the long memory reference latency time and solve the synchronization problems. When compiling the non-strict functional programs for the multithreaded parallel machine, the most important thing is to find an set of sequentially executable instructions and to partitions them into threads. The existing partitioning algorithm partitions the condition of conditional expression, true expression and false expression into the basic blocks and apply local partitioning to these basic blocks. We can do the better partitioning if we modify the definition of the thread and allow the branching within the thread. The branching within the thread do not reduce the parallelism, do not increase the number of synchronization and do not violate the basic rule of the thread partitioning. On the contrary, it can lengthen the thread and reduce the number of synchronization. In the paper, we enhance the method of the partition of threads by combining the three basic blocks into one of two blocks.

• Asian Pacific Journal of Cancer Prevention
• /
• v.15 no.24
• /
• pp.10797-10801
• /
• 2015

Background: To explore the molecular mechanisms of metastatic osteosarcoma (OS) by using the microarray expression profiles of metastatic and non-metastatic OS samples. Materials and Methods: The gene expression profile GSE37552 was downloaded from Gene Expression Omnibus database, including 2 human metastatic OS cell line models and 2 two non-metastatic OS cell line models. The differentially expressed genes (DEGs) were identified by Multtest package in R language. In addition, functional enrichment analysis of the DEGs was performed by WebGestalt, and the protein-protein interaction (PPI) networks were constructed by Hitpredict, then the signal pathways of the genes involved in the networks were performed by Kyoto Encyclopaedia of Genes and Genomes (KEGG) automatic annotation server (KAAS). Results: A total of 237 genes were classified as DEGs in metastatic OS. The most significant up- and down-regulated genes were A2M (alpha-2-macroglobulin) and BCAN (brevican). The DEGs were significantly related to the response to hormone stimulus, and the PPI network of A2M contained IL1B (interleukin), LRP1 (low-density lipoprotein receptor-related protein 1) and PDGF (platelet-derived growth factor). Furthermore, the MAPK signaling pathway and focal adhesion were significantly enriched. Conclusions: A2M and its interactive proteins, such as IL1B, LRP1 and PDGF may be candidate target molecules to monitor, diagnose and treat metastatic OS. The response to hormone stimulus, MAPK signaling pathway and focal adhesion may play important roles in metastatic OS.