• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제17권8호
• /
• pp.2101-2123
• /
• 2023

Recent studies have shown that the neural network-based binary code similarity detection technology performs well in vulnerability mining, plagiarism detection, and malicious code analysis. However, existing cross-architecture methods still suffer from insufficient feature characterization and low discrimination accuracy. To address these issues, this paper proposes a cross-architecture binary function similarity detection method based on composite feature model (SDCFM). Firstly, the binary function is converted into vector representation according to the proposed composite feature model, which is composed of instruction statistical features, control flow graph structural features, and application program interface calling behavioral features. Then, the composite features are embedded by the proposed hierarchical embedding network based on a graph neural network. In which, the block-level features and the function-level features are processed separately and finally fused into the embedding. In addition, to make the trained model more accurate and stable, our method utilizes the embeddings of predecessor nodes to modify the node embedding in the iterative updating process of the graph neural network. To assess the effectiveness of composite feature model, we contrast SDCFM with the state of art method on benchmark datasets. The experimental results show that SDCFM has good performance both on the area under the curve in the binary function similarity detection task and the vulnerable candidate function ranking in vulnerability search task.

• 한국정보통신학회논문지
• /
• 제14권1호
• /
• pp.138-144
• /
• 2010

최근에 도입되어 운영되고 있는 타키온 1차 시스템은 쿼드코어 AMD 바로셀로나 노드로 구성된 고성능 슈퍼컴퓨터이다. 본 논문에서는 하이브리드 병렬화 기법을 도입한 프로그램 중 하나로 사용되고 있는 멀티존(Multi-zone) NAS 병렬 벤치마크(NPB)를 이용하여 타키온 성능 및 병렬 확장성을 검증하고자 한다. 하이브리드 병렬 성능 시험을 위하여 NPB-3.3 버전 BT-MZ의 B 및 C클래스를 사용하였으며, 실제로 타키온 시스템의 1024개의 프로세스까지 병렬 확장성을 테스트를 하였다. 프로세서 1024개 이상 이용한 하이브리드 병렬컴퓨팅 계산 결과는 국내 최초이다. 이러한 하이브리드 병렬화 기법은 타키온처럼 멀티코어 기술을 적용한 고성능 컴퓨팅 시스템에서 매우 효율적이고 유용한 병렬 성능 벤치마크가 될 수 있음을 기술하였다.

• 한국식품영양학회지
• /
• 제26권4호
• /
• pp.967-974
• /
• 2013

The purpose of this study is to measure the priority items according to attributes and analyze the differences between the importance and satisfaction rates through the IPA for the university service. The results in the study are as follow: First, from the result of the factorial analysis, 5 factors are included First, the possibilities for development of universities, universities' physical environment, Universities' administrative (employee) services, majors' educational services, and majors' laboratory environment. Second, as the total average value for important attributes of the universities is 3.50 and the average value of satisfaction is 2.91, there were significant differences (p<0.001). Third, in the analytical result of IPA, the 1st quadrant includes faster developments than other universities, departments' characterization, etc. The 2nd quadrant includes the convenience to issue all kinds of certificates, kindness of administrative staffs, etc. The 3rd quadrant includes convenience of the procedure to improve unsatisfactory services, development efforts to benchmark advanced universities, etc. Finally, the 4th quadrant includes heavy investments in education and environment, efforts to reflect students' demands, and needs, etc. Even though the importance of research subjects related to university services for these attributes is high, they are not fully satisfied, and there are plenty of dissatisfied students. Therefore, urgent supplementations to increase students' satisfaction rates are important. Form the results of the study, it has been found that urgent efforts to improve satisfaction rates of university students who major in catering cooking in the university services are essential and special plans to build competitive systems which can provide high-quality services are also necessary.

• Earthquakes and Structures
• /
• 제11권6호
• /
• pp.1077-1099
• /
• 2016

One of the main shortcomings in the current passive base isolation system is lack of adaptability. The recent research and development of a novel adaptive seismic isolator based on magnetorheological elastomer (MRE) material has created an opportunity to add adaptability to base isolation systems for civil structures. The new MRE based base isolator is able to significantly alter its shear modulus or lateral stiffness with the applied magnetic field or electric current, which makes it a competitive candidate to develop an adaptive base isolation system. This paper aims at exploring suitable control algorithms for such adaptive base isolation system by developing a close-loop semi-active control system for a building structure equipped with MRE base isolators. The MRE base isolator is simulated by a numerical model derived from experimental characterization based on the Bouc-Wen Model, which is able to describe the force-displacement response of the device accurately. The parameters of Bouc-Wen Model such as the stiffness and the damping coefficients are described as functions of the applied current. The state-space model is built by analyzing the dynamic property of the structure embedded with MRE base isolators. A Lyapunov-based controller is designed to adaptively vary the current applied to MRE base isolator to suppress the quake-induced vibrations. The proposed control method is applied to a widely used benchmark base-isolated structure by numerical simulation. The performance of the adaptive base isolation system was evaluated through comparison with optimal passive base isolation system and a passive base isolation system with optimized base shear. It is concluded that the adaptive base isolation system with proposed Lyapunov-based semi-active control surpasses the performance of other two passive systems in protecting the civil structures under seismic events.