• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.212-218
• /
• 2003

State invariant is a property that holds in every reachable state. It can be used not only in understanding and analyzing complex software systems, but it can also be used for system verifications such as checking safety, liveness, and consistency. For these reasons, there are many vital researches for deriving state invariant from finite state machine models. In previous works every reachable state is to be considered to generate state invariant. Thus it is likely to be too complex for the user to understand. This paper seeks to answer the question `how to simplify state invariant\ulcorner`. Since the complexity of state invariant is strongly dependent upon the size of states to be considered, so the smaller the set of states to be considered is, the shorter the length of state invariant is. For doing so, we let the user focus on some interested scopes rather than a whole state space in a model. Computation Tree Logic(CTL) is used to specify scopes in which he/she is interested. Given a scope in CTL, mixed reachability analysis is used to find out a set of states inside it. Obviously, a set of states calculated in this way is a subset of every reachable state. Therefore, we give a weaker, but comprehensible, state invariant.

• Management & Information Systems Review
• /
• v.29 no.1
• /
• pp.177-205
• /
• 2010

The major purpose of this study is to investigate the relationships between change management characteristics and implementation performance of ERP. In addition, this research examines the moderating effects of organization characteristics as contextual variables on the relationship between change management characteristics and implementation performance. For these purposes, a research model is developed based on the relevant literature reviews of ERP systems and change management theory. The data have been collected from the 148 enterprises which have implemented ERP systems at least one year ago. The respondents were person in charge of ERP system of each corporation. The results of this study are summarized as follows. Firstly, top management concern and support, consultant support goodness, education, and communication have positive influence upon internal performance. Secondly, consultant support goodness and education are positive influence upon external performance. Lastly, organization characteristics including formalization and centralization have partial moderating effect on the relationship between change management characteristics and implementation performance of ERP. From the analyses, this research have identified change management activities according to the organization structural contexts for the successful implementation of ERP.

• The Journal of Society for e-Business Studies
• /
• v.14 no.4
• /
• pp.95-118
• /
• 2009

Virtual community, which is formed on the internet, is expected to serve the needs of members for communication, information, and knowledge sharing. The executives of organizations should consider operating strategy of virtual community as a new innovation or knowledge pool since members share knowledge. However, many virtual community have failed due to members' low willingness to engage and furthermore to share knowledge with other members. Thus, there is a need to understand and foster the determinants of members' loyalty in virtual community. The objective of this study is to develop an integrated model designed to investigate and explain the relationships between contextual factors, personal perceptions of virtual community, usefulness, ease of use, familiarity, members' trust, reputation, community trust, attitude, satisfaction and loyalty. Empirical data was collected from 286 internet users and tested using structural equation modeling to verify the fit of the hypothetical model. The results show that the usefulness, familiarity significantly influences attitude and members' trust is significantly influence the community trust. And I confirmed that ease of use and attitude play the role of determinants in making the satisfaction, community trust and reputation influence the satisfaction that have the direct effect to making the loyalty. The results of the study can be used to identify the loyalty in virtual community. By investigating the impacts of contextual factors and personal perceptions on virtual community, the integrated model better explains behavior than other proposed models. This study might help executives of virtual communities and organizations to manage and promote community trust, attitude, satisfaction to stimulate members' willingness to revisit the community and futhermore enhance their virtual community loyalty.

• The Proceeding of the Korean Institute of Electromagnetic Engineering and Science
• /
• v.8 no.2
• /
• pp.37-55
• /
• 1997

