http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 金長福 (검색결과 6 건)
-
-
-
-
CdSe 薄膜의 電解質 溶液에서 光電氣的特性에 관한 硏究
The CdSe thin films and the In_(2)O_(3), thin films were deposited on the Ti plate and slide glass by chemical bath deposition and spray hydrolysis method, respectively. The CdSe thin films, the In_(2)O_(3), thin films and the electrolyte were used with photoanode, cathode and [2M Na_(2)S, 1M S, 1M KOH], respectively. The spectral response and the photovoltage of the photoelectrochemical cell consist of CdSe thin films, In_(2)O_(3), thin films , electrolyte were measured. The values of spectral profile obtained from spectral response were 7260 A^(˚) at the edge of photon absorption and the energy gap was 1.708 eV. The slope of the photovoltage verse the light intensity is 2.74 and similar to the theoretical results.
-
金長福 亞州大學校 情報通信傳文大學院 2005 국내석사
This paper presents a unique spam mail filtering technique based on a deep analysis of statistics on URL’s included in various e-mails gathered from a laboratory in a university for about six months. Since the proposed mail filtering technique searches only URL’s in mail, the overhead introduced by searching all mail contents or black list utilized by many other mail filtering algorithms is significantly reduced. In addition, the proposed filtering technique dynamically updates URL list through client feedback, and the bias possibly introduced by selecting bad training mail set can be eliminated as the filtering process is progressed. 본 논문에서는 6개월 동안 연구실에서 모은 메일에 포함된 URL통계 분석을 바탕으로 스팸메일 필터링하기 위해 메일에 포함된 URL 통계 정보를 이용하는 메일 필터링 기법에 대해서 소개할 것이다. 본 논문에서 사용한 기법은 메일에 포함된 URL의 정보만을 참고하여 메일을 필터링하기 때문에 메일의 모든 내용을 참고하는 다른 스팸메일 필터링 방법보다 처리속도를 향상 시킬 수 있다. 그 뿐만 아니라 본 논문에서 사용한 기법은 사용자의 피드백을 받아 동적으로 업데이트하기 때문에 잘못된 학습 집단 선택으로 인한 문제점도 해결 할 수 있다.
-
(An) Embedded Software Requirement Writing and Testing Method
Kim, Jangbok 아주대학교 정보통신전문대학원 2010 국내박사
In general, the software development process begins with writing the requirement of the stakeholder. Since the system designer designs the software using this requirement, it is important that it be written unambiguously. To do this, a new requirement writing language is needed that is unambiguous, easy to use, and easy to understand. In this dissertation, a Requirement Diagram Language (RDL) is presented, together with its philosophy and major features. The uniqueness of the RDL comes from its simplicity and intuitiveness in describing system requirements. In contrast to other languages that aim to present a graphical requirement description, RDL can completely describe requirements using graphical symbols that are sufficiently intuitive that even novices can understand them. A complete requirement for an embedded system can be built with a collection of simple elementary requirements in RDL. A major advantage of a requirement described in RDL is that the requirement is executable. That is, the requirement itself can be verified or simulated without any other extra information. A case study using RDL to describe an elevator’s requirements is presented. In this dissertation, I also present a new coverage criterion MC/DC with Definition Clear Path (MC/DC-DCP). Traditionally, many types of coverage criteria are used for generating test cases. In particular, the Modified Condition and Decision Coverage (MC/DC) criterion is known as one of the most powerful methods. However the MC/DC does not sufficiently reflect the dependency between two different modules. To overcome this disadvantage, I adopt flow driven coverage criteria to MC/DC. By applying MC/DC-DCP, the data dependencies between two different modules are considered in the MC/DC coverage criterion. Since the MC/DC-DCP is more powerful than MC/DC, it is appropriate for a safety critical system. The analysis of difference coverage criteria on several requirement examples is presented. Finally, this dissertation introduces the tools of R-Bench, which is a commercial product for designing, verifying and testing embedded systems. REED (Requirement Editor), which is the requirement management tool using RDL for writing requirements, and TE (Test Executor), which is the automatic test execution tool, are presented. REED has several features, such as a requirement analyzer, unit-tester, source code generator, requirement manager, natural language translator and so on. Using the TE, a test engineer can execute the test automatically in batches. The TE shows the status of the SUT during test execution. If there are faults, these show up in real-time. The faults are recognized by comparing the SUT outputs and the oracle, which is generated automatically.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
