로토스정형명세의확인장치및방법
    11.
    发明授权
    로토스정형명세의확인장치및방법 失效
    用于识别Rotos正式规范的设备和方法

    公开(公告)号:KR100317504B1

    公开(公告)日:2002-02-19

    申请号:KR1019980052216

    申请日:1998-12-01

    Abstract: 본 발명은 LOTOS(Language of Temporal Ordering Specification) 정형 명세의 확인 장치 및 방법에 관한 것으로, 사용자 인터페이스를 그래픽 트리로 처리하여 복잡한 LOTOS 명세를 한눈에 직관적으로 파악할 수 있고 다이얼로그나 그래픽 트리상에서 마우스 클릭만으로 명세의 확인 과정을 쉽고 빠르게 전개해 나갈 수 있도록 한다.
    본 발명은 간단한 마우스 클릭만으로 확인 대상 부분 행위로 내부 포커스를 옮겨주는 행위 이동 다이얼로그를 포함하는 행위 이동 처리기와, 그래픽 트리 및 마우스 클릭을 이용한 편리한 사용자 인터페이스를 통해 사용자와의 단계별 상호 작용으로 상태 전이를 진행시키며 시뮬레이션 다이얼로그 및 그래픽 시뮬레이션 트리를 포함하는 단계 시뮬레이터와, 그래픽 트리 및 마우스 클릭을 이용한 편리한 사용자 인터페이스를 통해 주어진 LOTOS 행위 명세를 원하는 깊이만큼 확장하며 확장 다이얼로그 및 그래픽 확장 트리를 포함하는 명세 확장기와, LOTOS 자료 명세를 검증하며 텀 개서 시스템 및 완료 프로시저를 포함하는 자료 평가기를 포함하여 구성된다.
    본 발명에 의하면 종래의 기법에 비해 빠르고 편리하게 LOTOS 명세를 검증할 수 있고, 하나의 시스템으로 작용하여 LOTOS로 표현된 요구 명세의 확인 및 분석을 다양한 방법으로, 빠르고 편리하게 지원하여 명세상의 오류를 효과적으로 검출할 수 있다.

    텔레비젼용 웹 브라우저를 위한 하이퍼 텍스트 마크업랭귀지 변환 방법
    12.
    发明公开
    텔레비젼용 웹 브라우저를 위한 하이퍼 텍스트 마크업랭귀지 변환 방법 有权
    用于转换网络浏览器的超文本标记语言的方法用于电视

    公开(公告)号:KR1020010057774A

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

    申请号:KR1019990061181

    申请日:1999-12-23

    CPC classification number: H04N21/4355 H04N21/4782

    Abstract: PURPOSE: A method for converting a hyper text markup language of a web browser for a television is provided to automatically convert the HTML document for a PC to the HTML for the TV in order to enable a user to use the Internet using a set top box connected to the TV. CONSTITUTION: A tag of an HTML document for a PC is read out one by one and in case that the read tag is not supported in the HTML for a television according to the read result, a corresponding nonsupport tag is removed. Otherwise, in case that the tag supported in the HTML for the TV comprises an attribute which is not supported in the HTML for the TV, nonsupport attribute is removed or converted. If the read tag does not comprises nonsupport attribute and enables to be extended to the tag with the attribute supported in the HTML for the TV, the extensible attribute is added.

    Abstract translation: 目的:提供一种用于转换电视网页浏览器的超文本标记语言的方法,以将PC的HTML文档自动转换为电视的HTML,以使用户能够使用机顶盒使用互联网 连接到电视机。 构成:PC的HTML文档的标签被逐个读出,并且在根据读取结果的电视的HTML中不支持读取的标签的情况下,删除相应的非支持标签。 否则,如果电视机的HTML中支持的标签包含电视机HTML不支持的属性,则不支持属性被删除或转换。 如果读取标签不包括不支持属性,并且能够使用TV中的HTML支持的属性扩展到标签,则会添加可扩展属性。

    시간순서화명세언어시뮬레이션도구를위한관리자시스템
    13.
    发明公开
    시간순서화명세언어시뮬레이션도구를위한관리자시스템 失效
    时间排序规范语言模拟工具的管理员系统

    公开(公告)号:KR1019990033786A

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

    申请号:KR1019970055205

    申请日:1997-10-27

    Abstract: 본 발명은 시간 순서화 명세 언어(LOTOS) 기반의 개발 환경 중 명세의 시뮬레이션 도구를 위한 관리자 시스템 및 그 운용 방법에 관한 것으로서, 시뮬레이션 도구 관리자 시스템은 라이브러리 형태로 존재하는 시뮬레이션 도구의 핵심 기능을 관리하고 사용자에게 친숙한 윈도우 환경과 연결시켜주는 인터페이스 역할을 할 수 있도록 지원하며, 관리자 시스템 객체들로 이루어져 시뮬레이션의 여러 가지 방법에 따라 관리자 객체들이 라이브러리를 효과적으로 관리하여 원하는 시뮬레이션 구현을 지원함으로써 시뮬레이션의 핵심 기능을 그대로 보존하면서 최종적으로 구현되는 도구를 기능별로 재구성할 수 있도록 하고, 관리자 시스템의 운용 방법은 데이터의 교환을 포함한 관리자 객체들간의 효율적인 통신 방법 및 사용자 환경과의 원활한 연계를 구 현함으로써, 사용자 요구에 맞는 다양한 방법의 LOTOS 명세 시뮬레이션 도구의 개발을 PC의 윈도우 환경에서 지원해주어 PC의 윈도우 환경이 지배적인 개발 환경으로 자리 잡아가는 현 시점에서 정형기법을 이용한 정보 통신용 시스템 개발 현장에 적극적으로 활용될 수 있는 효과가 있다.

    시각과 청각을 통한 동시 정보 전달과 음성 인터페이스를제공하는 웹 컨텐츠로의 자동 변환 방법 및 장치

    公开(公告)号:KR100586044B1

    公开(公告)日:2006-06-07

    申请号:KR1020030074126

    申请日:2003-10-23

    Abstract: 본 발명은 기존의 HTML 웹 문서를 시각적인 표현과 동시에 청각을 통해 정보 전달과 함께 음성 인터페이스를 제공하기 위한 웹 문서의 자동 변환 방법 및 장치에 관한 것이다. 본 발명은 현재 사용자가 선택한 웹 문서의 시각적인 정보 전달을 제공함과 동시에 하이퍼링크로 연결된 다른 웹 문서의 내용을 음성의 형태로 변환하여 사용자에게 제공함으로써 현재 페이지의 보기와 함께 연결된 다른 페이지로의 이동 없이 연결된 페이지의 내용 부분의 정보를 청력을 통하여 동시에 습득하는 방법과 선택된 메뉴 내용 블록의 음성 인터페이스를 통한 접근 방법을 제안한다. 본 발명은 이동환경 또는 사용자 인터페이스와 표현 능력에 제약을 가지는 단말기에서의 웹 검색에 보다 효율적으로 적용될 수 있다.
    본 발명의 변환방법은 음성 컨텐츠로의 변환이 가능한 대상 객체를 추출하는 단계와, 대표 컨텐츠 블록을 추출하여 이를 기반으로 음성 정보 전달 문서를 생성하는 단계, 음성 인터페이스로 동작 가능한 내용 객체 추출 및 음성 객체 생성 단계로 이루어지고, 본 발명의 변환장치는 변환 대상 객체 추출 모듈, 변환 내용 객체 추출 모듈, 대표 컨텐츠 객체 추출 모듈, 음성 문서 생성 모듈 등으로 구성된다.
    웹 컨텐츠 변환, 시청각 동시 정보 표현, 음성 정보, HTML, 음성XML

    음성지원 브라우저의 웹 문서 본문 추출방법
    15.
    发明公开
    음성지원 브라우저의 웹 문서 본문 추출방법 无效
    用于在语音支持浏览器中浏览WEB文档的文本的方法

    公开(公告)号:KR1020050040638A

    公开(公告)日:2005-05-03

    申请号:KR1020030076099

    申请日:2003-10-29

    Abstract: 본 발명은 음성지원 브라우저의 웹 문서 본문 추출방법에 관한 것으로, 컨텐츠 변환기를 구비하는 음성지원 브라우저의 HTML 문서에서 핵심이 되는 부분의 문장을 자동으로 추출하는 본문 추출부에 의해 추출된 문장만을 음성으로 출력하여 사용자에게 제공하는 것이다.
    본 발명의 HTML DOM 문서에서 핵심이 되는 본문 문단을 추출하는 방법은, 상기 HTML DOM 문서의 최상위 노드에서 자식 노드가 존재하는지를 판단하여, 상기 자식 노드가 존재하는 경우, 상기 자식 노드의 WIDTH 속성 값, 모든 문자수의 합(TN), 문자열, 평균 문자수(MT) 및 상기 자식 노드의 문자열에서 제목과 일치하는 단어의 개수(TM)를 구한 후, 상기 구해진 WIDTH, TN, MT, TM을 이용하여 가중치 값을 계산하고, 상기 구해진 가중치 값이 가장 큰 노드를 선택하여, 후보 노드에 추가하고, 상기 후보 노드에 자식 노드가 있는 경우, 상기한 단계를 반복 실행한다.
    한편, 상기 후보 노드나 최상위 노드에 자식노드가 없는 경우에는, 최적의 노드를 선택하여, 하위 문장을 추출한 후, VoiceXML 파일을 생성한다.

    에이치.티.엠.엘 컨텐츠 변환을 통한 음성지원 웹브라우저 및 음성지원 방법
    16.
    发明公开
    에이치.티.엠.엘 컨텐츠 변환을 통한 음성지원 웹브라우저 및 음성지원 방법 无效
    通过HTML内容转换支持网络浏览器的语音和支持语音复制的方法

    公开(公告)号:KR1020050035784A

    公开(公告)日:2005-04-19

    申请号:KR1020030071567

    申请日:2003-10-14

    Abstract: 본 발명은 HTML 컨텐츠 변환을 통한 음성지원 웹 브라우저 및 음성지원 방법에 관한 것으로, 사용자가 휴대단말 등에서 웹 문서를 검색할 때 시각뿐만 아니라 음성 등 다양한 사용자 인터페이스가 가능하도록 함으로써 보행 중이나 이동 중에도 화면에 구애받지 않고 웹 검색을 할 수 있다.
    특히, 본 발명의 웹 브라우저는 문서를 다운로드 하는 페이지 로더, 상기 페이지 로더에서 다운로드 된 문서가 HTML(Hyper Text Makeup Language) 문서일 경우, 상기 문서를 파싱하여 HTML DOM(Document Object Model)을 생성하는 HTML 파서, 상기 DOM으로부터 음성지원이 필요한 부분을 추출하고, 문서의 상관관계에 따른 음성인식 그래머를 생성하여 VoiceXML 문서를 생성하는 컨텐츠 변환기, 상기 VoiceXML(Voice eXtensible Markup Language) 문서에서 문서를 파싱하여 상기 문서의 내용을 TTS(Text to Speech)로 음성출력하고, 음성인식에 필요한 그래머(Grammar)와 사용자로부터 입력된 음성 명령어를 음성인식기에 전달하고, 상기 음성인식기로부터 인식된 단어를 넘겨받아서 처리하는 VoiceXML 해석기 및 상기 VoiceXML 해석기에서 넘겨받은 문장을 음성으로 출력하는 TTS(Text to Speech)와 상기 그래머에 의해 인식된 단어를 상기 VoiceXML 해석기로 전달하는 음성인식기를 포함하여 구성되는 것을 특징으로 한다.

    비피씨 정보단말을 위한 엑스엠엘 기반 웹 페이지 제공방법 및 그 시스템
    17.
    发明授权
    비피씨 정보단말을 위한 엑스엠엘 기반 웹 페이지 제공방법 및 그 시스템 失效
    비피씨정보단말을위한엑스엠엘기반웹페이지제공방법및그시스템

    公开(公告)号:KR100456022B1

    公开(公告)日:2004-11-08

    申请号:KR1020010072225

    申请日:2001-11-20

    CPC classification number: G06F17/30905 G06F17/30902

    Abstract: A method and system for providing XML-based web pages for non-PC information terminals are disclosed. The system comprises an HTML-XML reconstruction for transforming an HTML document transmitted from the web server to generate XML and XSL documents in a pattern of data adapted to the web client of the non-PC information terminal, an image reformat for reformatting an image in the web page in a pattern of data adapted to the web client of the non-PC information terminal corresponding to the XML and XSL documents generated by the HTML-XML reconstruction, a pre-fetch for pre-fetching the web page received from the web server according to a probability condition based on a reference history of the web client, a store for storing the pre-fetched web page, and the XML and XSL documents, and an HTTP for connecting to the web client of the non-PC information terminal and the web server by use of an HTTP protocol to transfer the web page transmitted from the web server to the HTML-XML reconstruction, and providing the information stored in the store to the web client of the non-PC information terminal.

    Abstract translation: 公开了一种用于为非PC信息终端提供基于XML的网页的方法和系统。 该系统包括用于变换从网络服务器传输的HTML文档以生成适应于非PC信息终端的网络客户端的数据模式的XML和XSL文档的HTML-XML重建,用于重新格式化图像的图像 所述数据模式的网页适用于与通过HTML-XML重建生成的XML和XSL文档对应的非PC信息终端的网络客户端,用于预取从网络接收的网页的预取 服务器根据基于Web客户端的参考历史的概率条件,用于存储预取网页以及XML和XSL文档的商店,以及用于连接到非PC信息终端的Web客户端的HTTP 以及使用HTTP协议的网络服务器将从网络服务器传输的网页传输到HTML-XML重建,并将存储在商店中的信息提供给非PC信息的网络客户端 终奌站。

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

    公开(公告)号:KR100290464B1

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

    申请号:KR1019980052021

    申请日:1998-11-30

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

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

    公开(公告)号: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源规范,并包括术语重写系统和完成程序。

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

    公开(公告)号: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)。

Patent Agency Ranking