최근 선진국가들에서는 전자파 장애 증후군에 관심이 집중되고 있는데, 전자파에 장기 노출 되는 인구에서 뇌암이나 유방암, 백혈병 등의 발생률이 높다는 보고(Kolmodin-Hedman 등, 1988 ; Demers등, 1991)가 있어서 전자제품의 생산업체는 물론이고 사용자에 대해서도 불안한 관심사가 되 어 있다. 전자파가 생체에 미치는 영향은 열적 효과와 비열적 효과에 의한 것으로 구분된다. Microwave는 약 300MHz에서 300GHz 사이(파장 1m에서 1mm사이)의 주파수를 가지는 전자파로서 이온의 운동이나 쌍극자분자(dipole molecule)들을 진동시키므로서 조직에 열이 발생한다. 열이 과도하게 발생하면 세포 단백질이 응고하게 되는 등 일반적으로 생각할 수 있는 고열로 인한 여러 가지 유해환경이 조직 에 조성될 수 있다. 실제로 고전압의 전자파에 노출된 안구의 수정체에 백내장 등의 병변이 발생한 것 으로 보고된 바 있다(Adey,1981). 일반적으로 전자파의 생체에 대한 작용으로는 이렇듯 조직에 흡수 되는 전자파의 에너지에 의한 열작용이 지배적인 것으로 생각되어 왔다. 그러나 초저주파역대(Extre- mely low frequency, EMF)의 변조 및 펄스파 등의 영향에 관해서도 조직의 온도상승으로는 설명할 수 없는 현상이 보고된 바 있다. 이러한 비열적 효과가 신경계에 끼치는 영향에 대해서는 혈액뇌관문 의 투과성 변화(Oscar와 Hawkins, 1977), 뇌종양 발생, 칼슘대사 이상 및 신경전달물질에 대한 영향 등이 주장(Anderson, 1993)되고 있으나 아직 그 분명한 기전이 밝혀져 있지 않은 상태이다. 또한 그 영향의 평가에 서도 일정한 기준이나 지표가 정해지지 않은 실정이다. 그러므로 신경계에 대한 대체적인 소개와 더불어 전자기파의 영향에 대한 이제까지의 보고를 종합 하고 향후 연구의 방향을 소개하고자 한다.> 이온이 공동 첨가제로 더 적합하다.u(30 .angs. )/CoFe(35 .angs. )/NiO(800 .angs. ) 구조를 갖는 spin-valve 박막은 극대 MR비 6.3%, 유효자기장감응도 약 0.5(%/Oe)를 보여 spin-valve head 재료로 적합함을 알 수 있었다.다.다.다.는 각각 148 meV .angs. $^{2}$, 103.8 meV .angs. $^{2}$와 1.77 * $10^{-6}$ erg/cm, 0.67 * $10^{-6}$ erg/cm 였다.다.자 노인들을 영주권자와 귀화 시민권자의 구분없이 하나의 집단으로 간주하고 분석해 왔던 것을 볼 때, 앞으로의 연구는 이론적으로나 방법론적으로 시민권의 유무가 주거형태에 끼치는 영향도 함께 고려해야 할 것이다.에 나타난 인도의 영향은 여성복식과 남성복식에 있어서 서로 유사점과 차이점이 보이는데, 인도의 영향이 여성복식에 있어서 그 빈도가 더 높고, 종류가 더 다양함을 볼 수 있다. 여성복식에 있어서는 12가지의 다양한 인도복식스타일이 나타났으며, 그중 가장 많이 보이는 스타일은 Indian Shirt/Blouse/Smock/ Dress이며, 그 뒤를 이어 Madras, Indian lowery등을 볼 수 있다. 남성복식애 나타난 7가지의 스타일 중에는 Madras가 가장 빈도가 높으며 그외의 스타일들은 그 빈도가 매우 낮음을 볼 수 있다. 인도의 영향의 정도 (Attribution Categories) 있어서는 여성과 남성복식 모두에 있어서 인도에서 직접 수입된(originated) item이 각각 전체의 90%와 81%를 차지하여, 인도복식의 영향은 받았으나 미국내에서 제작된(attributed and connotated) item 보다 휠씬 더 많은 수를 보였다. 인도복식스타일이 가장

• Journal of the Korea Computer Graphics Society
• /
• v.16 no.4
• /
• pp.25-33
• /
• 2010

With the popularization of digital photography, people are now capturing and storing far more photos than ever before. However, the enormous number of photos often discourages the users to identify desired photos. In this paper, we present a novel method for fast and intuitive browsing through large collections of geo-referenced photographs. Given a set of photos, we construct a hierarchical structure of clusters such that each cluster includes a set of spatially adjacent photos and its sub-clusters divide the photo set disjointly. For each cluster, we pre-compute its convex hull and the corresponding polygon area. At run-time, this pre-computed data allows us to efficiently visualize only a fraction of the clusters that are inside the current view and have easily recognizable sizes with respect to the current zoom level. Each cluster is displayed as a single polygon representing its convex hull instead of every photo location included in the cluster. The users can quickly transfer from clusters to clusters by simply selecting any interesting clusters. Our system automatically pans and zooms the view until the currently selected cluster fits precisely into the view with a moderate size. Our user study demonstrates that these new visualization and interaction techniques can significantly improve the capability of navigating over large collections of geo-referenced photos.

• The KIPS Transactions:PartB
• /
• v.14B no.5
• /
• pp.329-336
• /
• 2007

