• Title/Summary/Keyword: domain-generality

Search Result 31, Processing Time 0.028 seconds

A Disassembly Technique of ARM Position-Independent Code with Value-Set Analysis Having Symbol-Form Domain (기호 형태의 값-집합 분석을 이용한 ARM 위치 독립적 코드의 정교한 역어셈블리 기법)

  • Ha, Dongsoo;Oh, Heekuck
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.28 no.5
    • /
    • pp.1233-1246
    • /
    • 2018
  • With the proliferation of smart mobiles, disassembly techniques for position-independent code (PIC) composed of ARM architecture instructions in computer security are becoming more important. However, existing techniques have been studied on x86 architecture and are focused on solving problems of non-PIC and generality. Therefore, the accuracy of the collected address information is low to apply to advanced security technologies such as binary measurement. In this paper, we propose a disassembly technique that reflects the characteristics of PIC composed of ARM instructions. For accuratly collecting traceable addresses, we designed value-set analysis having symbol-form domain. To solve the main problem of disassembly, we devised a heuristic using the characteristics of the code generated by the compiler. To verify the accuracy and effectiveness of our technique, we tested 669 shared libraries and executables in the Android 8.1 build, resulting in a total disassembly rate of 91.47%.

Effects of Scratch Programming Learning based on CPS on Verbal Creativity (CPS 모형 기반 스크래치 프로그래밍 학습이 언어 창의성에 미치는 영향)

  • Kim, ByeongSu;Kim, JongHoon
    • The Journal of Korean Association of Computer Education
    • /
    • v.16 no.6
    • /
    • pp.11-19
    • /
    • 2013
  • Recently, the discussion of domain-generality vs. domain-specificity of creativity has been continued. At this point in time, we need to research computer programming activities related to creativity again. While most of existing relative researches have performed TTCT figural tests for evaluating learners' creativity of learning education programming language, our perspective is that verbal creativity is needed on learning education programming language more. In this research, we have developed scratch programming learning based on CPS with the contents using fundamental concepts of computer science from the viewpoint of that programming is a kind of learning required verbal thinking style. This learning program was applied to 17 students of 4th and 5th grade for each 4 classes in 5 days, total 20 classes, this group passed normality test has the result of t-test has found that three subscales (fluency, flexibility and originality) and creativity index (mean of three standard scores) of verbal creativity were improved significantly using the mean of standard scores (100) of TTCT verbal tests as the test value.

  • PDF

An Application of Screw Motions for Mechanical Assemblies (기계부품들의 조립 및 해체과정 설계를 위한 스크류이론의 응용)

  • 김재정
    • Korean Journal of Computational Design and Engineering
    • /
    • v.2 no.1
    • /
    • pp.60-67
    • /
    • 1997
  • CAD systems offer a variety of techniques for designing and rendering models of static 3D objects and even of mechanisms, but relatively few tools exist for interactively specifying arbitrary movements of rigid bodies through space. Such tools are essential, not only for artistic animation, but also, for planning and demonstrating assembly and disassembly procedure of manufactured products. A rigid body motion is a continuous mapping from the time domain to a set of positions. To relieve the designers from the burden of specifying this mapping in abstract mathematical terms, combinations of simple rigid motion primitives, such as linear translations or constant axis rotations, are often used. These simple motions are planar and thus ill-suited for approximating arbitrary motions in 3D-space. Instead, we propose the screw motion primitive, a special combination of linear translations and constant axis rotations, which has a simple geometric representation that can be automatically and unambiguously computed from the starting and ending positions of the moving body. Although, any two positions may be interpolated by an infinity of motions, we chose the screw motion for its relative generality and its computational advantages. The paper covers original algorithms for computing the screw motions from interpolated positions and envelopes of swept regions to predict collisions.

  • PDF

