baber/WOPTO huggingface dataset:
Patent KR-20000003210-A (KR)
Title: Automatic controlling of refrigerator pump
Inventor: KIM YONG SIK
IPC: F25D11/00
Filed: 1998-06-26
Abstract: PURPOSE: An automatic controlling of a refrigerator pump is provided to obtain the durability of the pump by controlling to stop the operation of the pump and to output a warning to a user when the water is exhausted, to enhance the satisfaction of use and to prevent the decline of the ice-manufacturing performance by supplying the water smoothly. CONSTITUTION: An automatic controlling of a refrigerator pump comprises the steps of:judging if the water supply operation occurs by a water running or ice-manufacture signal; judging if the water remains in a spring water container(13) after a pump(14) is operated according to the judge result; stopping the operation of the pump after a predetermined hour passes since a warning is produced if the water doesn't remain according to the judged result; performing the first step repeatedly; judging if the pressure of a first water supply pipe(L1) is same as the pressure of a second water supply pipe(L2) when the water remains according to the judged result; returning to the second step if the pressure of the two pipes are not the same according to the judged result; and returning to the first step and performing repeatedly after stopping the operation of the pump if the pressure of the two pipes are same.
Patent KR-20000004438-A (KR)
Title: Water-level detecting method of washing machine
Inventor: LEE JAE YEOL
IPC: D06F33/02
Filed: 1998-06-30
Abstract: PURPOSE: A water-level detecting method of a washing machine is provided to more accurately detect the washing water level to supply the appropriate amount of washing water according to the laundry amount while washing. CONSTITUTION: A water-level detecting method has the steps of: setting the water level if the driving start switch is turned on with the state of the washing machine is turned on; supplying water with the supplying valve opened if the water level is established; judging if the load electric current value(A) is more than the standard electric current value(Ak) of the established water level by comparing the load electric current value(A) to the standard electric current value table of each water level established in a memory unit; continuously supplying water if the load electric current value(A) of the present motor is less than the standard electric current value(Ak) of the established water level, and if more, washing.
Patent KR-20000008991-A (KR)
Title: Method for fabricating liquid crystal display
Inventor: BAE SEONG JUN
IPC: G02F1/1333
Filed: 1998-07-20
Abstract: PURPOSE: A fabricating method is provided to etch a stepped portion of a film in a desired shape by forming a photoresist pattern formed on the stepped portion in a uniform thickness using an improved line and space pattern. CONSTITUTION: The method comprises the steps of coating photoresist film(600) on a film(143) having a stepped portion(C1, C2); exposing the photoresist film using a mask(500) having at least one line and space pattern comprising a first region having different resolution from a second region such that the photoresist film is developed to form a photoresist pattern(600b) having a uniform thickness at the stepped portion; and etching the film having the stepped portion in the same shape with the photoresist pattern of the stepped portion. Thus, the method prevent interconnection lines from being shorted to each other and allows a pattern on the stepped portion to be formed in a desired shape.
Patent KR-20000009118-A (KR)
Title: Apparatus and method for verifying error of reading/writing data
Inventor: SIN DONG WOO
IPC: G06F11/00
Filed: 1998-07-21
Abstract: PURPOSE: An apparatus and method for verifying an error of reading/writing data are to populate a parity logic in a memory. CONSTITUTION: An apparatus for verifying an error of reading/writing data comprises: a parity input/output unit(3) for inputting a parity from the outside and outputting a parity generated in the inside; a parity check unit(4) for inputting data provided from a data input/output unit(1) to a data buffering unit(2) and the parity of the parity input/output unit(3) and checking whether a current data is error in analyzing an odd/even mode of the current parity; and a parity generating unit(5) for inputting data from the data buffering unit(2) to the data input/output unit(1) and the error detecting signal and the mode setting signal of the parity check unit(4), and outputting the parity value of the current set parity mode. Thereby, the basic cost of the system is decreased and the manufacture is easily performed.
Patent KR-19990023324-A (KR)
Title: 비상용성 중합체-함유 폴리에스테르 필름의 제조방법
IPC: B29C48/41
Filed: 1998-08-04
Abstract: 본 발명은 실린더에 재료 공급구 및 배기구를 갖는 배기식 2축 압출기를 사용하고, 또 
     폴리에스테르와 비상용성인 중합체와 함께 거의 건조되지 않은 폴리에스테르를 하기 조건하에서 용융-압출하여 비상용성 중합체-함유 폴리에스테르 필름을 제조하는 방법에 관한 것이다: 
     비상용성 중합체의 함량이 단위 시간 당 총 생산량 기준으로 1 중량% 이상이고, 또 
     총 생산량 Q, 압출기 스크류 속도 N (rpm) 및 실린더 내경 D(mm)가 식 
     2.6 × 10 -6 × D 2.8 ≤ Q/N ≤ 15.8 × 10 -6 × D 2.8 을 만족함.
