公开(公告)号：KR100577084B1

公开(公告)日：2006-05-10

申请号：KR1020030075136

申请日：2003-10-27

Applicant: 한국전자통신연구원

Inventor： 최은정 ,  조수선 ,  이동우 ,  신희숙 ,  한동원

IPC: H04B1/40

Abstract: 본 발명은 단말기의 웹 페이지 표시 방법 및 장치에 관한 것으로, 웹 페이지 요구에 응답하여 제공된 웹 페이지를 파싱하여 문서 객체 모델을 생성하는 단계와, 문서 객체 모델을 탐색하여 레이 아웃 크기를 계산하는 단계와, 레이 아웃 크기가 일정 크기 이상일 경우, 새로운 웹 페이지를 위한 문서 객체 모델로 분할하는 단계와, 분할된 웹 페이지의 가장 상위 페이지부터 표시하는 단계를 포함한다. 단말기의 화면 표시창의 크기가 작아도 웹 페이지의 내용을 하이퍼링크 및 브라우저의 앞/뒤 및 상위 등의 인터페이스를 통해 손쉽게 웹 페이지를 표시할 수 있는 효과가 있다.

公开(公告)号：KR100576728B1

公开(公告)日：2006-05-03

申请号：KR1020040013902

申请日：2004-03-02

Applicant: 한국전자통신연구원 ,  삼성전자주식회사

Inventor： 최은정 ,  박준석 ,  조수선 ,  이동우 ,  신희숙

IPC: H04L12/16

Abstract: 음성 인식 가능한 웹 브라우저를 이용한 가전기기 제어 서비스 시스템 및 그 방법이 개시된다. 상기 가전기기 제어 서비스 시스템에서는, 웹 브라우저 실행 장치가 홈 서버로부터 가전기기 제어를 위한 웹 페이지를 불러와 명령 리스트를 유저에게 들려주면, 유저는 필요한 명령을 선택하여 음성으로 입력하고, 웹 브라우저 실행 장치가 이를 인식하여 홈 서버로 전송함으로써, 홈 서버가 유저의 음성 명령에 따라 각종 가전기기들을 제어한다.

公开(公告)号：KR1020050088538A

公开(公告)日：2005-09-07

申请号：KR1020040013902

申请日：2004-03-02

Applicant: 한국전자통신연구원 ,  삼성전자주식회사

Inventor： 최은정 ,  박준석 ,  조수선 ,  이동우 ,  신희숙

IPC: H04L12/16

CPC classification number: H04L12/2816 ,  G10L15/26 ,  H04L12/2836 ,  H04L67/02

Abstract: 음성 인식 가능한 웹 브라우저를 이용한 가전기기 제어 서비스 시스템 및 그 방법이 개시된다. 상기 가전기기 제어 서비스 시스템에서는, 웹 브라우저 실행 장치가 홈 서버로부터 가전기기 제어를 위한 웹 페이지를 불러와 명령 리스트를 유저에게 들려주면, 유저는 필요한 명령을 선택하여 음성으로 입력하고, 웹 브라우저 실행 장치가 이를 인식하여 홈 서버로 전송함으로써, 홈 서버가 유저의 음성 명령에 따라 각종 가전기기들을 제어한다.

公开(公告)号：KR100490721B1

公开(公告)日：2005-05-24

申请号：KR1020010073396

申请日：2001-11-23

Applicant: 한국전자통신연구원

Inventor： 이동우 ,  조수선 ,  신희숙

IPC: G06F17/00

Abstract: 본 발명은 단말기에 저장된 기록매체에 관한 것으로, 특히 본 발명은 통신망을 통해 구축된 클라이언트/서버 시스템의 클라이언트 측에 구비되어 티시피(TCP : Transmission Control Protocol) 연결과 데이터를 요구하는 브라우저가 저장된 기록매체에 저장된 브라우저가 서버와의 티시피 연결 상태 정보를 저장하고, 이벤트 발생에 따라 저장된 티시피 연결 상태 정보에 의거하여 서버와 클라이언트 단말기간에 설정된 티시피(TCP : Transmission Control Protocol) 연결을 통해 데이터를 다운로드받고, 이러한 브라우저를 이용하여 클라이언트/서버 시스템 사이의 TCP 연결을 설정하고, 설정된 TCP 연결을 통해 데이터를 다운로드받음으로써, 클라이언트와 서버 사이의 응답 속도를 향상시킬 수 있는 효과가 있다.
또한, 클라이언트 시스템의 저용량 기록매체에 웹 문서가 아닌 서버와 클라이언트간의 TCP 연결 상태 정보를 기록함으로써, 저용량의 클라이언트 시스템인 임베디드 단말기와 서버 사이의 응답 대기 시간을 줄여줄 뿐만 아니라 네트워크 자원을 절약할 수 있는 효과가 있다.

公开(公告)号：KR100328964B1

公开(公告)日：2002-08-24

申请号：KR1019980047640

申请日：1998-11-07

Applicant: 한국전자통신연구원

Inventor： 조수선 ,  이광용 ,  오영배 ,  김흥남

IPC: G06F17/24

Abstract: 본 발명은 시간 순서화 명세언어(LOTOS)의 탬플릿 기반 편집방법에 관한 것이다. 시간 순서화 명세언어와 같은 정형 명세 언어는 아직 정보 통신 분야의 시스템 개발에 보편적으로 사용되지 못하고 있는데, 그 이유 중 하나는 정형 명세의 구문에 숙달되지 않은 사용자가 쉽고 편리하게 명세를 편집할 수 있도록 도와주는 지원 도구의 부재에 있다. 이러한 문제점을 해결하고자 본 발명은 편집 프로그램 화면상에 현재의 명세 편집 상태에서 입력 가능한 LOTOS 구문을 탬플릿 형태로 제공하고, 사용자가 이 중에서 원하는 것을 간단한 마우스 조작으로 입력하게 하며, 구문 입력 후 새롭게 바뀐 편집 상태에서 다시 입력 가능한 구문 탬플릿을 생성한 후 반복하여 탬플릿을 선택할 수 있게 함으로써 오류 없이 편리하게 LOTOS명세를 편집할 수 있게 하는 방법이다. 이러한 방법에 따라, 본 발명은 시간 순서화 명세 언어에 익숙치 않은 사용자들로 하여금 구문 오류 없는 명세를 간편하게 작성할 수 있도록 한다.

