• Title/Summary/Keyword: 존재 증명

Search Result 529, Processing Time 0.025 seconds

Computing Method for The Number of The Interaction Strength Based on Software Whitebox Testing (소프트웨어 화이트박스 테스트의 교호 강도 수 기반 테스트 방법)

  • Choi, Hyeong-Seob;Park, Hong-Seong
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.46 no.5
    • /
    • pp.29-36
    • /
    • 2009
  • Cost and Time for software test is gradually increasing as the software complexity increases. To cope with this problem, it is very important to reduce the number of test cases used in the software test. The interaction strength number is especially important in decision of the number of test cases for the unit test, where the interaction strength number means the number of arguments which affect the results of a function by the analysis of their combination used in source code of the function. This paper proposes the algorithm that computes the number of the interaction strength, where analyzes the patterns used in the source code of a function and increase its number when the pattern matches one of the specified patterns. The proposed algorithm is validated by some experiments finding coverage and the number of fault detection.

Noninformative Priors for the Ratio of Parameters in Inverse Gaussian Distribution (INVERSE GAUSSIAN분포의 모수비에 대한 무정보적 사전분포에 대한 연구)

  • 강상길;김달호;이우동
    • The Korean Journal of Applied Statistics
    • /
    • v.17 no.1
    • /
    • pp.49-60
    • /
    • 2004
  • In this paper, when the observations are distributed as inverse gaussian, we developed the noninformative priors for ratio of the parameters of inverse gaussian distribution. We developed the first order matching prior and proved that the second order matching prior does not exist. It turns out that one-at-a-time reference prior satisfies a first order matching criterion. Some simulation study is performed.

Development of the Back Analysis Technique Using Incremental Displacements Measured in a Multistep Excavation (다단계 터널굴착시 계측된 증분변위를 이용한 역해석 기법의 개발)

  • 이연규;이정인
    • Geotechnical Engineering
    • /
    • v.13 no.1
    • /
    • pp.123-136
    • /
    • 1997
  • By applying the finite element theory which is capable of handling the geometrically altered structure in a successive manner, the linear relationship between incremental displacements and the magnitude of the initial stress field was derived. Based on this relationship, back analysis code having the capability of dealing multi-step excavation problem was built and verified With this back analysis code, the measurements of the incremental displacements in a particular excavation step make it possible to back-calculate the initial stress state. illustrative examples showed the applicability of this code to a practical problem.

  • PDF

The Emotional Effect of Emoticon on Interpreting Text Message (메시지 해석에 이모티콘이 미치는 정서적 효과 - 휴대전화 문자 메시지 상황을 중심으로)

  • Ahn, Won-Mi;Kim, Jong-Wan;Han, Kwang-Hee
    • Journal of the HCI Society of Korea
    • /
    • v.5 no.1
    • /
    • pp.11-18
    • /
    • 2010
  • Cell phone users frequently send and receive text messages with emoticons in their everyday lives, but emoticon and its emotional effect on message in mobile context has not been focused on. The purpose of this study is to investigate the emotional effect of emoticons on interpretation of text message considering valent texts and emoticons. Study 1 showed the effect of valent emoticons on neutral message, and also revealed that existence of emoticon, regardless of its valence, decreases rigidness and increases familiarity of message. In Study 2 that used positive and negative text messages, we found that emoticon still affects assessing sender's mood state and emotion. Result of interaction between valences of text and emoticon showed that participants in condition of incongruent pairs felt more sarcasm.

  • PDF

Digital Watermarking using Multi-resolution Characteristic of 2D Cellular Automata Transform (다 해상도 특성을 갖는 2D 셀룰러 오토마타 변환을 이용한 디지털 워터마킹)

  • Piao, Yong-Ri;Kim, Seok-Tae
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.34 no.1C
    • /
    • pp.105-112
    • /
    • 2009
  • In this paper, we propose a digital watermarking method using Multi-resolution Characteristic of 2D CAT (2D cellular automata transform). Firstly, we select the gateway values to generate a basis function and the basis function transforms images into cellular automata space. Then, we embed the random bit sequence as watermark in specific parts of cellular automata transform coefficients. The proposed method not only verifies higher fidelity than the existing method but also stronger stability on JPEG lossy compression, filtering, sharpening and noise through tests for robustness. Moreover, the proposed scheme allows only one 2D CAT basis function per gateway value. Since there are $2^{96}$ possible gateway values.

Cooperative Relaying Scheme Using Multiple Relays in Two-Way Relay Network (양방향 중계 네트워크에서 다중 중계기를 이용한 협력 중계 기법)

  • Park, Ji-Hwan;Kong, Hyung-Yun
    • The Journal of Korean Institute of Electromagnetic Engineering and Science
    • /
    • v.21 no.7
    • /
    • pp.815-822
    • /
    • 2010
  • Two-way relaying scheme based on relay selection can not only achieve higher rate but also get the selection diversity gain according to the number of relays. However the scheme can not achieve combining gain because it does not consider the direct link between users. In this paper, we propose, with multiple relays, opportunistic cooperative two-way relaying scheme and incremental cooperative two-way relaying scheme which can achieve both selection diversity gain and combining gain. Simulation results show that proposed scheme outperform the conventional scheme by achieving both combining gain and selection diversity gain according to the number of relays.

