Настройки

Укажите год
-

Небесная энциклопедия

Космические корабли и станции, автоматические КА и методы их проектирования, бортовые комплексы управления, системы и средства жизнеобеспечения, особенности технологии производства ракетно-космических систем

Подробнее
-

Мониторинг СМИ

Мониторинг СМИ и социальных сетей. Сканирование интернета, новостных сайтов, специализированных контентных площадок на базе мессенджеров. Гибкие настройки фильтров и первоначальных источников.

Подробнее

Форма поиска

Поддерживает ввод нескольких поисковых фраз (по одной на строку). При поиске обеспечивает поддержку морфологии русского и английского языка
Ведите корректный номера.
Ведите корректный номера.
Ведите корректный номера.
Ведите корректный номера.
Укажите год
Укажите год
Применить Всего найдено 10. Отображено 10.
08-02-2017 дата публикации

DEVICE AND METHOD FOR GENERATING TEST CASE FOR REAL TIME SYSTEM

Номер: KR101704338B1
Автор: PARK, HONG SEONG, JO, WOOK JAE
Принадлежит: KNU-INDUSTRY COOPERATION FOUNDATION

Provided are a device and a method for generating a test case for a real time system. According to an embodiment, the device for generating the test case comprises: an input unit which receives a time input parameter and a function input parameter; a calculation unit which generates a final test case set based on the time input parameter and the function input parameter; and an output unit which outputs the final test case set. COPYRIGHT KIPO 2017 (210) Receive a time input parameter and a function input parameter (220) Does the time input parameter exist? (230) Generate a final test case set by using a combination testing algorithm based on the time input parameter (240) Generate a first test case set by using a time division-based algorithm based on the time input parameter (250) Generate a second test case set from the first test case set based on a user limitation condition (260) Does the function input parameter exist? (270) Generate a final test case set with the same combination ...

Подробнее
Номер записи: 1
06-03-2017 дата публикации

METHOD FOR PREPARING FLUORINATED ORGANIC COMPOUND

Номер: KR1020170023577A
Автор: KIM, BONG SEOK, CHO, OOK JAE, RYU, JAE KUG, KIM, DONG HYUN
Принадлежит:

The present invention relates to a method for preparing a fluorinated compound. Particularly, according to the present invention, CoF_3-containing fluorinated cobalt is used to carry out fluorination of 1,3,3,3-tetrafluoropropene and 1,1,1,2,2-pentafluoropropane to produce 1,1,1,2,3,3-hexafluoropropane and 1,1,1,2,2,3-hexafluoropropane, respectively. Then, the resultant product is subjected to dehydroflouorination to form 1,2,3,3,3-pentafluoropropene. Thus, according to the present invention, it is possible to produce 1,1,1,2,3,3-hexafluoropropane and 1,1,1,2,2,3-hexafluoropropane continuously with high efficiency. In addition, it is possible to improve the reaction stability by adjusting the mixing ratio of fluorinated cobalt to the reactants and the ratio of CoF_2:CoF_3 in fluorinated cobalt. It is also possible to control an optimized conversion and selectivity of the reaction product with ease. COPYRIGHT KIPO 2017 (S100) Indirect fluorination step including fluirination of 1,3,3,3-tetrafluoropropene ...

Подробнее
Номер записи: 2
18-02-2019 дата публикации

기상 촉매를 이용한 1,1,1-트리플루오로-2-클로로프로펜과 1,1,1,2-테트라플루오로프로펜의 동시 제조 방법

Номер: KR1020190016284A
Автор: 조욱재, 김봉석, 박동혁, 박수진, 정진아, 김대우
Принадлежит:

... 본 발명은 1,1,1-트리플루오로-2-클로로프로펜과 1,1,1,2-테트라플루오로프로펜의 동시 제조 방법에 관한 것으로서, i) 기상 촉매가 충전된 반응기의 온도를 반응 온도까지 승온하는 단계; ii) 상기 승온된 반응기 내부로 1,1,1-트리플루오로-2,3-디클로로프로판과 2-클로로-1,1,1,2-테트라플루오로프로판을 공급하는 단계; iii) 상기 반응기의 온도를 유지하면서 탈염화수소화 반응을 수행하는 단계; 및 iv) 상기 탈염화수소화 반응 후에 세척 및 증류가 수행되는 단계를 포함하며, 이에 따라 1,1,1-트리플루오로-2-클로로프로펜과 1,1,1,2-테트라플루오로프로펜을 연속적으로 동시에 제조할 수 있는 고효율의 가스상 공정을 제공할 수 있다.

