• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.250-252
• /
• 2012

안전, 보안 필수 시스템들과 같이 정확성(Correctness)와 고 무결성(High-Integrity)이 필수인 시스템 개발을 위해 오류의 근원인 결점들을 초기에 제거하고 예방하는 Correctness by Construction 개발방법론이 제시되었다. 하지만 Correctness by Construction 방법론에서 제어정보를 표현하는 액티비티가 존재 하지 않아 반응형 시스템과 같이 제어부분이 중요한 시스템에 적용하기가 쉽지 않다. 본 논문에서는 Correctness by Construction프로세스에 제어 정보을 명세, 개발하는 프로세스를 추가한 Correctness by Construction 프로세스를 제안한다. 또한 철도제어 시스템 중 거리제어모듈 개발에 적용을 하여 사례 연구를 수행한다.

• 말소리와 음성과학
• /
• 제3권3호
• /
• pp.63-68
• /
• 2011

This study investigates how Korean students employ acoustic-phonetic cues in perceiving word boundaries of near-homophonous English phrases. For this study, 60 Korean college students participated in the experiment of discriminating word boundaries for 42 pairs of stimuli comprising the allophonic cues of aspiration and glottal stop. Results were analysed in terms of the correctness of responses and the correlation between correctness and confidence. Results showed that stimuli pairs of the glottal stop cue give a higher correctness but those of aspiration a relatively lower correctness. Comparison of the results of this study with those of the previous studies of English and Japanese speakers showed that Korean and Japanese speakers of English give a substantially lower correctness than native speakers of English, while Korean learners of English as a foreign language provide a lower correctness than Japanese speakers of English as a second language.

• 경영과정보연구
• /
• 제4권
• /
• pp.573-593
• /
• 2000

The purpose of this study is to investigate the level of correctness accounting information with the two alternative forms of presenting information outputs. Specifically two different methods of presenting accounting information, the table form and the graphical form were employed to test the level of correctness of the accounting information user's decision making. Using college students as a surrogate decision maker, this research have found that there is no statistically significant difference in the correctness of decision making between the two groups, one group using the table form of accounting information and another group using the graphical form of accounting information.

• 대한음성학회지:말소리
• /
• 제61호
• /
• pp.1-14
• /
• 2007

The purpose of this study was to analyze the relationship between segmental correctness and speech intelligibility in adults with hearing impairment. Segmental correctness was measured by percentage of correct vowels(PCV) and percentage of correct consonants(PCC). The results were shown as follows: First, PCV and PCC could predict speech intelligibility with statistical significance. Second, in consonant classes divided by place and manner of articulation, the PCC of plosives and alveolar sounds were significant predicting variables in each group ($R^{2}=50%;\;59%$). According to this study, the importance of segmental correctness on speech intelligibility of adults with hearing impairment was confirmed. Also correctness of plosive sounds in manner and alveolar sounds in place were significant factors to speech intelligibility.

• 한국농림기상학회지
• /
• 제3권3호
• /
• pp.163-170
• /
• 2001

본 연구는 평택 지역에 대한 Landsat TM 인공위성 자료를 이용하여 평택지역의 토지피복분류도를 만들고 DGPS, 항공사진, 지형도 등을 이용하여 보다 정확한 참조자료를 만들어 분류도의 정확성을 평가하고자 하였다. 논, 밭 등 12개 항목으로 분류하여 면적을 산출한 결과 1997년 6월 현재 평택시의 논면적은 16,157$\textrm{km}^2$, 밭면적은 4,949$\textrm{km}^2$로 나타났다. DGPS, 항공사진, 지형도 등을 이용하여 평가한 결과 간석지, 논, 물 및 바다 등이 90%의 정확도를 보였으며, 밭, 비닐, 산림, 초지, 촌락 등은 낮게 평가되었다. 전체 정확도는 85.8%로 비교적 양호하게 평가되었으며, 논의 경우 92%의 높은 정확도가 나와 원격탐사 자료의 효용성이 큼을 알 수 있었다. 해양, 수역, 도심지 등의 분류결과는 높게 나타났는데 반해 밭, 비닐하우스, 초지 등은 적은 면적으로 혼재되어 있기 때문에 분류 결과가 낮았다.

• Journal of Information Technology Applications and Management
• /
• 제17권1호
• /
• pp.83-105
• /
• 2010

