http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 강미영(Miyoung Kang) (검색결과 20 건)
- 무료
- 기관 내 무료
- 유료
-
강미영(Miyoung Kang),유희준(Hee-Jun Yoo),최진영(Jin-Young Choi) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.2Ⅰ
CBMC는 ANSI-C 프로그램과 베릴로그 서킷사이의 일치성을 검증하는 툴이다. 입력된 서킷과 코드를 CNF로 변환 과정에서 C 코드는 중첩 루프, pointer, dynamic memory allocation등에 대한 변환의 문제점이 있다. 본 논문에서는 CBMC에서 C 코드의 CNF로 변환하는 과정의 문제점들을 동일한 식(equation)의 변환 과정에 대하여 설명하고 상용적인 트리를 DES를 CBMC로 검증하는 과정을 제시한다.
-
강미영(Miyoung Kang),권혁철(Hyukchul Kwon) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.1B
한국어 문서에서 가장 많이 나타나는 띄어쓰기 오류는 의미적이고 통사적인 중의성이나 오류를 야기한다. 이 논문은 부산대 인공지능 연구실에서 개발한 부분 문장 분석을 기반으로 하는 한국어 철자 및 문법 검사기(2.2)에 구현되어 있는 어절 내 한 번 띄어쓰기 오류 교정 기법 및 어절 간 띄어쓰기 오류 교정 기법을 확장하고 개선하며 어절 내 여러 번 띄어쓰기 기법을 개발함을 목표로 한다.
-
대향범에 대한 공범규정의 적용여부 -편면적 대향범을 중심으로-
강미영 ( Miyoung Kang ) 건국대학교 법학연구소 2015 一鑑法學 Vol.0 No.32
대향범은 2인 이상이 구성요건의 실현에 필요한 최소한의 협력행위를 할 것을 전제로 한다. 즉, 동일한 목표를 성취하기 위한 의사방향이 상호간에 대향되는 범죄이므로 대향자의 존재만으로는 성립하지 않고, 각자 해당 구성요건에 규정된 실행행위를 위한 협력행위가 있어야만 하는 것이다. 대법원은 대향범에 대해서는 형법총칙상의 공범규정이 적용되지 않기 때문에 편면적대향범의 불가벌적 대향자의 경우, 적극적으로 범죄행위에 가담을 했다고 하더라도 공범규정이 적용되지 않는다는 기존의 법리를 반복적으로 적용하고 있다. 이러한 태도는 적극적으로 범죄를 야기한 자를 법으로부터 자유로운 영역에 방치하게된다. 그에 따라 응당 처벌받아야하는 자를 처벌하지 않게 되어 법감정에 배치되는 결과를 가져오게 되므로 합리적인 해결책이라고 볼 수 없다. 대향범에서 불가벌적 행위는 단순한 대향적 협력행위에 한정되는 것이고, 이를 초과한적극적인 가담행위가 있을 시에는 보충적으로 총칙상의 공범규정을 적용시켜 처벌하는 것이 형평성과 법감정에 부합하다고 여겨진다. Two-Way Criminality presupposes that two or more people do the minimum cooperative deed to achieve for the constituent elements. In other words, it is not satisfied by the only presence of Two-Way Criminal because the intension directions to achieve the same goal are opposed to each other. So they need to do the cooperation deed for stated enforcement act in the configuration requirements. For the unpunishable criminals of One-sided Criminality, Korean Supreme Court applies repeatedly the traditional legal principles that accomplices rules do not apply to them, even if they actively engage in the criminal conduct. Because the accomplice rules of the Criminal general law are not applied to Two-Way Criminality. This attitude will let out the criminals that caused the criminality actively. Accordingly, they are not punished though they deserve to be punished. So this is not seen as a reasonable solution because it brings the results that are denied the legal sentiment. In Two-Way Criminality, the unpunishable deed is limited to simple Two-Way cooperation deed. And they are punished with applying the accomplice rules of the Criminal general law, when there are active involved deeds which exceed the simple cooperation deed. I believe it is consistent with the equality and legal sentiment.
-
AVISPA을 이용한 RFID 보안 프로토콜의 명세 및 검증
강미영(Miyoung Kang),오정현(Jung-Hyun Oh),이송희(Song-Hee Lee),최진영(Jin-Young Choi) 한국정보과학회 2007 한국정보과학회 학술발표논문집 Vol.34 No.2D
최근 유비쿼터스 컴퓨팅에 관한 연구가 활발히 진행됨에 따라 핵심 기술인 RFID 프로토콜에 대한 연구가 활발히 진행되고 있다. 그러나 RF를 사용하며 무선통신을 함으로써 악의적인 공격자에 노출되는 보안상의 문제점이 발생한다. 본 논문은 기존의 RFID 보안 프로토콜의 문제점을 분석하여 새로운 프로토콜을 제안한다. 그리고 제안된 프로토콜을 AVISPA로 정형 명세하고 보안성을 정형 검증하여 안전함을 보여준다.
-
-
대학생의 진로구성 경험에 관한 내러티브 탐구 : 진로교과목과 진로구성 이론을 중심으로
강미영(Miyoung Kang),김봉환(Bongwhan Kim) 한국질적탐구학회 2020 질적탐구 Vol.6 No.1
The purpose of this study is to understand the experiences of individual human life and career construction from the perspective of narrative. This study was conducted in four stages with reference to the narrative inquiry process of Clandinin and Connelly(2000) with university students who took the career course in the university. In the study, the career construction theory was used as an interpretive framework to effectively understand and explain the career construction experience of university students in terms of quality. The questions of career construction interview were applied to the entire study, including data collection, analysis and interpretation, and the meaning of experience was derived, focusing on the core concepts such as life career theme, occupational personality, and career adaptability. The meaning of career construction experience of university students was derived as ‘Enlightenment about the existence and possession of the yoke’ ‘Reach the world in language’, ‘Insights again with inward eyes,’ ‘Revelation of Futur Antérieur,’ and ‘The Re-start in Hub.’ The practical implications to be presented in the field of career counseling and education are as follows. First, the stories of life that university students have survived have formed their career construction experiences through ‘Subjective interpretation and Talking again’. Second, the participants participated in various interaction activities in the career course and constructed a career ‘By oneself and Together.’ Third, the experience of career construction of university students means ‘By oneself, Self-Construction living together.’ This study hopes that this relational inquiry process will be a meaningful help for the life of the research participants, and it is expected that a new understanding of the career construction experience of university students will contribute to the practice of career education and to transform the atmosphere of career counseling and education. 본 연구의 목적은 내러티브의 관점에서 대학생인 개별 인간의 삶과 진로구성 경험을 이해하는데 있다. 내러티브 탐구로 수행된 본 연구는 대학에서 진로교과목을 수강했던 대학생 2명과 함께 Clandinin과 Connelly(2000)의 내러티브 탐구 절차를 참조하여 4단계로 수행되었으며, 대학생의 진로구성 경험을 질적인 측면에서 효과적으로 이해하고 설명하기 위한 해석적 틀로써 진로구성 이론이 활용되었다. 진로구성 인터뷰 질문들은 자료 수집, 분석 및 해석 등 연구 전반에 적용되었으며, 핵심개념인 생애진로주제, 직업적 성격, 진로적응성을 중심으로 경험의 의미가 도출되었다. 대학생의 진로구성 경험의 의미는 ‘굴레의 존재와 소유에 관한 깨달음’, ‘언어로써 세상에 다다르다’, ‘다시 속눈으로 통찰’, ‘전미래의 현시’, ‘허브에서의 재출발’로 도출되었다. 진로상담 및 교육 현장에 전할 실천적 함의는 다음과 같다. 첫째, 대학생인 연구참여자들이 살아낸 삶의 이야기들은 ‘주체적 해석과 다시 이야기하기’를 통해 그들의 진로구성 경험을 형성하였다. 둘째, 연구참여자들은 진로교과목 수강과정에서 다양한 상호작용 활동에 참여하며 ‘스스로, 더불어’ 진로를 구성하였다. 셋째, 대학생의 진로구성 경험은 ‘스스로, 더불어 살아가는 자기 세움’의 의미였다. 본 연구는 이러한 관계적 탐구과정이 결과적으로 연구참여자의 삶에 의미 있는 도움이 되기를 소망하며, 대학생의 진로구성 경험에 관한 새로운 이해가 진로교육의 실천을 바르게 하고, 진로상담 및 교육 현장의 공기를 전환시키는데 기여하기를 기대한다.
-
-
오준석(Joon-Seok Oh),강미영(Miyoung Kang),최진영(Jin-Young Choi) 한국정보과학회 2010 한국정보과학회 학술발표논문집 Vol.37 No.2C
소프트웨어에 잠재적으로 존재하는 프로그래밍 오류는 소프트웨어 취약점을 야기하며, 이런 오류는 개발후 테스팅을 통해 탐지하기 어렵기 때문에 소프트웨어에 지속적으로 존재한다. 개발된 안드로이드 애플리케이션을 업로드 할 때 검수과정을 거치지 않고 업로드가 가능하기 때문에 이런 오류는 반드시 예방해야 한다. 이를 예방하는 방법 중에 하나는 소프트웨어 개발단계에서 시큐어한 코딩 습관을 사용함으로써 제거할 수 있다. 본 논문에서는 안드로이드 애플리케이션에 존재할 수 있는 프로그래밍 오류를 사전에 예방하고, 의도된 동작을 수행하는 안드로이드 애플리케이션을 개발하기 위한 가이드를 제시한다.
-
김영진(Youngjin Kim),강미영(Miyoung Kang),이신재(Sinjae Lee),최진영(Jin-Young Choi) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.1A
미래 산업으로서 주목받고 있는 M2M(사물지능통신)은 IT 기술, 이동통신, 무선기술 그리고 기기의 발전을 통해 많은 기술 연구가 진행되고 있다. 사람의 개입 없이 이루어지는 M2M 통신환경은 데이터 노출, 도용, 프라이버시 문제 등 여러 가지 보안 위협에 쉽게 노출될 수 있는 가능성이 존재하기 때문에 보안 표준과 안전한 통신 프로토콜 기술개발이 중요하다. 본 논문에서는 디바이스의 정보를 서버에 저장하지 않아 공격자가 서버의 공격을 통해 저장된 값을 알아내더라도 디바이스의 정보가 노출되지 않고 디바이스와 서버간의 안전한 통신을 할 수 있는 M2M 보안프로토콜을 제안하고 정형검증 도구를 이용하여 안전성을 분석하였다.
-
KCI연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