Patent KR-20000013576-A (KR)
Title: Lcd module
Inventor: CHANG GYU JUNG
IPC: H04N5/66
Filed: 1998-08-11
Abstract: PURPOSE: An LCD(liquid crystal display) module is provided to improve an electric connection between a drive IC and a TFT(thin film transistor) substrate by corresponding double bumps of the drive IC to input pads of the TFT substrate. CONSTITUTION: The LCD module comprises: a drive IC(16) for being electrically connected to input pads(20)(22) of a TFT substrate(12); a printed board(24) for being electrically connected to the input pads(20)(22) of the TFT substrate(12) by a conducting device isolated from the TFT substrate(12); the drive IC(16) further comprising double bumps(30) for being electrically connected by one to one correspondence to the input pads(20)(22).
Patent KR-20000013984-A (KR)
Title: Method for winding up portable fastening wire
Inventor: KIM YOUNG DAE
IPC: B65H55/00
Filed: 1998-08-12
Abstract: PURPOSE: A method for winding up a portable fastening wire is provided to conveniently carry, keep and use the fastening wire, made into a small bundle. CONSTITUTION: A winding up device is installed with the steps of:contacting a motivating wheel(1) with a motivated wheel(2); forming an opening unit(4) for inserting a thread(3) for binding; installing a guide(5), an anti-corrosive oil case(6), a guide hole(8) and plural guide rollers(7) on the opening unit. When manufacturing a bundle, the motivated wheel is stuck to the motivating wheel, and the thread is inserted in the opening unit. Then, if the motivating wheel is revolved, the bundle is made while a wire(9) is wound up on the motivating wheel, and the anti-corrosive oil is spread on the surface.
Patent KR-19980082039-A (KR)
Title: 엘리베이터용 스토킹 시스템
IPC: B66B1/00
Filed: 1998-08-18
Abstract: 본 발명은 엘리베이터용 스토킹 시스템에 관한 것으로서, 
     특히, 엘리베이터 내에서 발생된 위급상황(강도, 치한, 도둑 등에 의한 범죄)을 주변사람과 관리인에게 신속하게 알려주고, 위급상황이 발생한 엘리베이터의 위치를 관리인에게 표시하여 줌과 동시에 엘리베이터의 도어가 열리지 않으면서 1층으로 이동하도록 하므로서, 엘리베이터 내에서 발생된 위급상황에 신속히 대처하여 탑승자가 강도, 치한, 도둑으로 부터 피해를 입지않도록 함은 물론 범죄자를 손쉽게 체포할 수 있도록 한 엘리베이터용 스토킹 시스템에 관한 것이다.