Подробнее
Номер записи: 3
06-02-2018 дата публикации

INPUT/OUTPUT BASED TEST CASE GENERATING METHOD FOR SOFTWARE COMPONENT BASED ROBOT SYSTEM AND DEVICE PERFORMING SAME

Номер: KR101825880B1
Автор: PARK, HONG SEONG, JO, WOOK JAE
Принадлежит: KNU-INDUSTRY COOPERATION FOUNDATION

Disclosed are a component test case generating method of a component based robot system (CBRS) and a device thereof. According to an embodiment of the present invention, the test method for testing a component of a CBRS comprises the following steps of: receiving input/output data of the component; and generating a test case for testing the component through a combination based on the input/output data of the component. Accordingly, a test time can be reduced by reducing the number of test cases. COPYRIGHT KIPO 2018 (100) Receiver (200) Controller ...

Подробнее
Номер записи: 4
31-03-2023 дата публикации

1,4-디브로모-2,3-디클로로헥사플루오로부탄 제조 방법 및 이를 이용한 헥사플루오로-1,3-부타디엔 제조 방법

Номер: KR20230043278A
Автор: 장준재, 김상익, 조욱재
Принадлежит:

... 1,4-디브로모-2,3-디클로로헥사플루오로부탄(Br-CF2-CFCl-CFCl-CF2-Br) 제조 방법으로서, 1,2-디브로모-1-클로로트리플루오로에탄(Br-CF2-CFCl-Br)을 희석 가스와 혼합된 CTFE(CF2=CFCl) 가스와 광반응시켜 1,4-디브로모-2,3-디클로로헥사플루오로부탄을 제조하는 방법이 개시된다. 본 발명의 실시예에 따르면, 헥사플루오로-1,3-부타디엔(C4F6) 제조를 위한 중간체를 높은 생성 수율로 제조할 수 있다.

Подробнее
Номер записи: 5
18-06-2018 дата публикации

METHOD AND APPARATUS FOR TESTING FITNESS OF COMPONENT-BASED SYSTEM IN REAL TIME AND COMPUTER-READABLE STORAGE MEDIUM

Номер: KR1020180065289A
Автор: PARK, HONG SEONG, JO, WOOK JAE
Принадлежит:

Disclosed are a method and an apparatus for testing fitness of a component-based system in real time; and a computer-readable storage medium. The method for testing fitness of a component-based system in real time comprises the following steps: generating test cases for testing components constituting the system; testing the components based on the generated test cases to calculate the number of execution cycles of the component for each test case; calculating worst-case execution time (WCET), based on the calculated number of the execution cycles of the component; and determining whether the system is fit in real time, based on the calculated WCET of the components and information on a relationship between input and output of the components. COPYRIGHT KIPO 2018 (210) Generate test cases (220) Calculate the number of execution cycles of the component (230) Calculate worst-case execution time (WCET) of the component (240) Determine whether the system is fit in real time (AA) Start (BB) End ...

Подробнее
Номер записи: 6
11-07-2017 дата публикации

플루오로화합물의 제조 방법

Номер: KR0101756532B1
Автор: 김봉석, 조욱재, 류재국, 김동현
Принадлежит: (주)후성

... 플루오로화합물의 제조 방법이 제공된다. 구체적으로, CoF3 함유 불화 코발트를 이용하여 1,3,3,3-테트라플루오로프로펜 및 1,1,1,2,2-펜타플루오로프로판을 불소화(fluorination) 반응시켜 각각 1,1,1,2,3,3-헥사플루오로프로판 및 1,1,1,2,2,3-헥사플루오로프로판을 생성하고, 이를 탈불소화수소화(dehydroflouorination) 반응시켜 1,2,3,3,3-펜타플루오로프로펜을 형성할 수 있다. 이에, 본 발명은 CoF3 함유 불화 코발트를 이용하여 1,1,1,2,3,3-헥사플루오로프로판 및 1,1,1,2,2,3-헥사플루오로프로판을 고수율로 연속하여 생성할 수 있다. 또한, 불화 코발트와 반응물의 혼합 비율 및 불화 코발트 내 CoF2 및 CoF3의 비율 등을 조절하여 반응의 안정성을 향상시킬 수 있고, 반응 생성물에 대한 최적 전환율 및 선택률을 용이하게 제어할 수 있다.