A Method of Robust Stabilization of the Plants Using DNP (DNP을 이용한 플랜트의 강인 안정화 기법)

  • Cho, Hyun-Seob
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.9 no.6
    • /
    • pp.1574-1580
    • /
    • 2008
  • In this paper, to bring under robust and accurate control of auto-equipment systems which disturbance, parameter alteration of system, uncertainty and so forth exist, neural network controller called dynamic neural processor(DNP) is designed In order to perform a elaborate task like as assembly, manufacturing and so forth of components, tracking control on the trajectory of power coming in contact with a target as well as tracking control on the movement course trajectory of end-effector is indispensable. Also, the learning architecture to compute inverse kinematic coordinates transformations in the Plants of auto-equipment systems is developed and the example that DNP can be used is explained. The architecture and learning algorithm of the proposed dynamic neural network, the DNP, are described and computer simulations are provided to demonstrate the effectiveness of the proposed learning method using the DNP.

GPS Carrier Multipath Estimation While Attitude Determination (자세결정시의 GPS 반송파 다중경로 오차 추정)

  • Lee, Eun-Sung;Chun, Se-Bum;Lee, Young-Jea;Kang, Tea-Sam;Jee, Gyu-In
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.33 no.3
    • /
    • pp.65-70
    • /
    • 2005
  • Incorrect ambiguity integer of GPS make a large error on attitude determination. In this paper one method is suggested for estimating the multipath of GPS carrier measurement while attitude determination. The multi-antenna system consists of 4 antennas have the same clock error help to make attitude determination effectively. If the distance between antennas is a half wavelength, it is not necessary to search the ambiguity integer and the multipath of GPS carrier measurement can be estimated. The results of the simulation are shown and analyzed.

Single-Stage High Power Factor Converter for 90-260Vrms Input (90-260Vrms 입력 범위를 갖는 단일 전력단 고역률 컨버터)

  • 김학원;문건우;조관열;윤명중
    • The Transactions of the Korean Institute of Power Electronics
    • /
    • v.7 no.1
    • /
    • pp.18-29
    • /
    • 2002
  • Generally, the single-stage power factor corrected converter has a problem of high dc link voltage. In the case of high line voltage, especially, the dc link voltage is verb high under the light load condition. To solve this problem, a new single stage power factor corrected AC/DC converter has been proposed. The proposed converter has huck topology as a power factor corrector. To prove feasibility of the proposed converter, the design example of the proposed converter has been presented. The design considerations and experimental results for the proposed converter have been shown. The experimental results show that the line input current harmonics can meet IEC1000-3-2 Class D requirements for the range of line input voltage from 90Vrms to 260Vrms.

Mining Frequent Contiguous Sequence Patterns in Biological Sequences (생물학적 서열들에서 빈발한 연속 서열 패턴 마이닝)

  • Kang, Tae-Ho;Yoo, Jae-Soo
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2007.06b
    • /
    • pp.27-31
    • /
    • 2007
  • 생물학적 서열 데이터는 크게 DNA 염기 서열과 단백질 아미노산 서열이 있다. 이들 서열은 일반적으로 많은 수의 항목들을 가지고 있어 그 길이가 매우 길다. 생물학적 데이터 서열들에는 보통 빈번하게 발생하는 부분 연속 서열들이 존재하는데 이들 서열들을 찾아내는 것은 다양한 서열 분석에서 유용하게 사용될 수 있다. 이를 위해 초기에는 Apriori 알고리즘을 기반으로 하는 순차패턴 마이닝 알고리즘들을 활용하는 방법들이 많이 제시되었다. 그중 PrefixSpan 알고리즘은 Apriori기반의 가장 효율적인 순차패턴 마이닝 기법이다. 하지만 이 알고리즘은 길이-1인 빈발 패턴들로부터 서열 패턴을 확장해나가는 방식으로 길이가 긴 연속 서열을 포함하는 생물학적 데이터 서열들에 대한 검색방법으로는 적합하지 않다. 최근에는 기존의 PrefixSpan방식을 이용하면서도 반복적인 처리과정을 줄인 MacosVSpan이 제안되었다. 하지만 이 알고리즘 또한 원본 데이터베이스보다 크기가 큰 별도의 프로젝션 데이터베이스를 사용함으로서 많은 비용부담이 발생하고 특히 길이가 긴 서열에 대해서는 더욱 효율적이지 못하다. 이에 본 논문에서 많은 양의 생물학적 데이터 서열들로부터 빈번한 연속서열을 고정길이 확장 트리를 이용하여 효과적으로 찾아내는 방법을 제안한다. 그리고 다양한 환경에서 실험을 통해 제안하는 방식이 MacosVSpan알고리즘에 비해 검색 성능이 우수함을 증명한다.

  • PDF