Patent KR-19990023873-A (KR)
Title: 헬리컬 기어의 사이징 장치 및 사이징 방법
IPC: B22F3/24
Filed: 1998-08-26
Abstract: 본 발명은, 헬리컬 기어의 톱니형을 사이징함에 있어서, 성형 사이클 시간을 단축시켜 생산성의 향상을 도모하는 동시에, 설비 비용이 저렴한 톱니형 사이징 장치의 제공을 목적으로 한다. 
     기어 소재(W)를 지지하는 하부 펀치(7)를, 회전가능한 제 1 하부 펀치(7a)와 회전불가능한 제 2 하부 펀치로 구성하고, 제 1 하부 펀치(7a)의 외주면에 형성한 외주 톱니(p)에, 사이징 다이(8)의 내주 톱니(s)를 맞물리게 하여 사이징 다이(8)를 회전가능하며, 상하로 자유롭게 움직일 수 있도록 한다.  또한, 기어 소재(W)를 눌러 사이징 다이(8)의 내부로 밀어 넣는 상부 펀치(9)를, 회전가능한 제 1 상부 펀치(9a)와 회전불가능한 제 2 상부 펀치(9b)로 구성하고, 상하로 자유롭게 움직일 수 있도록 하는 동시에, 제 1 상부 펀치(9a)의 외주면에 외주 톱니(q)를 설치한다.
Patent KR-19990029752-A (KR)
Title: 액티브 매트릭스형 액정표시장치
IPC: G02F1/1343
Filed: 1998-09-12
Abstract: 본 발명에 있어서, 액정패널의 대향기판은, 어레이기판상의 주사선과 대향하는 위치에 설치된 복수의 기둥형상 스페이서를 갖추고, 각 기둥형상 스페이서는 대향전극을 매개로 하여 어레이기판의 주사선에 당접한 연출단(延出端)을 갖추고 있다.  각 기둥형상 스페이서의 연출단의 폭은 주사선의 폭보다도 작게 형성되어 있다.  주사선과 대향하고 있는 화소전극의 옆 테두리중, 기둥형상 스페이서의 연출단과 인접하여 대향하는 부분에 절결부가 설치되고, 기둥형상 스페이서 주변부분에 있어서는 그 이외의 부분보다도 주사선 및 화소전극간의 거리가 넓게 형성되어 있다.
Patent KR-20000019585-A (KR)
Title: Clamp used in sputtering apparatus
Inventor: KWUN KI HOON
IPC: H01L21/68
Filed: 1998-09-14
Abstract: PURPOSE: A clamp prevents a supporting part of the clamp from contacting with a side of a wafer. CONSTITUTION: A clamp(110) prevents to contact with a wafer(112) after sputtering process by changing the structure of the clamp fixing the wafer placed on a heating plate(114). The wafer is heated after fixed by the clamp, and placed on the heating plate in a reactor for performing the sputtering process. The clamp comprises a cylindrical supporting part(116) projected vertically on one side of a ring-shaped circular plate. The inside diameter of the supporting part is larger than the diameter of the wafer by more than 1 mm.
Patent KR-20000019915-A (KR)
Title: Refrigerator
Inventor: KIM CHAN HO
IPC: F25D29/00
Filed: 1998-09-16
Abstract: PURPOSE: A refrigerator is provided to uniformly distribute cool air in a whole refrigerating chamber without temperature deviation and improve heat efficiency by introducing completely heat exchanged air into an evaporator via an air suction hole. CONSTITUTION: A refrigerator includes a cabinet defined into a freezing chamber and a refrigerating chamber(120), and a cool air supplying device incorporated with an evaporator(310) and a fan(320) provided on a rear wall of the refrigerating chamber for providing cool air to the refrigerating chamber, wherein the cool air supplying device includes a suction duct(340) having a lower end part(341) communicating with a lower part of the evaporator, an upper part(342) folded and extended upward along a side end part of the evaporator, and a suction hole(343) for guiding air of the refrigerating chamber to a lower part of the evaporator, and a discharge duct(330) having an upper part(331) communicating with an upper part of the evaporator, a lower part(332) formed symmetrically along a side end part of the evaporator, and a multi-stepped cool air discharge hole(333) for discharging cool air to the refrigerating chamber uniformly.
Patent KR-20000020360-A (KR)
Title: Method for forming charge storage electrode of semiconductor device
Inventor: KIM JAE YOUNG
IPC: H01L21/82
Filed: 1998-09-21
Abstract: PURPOSE: A method for forming a charge storage electrode of a semiconductor is provided to reduce the inferiority on the fabrication process by reducing the process steps to form a charge storage electrode of a semiconductor device and is applied in a large integrated memory device. CONSTITUTION: A method for forming a charge storage electrode of a semiconductor device comprises steps of: a step of forming a bottom structure on a semiconductor substrate and a conductive film(220) on a bottom structure(210); forming a temporary pattern(230) on a fixed position on the conductive film; forming an etching barrier film(240) on a side wall of the temporary pattern; removing the temporary pattern; forming a charge storage electrode shaped like cylinder through etching a conductive film(220) on the lower part of an etching barrier film(240). As the result of method, the bridge phenomenon of the charge storage electrode is effectively suppressed, and the capacitance of the charge storage electrode can easily be controlled.
Patent KR-19990066780-A (KR)
Title: 버스 제어 장치
IPC: G06F3/00
Filed: 1998-09-25
Abstract: 버스에 접속되는 버스 에이전트의 수에 상관없이 버스의 안정 동작이 가능하며, 또한 불필요한 버스 에이전트의 동작을 정지시켜서 전체의 소비 전력을 저감할 수 있는 버스 제어 장치를 제공하는 것을 목적으로 한다. 
     버스 에이전트를 상기 버스선에 대해 접속 또는 절단하는 버스선(10)에 설치된 복수의 버스 접속부(12 1 ∼ 12 4 )와, 버스선을 감시하여 소정의 규정 시간을 넘어서 억세스가 없는 버스 에이전트(16 1 ∼ 16 4 )를 절단하도록 대응하는 상기 버스 접속부를 제어하는 버스 접속 제어부(14)를 갖는다.  이와 같이, 소정의 규정 시간을 넘어서 억세스가 없는 버스 에이전트를 절단하도록 대응하는 버스 접속부를 제어하기 때문에, 절단된 버스 에이전트에서는 버스선으로부터의 억세스를 디코드를 행하지 않고서 그 분량만큼 소비 전력이 저감된다.
