• Title/Summary/Keyword: Software V&V

Search Result 738, Processing Time 0.04 seconds

Vocabulary Analyzer Based on CEFR-J Wordlist for Self-Reflection (VACSR) Version 2

  • Yukiko Ohashi;Noriaki Katagiri;Takao Oshikiri
    • Asia Pacific Journal of Corpus Research
    • /
    • v.4 no.2
    • /
    • pp.75-87
    • /
    • 2023
  • This paper presents a revised version of the vocabulary analyzer for self-reflection (VACSR), called VACSR v.2.0. The initial version of the VACSR automatically analyzes the occurrences and the level of vocabulary items in the transcribed texts, indicating the frequency, the unused vocabulary items, and those not belonging to either scale. However, it overlooked words with multiple parts of speech due to their identical headword representations. It also needed to provide more explanatory result tables from different corpora. VACSR v.2.0 overcomes the limitations of its predecessor. First, unlike VACSR v.1, VACSR v.2.0 distinguishes words that are different parts of speech by syntactic parsing using Stanza, an open-source Python library. It enables the categorization of the same lexical items with multiple parts of speech. Second, VACSR v.2.0 overcomes the limited clarity of VACSR v.1 by providing precise result output tables. The updated software compares the occurrence of vocabulary items included in classroom corpora for each level of the Common European Framework of Reference-Japan (CEFR-J) wordlist. A pilot study utilizing VACSR v.2.0 showed that, after converting two English classes taught by a preservice English teacher into corpora, the headwords used mostly corresponded to CEFR-J level A1. In practice, VACSR v.2.0 will promote users' reflection on their vocabulary usage and can be applied to teacher training.

THE STRONG MORI PROPERTY IN RINGS WITH ZERO DIVISORS

  • ZHOU, DECHUAN;WANG, FANGGUI
    • Bulletin of the Korean Mathematical Society
    • /
    • v.52 no.4
    • /
    • pp.1285-1295
    • /
    • 2015
  • An SM domain is an integral domain which satisfies the ascending chain condition on w-ideals. Then an SM domain also satisfies the descending chain condition on those chains of v-ideals whose intersection is not zero. In this paper, a study is begun to extend these properties to commutative rings with zero divisors. A $Q_0$-SM ring is defined to be a ring which satisfies the ascending chain condition on semiregular w-ideals and satisfies the descending chain condition on those chains of semiregular v-ideals whose intersection is semiregular. In this paper, some properties of $Q_0$-SM rings are discussed and examples are provided to show the difference between $Q_0$-SM rings and SM rings and the difference between $Q_0$-SM rings and $Q_0$-Mori rings.

Implementation of the Temperature Control System Using K-type Thermocouple (K형 열전대를 이용한 온도제어 시스템 구현)

  • Kim Jeong-Lae
    • Journal of the Korea Society of Computer and Information
    • /
    • v.9 no.3
    • /
    • pp.127-133
    • /
    • 2004
  • This study was carried out develope a temperature control system of temperature control by used K-thermocouple. This system was producted a stable voltage regulator 22Bit of digital converter and 22Bit of resolution. It was producted a micro voltage of 25 times amplification and controlled a DC0.1V~DC4.7V within 0~120$0^{\circ}C$. We designed block-diagram of hardware and software by PIC16C74 in a micro-controller, we are made up of a VFD function and can be used interface of a power block.

  • PDF

