• 제목/요약/키워드: HAL

검색결과 264건 처리시간 0.024초

유사 HAL 함수 탐색을 통한 펌웨어 퍼징 기법 (Firmware Fuzzing Method through Pseudo-HAL Identification)

  • 정세연;황은비;조영필;권태경
    • 정보보호학회논문지
    • /
    • 제32권6호
    • /
    • pp.1121-1125
    • /
    • 2022
  • 펌웨어 취약점을 찾기 위한 퍼징 기법인 HAL-Fuzz는 MCU 벤더에서 제공하는 하드웨어 추상 계층의 HAL 함수를 이용하는 효율적인 기법이다. 하지만 정확한 HAL 함수를 사용하지 않는 대부분의 펌웨어는 다룰 수가 없다. 본 논문에서는 유사 HAL 함수 탐색이라는 새로운 방식을 제안하고 HAL-Fuzz의 퍼징 가용성을 높이고자 한다. 실험을 통해 HAL 함수뿐만 아니라 개발자 구현 유사 HAL 함수도 탐색하였으며 퍼징이 가능함을 확인하였다.

진균과 식물의 Phenylalanine Ammonia-lyase 그리고 세균의 Histidine Ammonia-lyase 간의 면역학적 관계 분석 (Immunological Relationships among Fungal and Plant Phenylalanine Ammonia-lyases and Bacterial Histidine Ammonia-lyase)

  • 현민우;윤여홍;서동연;한지혜;김성환
    • 한국균학회지
    • /
    • 제39권3호
    • /
    • pp.205-212
    • /
    • 2011
  • 진균의 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간에 면역학적 관계가 있음을 처음으로 보고한다.

EMG-based Hybrid Assistive Leg for Walking Aid using Feedforward Controller

  • Kawamoto, Hiroaki;Sankai, Yoshiyuki
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2001년도 ICCAS
    • /
    • pp.32.2-32
    • /
    • 2001
  • 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 ...

  • PDF

리눅스 환경에서 WIPI를 지원하기 위한 HAL (Handset Abstraction Layer) 이식 (Poring of WIPI HAL in Embedded Linux)

  • 박우람;김태웅;박찬익
    • 대한임베디드공학회논문지
    • /
    • 제3권1호
    • /
    • pp.30-33
    • /
    • 2008
  • 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.

  • PDF

벡터 공간 모델과 HAL에 기초한 단어 의미 유사성 군집 (Word Sense Similarity Clustering Based on Vector Space Model and HAL)

  • 김동성
    • 인지과학
    • /
    • 제23권3호
    • /
    • pp.295-322
    • /
    • 2012
  • 본 연구에서는 벡터 공간 모델과 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을 결합하였으며, 전산적 언어 처리 관점에서 기계학습 방식 중 감독 기반과 비감독 기반을 적용하였다.

  • PDF

ACGIH Hand Activity Level TLV®의 현장 적용 및 평가 (Field Application and Evaluation of the ACGIH Hand Activity Level TLV®)

  • 김부욱;우지훈;강동묵;신용철
    • 한국산업보건학회지
    • /
    • 제16권2호
    • /
    • pp.81-90
    • /
    • 2006
  • 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) 검증 도구 설계 및 개발 (The Design and Development of a WIPI Certification Toolkit)

  • 이상윤;이환구;최병욱
    • 정보처리학회논문지D
    • /
    • 제13D권5호
    • /
    • pp.731-740
    • /
    • 2006
  • WIPI는 한국무선인터넷표준화 포럼에서 개발하였으며 한국정보통신기술협회가 채택한 무선인터넷 표준 플랫폼이다. 상호 호환성을 보장받기 위해서는 개발한 WIPI플랫폼이 표준을 준수하고 있는지 검증하는 절차가 필요하다. WIPI는 하드웨어 추상화 계층인 HAL, 실행 엔진, 그리고 API(WIPI-C, WIPI-Java)로 나뉘어져 있다. WIPI 응용 프로그램은 WIPI API를 이용해 작성되며 WIPI API는 자체적으로 수행이 완료될 수도 있고 이벤트나 사용자 입력을 처리하기 위해 실행 엔진 또는 HAL 계층으로부터 필요한 기능을 제공받기도 한다. 따라서, 응용 프로그램에서 오류가 발생했을 때 어느 계층에서 문제점이 발생했는지 검증하는 것이 필요하다. 본 논문에서 WIPI 규격에 대한 검증 도구로서 플랫폼의 전체 기능과 API에 대한 검증 도구인 PCT와 하드웨어 추상화 계층인 HAL의 API 검증 도구인 HCT를 제안한다. PCT는 최종적으로 플랫폼에 대한 검증 결과만을 보고하기 때문에 검증에 실패하면 어느 계층에서 문제점이 발생했는지 알 수 가 없다. 따라서 문제점이 발생한 지점을 정확히 진단하고 정정하기 위해서는 전체 플랫폼에 대한 인증과는 별도로 HAL에 대한 인증이 필요하다.

GC/NPD를 이용한 정신분열증 환자의 혈중 Haloperidol 정량분석 (Determination of Haloperidol Serum Levels in Psychiatric Patients with Gas Chromatography-Nitrogen Phosphorus Detection)

  • 백만정;강보경;이경옥;신호상
    • 분석과학
    • /
    • 제11권3호
    • /
    • pp.161-166
    • /
    • 1998
  • 정신질환 치료에 가장 폭넓게 사용되는 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의 미량분석과 모니터링에 이용될 수 있을 것이다.

  • PDF

용이한 USN 응용 개발을 위한 센서추상화 지원 센서노드 운영체제 (A Sensor Node Operating System Supporting Sensor Abstractions for Ease Development of USN Applications)

  • 은성배;소선섭;김병호
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제36권5호
    • /
    • pp.371-379
    • /
    • 2009
  • 기존의 센서노드 운영체제들은 응용프로그램에 대한 센서추상화를 지원하지 못한다. 따라서 응용이 센서를 위한 하드웨어, 디바이스 드라이버 등을 직접 개발해야 하는 부담을 갖는다. 본 논문에서는 센서추상화를 지원하는 운영체제 구조를 제시한다. 제안된 운영체제는 추상화된 센서 HW 인터페이스 기반의 HAL을 제공하고 센서 접근을 위한 추상화된 API를 제공한다. 센서제작자는 HAL을 이용하여 센서디바이스 드라이버를 작성한다. 응용프로그래머는 센서 API를 이용하여 응용을 작성한다. 이러한 개발방식은 응용프로그래머의 부담을 크게 줄여서 USN 응용 개발을 활성화할 수 있다. 본 논문에서는 첫째로, 센서장착을 용이하게 하는 표준화된 센서 HW 인터페이스를 정의하였다. 둘째로, 센서를 추상화한 센서접근 API를 제공하였다. 셋째로, 센서 디바이스 드라이버를 작성할 때 활용될 HAL 라이브러리를 정의하였다. 예제 응용 프로그램을 작성하여 본 논문에서 제안한 센서노드 운영체제가 센서 추상화를 성공적으로 지원하는 것을 보였다.

한국의 조우관과 중국의 할관 비교 연구 -조우의 상징적 의미와 변천과정을 중심으로- (A Study of comparing Korean Jowoo-Guan(조우관) and Chinese Hal-Guan(할관) - Focusing on transition and symbolism of the plume in the cap -)

  • 신경섭
    • 복식
    • /
    • 제50권4호
    • /
    • pp.89-102
    • /
    • 2000
  • 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

  • PDF