Patent KR-20000021536-A (KR)
Title: Network system coupled with the internet and davic(digital audio visual council) service
Inventor: LEE SEOK PIL
IPC: H04L12/28
Filed: 1998-09-30
Abstract: PURPOSE: A network system coupled with the internet and a DAVIC(Digital Audio Visual Council) service is provided, so that a user can connect a web browser with a provider of the DAVIC service, by setting up an IWU(InterWorking Unit) between a provider of an internet service and the provider of the DAVIC service. CONSTITUTION: A network system coupled with the internet and a DAVIC(Digital Audio Visual Council) service comprises: a user terminal for being provided with various services; a connection network to which the user terminal is connected; a provider of an internet service for providing the internet service to the user terminal through the connection network; a provider of the DAVIC service for providing the DAVIC service to the user terminal through the connection network; and an IWU(InterWorking Unit) for mapping an internet command and a DAVIC command, to which different protocols are located between the connection network and the providers of the internet service/the DAVIC service and are applied.
Patent KR-20000021689-A (KR)
Title: Method for displaying dual-screen of tele-text mode in tv and device the same
Inventor: EUN SUNG GYU
IPC: H04N21/431
Filed: 1998-09-30
Abstract: PURPOSE: A method for displaying dual-screen of a tele-text mode in a TV is provided, so that a plurality of pages which tele-text data is stored when it is a tele-text mode can be half-screen of a CRT(Cathode Ray Tube), by adjusting the size of an OSD(On Screen Display). CONSTITUTION: A method for displaying dual-screen of a tele-text mode in a TV comprises the steps of: deciding(S1) whether a dual-screen display is on in a tele-text mode; loading index pages when the dual-screen display is on, and displaying(S2,S3,S4) on the left half screen of a CRT(Cathode Ray Tube) by compressing fonts; loading appointed pages after the index pages are displayed, and displaying(S5,S6,S7) on the right half screen of the CRT by compressing fonts; deciding(S8) whether pages are changed; loading the changed pages, and displaying(S9,S10,S11) on the right half screen of the CRT by compressing fonts, when the pages are changed; deciding whether the tele-text mode is off, and returning to the step(S8) when the tele-text mode is not off.
Patent KR-19990036917-A (KR)
Title: 디티올릴리덴 아세트아미드 유도체
IPC: A61P43/00
Filed: 1998-10-07
Abstract: 다음 일반식 
     
       
     
     (식중, R 1 및 R 2 는 각각 수소원자 또는 알킬기를 나타낸다)로 표시되는 신규의 디티올릴리덴 아세트아미드 유도체 또는 그의 염 및 이를 유효성분으로 함유하는 의약을 개시한다. 디티올릴리덴 아세트아미드 유도체 및 그의 염은 우수한 AGE 형성 저해작용을 나타내며, 당뇨병 합병증의 예방약 및 치료제로서 유용하다.