The competence of enterprise for managing information is evaluated not by the amount of information but by the quality of information such as response time, data consistency, and data correctness. The degradation of data quality is usually caused by the inappropriate process of managing the structure and value of stored data. According to the recent survey on the actual condition of data quality management, the correctness and consistency of data appeared to be the most problematic area among the six criteria of data quality management such as correctness, consistency, availability, timeliness, accessibility, and security. Moreover, the problem was more serious in case of small and medium-sized companies than large enterprises. In this paper, therefore, we attempt to propose a new data quality control methodology for small and medium-sized companies that can improve the correctness and consistency of data without consuming too much time and cost. To adopt the proposed methodology to real application immediately, we provided some scripts for as-is analysis and devised automation tools for managing naming rules of vocabulary, terminology, and data code. Additionally, we performed case study on the distribution service of a small-sized company to estimate the applicability of our tool and methodology.

• Asia pacific journal of information systems
• /
• 제23권3호
• /
• pp.105-129
• /
• 2013

This study draws important factors in electronic Word-of-Mouth (eWOM) and examines how these influence the building of customer loyalty. eWOM is viewed as social communication between customers and sellers, and thus the communicative action theory is applied. With the theory, we identify reviewer and seller as influential players on customers, and derive important factors such as correctness and veracity of reviews from the reviewers' action, and information compactness and adequacy from the seller's action. We propose these constructs as antecedents of customer loyalty and further hypothesize their curvilinear impacts as follows: the marginal impacts of veracity and correctness will decrease as veracity and correctness increase, and the marginal impacts of compactness and adequacy will increase as compactness and adequacy increase. The result indicates that only the seller's action has a curvilinear impact, whereas the reviewer has proportional positive impact on customer loyalty. This study indentifies important factors in eWOM from a critical social theory perspective and validates them using the positivistic approach. For practitioners, it discusses the important factors in eWOM with the identification of the individuals who are responsible for these factors.

• 정보처리학회논문지D
• /
• 제10D권6호
• /
• pp.971-982
• /
• 2003

다이어그램의 일관성이란 하나의 요구사항으로부터 설계된 여러가지 UML 다이어그램이 통일된 의미로 작성되었는가를 나타내는 성질이고, 정확성은 사용자가 작서안 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 본 연구에서는 UML(Unified Modeling Language) 버전 1.4 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검즈아는 방법으로서 UML 표중의 모델제약언어로 사용되는 OCL(Object Constraint Language)을 이용하여 검증하는 방법을 제시한다. 검증의 초기작업으로서 구성요소와 관계로 표현된 각 다이어그램의 메타모델을 유도하고, 메타 모델을 통해 정확성 및 일관성 검증규칙을 유도한다. 유도된 검증규칙은 명확화와 자동화를 위하여 특징적으로 OCL을 사용하여 정형적으로 명세한다. 명세된 규칙은 USE 도구를 이용하여 그 유용성을 검증한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 춘계학술발표대회
• /
• pp.599-602
• /
• 2014

본 논문은 FBDtoVerilog 변환기의 correctness 검증을 지원하는 시나리오 생성기에 대해 소개한다. 현재 원자력 발전소의 제어기는 PLC 를 이용하여 개발되고 있지만, 최근 FPGA 를 이용한 제어기 개발의 필요성이 증가하고 있다. 우리는 이를 지원하기 위해 PLC 개발에 사용되는 언어인 FBD를 FPGA 에 사용되는 언어인 Verilog 로 자동 변환하는 변환기 FBDtoVerilog 를 개발 하였다. 하지만 원자력 발전소와 같은 안전 필수 시스템은 철저하고 엄격한 검증 과정이 필수 이기 때문에, 우리는 FBDtoVerilog 를 검증할 수 있는 Co-Simulation 환경을 구축하여 검증할 계획을 가지고 있다. Co-Simulation 환경을 위한 첫 번째 단계로 자동화된 시나리오 생성기를 개발 하였다. 개발된 시나리오 생성기는 도메인 특징을 반영한 시나리오를 생성할 수 있고, 무한한 개수의 시나리오를 자동으로 생성할 수 있는 장점을 가지고 있다.

• International Journal of Computer Science & Network Security
• /
• 제23권6호
• /
• pp.13-16
• /
• 2023

This study aims to explore the status of e-learning in the public sector institutes of the Sukkur region in Pakistan. A survey was conducted to collect data from students and teachers regarding their awareness, access, and use of e-learning resources. The results showed that although there is a widespread use of the internet and mobile devices for accessing information, there is a lack of awareness and access to e-learning resources. Barriers to accessing e-learning content and a lack of familiarity with e-learning content development technologies were also identified. The study concludes that there is a need for improved e-learning facilities and curriculum in the public sector institutes of the Sukkur region in Pakistan. Recommendations are provided for developing a correctness-centered e-learning based curriculum that is tailored to the specific needs of the students in the region. It is hoped that the findings of this study will inform efforts to improve the teaching and learning process in the region and provide students with greater flexibility and access to study materials.