• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.6
• /
• pp.288-295
• /
• 2005

Multi-signcryption scheme is an extension of signcryption scheme for multi-signers performing together the signcryption operation on messages, and it provides useful cryptographic functions such as confidentiality and authenticity for the sound circulation of messages through the Internet. In this paper, we show the weaknesses of the previous multi-signcryption schemes. And then we propose a new multi-signcryption scheme that improves the weaknesses and the efficiency of the previous schemes. Our scheme efficiently provides message flexibility, order flexibility, message verifiability, order verifiability, message confidentiality, message unforgeability, non-repudiation and robustness. Therefore, it is suitable for protecting messages and multi-signers from malicious attacks in the Internet.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.65-72
• /
• 2009

Component based development has increasingly become important in the software industry. However, in the current component based development approach with UML, the absence of behavioral description of components brings about a cost problem which causes semantic errors on the testing phase. Accordingly we cannot grasp the usage pattern of component by its provided interfaces which refer to an abstraction of software component. And we cannot guarantee the behavioral conformance of the provided and required interfaces of components. In order to solve these problems, we describe the behaviors of component interfaces by state machine diagram and guarantee their behavior conformance at the modeling phase. We also propose a method to guarantee the behavior conformance of component interfaces with concept of observation equivalence and invocation consistency. And we provide an analyzing tool which checks interface behavior conformance.

• Annual Conference on Human and Language Technology
• /
• 2022.10a
• /
• pp.16-21
• /
• 2022

사전학습 말뭉치는 위키백과 문서 뿐만 아니라 인터넷 커뮤니티의 텍스트 데이터를 포함한다. 이는 언어적 관념 및 사회적 편향된 정보를 포함하므로 사전학습된 언어 모델과 파인튜닝한 언어 모델은 편향성을 내포한다. 이에 따라 언어 모델의 중립성을 평가할 수 있는 지표의 필요성이 대두되었으나, 아직까지 언어 인공지능 모델의 정치적 중립성에 대해 정량적으로 평가할 수 있는 척도는 존재하지 않는다. 본 연구에서는 언어 모델의 정치적 편향도를 정량적으로 평가할 수 있는 지표를 제시하고 한국어 언어 모델에 대해 평가를 수행한다. 실험 결과, 위키피디아로 학습된 언어 모델이 가장 정치 중립적인 경향성을 나타내었고, 뉴스 댓글과 소셜 리뷰 데이터로 학습된 언어 모델의 경우 정치 보수적, 그리고 뉴스 기사를 기반으로 학습된 언어 모델에서 정치 진보적인 경향성을 나타냈다. 또한, 본 논문에서 제안하는 평가 방법의 안정성 검증은 각 언어 모델의 정치적 편향 평가 결과가 일관됨을 입증한다.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.16 no.2
• /
• pp.73-82
• /
• 2017

In this research, we tried to check the applicability of a Chow test to the linear models which are generated in the process of transportation planning or traffic flow analyses. The Chow test is a very popular statistical method which is being used to see if the coefficients from two separate linear regression models are equal or not. In order to prove the effectiveness of the Chow test, we found the linear relationships between speed and density under the situations such as driving in daytime and in nighttime on a rainy day. Based on the two months of Joong-Bu Expressway traffic data, we proved that the Chow test is useful to testify the similarity between two linear regression models. And this statistical tool seems to be able to have a very important role in traffic flow analysis or in transportation planning process. Finally, we expect the Chow test be implemented even to the non-linear regression models or to the multi-variate models.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.31 no.2A
• /
• pp.71-77
• /
• 2011

In this paper elasto-plastic dynamic behavior of solid is analyzed by using smoothed particle hydrodynamics (SPH) without tensile instability which caused by a clustering of SPH particles. In solid body computations, the instability may corrupt physical behavior by numerical fragmentation which, in some cases of elastic or brittle solids, is so severe that the dynamics of the system is completely wrong. The instability removed by using an artificial stress which introduces negligible errors in long-wavelength modes. Applications to several test problems show that the artificial stress works effectively. These problems include the collision of rubber cylinders, fracture and crack of plate.

• Journal of KIISE
• /
• v.43 no.2
• /
• pp.143-151
• /
• 2016

Data deduplication is an important technique for cloud storage savings. These techniques are especially important for encrypted data because data deduplication over plaintext is basically vulnerable for data confidentiality. We examined encrypted data deduplication with the aid of a key issuing server and compared Convergent Encryption with a technique created by M.Bellare et al. In addition, we implemented this technique over not only Dropbox but also an open cloud storage service, Openstack Swift. We measured the performance for this technique over Dropbox and Openstack Swift. According to our results, we verified that the encrypted data deduplication technique with the aid of a key issuing server is a feasible and versatile method.

• Journal of Digital Convergence
• /
• v.14 no.3
• /
• pp.465-471
• /
• 2016

