그래픽 전이 트리를 이용한 시간 순서화 명세언어의시뮬레이션 방법
    31.
    发明授权
    그래픽 전이 트리를 이용한 시간 순서화 명세언어의시뮬레이션 방법 失效
    使用图形转换树模拟时间排序规范语言的方法

    公开(公告)号:KR100290464B1

    公开(公告)日:2001-06-01

    申请号:KR1019980052021

    申请日:1998-11-30

    Abstract: 본 발명은 현재 상태를 루트 노드로하고 동작 종류를 엣지로 하는 트리를 생성하고, 사용자에게 그래픽 형태로 제시하여 사용자가 그래픽 트리 상에서 동작 메뉴 중 하나를 선택하면, 다음 상태로 전이하여 새로운 상태에서 다시 동작 메뉴를 계산한 후, 사용자에게 새로운 그래픽 트리로 제시하는 그래픽 전이 트리를 이용한 시간 순서화 명세언어의 시뮬레이션 방법에 관한 것이다.
    본 발명은 명세를 로딩한 후 초기 상태를 계산하고 현재 상태에서 발생 가능한 동작들로 메뉴를 구성하는 과정과, 상기 현재 상태와 동작 메뉴로 그래픽 전이 트리를 구축하는 과정과, 상기 구축된 그래픽 전이 트리를 화면에 전시한 후 사용자의 입력이 들어올 때 까지 대기하는 과정과, 상기 사용자의 입력이 동작 메뉴에서 하나의 동작을 선택한 것이면 현재 상태와 선택된 동작으로 새로운 상태를 계산하여 상기 메뉴 구성의 단계에서부터 이후의 과정을 반복 수행하는 과정과, 상기 사용자의 입력이 실행 취소를 선택한 것이면 이전 상태를 계산하여 상기 동작 메뉴 구성 단계에서부터 이후 과정을 반복 수행하는 과정과, 상기 사용자의 입력이 동작 선택도 아니고 실행 취소도 아니면 시뮬레이션이 끝임을 알리고 종료하는 과정을 포함하여 이루어진 것을 특징으로 한다.

    바이너리 프로그램 변환 장치 및 그 방법
    32.
    发明公开
    바이너리 프로그램 변환 장치 및 그 방법 失效
    用于转换二进制程序的系统和方法

    公开(公告)号:KR1020010037625A

    公开(公告)日:2001-05-15

    申请号:KR1019990045261

    申请日:1999-10-19

    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 translation: 目的:提供一种二进制程序转换系统和方法,以根据处理器系列的种类确定编程策略,并根据确定的策略对中间代码进行优化,使其能够根据给定情况获得最佳结果 。 构成:该系统包括前半部分,中间部分和后半部分。 上半部分生成一个控制流程图和一个寄存器传输语言。 中间部分生成优化二进制代码。 后半部分在目标平台中生成二进制程序可执行文件。 中间部分包括战略确定单元和战略执行单元。 战略决策单元从前半部分接收控制流程图和寄存器传输语言,为目标平台选择最佳程序策略,并调用策略执行单元。 战略执行单元根据目标处理器规格,控制流程图和寄存器传输语言代码生成优化的中间代码。

    휴대 전화기의 지역번호 자동설정 및 표출 방법
    33.
    发明公开
    휴대 전화기의 지역번호 자동설정 및 표출 방법 无效
    用于在蜂窝电话中自动设置和产生本地电话号码的方法

    公开(公告)号:KR1020000037797A

    公开(公告)日:2000-07-05

    申请号:KR1019980052561

    申请日:1998-12-02

    Inventor: 오영배 김흥남

    CPC classification number: H04M1/72572 H04M1/72522 H04M2201/36

    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 translation: 目的:提供一种用于在蜂窝电话中自动设置和产生本地电话号码的方法,以使得发射机能够使用发射机当前所在的地方的本地电话号码向接收机拨打电话,而无需输入本地 通过存储从基站接收到的相应区域的本地电话号码,以便将存储的本地电话号码添加到由发射机按压的电话号码。 构成:蜂窝电话从基站(510)接收属于与发射机的当前位置相对应的基站的区域的本地电话号码。 蜂窝电话存储从基站接收到的本地电话号码并显示它(520)。 当发射机呼叫接收机(530)时,蜂窝电话检查由发射机(540)输入的电话号码,然后确定是否输入本地电话号码(550)。 如果输入本地电话号码,则与输入的电话号码一起传送到基站(570)。 如果未输入本地电话号码,则将存储的本地电话号码添加到电话号码的前面,以便完成传送到基站(560)的呼叫号码。

    로토스정형명세의확인장치및방법
    34.
    发明公开
    로토스정형명세의확인장치및방법 失效
    时间规范语言标识符

    公开(公告)号:KR1020000037589A

    公开(公告)日:2000-07-05

    申请号:KR1019980052216

    申请日:1998-12-01

    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 translation: 目的:提供用于时间排序规范(LOTOS)的语言的标识符,以通过诸如步骤模拟,规范扩展和源估计之类的各种方法来确认绘制为LOTOS的系统的功能请求规范。 提供标识符,以通过支持用LOTOS表示的并且作为一个系统工作的请求规范的确认和分析,以各种方法来检测初始开发中的规范上的错误。 构成:时间排序规范(LOTOS)的语言的标识符包括动作移动处理器(102),步进模拟器(103),规范扩展器(104)和源估计器(105)。 动作移动处理器(102)将内部焦点移动到感兴趣的部分动作,并且包括动作移动对话。 步进模拟器(103)通过与用户的每个步骤交互进行状态转移,并且包括模拟对话框和图形扩展树。 规范扩展器(104)将给定的LOTOS动作规范扩展为用户请求的深度。 源估计器(105)验证LOTOS源规范,并包括术语重写系统和完成程序。

    로토스 자료 명세로부터 객체지향 프로그램의 자동 생성 방법및 이를 위한 코드 생성기
    35.
    发明公开
    로토스 자료 명세로부터 객체지향 프로그램의 자동 생성 방법및 이를 위한 코드 생성기 失效
    从光盘信息的详细声明中生成对象ORINTDE程序的代码的设备和方法

    公开(公告)号:KR1020000034648A

    公开(公告)日:2000-06-26

    申请号:KR1019980052022

    申请日:1998-11-30

    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 translation: 目的:公开一种从lotos信息详细语句生成对象orintde程序代码的方法,从LOTOS信息的详细说明中自动创建C ++程序,以解决C语言导致的以前的问题。 构成:从lotos信息的详细说明中生成对象orintde程序的代码的方法由检查,中间点代码创建和C ++转换组成。 检查LOTOS信息的详细声明以确定其程序形式和类型。 完成考试后,术语重写系统用于将详细语句转换为中点代码,以简化C ++转换过程。 中点代码被转换为C ++程序,它被区分为头文件和源文件。 该方法的中点代码可以将LOTOS信息的详细语句转换为其他编程语言,如JAVA。

    탬플릿기반의시간순서화명세언어편집방법
    36.
    发明公开
    탬플릿기반의시간순서화명세언어편집방법 失效
    基于模板编辑光标的方法

    公开(公告)号:KR1020000031541A

    公开(公告)日:2000-06-05

    申请号:KR1019980047640

    申请日:1998-11-07

    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 translation: 目的:提供一种基于模板编辑LOTOS(时态排序规范语言)的方法,与通常的文本输入的编辑方法相比,以更快更简单的方法准确地编辑LOTOS规范,而无需语句结构错误。 规定:加载规范(10),版本条件(20),能够在当前光标位置输入的LOTOS句子结构被抽取(30)。 抽象的LOTOS句子结构以模板树(40)的形式配置,并且待机直到用户执行输入(50)。 当用户(60)进行输入时,更改版本条件(70),并再次理解变更的版本条件(20)。

    객체지향 프레임워크 기반 애플리케이션 개발도구의 모델링시스템
    37.
    发明公开
    객체지향 프레임워크 기반 애플리케이션 개발도구의 모델링시스템 失效
    基于面向对象框架的应用开发工具建模系统

    公开(公告)号:KR1020000025070A

    公开(公告)日:2000-05-06

    申请号:KR1019980041994

    申请日:1998-10-08

    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 translation: 目的:应用开发工具的建模系统提供了先前的分析和设计信息,以实现基于框架的RAD工具,通过定义RAD工具的结构,每个模块的功能和对RAD功能建模后的数据流 工具。 构成:在应用开发工具的建模系统中,数据存储区域(130)由目标系统OOA / D存储区域(131),框架存储区域(132),类存储区域(133)和 应用软件存储区域(134)。 基于框架的建模器(100)从框架和类存储区域接收数据,并将编辑的数据输出到目标系统OOA / D存储区域。 应用生成器(110)从目标系统OOA / D,框架和类存储区域接收数据,以输出初始应用源代码。 应用实现环境(140)接收初始应用源代码以将最终应用源代码输出到应用软件存储区域。 数据存储区域管理器(120)管理存储在框架存储区域和类别存储区域中的数据。

    시공간 정보가 결합된 체험형 지식 제공 방법 및 시스템
    38.
    发明公开
    시공간 정보가 결합된 체험형 지식 제공 방법 및 시스템 失效
    与空间和时间信息相关的经验知识的方法与系统

    公开(公告)号:KR1020090052970A

    公开(公告)日:2009-05-27

    申请号:KR1020070119551

    申请日:2007-11-22

    CPC classification number: G06T19/00 G09B29/001 H04L67/38

    Abstract: 시공간 정보가 결합된 체험형 지식 제공 방법 및 시스템이 개시된다. 본 발명에 따른 지식 제공 방법은 3차원 가상공간을 생성하는 단계, 상기 가상공간에 대한 특정 시점에서의 공간 정보 및 지식을 포함하는 시공간 정보를 생성하는 단계, 및 상기 시공간 정보를 상기 가상공간에 결합하여 메모리에 저장하는 단계를 포함하는 것을 특징으로 한다. 바람직하게는 사용자에게 상기 가상공간에 대한 접근을 제공하고, 상기 사용자가 상기 가상공간에서 선택한 객체에 대한 상기 시공간 정보를 사용자 단말기에 제공하는 단계를 더 포함하며, 상기 가상공간 및 상기 시공간 정보는 시간축을 기준으로 하여 제어되는 것을 특징으로 한다.
    본 발명에 따르면, 3차원 가상공간을 생성하고 여기에 시간축을 새롭게 결합하여, 현재 뿐 아니라 과거와 앞으로 축적해갈 미래의 정보가 반영될 수 있도록 한다. 이를 기반으로 연관된 지식을 단순 텍스트가 아닌 입체적인 정보로 가공하고 체험적으로 지식을 습득할 수 있도록 한다.

    양손 제스쳐에 기반한 가상 마우스 장치 및 방법
    39.
    发明授权
    양손 제스쳐에 기반한 가상 마우스 장치 및 방법 有权
    基于双手手势的虚拟鼠标的装置和方法

    公开(公告)号:KR100687737B1

    公开(公告)日:2007-02-27

    申请号:KR1020050022932

    申请日:2005-03-19

    CPC classification number: G06F3/017 G06F3/0304

    Abstract: 화상 카메라로 획득된 양손의 제스쳐 정보를 기반으로 마우스 수준의 명령어를 처리하는 가상 마우스 장치 및 그 구동 방법이 개시되어 있다. 본 발명은 화상 카메라를 통해 입력되는 제스쳐 영상을 추적하는 과정, 추적된 제스쳐 영상으로부터 배경 영상을 제거하고 왼손과 오른손의 영역을 분리하여 추출하는 과정, 추출된 오른손 및 왼손 영역으로부터 왼손 및 오른손의 제스쳐를 감지하고, 각각에 의해 표현되는 제스쳐 명령어를 인식하는 과정, 인식된 제스쳐 명령어를 소정의 대응 명령으로 실행하는 과정을 포함한다.

    내장형 시스템을 위한 점진적 원격 로딩 장치 및 그 방법
    40.
    发明授权
    내장형 시스템을 위한 점진적 원격 로딩 장치 및 그 방법 失效
    내장형시스템을위한점진적원격로딩장치및그방

    公开(公告)号:KR100461535B1

    公开(公告)日:2004-12-14

    申请号:KR1020010068232

    申请日:2001-11-02

    CPC classification number: G06F9/44521

    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.

    Abstract translation: 公开了用于递增地执行远程加载的设备和方法。 增量远程加载装置包括依赖读取器模块,用于根据对象类型分析目标文件并检测独立链接信息和独立链接器模块,用于接收检测到的喜好信息,将目标文件下载到目标系统并重新排列目标模块 目标系统。 本发明通过将目标文件链接到目标系统而无需遵循链接顺序并且通过改变依赖环境而不改变整个开发环境来缩短开发时间并且通过识别各种目标文件类型和部分加载/卸载来减少通信时间 相关模块到目标系统。

Patent Agency Ranking