Подробнее
Номер записи: 7
11-04-2017 дата публикации

FOAMING AGENT INCLUDING AZEOTROPE COMPOSITION OR AZEOTROPE-LIKE COMPOSITION OF HYDROCHLOROFLUOROOLEFINS, AND POLYOL PREMIX COMPOSITION INCLUDING SAME

Номер: KR1020170039357A
Автор: CHO, OOK JAE, RYU, JAE KUG, KIM, BONG SEOK, KIM, DONG HYUN, PARK, DONG HYUK, PARK, SU JIN, JUNG, JIN A, KIM, DAE WOO
Принадлежит:

Provided are a foaming agent including an azeotrope composition or an azeotrope-like composition of hydrochlorofluoroolefins, and a polyol premix composition including the same. In particular, the foaming agent comprises an azeotrope composition or an azeotrope-like composition consisting essentially of 1,2-dichloro-3,3,3-trifluoropropene and 2-chloro-3,3,3-trifluoropropene. The foaming agent has excellent foaming functions, and a foaming body produced by using the same can maintain insulating properties as high function rigid foam. The foaming body has a boiling point which is equal to or higher than room temperature, so processes can be easily performed. Also, the foaming body is not harmful to the environment, so it is expected that the foaming agent can be actively utilized in related fields. COPYRIGHT KIPO 2017 ...

Подробнее
Номер записи: 8
13-11-2018 дата публикации

컴포넌트 기반 시스템에 대한 실시간 적합성 검사 방법 및 장치 및 컴퓨터 판독 가능한 저장 매체

Номер: KR0101918364B1
Автор: 박홍성, 조욱재
Принадлежит: 강원대학교산학협력단

... 컴포넌트 기반 시스템에 대한 실시간 적합성 검사 방법 및 장치 및 컴퓨터 판독 가능한 저장 매체가 개시된다. 컴포넌트 기반 시스템에 대한 실시간 적합성 검사 방법은, 상기 시스템을 구성하는 컴포넌트들을 테스트하기 위한 테스트 케이스들을 생성하는 단계; 상기 생성된 테스트 케이스들에 기초하여 상기 컴포넌트들을 테스트하는 것에 의해 각 테스트 케이스에 대한 컴포넌트의 수행 사이클 수를 계산하는 단계; 상기 계산된 컴포넌트의 수행 사이클 수에 기초하여 컴포넌트들의 최악 수행 시간(Worst-Case Execution Time, WCET)을 계산하는 단계; 및 상기 계산된 컴포넌트들의 최악 수행 시간과 상기 컴포넌트들의 입출력 연관관계 정보에 기초하여 상기 시스템의 실시간 적합성 여부를 판단하는 단계를 포함할 수 있다.

Подробнее
Номер записи: 9
17-08-2017 дата публикации

하이드로클로로플루오로올레핀류의 공비 조성물 또는 유사 공비 조성물을 포함하는 발포제 및 이를 포함하는 폴리올 프리믹스 조성물

Номер: KR0101769206B1
Автор: 조욱재, 류재국, 김봉석, 김동현, 박동혁, 박수진, 정진아, 김대우
Принадлежит: (주)후성

... 하이드로클로로플루오로올레핀류의 공비 조성물 또는 유사공비 조성물을 포함하는 발포제 및 이를 포함하는 폴리올 프리믹스 조성물이 제공된다. 구체적으로, 상기 발포제는 1,2-디클로로-3,3,3-트리플루오로프로펜 및 2-클로로-3,3,3-트리플루오로프로펜으로 필수적으로 이루어지는 공비 조성물 또는 유사공비 조성물을 포함할 수 있다. 상기 발포제는 발포성능이 우수하며, 이를 이용하여 제조된 발포체는 고성능 경질폼으로 단열성을 유지할 수 있고, 상온 이상의 끓는점을 가져 공정 수행이 용이하며, 환경적 요구에 무해하여 관련 분야에 적극 활용될 것으로 기대된다.

Подробнее
Номер записи: 10