• 제목/요약/키워드: Software V&V

검색결과 738건 처리시간 0.036초

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

  • Yukiko Ohashi;Noriaki Katagiri;Takao Oshikiri
    • 아시아태평양코퍼스연구
    • /
    • 제4권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
    • 대한수학회보
    • /
    • 제52권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.

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

  • 김정래
    • 한국컴퓨터정보학회논문지
    • /
    • 제9권3호
    • /
    • pp.127-133
    • /
    • 2004
  • 본 연구에서 개발하고자 하는 기기는 K형 열전대를 이용하여 온도를 제어 할 수 있는 온도제어 시스템으로써, 안정된 전압 레귤레이터, 22Bit 디지털 변환기와 분해능이 22Bit로 이루어졌다. 미소 전압을 25배 증폭 할 수 있게 하였고, 0~1200도 사이의 온도를 DC 0.1V~DC 4.7V내에서 제어하도록 설계하였다. PIC16C74로 Micro-controller의 software와 hardware의 블록 다아이 그램을 고안하였으며, VFD기능과 Power Block간에 인터페이스가 가능하도록 구성하였다.

  • PDF

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

  • 김혜경
    • TTA 저널
    • /
    • 통권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)

  • 이순성;서영;문채주
    • 에너지공학
    • /
    • 제7권1호
    • /
    • pp.96-102
    • /
    • 1998
  • 원자력 안전계통의 일부분인 컴퓨터의 사용은 일반 산업분야에서 명시되지 않은 부가적인 요건 즉 소프트웨어의 확인 및 검증, 하드웨어의 품질요건이 요구된다. 원자력 발전소에서 사용되는 컴퓨터는 컴퓨터 하드웨어, 소프트웨어, 펌웨어 및 연계장치를 포함하는 시스템이다. 원자력 안전등급을 갖는 컴퓨터 시스템을 개발하기 위해서는 우선적으로 개발환경이 요구되고 개발된 소프트웨어는 원자력 코드 및 표준에 따라 확인 및 검증되어야 한다. 이러한 요건 때문에 원자력 발전소 안전계통의 하나인 부적절노심감시계통에 대한 시험설비가 개발되었다. 시험설비는 입출력 모의설비, 자료수집계통 케비넷 및 감시컴퓨터의 3부분으로 구성된다. 이 시스템의 성능을 수동시험절차에 따라 검증되었다.

  • PDF

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

  • 박현아;김효성
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2013년도 전력전자학술대회 논문집
    • /
    • 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

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

  • 김영식;김일곤
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2014년도 추계학술발표대회
    • /
    • 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 시스템을 통해 개인건강관리 시스템의 효율성을 검증하고자 한다.

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

  • 이진재;박종욱;김민재;김호원
    • 정보보호학회논문지
    • /
    • 제31권3호
    • /
    • pp.309-322
    • /
    • 2021
  • 본 연구에서는 저성능 IoT 디바이스에서의 고속 암호화 연산을 지원하기 위해 블록암호 알고리즘 ARIA의 RISC-V 프로세서상에서의 고속 연산을 위한 확장 명령어 셋을 추가한다. 하드웨어상에서의 효율적인 구조로 ARIA 알고리즘을 구현하여 32bit 프로세서에서 동작하기 때문에 효과적인 확장 명령어 셋을 구현한다. 기존의 소프트웨어 암호화 연산과 비교하여 유의미한 성능 향상을 보인다.