Abstract:
본 발명은 현재 상태를 루트 노드로하고 동작 종류를 엣지로 하는 트리를 생성하고, 사용자에게 그래픽 형태로 제시하여 사용자가 그래픽 트리 상에서 동작 메뉴 중 하나를 선택하면, 다음 상태로 전이하여 새로운 상태에서 다시 동작 메뉴를 계산한 후, 사용자에게 새로운 그래픽 트리로 제시하는 그래픽 전이 트리를 이용한 시간 순서화 명세언어의 시뮬레이션 방법에 관한 것이다. 본 발명은 명세를 로딩한 후 초기 상태를 계산하고 현재 상태에서 발생 가능한 동작들로 메뉴를 구성하는 과정과, 상기 현재 상태와 동작 메뉴로 그래픽 전이 트리를 구축하는 과정과, 상기 구축된 그래픽 전이 트리를 화면에 전시한 후 사용자의 입력이 들어올 때 까지 대기하는 과정과, 상기 사용자의 입력이 동작 메뉴에서 하나의 동작을 선택한 것이면 현재 상태와 선택된 동작으로 새로운 상태를 계산하여 상기 메뉴 구성의 단계에서부터 이후의 과정을 반복 수행하는 과정과, 상기 사용자의 입력이 실행 취소를 선택한 것이면 이전 상태를 계산하여 상기 동작 메뉴 구성 단계에서부터 이후 과정을 반복 수행하는 과정과, 상기 사용자의 입력이 동작 선택도 아니고 실행 취소도 아니면 시뮬레이션이 끝임을 알리고 종료하는 과정을 포함하여 이루어진 것을 특징으로 한다.
Abstract:
PURPOSE: A binary program conversion system and method is provided to determines a programming strategy according to the kind of a processor family, and optimizes intermediate codes according to the determined strategy so that it enables a user to get an optimal result according to the given situation. CONSTITUTION: The system comprises a first half part, an intermediate part, and a latter half part. The first half part generates a control flow graph and a register transfer language. The intermediate part generates optimizes binary codes. The latter half part generates the binary program executable in a target platform. The intermediate part includes a strategic determination unit and a strategic execution unit. The strategic determination unit receives the control flow graph and a register transfer language from the first half part, selects an optimal program strategy for the target platform, and calls the strategic execution unit. The strategic execution unit generates optimized intermediate codes based on target processor specifications, the control flow graph and the register transfer language code.
Abstract:
PURPOSE: A method for automatically setting and generating a local phone number in a cellular phone is provided to enable a transmitter to make a phone call to a receiver using the local phone number of a place where the transmitter currently locates without need for inputting the local phone number thereof, by storing the local phone number of a corresponding area received from a base station in order to add the stored local phone number to a phone number pressed by the transmitter. CONSTITUTION: A cellular phone receives a local phone number of an area which belongs to a base station corresponding the current location of the transmitter, from the base station(510). The cellular phone stores the local phone number received from the base station and displays it(520). When the transmitter calls the receiver(530), the cellular phone checks the phone number inputted by the transmitter(540), and then determines whether the local phone number is inputted(550). If the local phone number is inputted, it is transferred to the base station together with the inputted phone number(570). If the local phone number is not inputted, the stored local phone number is added to the front of the phone number in order to complete a call number transferred to the base station(560).
Abstract:
PURPOSE: An identifier for a language of a temporal ordering specification(LOTOS) is provided to confirm a functional request specification of a system drawn as the LOTOS with various methods such as a step simulation, a specification extension, and a source estimation. The identifier is provided to detect an error on the specification in an initial development by supporting confirmation and analysis of a request specification which is expressed as the LOTOS and worked as one system, with the various methods. CONSTITUTION: An identifier for a language of a temporal ordering specification(LOTOS) comprises an action movement processor(102), step simulator(103), specification extender(104), and a source estimator(105). The action move processor(102) moves an inner focus to an interested partial action, and includes an action move dialog. The step simulator(103) progresses a state transit by an each step interaction with a user, and includes a simulation dialog and a graphic extension tree. The specification extender(104) extends a given LOTOS action specification as deep as the user requests. The source estimator(105) verifies the LOTOS source specification, and includes a term rewriting system and a finish procedure.
Abstract:
PURPOSE: A method for generating code of an object orintde program from lotos information's detailed statement is disclosed to automatically create a C++ program from detailed statement of LOTOS information to resolve the previous problems caused by C language. CONSTITUTION: A method for generating code of an object orintde program from lotos information's detailed statement is composed of examination, mid point code creation, and C++ transformation. LOTOS information's detailed statement is examined to determine its program form and type. Upon completion of examination, Term Rewrite System is used to convert detailed statement into a mid point code to simplify the C++ conversion process. The mid point code is transformed into a C++ program, which is distinguished as header and source file. This method's mid point code enables the transformation of LOTOS information's detailed statement to other programming languages such as JAVA.
Abstract:
PURPOSE: A method for editing LOTOS(Language of Temporal Ordering Specification) based on template is provided to edit exactly the LOTOS specification without sentence structure error in a faster and simpler method compared with the editing method by usual text input. CONSTITUTION: A specification is loaded(10), the condition of edition is comprehended(20), and LOTOS sentence structure capable of being inputted at the location of present cursor is abstracted(30). The abstracted LOTOS sentence structure is configured in the form of a template tree(40), and is on standby until an input is carried out by a user(50). When the input is carried out by the user(60), the condition of edition is changed(70), and the changed edition condition is comprehended again(20).
Abstract:
PURPOSE: A modeling system of an application developing tool provides a previous analysis and design information necessary to realize a framework based RAD tool by defining a structure of the RAD tool, a function of each module and a data flow after modeling the function of the RAD tool. CONSTITUTION: In a modeling system of an application developing tool, a data storage region(130) is composed of a target system OOA/D storage region(131), a framework storage region(132), a class storage region(133) and an application software storage region(134). A framework based modeler(100) receives data from the framework and class storage regions, and outputs edited data to the target system OOA/D storage region. An application generator(110) receives data from the target system OOA/D, the framework, and the class storage region to output an initial application source code. An application realizing circumstance(140) receives the initial application source code to output a final application source code to the application software storage region. A data storage region manager(120) manages the data stored in the framework storage region and the class storage region.
Abstract:
시공간 정보가 결합된 체험형 지식 제공 방법 및 시스템이 개시된다. 본 발명에 따른 지식 제공 방법은 3차원 가상공간을 생성하는 단계, 상기 가상공간에 대한 특정 시점에서의 공간 정보 및 지식을 포함하는 시공간 정보를 생성하는 단계, 및 상기 시공간 정보를 상기 가상공간에 결합하여 메모리에 저장하는 단계를 포함하는 것을 특징으로 한다. 바람직하게는 사용자에게 상기 가상공간에 대한 접근을 제공하고, 상기 사용자가 상기 가상공간에서 선택한 객체에 대한 상기 시공간 정보를 사용자 단말기에 제공하는 단계를 더 포함하며, 상기 가상공간 및 상기 시공간 정보는 시간축을 기준으로 하여 제어되는 것을 특징으로 한다. 본 발명에 따르면, 3차원 가상공간을 생성하고 여기에 시간축을 새롭게 결합하여, 현재 뿐 아니라 과거와 앞으로 축적해갈 미래의 정보가 반영될 수 있도록 한다. 이를 기반으로 연관된 지식을 단순 텍스트가 아닌 입체적인 정보로 가공하고 체험적으로 지식을 습득할 수 있도록 한다.
Abstract:
화상 카메라로 획득된 양손의 제스쳐 정보를 기반으로 마우스 수준의 명령어를 처리하는 가상 마우스 장치 및 그 구동 방법이 개시되어 있다. 본 발명은 화상 카메라를 통해 입력되는 제스쳐 영상을 추적하는 과정, 추적된 제스쳐 영상으로부터 배경 영상을 제거하고 왼손과 오른손의 영역을 분리하여 추출하는 과정, 추출된 오른손 및 왼손 영역으로부터 왼손 및 오른손의 제스쳐를 감지하고, 각각에 의해 표현되는 제스쳐 명령어를 인식하는 과정, 인식된 제스쳐 명령어를 소정의 대응 명령으로 실행하는 과정을 포함한다.
Abstract:
An apparatus and method for incrementally performing a remote loading is disclosed. The incremental remote loading apparatus includes dependent reader modules for analyzing the object file according to a object type and detecting an independent linking information and independent linker module for receiving a detected liking information, downloading the object file to a target system and rearranging target modules of the target system. The present invention provides convenience to developers by linking object files to the target system without following a linking order and reduces a development time by changing a dependent environment without changing whole developing environment and reduces communication time by recognizing various object file type and partly loading/unloading related modules to target system.