-
公开(公告)号：KR1020010057777A
公开(公告)日：2001-07-05
申请号：KR1019990061184
申请日：1999-12-23
Applicant: 한국전자통신연구원
IPC: G06F17/50
Abstract: PURPOSE: A method for embodying a component in a 3-tier structure is provided to rapidly cope with a change of an environment, and to increase the reuse of a component by developing the component in a 3-tier structure separated into a user, process logic and an information tier. CONSTITUTION: An object, which is an analysis model, is detected from analyzing a component developing request item(300). A model is designed in a 3-tier structure, a user tier, a process logic tier and an information tier using the object detected(302). A component is embodied using the object detected(304). The component embodied is tested(306). The component passed through the test is maintained and complemented(308).
Abstract translation: 目的：提供一种体现3层结构中的组件的方法，以便快速应对环境变化，并通过开发分为用户，过程的3层结构中的组件来增加组件的重用 逻辑和信息层。 构成：通过分析组件开发请求项（300）来检测作为分析模型的对象。 模型设计为3层结构，用户层，过程逻辑层和使用检测到的对象的信息层（302）。 使用检测到的对象来实现部件（304）。 测试组件（306）。 通过测试的组件被维持和补充（308）。
-
公开(公告)号：KR100289061B1
公开(公告)日：2001-05-02
申请号：KR1019970055205
申请日：1997-10-27
Applicant: 한국전자통신연구원
IPC: G06F9/44
Abstract: PURPOSE: A manager system for a simulation tool of LOTOS(language of temporal ordering specification) is provided to connect a LOTOS simulation engine portion to a window user interface portion of a PC by making a LOTOS shaping specification prepared by a user as a simulation object, converting a LOTOS specification into an internal data structure, executing an extension simulator and a stage simulator, and including a confirming process for creating a reliable program. CONSTITUTION: In a manager system for a simulation tool of a specification out of a developing environment based on a LOTOS, an interpreter(4) interprets a pre-processed specification as a convenient form for being managed in a tool and stores the specification in an internal data structure, and constructs an internal data structure of the tool for using the specification as an input of an action processor(11) and a data evaluating device(9). The action processor(11) additionally processes an action portion of the specification and charges a pre-processing role of an action simulation. An extension simulator(13) calculates a finite state extended from the LOTOS specification. A stage simulator(18) receives a partial action as an initial state and creates selection available operations. The data evaluating device(9) receives a data value expression formula from a user using a function independent on the extension simulator(13) and the stage simulator(18), rewrites the expression formula by a rewriting rule made in a rewriting rule creating device, and manufactures a normalized form.
-
公开(公告)号：KR1019990039434A
公开(公告)日：1999-06-05
申请号：KR1019970059539
申请日：1997-11-12
Applicant: 한국전자통신연구원
IPC: G06F9/44
Abstract: 본 발명은 행위 컴파일러에 관한 것으로서, 정명 명세 언어인 LOTOS로 기술된 시스템 명세로부터 실행 가능한 C++ 코드를 생성하는 방법에 관한 것이다. 본 발명은 편집기를 통해 작성된 LOTOS(Language Of Temporal Odering Specification) 명세가 구문 및 의미 분석과정을 거친 중간 표현 형태의 AST(추상구문트리)를 행위 컴파일러가 읽어서 그 읽은 AST의 노드(Node)를 순차적으로 인식하고, 그 인식된 노드에 해당하는 유한 상태기에 의거하여 정의된 가상 기계 코드에 따라 해당 C++ 코드를 생성함으로써, PC 플랫폼상에서 실행하여 시스템의 기능모형이 사용자의 요구사항에 따라 동작하는가를 보여줌으로써 시스템 개발의 초기 단계에서 오류를 발견할 수가 있다.
-
公开(公告)号：KR1019990039049A
公开(公告)日：1999-06-05
申请号：KR1019970059001
申请日：1997-11-10
Applicant: 한국전자통신연구원
IPC: G06F9/455
Abstract: 본 발명은 로토스 명세의 확장을 위한 제어 방법에 관한 것으로서, 본 발명에서 제공하는 방법은 사용자에 의해 입력된 텍스트 형태의 로토스 명세가 구문 검사와 의미 검사를 거쳐 내부 표현으로 변환하는 제 1 단계와, 깊이와 폭을 제한하는 매개 변수를 사용하여 상기 제 1 단계에서 생성된 내부 표현에 근거한 확장을 수행하여 시뮬레이션만을 위한 내부 행위 트리를 생성하는 제 2 단계와, 상기 제 2 단계에서 생성된 내부 행위 트리를 외부 참조가 가능한 형태의 행위 트리로 변환하여 출력하되, 동질성 규칙을 적용하여 불필요한 인터널 오퍼레이션 및 반복을 제거하여 간결한 형태의 행위 트리로 최적화하는 과정을 병행하는 제 3 단계와, 상기 제 3 단계에서 심볼 변수로 대체되어 확장된 프로세스의 입출력 변수들에 대해 형식 파라메타와 실 변수값 을 함께 표현하게 함으로서 다음에 이어지는 이벤트 입력, 테스트 케이스의 생성과 같은 보조 활동이 가능하도록 준비하는 제 4 단계로 구성되어, 동질성 규칙 적용과 중간 행위 트리 생성을 조합 시킴으로서 종래의 전통적인 행위 트리 방식이 해결하기 힘들었던 행위트리 생성 시간과 메모리의 사용을 절약할 수 있다는 장점이 있다.
-
-
Patent Agency Ranking
公开(公告)号：KR100279750B1
公开(公告)日：2001-02-01
申请号：KR1019970059001
申请日：1997-11-10
Applicant: 한국전자통신연구원
IPC: G06F9/455
Abstract: 본 발명은 로토스 명세의 확장을 위한 제어 방법에 관한 것으로서, 본 발명에서 제공하는 방법은 사용자에 의해 입력된 텍스트 형태의 로토스 명세가 구문 검사와 의미 검사를 거쳐 내부 표현으로 변환하는 제 1 단계와, 깊이와 폭을 제한하는 매개 변수를 사용하여 상기 제 1 단계에서 생성된 내부 표현에 근거한 확장을 수행하여 시뮬레이션만을 위한 내부 행위 트리를 생성하는 제 2 단계와, 상기 제 2 단계에서 생성된 내부 행위 트리를 외부 참조가 가능한 형태의 행위 트리로 변환하여 출력하되, 동질성 규칙을 적용하여 불필요한 인터널 오퍼레이션 및 반복을 제거하여 간결한 형태의 행위 트리로 최적화하는 과정을 병행하는 제 3 단계와, 상기 제 3 단계에서 심볼 변수로 대체되어 확장된 프로세스의 입출력 변수들에 대해 형식 파라메타와 실 변수값 을 함께 표현하게 함으로서 다음에 이어지는 이벤트 입력, 테스트 케이스의 생성과 같은 보조 활동이 가능하도록 준비하는 제 4 단계로 구성되어, 동질성 규칙 적용과 중간 행위 트리 생성을 조합 시킴으로서 종래의 전통적인 행위 트리 방식이 해결하기 힘들었던 행위트리 생성 시간과 메모리의 사용을 절약할 수 있다는 장점이 있다.
-
公开(公告)号：KR100276086B1
公开(公告)日：2000-12-15
申请号：KR1019970059539
申请日：1997-11-12
Applicant: 한국전자통신연구원
IPC: G06F9/44
Abstract: PURPOSE: A method for generating a C++ code from LOTOS specifications is provided to detect an error from an initial process of a system development by generating a C++ code from a LOTOS, by executing a functional model on a PC platform, thereby displaying whether the functional model is operated according to a request of a user. CONSTITUTION: LOTOS specifications written out through an editor are passed through a syntax and semantic analysis process. The specifications are converted into an AST(Abstract Syntax Tree). A behavior compiler reads an AST file(50). Each node of the AST file read is recognized in order(200). A C++ code is generated according to a virtual machine code defined on the basis of a finite state machine relevant to the node recognized(300).
Abstract translation: 目的：提供从LOTOS规范生成C ++代码的方法，通过在PC平台上执行功能模型，通过在PC平台上生成C ++代码来检测系统开发初始过程中的错误，从而显示功能 型号根据用户的要求进行操作。 规定：通过编辑器编写的LOTOS规范通过语法和语义分析过程传递。 规格转换为AST（抽象语法树）。 行为编译器读取AST文件（50）。 AST文件读取的每个节点按照（200）进行识别。 根据与所识别的节点相关的有限状态机（300）定义的虚拟机代码生成C ++代码。
-
公开(公告)号：KR100249821B1
公开(公告)日：2000-03-15
申请号：KR1019970067849
申请日：1997-12-11
Applicant: 한국전자통신연구원
IPC: G06F3/14
Abstract: 본 발명은 실시간 객체지향 모델을 기반으로 한 압연공정의 자동 판 두께 제어장치의 실시간 시뮬레이터 및 시뮬레이션 모델링 방법에 관한 것이다. 본 발명은 시스템 모델로부터 시뮬레이션 모델을 하나의 실시간 객체로부터 압연 실시간 객체(RTO) 및 압연 제어 RTO로 분할하고, 그 압연 RTO를 다시 페이-오프 릴(POR), 장력 릴(TR) 및 다수의 작업 롤(WR)의 RTO로 분할하며, 그 압연 제어 RTO를 다수의 자동 판 두께 제어기(AGC) RTO, 속도 제어기(SC) RTO로 분할하는 압연공정 시뮬레이션 모델링 방법을 제공한다. 또한 시뮬레이션은, RTO의 메소드와 RTO간의 통신채널을 생성하고, 각 RTO의 시간구동메소드(SpM)가 압연 공정 매개변수들을 읽어오고, 이 값을 바탕으로 시뮬레이션 목표치와 비교하여 근접한 값이 나올 때까지 수행하고, 압연 공정 매개변수가 산출된 후 RTO의 객체 데이터 공간에 기록하고, 이 과정을 시뮬레이션 주기에 따라 반복수행한 후 종료된다. 따라서, 실시간으로 압연 소재가 압연공정 시스템을 통과하면서 압연되는 과정을 모의할 수 있다. 결국, 본 발명은 실시간 시계를 이용한 시간 제약에 따라 동기되어 실시간으로 시뮬레이션을 할 수 있고, 그 모델을 변경시키고 다수의 컴퓨터에 분산시켜 수행할 수 있다.
-
公开(公告)号：KR100248377B1
公开(公告)日：2000-03-15
申请号：KR1019970053452
申请日：1997-10-17
Applicant: 한국전자통신연구원
IPC: G06F11/00
Abstract: 본 발명은 액션 집합의 크기가 1인 경우에 한하여 두 개의 병행 시스템의 명세들 간의 완전 트레이스 동치성(completed trace equivalence)을 검사하는 방법에 관한 것이다. 본 발명을 달성하기 위해 두 개의 병행 시스템의 각 명세의 시작 상태에 대하여 특징 함수 (characteristic polynomial)를 생성한 후, 그 각 특징 함수들이 동일한지를 비교함으로써, 두 명세가 완전 트레이스 동치인지를 검사할 수 있는 것이다. 이와 같이 본 발명에서는 다항 함수를 두 개의 배열을 통해 나타내는 방법을 이용함으로써 효율적인 동치성 검사가 이루어지도록 한다. 따라서, 본 발명은 주어진 시스템 명세에서 사용되는 액션 집합의 크기가 1인 경우 두 명세간의 완전 트레이스 동치성을 제곱 시간(quadratic time) 내에 검사해 주게 된다.
-
公开(公告)号：KR1019990049015A
公开(公告)日：1999-07-05
申请号：KR1019970067849
申请日：1997-12-11
Applicant: 한국전자통신연구원
IPC: G06F3/14
Abstract: 본 발명은 실시간 객체지향 모델을 기반으로 한 압연공정의 자동 판 두께 제어장치의 실시간 시뮬레이터 및 시뮬레이션 모델링 방법에 관한 것이다. 본 발명은 시스템 모델로부터 시뮬레이션 모델을 하나의 실시간 객체로부터 압연 실시간 객체(RTO) 및 압연 제어 RTO로 분할하고, 그 압연 RTO를 다시 페이-오프 릴(POR), 장력 릴(TR) 및 다수의 작업 롤(WR)의 RTO로 분할하며, 그 압연 제어 RTO를 다수의 자동 판 두께 제어기(AGC) RTO, 속도 제어기(SC) RTO로 분할하는 압연공정 시뮬레이션 모델링 방법을 제공한다. 또한 시뮬레이션은, RTO의 메소드와 RTO간의 통신채널을 생성하고, 각 RTO의 시간구동메소드(SpM)가 압연 공정 매개변수들을 읽어오고, 이 값을 바탕으로 시뮬레이션 목표치와 비교하여 근접한 값이 나올 때까지 수행하고, 압연 공정 매개변수가 산출된 후 RTO의 객체 데이터 공간에 기록하고, 이 과정을 시뮬레이션 주기에 따라 반복수행한 후 종료된다. 따라서, 실시간으로 압연 소재가 압연공정 시스템을 통과하면서 압연되는 과정을 모의할 수 있다. 결국, 본 발명은 실시간 시계를 이용한 시간 제약에 따라 동기되어 실시간으로 시뮬레이션을 할 수 있고, 그 모델을 변경시키고 다수의 컴퓨터에 분산시켜 수행할 수 있다.
-
-
-
-
-
-
-
-
-
Search Results
14
records
(took 0.043 seconds)