In this paper we propose both the construction of image DB including information on the shooting location and direction of the captured outdoor images and the efficient retrieval method from the DB. Furthermore, for the automatic extraction of the location and direction information, we suggest to have the Digital Camera equipped with an expandable GPS modulo which has a function to calculate the location and direction and also to utilize GPS IFD tags in the EXIF. Then that will make it possible for us to retrieve quickly and precisely the target image with its geography and other objects on the ground included. In the previous retrieval method based only on the location, we eel some extra useless images due to the fact that all the images in the ROI(Region Of Interest) are searched on one condition, radius. However, with the proposed method in this paper, we can not only retrieve all the images selectively within the ROI but also achieve nearly 100% of precision when we search for the target images within DOI(Direction Of Interest) with another condition, direction, added. Applying this method to an image retrieval system, we can classify or retrieve natural images based on the location and direction information, which, in turn, will be vitally useful to diverse industrial fields such as disaster alarm system, fire and disaster prevention system, traffic information system, and so forth.

• KIPS Transactions on Software and Data Engineering
• /
• v.1 no.1
• /
• pp.7-18
• /
• 2012

It has been studied to support data having multiple properties, called Skyline Query. The skyline query is not exploring data having all properties but only meaningful data, when we retrieve informations in large data base. The skyline query can be used to provide some information about various environments and situations in sensor network. However, the legacy skyline query has a problem that increases the number of comparisons as the number of sensors are increasing in multi-dimensional data. Also important values are often omitted. Therefore, we propose a new method to reduce the complexity of comparison where the large number of sensors are placed. To reduce the complexity, we transfer a CMF(Category Based Member Function) which can identify preference of specific data when interest query from sync-node is transferred to sub-node. To show the validity of our method, we analyzed the performance by simulations. As a result, it showed that the time complexity was reduced when we retrieved information in multiple sensing data and omitted values are detected by great dominance Skyline.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.10
• /
• pp.61-67
• /
• 2016

With the current high distribution rate of smart devices and the recent development of computing technology, user interest in multimedia, such as photos, videos, and so on, has rapidly increased, which is a departure from the simple pattern of information retrieval. Because of these increasing interests, image processing techniques, which generate and process images for diverse applications, are being developed. In entertainment recently, there are some techniques that present a celebrity's image as a mosaic comprising many small images. In addition, studies into the mosaic technique are actively conducted. However, conventional mosaic techniques result in a long processing time as the number of database images increases, because they compare the images in the databases sequentially. Therefore, to increase search efficiency, this paper proposes an algorithm to generate a mosaic image using a discrete cosine transform (DCT) hash. The proposed photo mosaic-generation algorithm is composed of database creation and mosaic image generation. In database creation, it first segments images into blocks with a predefined size. And then, it computes and stores a DCT hash set for each segmented block. In mosaic generation, it efficiently searches for the most similar blocks in the database via DCT hash for every block of the input image, and then it generates the final mosaic. With diverse experimental results, the proposed photo mosaic-creation algorithm can effectively generate a mosaic, regardless of the various types of images and sizes.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.5
• /
• pp.627-635
• /
• 2019

A programmable drone is a drone developed not only to experience the basic principles of flight but also to control drones through Arduino-based programming. Due to the nature of the training drones, the main users are students who are inexperienced in controlling the drones, which often cause frequent collisions with external objects, resulting in high damage to the drones' frame. In this study, the structural stability of the drone was evaluated by means of a structural dynamics based collision simulation for educational drone frame. Collision simulations were performed on three cases according to the impact angle of $0^{\circ}$, $+15^{\circ}$ and $-15^{\circ}$, using an analytical model with approximately 240,000 tetrahedron elements. Using ANSYS LS-DYNA, which provides excellent functions for the simulation of the dynamic behavior of three-dimensional structures, the stress distribution and strain generated on the drone upper, the drone lower, and the ring assembly were analyzed when the drones collided against the wall at a rate of 4 m/s. Safety factors resulting from the equivalent stress and the yield strain were calculated in the range of 0.72 to 2.64 and 1.72 to 26.67, respectively. To ensure structural stability for areas where stress exceeds yield strain and ultimate strain according to material properties, the design reinforcement is presented.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2019.05a
• /
• pp.313-315
• /
• 2019

Although Korea's fashion market has negative growth, it has been growing again since 2018. This phenomenon means that people are becoming more interested in fashion. As interest in fashion grows, people visit various community sites for reference to find a suitable coordination for themselves. Most community sites, however, are manually categorizing each garment. Not only do these tasks take a lot of time, but they also make it difficult to search for multiple clothing at the same time. In other words, I can't choose what I want at the same time, and if I choose what I want, I have to look at what the model is wearing and refer to it. The problem with this may not help because the coordination in which the model provided is worn is more likely to be the one that the user does not want. In this paper, when the image is uploaded to improve the problem, the clothing is analyzed with AI analysis model and automatically classified and stored. Therefore, not only can you search for one clothes in the existing way, but you can also search for multiple clothes at the same time. The service is expected to allow more people to easily find and refer to the code for themselves.