A Study of Ontology-based Context Modeling in the Area of u-Convention (온톨로지 기반 상황인지 모델링 연구: u-Convention을 중심으로)

  • Kim, Sung-Hyuk
    • Journal of the Korean Society for information Management
    • /
    • v.28 no.3
    • /
    • pp.123-139
    • /
    • 2011
  • Context-awareness as a key technology of ubiquitous computing needs a context model that understands and processes situational information coming from diverse sensors and devices, and can be applied diversely in various domains. Semantic web based ontologies use structured standard format and express meaning of information, so it is possible to recognize effectively context-awareness situations, allowing the system to share information and understand situation by inference. In this paper, we propose a layered ontology model to support generality and scaleability of the context-awareness system, and applied the model to u-Convention domain. In addition, we propose a effective reasoning method to handle compound situation by combining OWL-DL and SWRL rules.

The Customization Techniques of Component Behavior (컴포넌트 행위 커스터마이제이션 기법)

  • 김철진;정승재;김수동
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.3_4
    • /
    • pp.185-201
    • /
    • 2003
  • The business component for satisfying a variety of domain requirements should be developed to provide a variety. But, although components are developed by analyzing the variety of requirements when they are developed, developing components that satisfy all requirements is not easy since unexpected requirements occur as it is used components. For this reason, components are not provided as black boxes but as white boxes, and there by components are not modified in the interface only but the source codes are directly modified. Accordingly, a Time-To-Market by the use of components is not easy and a reusability of the components also decreases. This study proposes a customization technique that can be satisfied requirements of many different kinds of domains by analyzing variable spots of components. The initial variability of components is designed in the component development phase. and a customization technique is used to apply the variability. The variability can be redesigned during the development of application by using the components to which the variability is applied. Through this process, a variability of components evolves and a generality of the components can be improved. The proposing customization technique in this study can change the component to extend without changing the existing component when it is redesigned.

Analysis of High-Speed Pulse Propagation on Arbitrarily Interconnected Transmission Lines by an Efficient Node Discretization Technique (효율적인 노드분할법을 통한 임의 결선된 전송선로상의 고속 펄스 전송 해석)

  • 전상재;박의준
    • Journal of the Institute of Electronics Engineers of Korea TC
    • /
    • v.40 no.1
    • /
    • pp.37-46
    • /
    • 2003
  • The transient responses on arbitrarily interconnected digital transmission lines are analyzed by an efficient node discretization technique. Since the proposed node discretization technique offers an efficient means to discretize transmission lines, the transient waveform at any position on the arbitrarily interconnected lines is easily predicted. Dispersive microstrip multiconductor transmission lines arbitrarily connected are analized for generality. The derivation of frequency-dependent equivalent circuit elements of coupled transmission lines have been carried out by the spectral domain approach(SDA). The effects of variations of excited pulse width on the crosstalks of the high-speed microstrip coupled-lines are also investigated. It has been well known that the crosstalk spike level is monotonously increased when the coupling length and effective permittivity of substrate are increased. In this paper, it is found that the variations of crosstalk level are not further monotonous as shortening the exciting pulse width toward several picosecond. The results are verified by the generalized S-parameter technique.

Automatic Recognition and Normalization System of Korean Time Expression using the individual time units (시간의 단위별 처리를 이용한 자동화된 한국어 시간 표현 인식 및 정규화 시스템)

  • Seon, Choong-Nyoung;Kang, Sang-Woo;Seo, Jung-Yun
    • Korean Journal of Cognitive Science
    • /
    • v.21 no.4
    • /
    • pp.447-458
    • /
    • 2010
  • Time expressions are a very important form of information in different types of data. Thus, the recognition of a time expression is an important factor in the field of information extraction. However, most previously designed systems consider only a specific domain, because time expressions do not have a regular form and frequently include different ellipsis phenomena. We present a two-level recognition method consisting of extraction and transformation phases to achieve generality and portability. In the extraction phase, time expressions are extracted by atomic time units for extensibility. Then, in the transformation phase, omitted information is restored using basis time and prior knowledge. Finally, every complete atomic time unit is transformed into a normalized form. The proposed system can be used as a general-purpose system, because it has a language- and domain-independent architecture. In addition, this system performs robustly in noisy data like SMS data, which include various errors. For SMS data, the accuracies of time-expression extraction and time-expression normalization by using the proposed system are 93.8% and 93.2%, respectively. On the basis of these experimental results, we conclude that the proposed system shows high performance in noisy data.

  • PDF

