펌웨어 취약점을 찾기 위한 퍼징 기법인 HAL-Fuzz는 MCU 벤더에서 제공하는 하드웨어 추상 계층의 HAL 함수를 이용하는 효율적인 기법이다. 하지만 정확한 HAL 함수를 사용하지 않는 대부분의 펌웨어는 다룰 수가 없다. 본 논문에서는 유사 HAL 함수 탐색이라는 새로운 방식을 제안하고 HAL-Fuzz의 퍼징 가용성을 높이고자 한다. 실험을 통해 HAL 함수뿐만 아니라 개발자 구현 유사 HAL 함수도 탐색하였으며 퍼징이 가능함을 확인하였다.
진균의 phenylalanine ammonia-lyase(PAL)와 식물의 PAL간 그리고 PAL과 histidine ammonia-lyase (HAL)간의 구조적 특성 관계에 대한 이해를 얻기 위해 옥수수병원균인 깜부기균(Ustilago maydis)의 PAL에 대한 면역학적 분석을 수행하였다. 진균의 PAL 항체와 식물의 PAL 항체를 이용하여 분석하였을 때 실험한 모든 종의 PAL 간에 교차반응이 나타났다. 알팔파 PAL 항체와 포플라 PAL 항체 모두 식물 PAL은 강하게 인식하였으나 진균의 PAL은 약하게 인식하였다. U. maydis PAL은 Rhodotorula glutinis 효모의 PAL만 약하게 인식하였다. U. maydis PAL은 식물의 PAL에 대해서 낮은 친화성을 보였으나 Pseudomonas 세균의 HAL에 대해서는 강한친화성을 보였다. 2종의 식물 PAL 항체들 또한 Pseudomonas 세균의 HAL에 대해 강한 친화성을 보였다. 진균과 식물의 PAL 항체는 PAL 효소의 활성 저해를 나타냈으며 세균의 HAL 효소의 활성에 대해서도 중도적 저해를 나타냈다. 세균의 HAL 항체는 식물과 효모와 Ustilago PAL 중에 Ustilago PAL 활성만 저해하였다. 식물의 PAL과 진균의 PAL 모두 효모의 PAL 활성은 저해하지 못했다. 본 연구는 PAL과 HAL간에 면역학적 관계가 있음을 처음으로 보고한다.
We have developed the power assistive leg called HAL (Hybrid Assistive Leg) which provide the walking aid for walking disorder persons or aged persons without nursing person. We developed HAL-3 by considering some problems of HAL-1,2 which had developed previously. The mechanism of HAL-3 actuator could be simplified and sophisticated by using the harmonic drive. As the control signal of HAL-3 EMG signal was used. We proposed a calibration method to identify parameters which relates the EMG to joint torque by using HAL-3. We could obtain suitable torque estimated by EMG and realize power assist in walking according to the intention of the operator To the remove discomfort for quick motion power assist, the feedforward controller was installed at the beginning of motion ...
This paper persents how to port HAL (Handset Abstraction Layer) on embedded Linux to support WIPI (Wireless Internet Platform for Interoperability). As smart phones are widespread nowdays, the operating system is changing from a simple kernel like Qualcomm REX OS to more feature-rich Linux kernel. For this reason, we investigate the internal structure of HAL on REX OS and design how to port it to embedded Linux. Careful analysis leads us to identify several porting issues such as thread support, graphical user interface. In addition, we describe some problems discovered during the implementation process and propose alternative architecture of HAL for WIPI on Linux.
본 연구에서는 벡터 공간 모델과 HAL (Hyperspace Analog to Language)을 적용해서 단어 의미 유사성을 군집한다. 일정한 크기의 문맥을 통해서 단어 간의 상관성을 측정하는 HAL을 도입하고(Lund and Burgess 1996), 상관성 측정에서 고빈도와 저빈도에 다르게 측정되는 왜곡을 줄이기 위해서 벡터 공간 모델을 적용해서 단어 쌍의 코사인 유사도를 측정하였다(Salton et al. 1975, Widdows 2004). HAL과 벡터 공간 모델로 만들어지는 공간은 다차원이므로, 차원을 축소하기 위해서 PCA (Principal Component Analysis)와 SVD (Singular Value Decomposition)를 적용하였다. 유사성 군집을 위해서 비감독 방식과 감독 방식을 적용하였는데, 비감독 방식에는 클러스터링을 감독 방식에는 SVM (Support Vector Machine), 나이브 베이즈 구분자(Naive Bayes Classifier), 최대 엔트로피(Maximum Entropy) 방식을 적용하였다. 이 연구는 언어학적 측면에서 Harris (1954), Firth (1957)의 분포 가설(Distributional Hypothesis)을 활용한 의미 유사도를 측정하였으며, 심리언어학적 측면에서 의미 기억을 설명하기 위한 모델로 벡터 공간 모델과 HAL을 결합하였으며, 전산적 언어 처리 관점에서 기계학습 방식 중 감독 기반과 비감독 기반을 적용하였다.
The Strain Index(SI) has been commonly used to evaluate the musculoskeletal disorders(MSDs) of upper extremities. Recently, the American Conference of Governmental Industrial Hygienists(ACGIH) adopted the Threshold Limit Value for hand activity level (HAL TLV) focused on the hand, wrist, and forearm. The MSDs risks of 37 repetitive works conducted at an automobile climate control system manufacturing factory were evaluated using both the HAL TLV and the SI, and the results by two methods were compared. Also, measured repetitive frequencies of upper limbs joint were mesured using electromyogram and electrogoniometer. The evaluation results of the HAL were related with the repetitive frequency data of upper limbs joint by electrogoniometer, and the NPF was related with %MVC of ECU. The evaluation result of HAL TLV was highly related with the SI score(r=0.66, p<0.01). Of total 37 tasks, 25 tasks(67.6%) were exceeded the TLV and 34 tasks(91.9%) exceeded the SI limit. Although there was a high relationship between the HAL TLV and SI score, the HAL TLV underestimated the risk in comparison with the SI. The correlation coefficients(r) between the HAL TLV data and the repetitive frequency of upper limbs joint were 0.45~0.55(p<0.01). The MSD symptoms was significantly different between high risk groups and low risk groups evaluated by HAL TLV(p<0.01), but was not different between two groups by SI. In conclusion, the HAL TLV is a proper tool for repetitive works.
WIPI는 한국무선인터넷표준화 포럼에서 개발하였으며 한국정보통신기술협회가 채택한 무선인터넷 표준 플랫폼이다. 상호 호환성을 보장받기 위해서는 개발한 WIPI플랫폼이 표준을 준수하고 있는지 검증하는 절차가 필요하다. WIPI는 하드웨어 추상화 계층인 HAL, 실행 엔진, 그리고 API(WIPI-C, WIPI-Java)로 나뉘어져 있다. WIPI 응용 프로그램은 WIPI API를 이용해 작성되며 WIPI API는 자체적으로 수행이 완료될 수도 있고 이벤트나 사용자 입력을 처리하기 위해 실행 엔진 또는 HAL 계층으로부터 필요한 기능을 제공받기도 한다. 따라서, 응용 프로그램에서 오류가 발생했을 때 어느 계층에서 문제점이 발생했는지 검증하는 것이 필요하다. 본 논문에서 WIPI 규격에 대한 검증 도구로서 플랫폼의 전체 기능과 API에 대한 검증 도구인 PCT와 하드웨어 추상화 계층인 HAL의 API 검증 도구인 HCT를 제안한다. PCT는 최종적으로 플랫폼에 대한 검증 결과만을 보고하기 때문에 검증에 실패하면 어느 계층에서 문제점이 발생했는지 알 수 가 없다. 따라서 문제점이 발생한 지점을 정확히 진단하고 정정하기 위해서는 전체 플랫폼에 대한 인증과는 별도로 HAL에 대한 인증이 필요하다.
정신질환 치료에 가장 폭넓게 사용되는 haloperidol(HAL)의 혈중농도 분석법이 개발되었다. 이 연구를 위하여 gas chromatography/nitrogen-phosphorus detection(GC/NPD)을 이용하였으며, bromoperidol을 내부표준물질로 사용하였고, 시료전처리 방법으로써 diethylether를 추출용매로 사용하는 3단계 추출법을 사용하였다. 이 과정에 있어서 추출효율은 15 ng/mL에서 $67.5{\pm}1.9%$이었고, 1~40 ng/mL 범위에서 상관계수 $r^2=0.999$인 좋은 직선성을 얻었으며, 혈청을 2 mL 사용했을 때 검출한계는 0.5 ng/mL이었다. 정신분열증 환자의 혈청내 HAL을 분석하기 위하여 이 방법을 적용하였다. Haloperidol decanoate(HD)를 정신분열증 환자에 근육주사한 후, 2주와 4주째의 HAL level을 조사한 결과 4주째에 HAL의 농도가 2주째보다 29.6% 낮게 나타났다. 제시된 방법은 낮은 검출한계와 높은 선택성을 나타냈다. 그러므로 본 연구 방법은 혈청내 HAL의 미량분석과 모니터링에 이용될 수 있을 것이다.
기존의 센서노드 운영체제들은 응용프로그램에 대한 센서추상화를 지원하지 못한다. 따라서 응용이 센서를 위한 하드웨어, 디바이스 드라이버 등을 직접 개발해야 하는 부담을 갖는다. 본 논문에서는 센서추상화를 지원하는 운영체제 구조를 제시한다. 제안된 운영체제는 추상화된 센서 HW 인터페이스 기반의 HAL을 제공하고 센서 접근을 위한 추상화된 API를 제공한다. 센서제작자는 HAL을 이용하여 센서디바이스 드라이버를 작성한다. 응용프로그래머는 센서 API를 이용하여 응용을 작성한다. 이러한 개발방식은 응용프로그래머의 부담을 크게 줄여서 USN 응용 개발을 활성화할 수 있다. 본 논문에서는 첫째로, 센서장착을 용이하게 하는 표준화된 센서 HW 인터페이스를 정의하였다. 둘째로, 센서를 추상화한 센서접근 API를 제공하였다. 셋째로, 센서 디바이스 드라이버를 작성할 때 활용될 HAL 라이브러리를 정의하였다. 예제 응용 프로그램을 작성하여 본 논문에서 제안한 센서노드 운영체제가 센서 추상화를 성공적으로 지원하는 것을 보였다.
The purpose of this study was to research Korean Jowoo-Guan and Chinese Hal-Guan and study transition and symbolism of the birds feather in the cap. The culture of ancient Korea was influenced by North Asia prior to the influence of the Chinese culture, One of the remarkable thing, as the cultural factor of North Asia is the birds worship thought. Korean Jowoo-Guan was derived from the birds worship thought. So in dealing with the plume of Korean Jowoo-Guan, we must recognize Worship to the bird and the symbolical meaning of the bird. The results of study was as follow. 1. Korean Jowoo-Guan was influenced worship to the sun, so it's wearing symbolized the governing class. As the Social development and governing class, the feathering cap was developed to a gold crown, and also the gold crown of Samguk times had been influenced style of North Asia culture. But afterwards the symbolical meaning of the bird was waning, only decorative meaning was remained. 2. Chinese Hal-Guan was warn in Joo-dynasty, but the symbolism of the plume in the cap was not similar to Korean Jowoo-Guan. Chinese Hal-Guan was symbolized bravery of superfluous soldier than Worship to the bird. But afterwards the symbolical meaning of bravery of superfluous soldier was waning, only decorative moaning was remained. 3. Though neighbor countries have mutually influenced and have similar cultural style, they have symbolism of themselves
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.