Patent KR-19990062526-A (KR)
Title: 반도체 소자 및 그 제조방법
IPC: H01L21/336
Filed: 1998-10-13
Abstract: 본발명의 반도체 소자 및 그 제조방법은, 반도체 기판 소정부위에 실리사이드층(28)을 형성하고, 상기 실리사이드층(28)에 불순물 이온을 주입하고, 상기 실리사이드층(28)을 어닐링하여 상기 불순물이온이 상기 실리사이드층(28)으로부터 상기 반도체 기판내로 확산되도록 하여 상기 반도체 기판(21)내에 불순물 영역(26a)을 형성하는 공정을 포함한다. 이때, 상기 실리사이드층(28)은 이미 존재하는 불순물 영역(26)에 형성할 수도 있다.  상기 어닐링 공정동안, 상기 실리사이드층(28)내의 상기 불순물 이온은 이미 존재하던 불순물 영역(26)내로 확산되거나 또는 반도체 기판(21)내로 확산되는데,  실리사이드층(28)의 중앙부에서는 반도체 기판(21)내로 깊게 확산되고 가장자리에서는 거의 확산이 거의 이루어지지 않아, 최종적인 불순물 영역(26a)의 형상은 가장자리로부터 중앙쪽으로 계단상을 이루게 된다. 본발명에 따르면, 쇼트채널 효과를 발생시키지 않으면서 정션 누설전류를 줄이고 실리사이드층의 면저항을 줄여 반도체 소자의 신뢰성 및 성능이 향상되는 효과가 있다.
Patent KR-20000025670-A (KR)
Title: Support for driving wafer holder of hemi-spherical grain formation process facility for semiconductor device fabrication
Inventor: LEE JANG HYUK
IPC: H01L21/68
Filed: 1998-10-13
Abstract: PURPOSE: A support for driving a wafer holder of hemi-spherical grain formation process facility is provided to prevent the damage arisen from the fall of a wafer by guiding and supporting in order to prevent the deviation of a center when a driving axis moves to ascend a wafer holder. CONSTITUTION: In a support for driving a wafer holder(6), an upper and a lower fixing rod(12,13) are arranged in an upper and a lower part of a guide sleeve, and a driving axis(10) is installed by penetrating the inside of the upper and the lower fixing rod and the guide sleeve. The support can elevate the wafer holder by the operation of an elevation driving cylinder(17). A linear motion bearing (18) for guiding and supporting the driving axis by adhering closely to an outer circumference of the driving axis is fixed on a lower fixing rod bottom part of the top of the elevation driving cylinder.
Patent KR-20000025965-A (KR)
Title: Liquefied  bioceramics  antibacterial deodorant  employing  far infrared ray
Inventor: LEE WON BOK
IPC: A61L9/18
Filed: 1998-10-16
Abstract: PURPOSE: A deodorant is to employ far infrared ray emanating from bio ceramics in place of a countervailing fragrant substance to kill bacteria and deodorize bad smells. CONSTITUTION: A bio ceramics mixture including AL2O2, SiO2, Fe2O3, TiO2, CaO, MgO, K2O, Na2Oand loess is finely powdered for dissolution in a liquid and is added with pure water or alcohol to be liquified, and a catalyst is further added not to solidify the mixture. The mixing ratio of components varies by uses.
Patent KR-19990037410-A (KR)
Title: 타이밍 캠 구동식 잉크젯 인쇄헤드 서비스 스테이션
Filed: 1998-10-27
Abstract: 본 발명은, 잉크젯 인쇄 기구의 이중 카트리지 캐리지에서 제3 잉크젯 카트리지와 함께 설치된 때, 교환 가능한 제1 및 제2 잉크젯 카트리지와 같은 한 쌍의 잉크젯 카트리지를 서비스하는 타이밍 캠 구동 서비스 스테이션에 관한 것이다.  교환 가능 카트리지 시스템은 그래픽 및 텍스트를 인쇄하는 완전한 착색제 농도의 착색 잉크를 갖는 전색 카트리지와 흑색 잉크 카트리지를 사용한다.  사진형 화상을 인쇄하기 위해서 흑색 카트리지는 사진에 가까운 품질의 화상을 제공하기 위해 감소된 착색제 농도를 갖는 잉크 조성을 보유하는 화상 카트리지로 대체된다.  서비스 스테이션은 최적의 서비스를 위해 각각의 인쇄헤드를 독립적으로 닦는 기능 및 인쇄 작업중 빠른 서비스를 위해 장착된 인쇄헤드 모두를 동시에 닦는 기능을 포함하는, 장착된 인쇄헤드에 대한 서비스를 위해 캡과 와이퍼를 선택적으로 병진 이동시키는 타이밍 캠 구동부를 갖는다.  타이밍 캠 구동부는 또한 인쇄헤드가 캡핑되었을 때 인쇄헤드를 고정 위치에 지지하는 캐리지를 고정하는 캐리지 로크를 구동한다.  인쇄 기구에 장착된 잉크젯 인쇄헤드를 서비스하는 방법이 또한 제공된다.
Patent KR-20000027705-A (KR)
Title: Method for forming metal plug of semiconductor devices
Inventor: PARK GEUN SOO
IPC: H01L21/28
Filed: 1998-10-29
Abstract: PURPOSE: A metal plug formation method is provided to improve a step coverage of contact hole and a yield by flattening upper portion of the metal plug without convex formation. CONSTITUTION: An insulating layer(12) having contact holes is formed on a lower conductive layer(11). After depositing a barrier metal(13), a metal film(14) having low contact resistance is filled into the contact hole, wherein the line-width of the metal film(14) is wider than that of the contact hole. An ARC(anti-reflection coating) film(15) is formed on the metal film(14). Then, the resultant structure is etched in order to remain the metal film(14) only on the upper portion of the contact hole, and the exposed barrier metal(13) is removed. The protrusive metal film(14) is then polished, thereby forming a flat metal plug.
Patent KR-20000010491-A (KR)
Title: Establishing method of stairs and stair room and supporting device of stairs
Inventor: YOKOMORI SEIBUN
IPC: E04F11/02
Filed: 1998-10-30
Abstract: PURPOSE: The method of establishing the iron stairs(8) and the stair room(30) is provided to secure the wide work space on the stairs by burying the supporting pillar used for the establishing of iron frame stairs in the wall of the stair room, to improve the work performance and work safety. CONSTITUTION: The method of establishing the iron stairs(8) and the stair room(30) has the steps of: establishing supporting pillars(10,10a) by paralleling in two on the slave(26) of the floor side of the stair room and the stair side facing to the floor side of the stair room; fixing both ends of a strut(12) for supporting the iron frame stairs(8) at the location of the 1st floor of the two supporting pillars(10); attaching both ends of the establishing beam(17); fixing both ends of the strut(12a) at the height corresponding to the height of the establishing beam.
Patent KR-20000028088-A (KR)
Title: Carrier and developing agent for electrophotograph, and manufacturing method thereof
Inventor: MATSYJAKI SHIGEO
IPC: G03G9/00
Filed: 1998-10-30
Abstract: PURPOSE: A carrier for electro photograph and a developing agent using the carrier, of high durability and high consumption-resistance, easy for adjustment of electric charges, high conductivity and difficult to receive the effects caused by use environment in charging characteristics, are provided. CONSTITUTION: A carrier for electro photograph consists of a carrier core material having magnetic characteristic and a coating layer, made of polymer polyethylene resin, covering the surface of the carrier core material. A magnetic characteristic is buried in the coating layer. A surface polyethylene layer is formed to cover the magnetic characteristic in the carrier for electro photograph.
Patent KR-19990037528-A (KR)
Title: 가수분해물의 제조방법
IPC: A23L27/21
Filed: 1998-10-30
Abstract: 본 발명은 단백질 함유 물질 및 탄수화물을 발효시켜 코지 (Koji) 를 형성하고, 발효된 코지를 2℃ 내지 50℃ 의 온도 및 5.6 내지 7.0 의 pH 에서 1 내지 20 일 동안 가수분해시키는 것으로 이루어진 가수분해물의 제조 방법에 관한 것으로, 조미료에 특유의 맛을 부여할 수 있는 락트산 박테리아 배양액으로의 접종이 발효된 코지 그람당 10 3 내지 10 7 cfu 의 접종 밀도로 발효 단계 전 또는 초기에 수행 (발효 단계 초기에 락트산 박테리아로 접종하는 것이 동일 락트산 박테리아로 발효 단계 후에 접종하는 것보다 강한 맛을 낸다) 되는 것을 특징으로 한다.    가수분해물은 고기 맛을 내며 액상 소스, 페이스트 또는 건성 분말 형태로 요리용 향신료의 기본 원료로 사용될 수 있다.
Patent KR-20000032054-A (KR)
Title: System for visual specification supporting tools based on formal method and specification method
Inventor: OH YOUNG BAE
IPC: G06F40/189
Filed: 1998-11-12
Abstract: PURPOSE: A system for visual specification supporting tools and a specification method based on a set pattern technique are provided to strictly verify a specification by introducing a visual method into a formal specification using a formal method. CONSTITUTION: A visual formal specification composer(100) is configured for a user to compose and edit a required specification of software by combining the visualized object of formal specification type dragging from a visual object library constructed by applied filed. High function library storing element by applied filed(200) and application library storing element(700) construct the visual formal specification object which is composed from the visual formal specification composer(100). A visual formal specification compiler element(300) reads the visual formal specification and interprets a visual model, thereby converting to a formal specification language. A formal specification library storing element stores a formal specification language produced through the visual formal specification compiler element. A formal specification language processor(500) performs formal verification of specification based on the text by inputting formal language code stored in the formal specification library storing element.
Patent KR-20000032410-A (KR)
Title: Air conditioning unit for vehicles
Inventor: KU NAM MO
IPC: B60H1/00
Filed: 1998-11-14
Abstract: PURPOSE: An air conditioning unit for vehicles is provided to increase the cooling efficiency by forming a floor passage to supply cool air without using a duct and by preventing heat exchange with the heater core while being exhausted. CONSTITUTION: An air conditioning unit for vehicles includes a main body(6) having an air inlet(61) and a plurality of vent outlets(62), an evaporator room(10) defined by a partition wall in the main body, divided into upper and lower parts by a baffle(8), mounted with an evaporator(9) in the upper part and having an outlet(101) for exhausting air to the vent outlets, a heater core room(13) positioned at the lower part of the evaporator room and mounted with a heater core(12) for the heat change of the air from the evaporator room through a mix passage(11) between the baffle and the partition wall and having an outlet(131) for exhausting the air to the vent outlets, a guide passage(14) formed at both sides of the partition wall for guiding the air from the outlet of the heater coil room to the inner end of the vent outlets, a floor passage(15) extended to a lower part of the main body from the inner end of the vent outlets for supplying the air inside the vehicle, a mix door(16) rotatable fixed in the main body for controlling the air flow by alternatively opening/closing the mix passage, and an outlet door(17) rotatable fixed to the vent outlets for exhausting the air out of the main body.