公开(公告)号：KR1020010017850A

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

申请号：KR1019990033585

申请日：1999-08-16

Applicant: 한국전자통신연구원

Inventor： 민재홍 ,  진병문 ,  박기식 ,  김성운 ,  안성수

IPC: G06F9/44

Abstract: PURPOSE: A graphic user interface unit for constructing an integrated protocol development environment using a formal methods is provided to apply the unit to the development of the protocol related to data communication, by integrating the Object Geode, a specification unit tool for a detailed user request, with a verifier and a suitableness test generator. CONSTITUTION: An X client(1) is comprised of the menus of a file(2), a specification(3), a verification(5), a conformance-test(6) and a help(7). When the file menu(2) is selected, the operations for opening a file, closing the file and terminating the integrated environment are performed via the communication with an X server. If the specification menu(3) is selected, an edited window and a simulated result is displayed on a screen. A result is output onto the screen in response to an intermediate model converter when a menu(4) for converting a specification panel is selected. The test menu(6) enables the communication with a test generator, and then outputs the result of the communication on the screen.

Abstract translation: 目的：提供一种用于使用正式方法构建集成协议开发环境的图形用户界面单元，通过集成Object Geode，用于详细用户请求的规范单元工具，将单元应用于与数据通信相关的协议的开发 ，具有验证器和适合性测试发生器。 构成：X客户端（1）由文件（2），规范（3），验证（5），一致性测试（6）和帮助（7）的菜单组成。 当选择文件菜单（2）时，通过与X服务器的通信来执行用于打开文件，关闭文件和终止集成环境的操作。 如果选择了规格菜单（3），则会在屏幕上显示编辑的窗口和模拟结果。 当选择用于转换规格面板的菜单（4）时，响应于中间模型转换器将结果输出到屏幕上。 测试菜单（6）启用与测试发生器的通信，然后在屏幕上输出通信结果。

公开(公告)号：KR1020000025309A

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

申请号：KR1019980042334

申请日：1998-10-09

Applicant: 한국전자통신연구원

Inventor： 민재홍 ,  손홍세 ,  양대헌

IPC: H04L12/433

CPC classification number: H04L47/27 ,  H04L12/5601 ,  H04L43/0829 ,  H04L47/225 ,  H04L2012/5658 ,  H04L2012/5678

Abstract: PURPOSE: A method for managing a window to prevent congestion and a recording medium are provided to drive a timer, according as traffic is not generated in a persistent TCP(Transport Control Protocol) connection. CONSTITUTION: A method for managing a window to prevent congestion in a communication network providing an internet connection through an ATM(Asynchronous Transfer Mode) communication network, comprises the steps of: performing a slow start process when a connection state is in a traffic transmission state, by searching the connection state, and performing a control process of window size accordingly to packet loss; diminishing the window size accordingly as persistent time of an idle state reaches predetermined time, when the connection state is in a traffic transmission idle state, by searching the connection state; performing the slow start when a searched connection state of a transport protocol is in the traffic transmission state, by searching the connection state of the transport protocol; deciding whether transmitted packet loss exists, by searching whether the transmitted packet loss exists by the transport protocol connection; linearly increasing a congestion window value when the transmitted packet loss does not exist, performing a fast re-transmission process when the packet loss exists, and performing a fast recovery process.

Abstract translation: 目的：提供一种用于管理防止拥塞的窗口和记录介质的方法，以根据在持续TCP（传输控制协议）连接中不产生流量来驱动定时器。 构成：一种用于管理窗口以防止通过ATM（异步传输模式）通信网络提供互联网连接的通信网络中的拥塞的方法，包括以下步骤：当连接状态处于业务传输状态时执行慢速启动过程 通过搜索连接状态，并相应地对分组丢失执行窗口大小的控制处理; 通过搜索连接状态，当连接状态处于业务传输空闲状态时，随着空闲状态的持续时间达到预定时间，相应地减小窗口大小; 当传输协议的搜索连接状态处于业务传输状态时，通过搜索传输协议的连接状态来执行慢启动; 通过搜索传输协议连接是否存在发送的分组丢失来决定传输的分组丢失是否存在; 当发送的分组丢失不存在时线性增加拥塞窗口值，当存在​​分组丢失时执行快速重传过程，并执行快速恢复过程。

公开(公告)号：KR1019990050451A

公开(公告)日：1999-07-05

申请号：KR1019970069570

申请日：1997-12-17

Applicant: 한국전자통신연구원

Inventor： 최영규 ,  민재홍 ,  기민호

IPC: A47B23/00

Abstract: 본 발명은 일반 필기도구를 사용하여 도서의 주요 내용을 요약하거나 정리하는 학습이나 일반 사무 업무를 바른 자세로 원활하게 수행하기 위한 경사 필기판에 관한 것으로 경사 필기판은 일반 가정에서는 물론 사무실에서도 간단히 설치하여 쓸수 있으며 컴퓨터 원고대나 독서대 또는 그림 화판 받침으로도 쓸 수 있도록 한 착탈식 이동형 독서 겸용 경사 필기판에 관한 것이다.
종래와 같은 수평면으로된 책상에서 수행하는 일반 업무작업시 신체에 여러 가지 무리를 주어 장시간 동안 작업시 신체에 상당한 문제점이 발생된다.
이와 같은 문제점을 해소하기 위한 본 발명에서는 수평상태인 책상면 위에 별도의 구조물로서 평면체의 형상에 소정의 높이로 돌출 설치된 주받침대(121)와, 상기 주받침대(121)의 상측에 부분적으로 설치되며 착탈이 가능하도록 한 보조 받침대(122)와, 상기 주받침대(121)의 상측으로 소정의 높이에 탄성을 갖는 고무줄의 양단을 고정하여서된 책고정줄(123)과, 메모지 등을 쉽게 고정하도록 하는 집게(124)를 구비한 경사판(120)과;
상기 경사판(120)의 각도를 유지하며 후측을 지지되도록 하는 뒷받침기둥(130)과;
책상(110)면의 양측에 고정설치되며, 상기 경사판(120) 및 뒷받침기둥(130)의 하단부를 지지하여 고정 하도록 전단부와 후단부에 각각 톱니형 각도조절톱니(141)를 갖는 각도조절대(140)로 구성되며 상기 책상(110)면의 양측에 고정설치되는 각도조절대(140)는 저면이 부착, 이탈이 용이하도록 하는 벨크로 화이버 파스너(142)로 고정하므로서 위치조절이나 설치변경이 용이하도록 하여 작업자가 임의로 조절할 수 있도록 하므로서 작업자의 자세를 바르게 가질 수 있도록 한 것임.