公开(公告)号：KR100312426B1

公开(公告)日：2001-11-05

申请号：KR1019990057997

申请日：1999-12-15

Applicant: 한국전자통신연구원

Inventor： 김경일 ,  조수선 ,  신규상

IPC: G06F9/44

Abstract: 1. 청구범위에기재된발명이속하는기술분야본 발명은실시간운영체제기반의브라우저를위한컨텐츠변환및 캐슁방법과상기방법을실현시키기위한프로그램을기록한컴퓨터로읽을수 있는기록매체에관한것임. 2. 발명이해결하고자하는기술적과제본 발명은일반웹 문서에포함되어있는컨텐츠들을클라이언트포맷에맞는문서또는이미지형태로변환하는기능을프락시서버내에구현하고, 이런변환된문서를프락시서버의캐쉬에저장함으로써, 모든웹 문서들을클라이언트에서빠르게볼 수있도록하는컨센트변환및 캐슁방법과상기방법을실현시키기위한프로그램을기록한컴퓨터로읽을수 있는기록매체를제공하는데그 목적이있음. 3. 발명의해결방법의요지본 발명은, 실시간운영체제기반의다수의클라이언트가연결된프락시서버에적용되는컨텐츠변환및 캐슁방법에있어서, 소정의클라이언트로부터서비스를요청받으면해당컨텐츠가자신의캐쉬에존재하는지를검색하여존재하면상기클라이언트로전송하여디스플레이하도록하고, 존재하지않으면, 소정의웹서버에상기컨텐츠를요청하여수신하는제 1 단계; 상기제 1 단계에서수신한컨텐츠를상기클라이언트의디스플레이포맷에맞게변환하는제 2 단계; 및상기변환된컨텐츠를상기클라이언트로전송하여디스플레이하도록하고, 상기캐쉬에저장하는제 3 단계를포함함. 4. 발명의중요한용도본 발명은실시간운영체제기반의브라우저와네트워크로연결된프락시서버등에이용됨.

公开(公告)号：KR100279750B1

公开(公告)日：2001-02-01

申请号：KR1019970059001

申请日：1997-11-10

Applicant: 한국전자통신연구원

Inventor： 조수선 ,  정연대 ,  서동수 ,  이광용

IPC: G06F9/455

Abstract: 본 발명은 로토스 명세의 확장을 위한 제어 방법에 관한 것으로서, 본 발명에서 제공하는 방법은 사용자에 의해 입력된 텍스트 형태의 로토스 명세가 구문 검사와 의미 검사를 거쳐 내부 표현으로 변환하는 제 1 단계와, 깊이와 폭을 제한하는 매개 변수를 사용하여 상기 제 1 단계에서 생성된 내부 표현에 근거한 확장을 수행하여 시뮬레이션만을 위한 내부 행위 트리를 생성하는 제 2 단계와, 상기 제 2 단계에서 생성된 내부 행위 트리를 외부 참조가 가능한 형태의 행위 트리로 변환하여 출력하되, 동질성 규칙을 적용하여 불필요한 인터널 오퍼레이션 및 반복을 제거하여 간결한 형태의 행위 트리로 최적화하는 과정을 병행하는 제 3 단계와, 상기 제 3 단계에서 심볼 변수로 대체되어 확장된 프로세스의 입출력 변수들에 대해 형식 파라메타와 실 변수값 을 함께 표현하게 함으로서 다음에 이어지는 이벤트 입력, 테스트 케이스의 생성과 같은 보조 활동이 가능하도록 준비하는 제 4 단계로 구성되어, 동질성 규칙 적용과 중간 행위 트리 생성을 조합 시킴으로서 종래의 전통적인 행위 트리 방식이 해결하기 힘들었던 행위트리 생성 시간과 메모리의 사용을 절약할 수 있다는 장점이 있다.

公开(公告)号：KR1020000034647A

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

申请号：KR1019980052021

申请日：1998-11-30

Applicant: 한국전자통신연구원

Inventor： 조수선 ,  오영배 ,  김흥남

IPC: G06F9/455

Abstract: PURPOSE: A simulation method of LOTOS using graphic transition tree is provided to simply detect the error of the LOTOS by visual simulation method using the graphic transition tree. CONSTITUTION: A simulation method of LOTOS using graphic transition tree comprises steps of: loading a specification to calculate initial status and structuring a menu with operations to be generated in present status; structuring a graphic transition tree with the present status and the operation menu; displaying the graphic transition tree on a screen and then waiting input by a user; and calculating new status from the present status and operation to repeat said steps if one operation is selected by the user's input.

Abstract translation: 目的：提供使用图形过渡树的LOTOS的模拟方法，通过使用图形过渡树的视觉仿真方法简单地检测LOTOS的误差。 构成：使用图形过渡树的LOTOS的模拟方法包括以下步骤：加载规范以计算初始状态并构建具有在当前状态下生成的操作的菜单; 构建具有当前状态和操作菜单的图形过渡树; 在屏幕上显示图形过渡树，然后由用户等待输入; 并且如果用户的输入选择了一个操作，则从当前状态和操作计算新状态以重复所述步骤。