A Variability Design and Customization Technique of Message Flow for Improving Generality (범용성 향상을 위한 메시지 흐름 가변성 설계 및 특화 기법)

  • Cho, Eun-Sook;Kim, Chul-Jin
    • Journal of Internet Computing and Services
    • /
    • v.9 no.1
    • /
    • pp.115-127
    • /
    • 2008
  • The component for satisfying several domain requirements must be developed to support variety. But, when the application is developed using the component, it happens other requirements. So, it is difficult to design component to satisfy severaldomain requirements. Also, it is impossible to support the special business logic. As this problem, the component must provide to the white-box component, it is not the black-box component. So, in this paper, we propose the variability design technique and the customization technique using the design technique that can support the various requirements. This technique is not focus on designing the component to analyze various domains. The variability of the component is designed to the initial variability in the component development phase and we use the customization technique for applying the variability to developing application. The variability can be re-designed during developing the application to use the component applying the variability. The variability of the component is evolved and the generation of the component is increased via the iteration Generally, the range of the component variability is classified the function modification within the component and the component internal structure modification as requirements in the component outside. As the range of the variability, we propose the variability design technique of the behavior and the message flow. This paper proposes a message flow design technique for modifying function call.

  • PDF

Development of Parametric BIM Libraries for Civil Structures using National 2D Standard Drawings (국가 표준도를 이용한 토목 구조물 BIM 파라메트릭 라이브러리 구축에 관한 연구)

  • Kim, Cheong-Woon;Koo, Bonsang
    • Korean Journal of Construction Engineering and Management
    • /
    • v.15 no.4
    • /
    • pp.128-138
    • /
    • 2014
  • Development of infrastructure component libraries is a critical requirement for the accelerated adoption of BIM in the civil engineering sector. Libraries reduce the time for BIM model creation, allows accurate quantity take offs, and shared use of standard models in a project. However, such libraries are currently in very short supply in the domestic infrastructure domain. This research introduces library components for retaining walls and box culverts generated from 2D standard drawings made publicly available by MOLIT. Commercial BIM software was used to create the concrete geometry and rebar, and dimensional/volumetric parameters were defined to maximize the reuse and generality of the libraries. Use of the these libraries in a project context demonstrates that they allow accurate and quick quantity take offs, and easier management of geometric information through the use of a single library as to numerous 2D drawings. It also demonstrates the easy modification of the geometries of the components if and when they need to changed. However, the application also showed that some of the rebar components (stirrups and length wise rebars) do not get properly updated when concrete geometries are changed, demonstrating the limits of current software applications. The research provides evidence of the many advantages of using BIM libraries in the civil engineering, thus providing the incentive for further development of standard libraries and promoting the use of BIM in infrastructure projects.

Understanding Purposes and Functions of Students' Drawing while on Geological Field Trips and during Modeling-Based Learning Cycle (야외지질답사 및 모델링 기반 순환 학습에서 학생들이 그린 그림의 목적과 기능에 대한 이해)

  • Choi, Yoon-Sung
    • Journal of the Korean earth science society
    • /
    • v.42 no.1
    • /
    • pp.88-101
    • /
    • 2021
  • The purpose of this study was to qualitatively examine the meaning of students' drawings in outdoor classes and modeling-based learning cycles. Ten students were observed in a gifted education center in Seoul. Under the theme of the Hantan River, three outdoor classes and three modeling activities were conducted. Data were collected to document all student activities during field trips and classroom modeling activities using simultaneous video and audio recording and observation notes made by the researcher and students. Please note it is unclear what this citation refers to. If it is the previous sentence it should be placed within that sentence's punctuation. Hatisaru (2020) Ddrawing typess were classified by modifying the representations in a learning context in geological field trips. We used deductive content analysis to describe the drawing characteristics, including students writing. The results suggest that students have symbolic images that consist of geologic concepts, visual images that describe topographical features, and affective images that express students' emotion domains. The characteristics were classified into explanation, generality, elaboration, evidence, coherence, and state-of-mind. The characteristics and drawing types are consecutive in the modeling-based learning cycle and reflect the students' positive attitude and cognitive scientific domain. Drawing is a useful tool for reflecting students' thoughts and opinions in both outdoor class and classroom modeling activities. This study provides implications for emphasizing the importance of drawing activities.