This study intends to figure out the relationship between autonomy and achievement motivation of the university players. For this purpose, Survey was performed to Seoul and Metropolitan area's 25 sports 396 Players., And using SPSS 18 and AMOS program descriptive statistics, exploratory factor analysis, confirmatory factor analysis, reliability analysis were conducted. Based on purified data through the process, the relationship between autonomy and achievement motivation was verified with correlation analysis and regression analysis. As a result, autonomy was recognized by male player higher than female player, and in goal-orientation of the access tendency of achievement goal orientation, male player showed higher scores. And in mastery-avoidance of avoidance, female player showed higher scores and in performance-avoidance, male player showed higher scores. According to regression analysis, autonomy affects mastery-approach and achievement goal orientation of the performance-approach.

• Korean Journal of Cognitive Science
• /
• v.24 no.2
• /
• pp.133-171
• /
• 2013

The gist of a scene can be identified in less than 100msec, and violation in the gist can influence the way to allocate attention to the parts of a scene. In other words, people tend to allocate more attention to the object(s) inconsistent with the gist of a scene and to have better memory of them. To investigate the effects of contextual consistency on the attention allocation and object memory, two experiments were conducted. In both experiments, a $3{\times}2$ factorial design was used with scene presentation time(2s, 5s, and 10s) as a between-subject factor and object-background contextual consistency(consistent, inconsistent) as a within-subject factor. In Experiment 1, eye movements were recorded while the participants viewed line-drawing scenes. The results showed that the eye movement patterns were different according to whether the scenes were consistent or not. Context-inconsistent objects showed faster initial fixation indices, longer fixation times, more frequent returns than context-consistent ones. These results are entirely consistent with those of previous studies. If an object is identified as inconsistent with the gist of a scene, it attracts attention. Furthermore, the inconsistent objects and their locations in the scenes were recalled better than the consistent ones and their locations. Experiment 2 was the same as Experiment 1 except that a dual-task paradigm was used to reduce the amount of attention to allocate to the objects. Participants had to detect the positions of the probe occurring every second while they viewed the scenes. Nonetheless, the result patterns were the same as in Experiment 1. Even when the amount of attention to allocate to the scene contents was reduced, the same effects of contextual inconsistency were observed. These results indicate that the object-background contextual consistency has a strong influence on the way of allocating attention and the memory of objects in a scene.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.575-578
• /
• 2009

자연하천에 적용가능한 수치모형은 지형의 변화를 합리적으로 계산할 뿐 아니라, 하도의 초기상태가 마름상태이거나 혹은 계산과정 중에 마름상태가 나타나더라도 충분히 계산할 수 있을 만큼 안정적이어야 한다. 본 연구에서는 비정형 및 비구조적 격자를 사용하여 지형변화를 고려한 흐름해석의 정확성과 효율성을 높이기 위해 보존변수의 재구성을 수면경사법과 MUSCL 기법을 연계하였으며, 하상경사항은 발산정리를 이용하여 이산화 하였다. 개발 모형의 정확성, 적용성 그리고 보존특성 등을 검증하기 위하여 해석해가 존재하는 불규칙 하상이 존재하는 하도 및 실험자료가 존재하는 실험하도에서의 댐 및 제방 붕괴와 같은 다양한 조건의 흐름에 적용하였다. 그리고 자연하천에 대한 적용 및 검증을 위해 Malpasset 댐 붕괴 모의를 수행하여 계산결과를 관측자료와 비교하였다.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1185_1186
• /
• 2009

철도신호시스템은 열차들의 운행간격과 열차진로를 제어하는 기능을 담당함으로써 열차를 안전하고 효율적으로 운영하는 데 있어 핵심적인 역할을 수행한다. 철도신호시스템의 고장은 열차운행중지를 비롯하여 열차충돌이나 탈선등과 같은 치명적인 사고로 직결될 수 있기 때문에 시스템의 신뢰성과 안전성이 매우 중요하다. 현재까지 철도신호시스템에서는 지존의 지상신호방식이 많이 사용되어 왔으나 지상에 설치된 신호기 현시상태를 기관사가 확인하여 열차속도를 제어함으로써 기관사의 인적 오류 등의 사고 위험이 있다. 아울러 시스템의 수명이 다 되어 시스템절체의 필요성이 있다. 이에 따라 최근에는 컴퓨터 및 통신기술을 이용하여 열차속도제어 정보를 차상으로 송신하고, 차량에서 열차속도를 제어하는 차상신호방식이 도입 적용 되어 효과를 보고 있다. 따라서 수명이 다된 신호시스템을 교체하기 위하여 승객을 위한 운행서비스를 하면서 새로운 방식으로 절체 하는 것이 필요하다. 이에 본 논문에서는 시스템 절체과정의 절차와 시스템검증을 위한 일련의 과정중 간섭의 문제점을 시험평가를 통해 확인하였다.