TTA 시험$cdot$인증 서비스 - SW 분야 -

  • 김혜경
    • TTA Journal
    • /
    • s.89
    • /
    • pp.146-148
    • /
    • 2003
  • TTA(한국정보통신기술협회)는 2003년 8월 6일 품질인증 제품으로 한진정보통신㈜(대표 고원용 http://www.hist.co.kr)의 ''InfoMatrix v 1.0'', ㈜인텔리전스웨어(대표 은재형 www.intelligenceware.com/)의 ''Bizpus v 1.0'' 등 2건에 대하여 Good Software 마크를 발급하였다. 본 고에서는 상위의 인증획득한 제품에 대하여 소개하고자 한다.

  • PDF

A Study on the Development of Test Facility for Safety System Software V/V in Nuclear Power Plant (원자력발전소 안전계통 소프트웨어의 확인/검증을 위한 시험장치 개발에 관한 연구)

  • Lee, Sun-Sung;Suh, Young;Moon, Chae-Joo
    • Journal of Energy Engineering
    • /
    • v.7 no.1
    • /
    • pp.96-102
    • /
    • 1998
  • The use of computers as part of nuclear safety systems elicits additional requirements-software verification and validation (v/v), hardware qualification-not specifically addressed in general industry fields. The computer used in nuclear power plants is a system that includes computer hardware, software, firmware, and interfaces. To develop the computer systems graded with nuclear safety class, the developing environments have to be required in advance and the developed software have to be verified and validated in accordance with nuclear code and standards. With this requirements, the test facility for Inadequate Core Cooling Monitoring System (ICCMS) as one of safety systems in the nuclear power plants was developed. The test facility consists of three(3) parts such as Input/Output (I/O) simulator, Plant Data Acqusition System (PDAS) cabinets and supervisory computer. The performance of the system was validated by manual test procedure.

  • PDF

Mathematical Consideration on PV Cell Modeling (PV cell modeling의 수학적 고찰)

  • Park, Hyeonah;Kim, Hyosung
    • Proceedings of the KIPE Conference
    • /
    • 2013.07a
    • /
    • pp.234-235
    • /
    • 2013
  • PV cell model은 PV simulator를 제작하거나 시뮬레이션 Software를 통하여 PV 발전시스템을 분석하기 위하여 필요하다. PV cell의 I-V 특성곡선은 PV cell의 특성을 결정짓는 중요한 요소이며, 전기적으로 다이오드정수($I_o$, $v_t$)와 광전류원($I_{ph}$) 그리고 직렬저항($R_s$) 및 션트저항($R_{sh}$)으로 모델링 가능하다. 광 전류원은 일사량에 비례하여 그 값을 추정할 수 있으나 나머지 변수인 다이오드정수($I_o$, $v_t$)와 직렬저항($R_s$) 및 션트저항($R_{sh}$)은 제조사 데이터시트에서 제공하는 3개의 대표적인 운전점인 개방회로 전압($V_{oc}$), 단락회로 전류($I_{sc}$), 그리고 최대출력에서의 전압/전류($V_{MPP}/I_{MPP}$)를 기초로 수학적으로 해를 구하여야만 한다. 본 논문에서는 저자가 제안하는 K-알고리즘의 수학적 도출 과정과 수치해석적 특성을 고찰한다.

  • PDF

Development of Personal Health Profiling System Based on FHIR(Fast Healthcare Interoperability Resources) (FHIR 기반의 개인건강기록 관리 시스템 개발)

  • Kim, Young-Sik;Kim, Il Kon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2014.11a
    • /
    • pp.360-362
    • /
    • 2014
  • Health Level Seven(HL7)에서 V2.x, V3 보다 향상된 FHIR(Fast Healthcare Interoperabilty Resources)를 표준을 개발하고 있고, 이를 채택한 솔루션 개발이 활발하고, 각 국가 의료환경에서의 검증이 필요하다. 현재 미국에서 성공적으로 널리 사용되는 V2.x Message와 V3 Clinical Document Architecture(CDA)가 존재 하지만, 이 기술 표준들을 개발하고 사용하는데 긴 시간 투자의 문제점이 있다. 현재 V4로 불리우는 개선된 FHIR를 사용함으로 이러한 문제점을 해결할 방법인지 확인한다. 개인건강기록 관리 또한 사회적인 관심을 끌고 있고, 스마트폰 보급률이 급격히 증가하는 함을 반영하여 개인건강기록 관리 시스템을 스마트폰으로 접속 가능한 시스템으로 개발한다. 이를 구축하기 위해서는 Electronic Medical Record(EMR) 시스템과 Personal Health Profiling(PHP) 시스템간의 정보교류를 FHIR Open API로 구성한다. PHP 시스템에서는 이들 트랜잭션을 RESTful 서비스로 제공한다. 본 연구에서는 FHIR기반의 PHP 시스템을 통해 개인건강관리 시스템의 효율성을 검증하고자 한다.

Efficient ARIA Cryptographic Extension to a RISC-V Processor (RISC-V 프로세서상에서의 효율적인 ARIA 암호 확장 명령어)

  • Lee, Jin-jae;Park, Jong-uk;Kim, Min-jae;Kim, Ho-won
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.31 no.3
    • /
    • pp.309-322
    • /
    • 2021
  • In this study, an extension instruction set for high-speed operation of the ARIA block cipher algorithm on RISC-V processor is added to support high-speed cryptographic operation on low performance IoT devices. We propose the efficient ARIA cryptographic instruction set which runs on a conventional 32-bit processor. Compared to the existing software cryptographic operation, there is a significant performance improvement with proposed instruction set.