-
公开(公告)号：KR1020170008373A
公开(公告)日：2017-01-24
申请号：KR1020150099369
申请日：2015-07-13
Applicant: 고려대학교 산학협력단
CPC classification number: H04L63/10 , G06F21/36 , G06F2221/2133 , G06K9/00442 , H04L63/083
Abstract: 본발명은판별대상이미지를포함하는복수의이미지로구성된이미지캡차를출력하는단계, 출력된이미지캡차의이미지선택을수신하는단계, 수신된이미지선택에기초하여이미지캡차의문제통과여부를결정하는단계, 및판별대상이미지의의미를판별하는단계를포함하며, 복수의이미지는접속대상의이미지캡차문제의통과결정에이용되는제1 그룹의이미지및 접속대상의이미지캡차문제의통과결정에이용되지않는제2 그룹의이미지를포함하고, 제2 그룹의이미지는판별대상이미지를포함하이미지캡차제공방법및 이미지캡차제공서버에관한것이다. 본발명을이용함으로써판별대상이미지의의미를자동으로판별할수 있다.
Abstract translation: 提供图像的方法完全自动公共图灵测试来告诉计算机和人类公共（CAPTCHA）及其服务器。 该方法包括：输出包括确定对象图像的多个图像的图像验证码; 从图像CAPTCHA接收图像选择; 基于所接收的图像选择来确定图像验证码的测试是否被通过; 并确定确定对象图像是什么意思。 图像包括用于确定访问方是否通过图像CAPTCHA测试的第一组图像和未使用的第二组图像，以确定访问方是否通过图像CAPTCHA测试。 第二组包括确定对象图像。 通过选择表示来自第一组的正确或不正确答案的图像来执行图像验证测试的通过的确定。
-
公开(公告)号：KR101423634B1
公开(公告)日：2014-07-25
申请号：KR1020120121549
申请日：2012-10-30
Applicant: 고려대학교 산학협력단
Abstract: 본 발명은 실시간 내장형 시스템을 위한 TTA 적용 방법에 관한 것으로, 기존 ETA 기반 실시간 소프트웨어를 TTA 기반 실시간 소프트웨어로 개선하는, 실시간 내장형 시스템을 위한 TTA 적용 방법 및 상기 방법을 실현시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체를 제공하고자 한다.
이를 위하여, 본 발명은 실시간 내장형 시스템을 위한 TTA(Time-Triggered Architecture) 적용 방법에 있어서, (a) 대상 시스템에 대한 TTA 적용 태스크를 추출하는 단계; (b) TTA 적용을 위한 이벤트 및 태스크 특성을 파악하는 단계; (c) TTA를 위한 태스크 수행 주기를 설정하고 실시간성을 검증하는 단계; (d) 적용 대상 환경에 따라 TTA를 적용하는 단계; 및 (e) 이벤트 손실 여부 테스팅 및 시스템 테스팅을 수행하는 단계를 포함한다.-
公开(公告)号：KR1020140070314A
公开(公告)日：2014-06-10
申请号：KR1020130034201
申请日：2013-03-29
Applicant: 고려대학교 산학협력단
CPC classification number: G06F11/3608
Abstract: The present invention discloses a method to convert a DEV&DESS model into the same linear hybrid automata. According to the present invention, provided is a model converting method including a step of generating a discrete input/output set, a consecutive input/output set, and a variable set X corresponding to a discrete state and consecutive state for the DEV&DESS model and adding elapsed time and a time advanced function - the variable set X includes a discrete input variable, a discrete output variable, a consecutive input variable, a consecutive output variable, a discrete state variable, and a consecutive state variable x - ; (b) a step of generating discrete input automata (DIA) - an unchangeable condition about the elapsed time and the time advanced function and a flow condition about the elapsed time are added during the DIA generating step -; (c) a step of generating a state set V corresponding to a phase of the DEV&DESS one to one and a flow condition function; (d) a step of converting an internal transfer function and a discrete output function about a state event; (e) a step of converting an external transfer function; (f) a step of converting an internal transfer function and a discrete output function about a time event; and (g) a step of converting an initial condition into what corresponding to the converted variable and state.
Abstract translation: 本发明公开了一种将DEV和DESS模型转换成相同线性混合自动机的方法。 根据本发明，提供了一种模型转换方法，包括生成与DEV＆DESS模型的离散状态和连续状态对应的离散输入/输出集合，连续输入/输出集合和变量集合X的步骤，并且添加 经过时间和时间高级功能 - 变量集X包括离散输入变量，离散输出变量，连续输入变量，连续输出变量，离散状态变量和连续状态变量x - ; （b）产生离散输入自动机（DIA）的步骤 - 在DIA生成步骤期间添加关于经过时间和时间提前功能的不可改变的条件以及关于经过时间的流动条件; （c）生成与DEV＆DESS的相位对应的状态集合V一一对应的步骤和流动状态函数; （d）转换关于状态事件的内部传递函数和离散输出函数的步骤; （e）转换外部传递函数的步骤; （f）关于时间事件转换内部传递函数和离散输出函数的步骤; 和（g）将初始条件转换成与转换的变量和状态相对应的步骤。
-
Patent Agency Ranking
公开(公告)号：KR101616930B1
公开(公告)日：2016-05-13
申请号：KR1020150108174
申请日：2015-07-30
Applicant: 고려대학교 산학협력단
Abstract: 얼음생성시뮬레이션장치가개시된다. 상기얼음생성시뮬레이션장치는소정의입자기반유체시뮬레이션기법을이용하여유체의흐름을시뮬레이션하는유체흐름시뮬레이션부및 유체입자들각각의상태변화여부를결정하는얼음생성시뮬레이션부를포함하고, 상기얼음생성시뮬레이션부는, 고체입자들각각과얼음입자들각각의습도를결정하는습도결정부, 유체입자의이동궤적에기초하여얼음의성장방향에관한정보를포함하는성장방향벡터를결정하는성장방향결정부, 및상기유체입자들각각의상태변화여부를결정하는입자상태결정부를포함한다.
Abstract translation: 公开了一种能够模拟将过冷流水变为冰的过程的冰产生模拟装置。 冰产生模拟装置包括：流体流动模拟单元，用于使用基于某一粒子的流体模拟技术来模拟流体流动; 以及用于确定流体颗粒的每个状态的变化状态的冰产生模拟单元。 冰产生模拟单元包括：湿度确定单元，用于确定每个固体颗粒和每个冰颗粒的湿度; 生长方向确定单元，用于基于流体颗粒的移动轨道确定包括关于冰的生长方向的信息的生长方向向量; 以及用于确定每个流体颗粒的变化状态的粒子状态确定单元。
-
15.发明授权
公开(公告)号：KR101424389B1
公开(公告)日：2014-08-13
申请号：KR1020130034201
申请日：2013-03-29
Applicant: 고려대학교 산학협력단
Abstract: 본 발명은 DEV&DESS 모델을 동일한 linear hybrid automata로 변환하는 방법을 개시한다. 본 발명에 따르면, DEV&DESS 모델의 이산 입출력 셋, 연속 입출력 셋, 이산 상태 및 연속 상태에 대응되는 변수 셋 X를 생성하고, 경과 시간(elapsed time) 및 시간 확장 함수(time advanced function)를 추가하는 단계-상기 변수 셋 X는 각 원소를 나타내는 이산 입력 변수, 이산 출력 변수, 연속 입력 변수, 연속 출력 변수, 이산 상태 변수 및 연속 상태 변수 x를 포함함-; (b) 이산 입력 오토마타(Discrete input automata: DIA)를 생성하는 단계-상기 DIA 생성 단계에서 상기 경과 시간 및 시간 확장 함수에 대한 불변 조건 및 상기 경과 시간에 대한 플로우 조건이 추가됨-; (c) 상기 DEV&DESS 모델의 페이즈(phase)에 1:1로 대응되는 상태 셋 V 및 플로우 조건 함수(flow condition function)를 생성하는 단계; (d) 상태 이벤트(state event)에 대한 내부 전이 함수 및 이산 출력 함수를 변환하는 단계; (e) 외부 전이 함수를 변환하는 단계; (f) 시간 이벤트에 대한 내부 전이 함수 및 이산 출력 함수를 변환하는 단계; 및 (g) 초기 조건을 상기 변환된 변수 및 상태에 상응하게 변환하는 단계를 포함하는 것을 특징으로 하는 모델 변환 방법이 제공된다.
-
公开(公告)号：KR101363668B1
公开(公告)日：2014-02-24
申请号：KR1020120056748
申请日：2012-05-29
Applicant: 고려대학교 산학협력단
Abstract: 캡차를 이용한 사용자 인증 장치 및 방법이 개시된다. 개시된 사용자 인증 장치는 캡차를 위한 텍스트(text) 및 다수의 이미지가 단말장치에 표시되도록 제어하는 표시 제어부; 및 상기 다수의 이미지 중 상기 단말장치를 통해 상기 텍스트에 대한 정답으로서 선택된 적어도 하나의 이미지를 이용하여 상기 단말장치의 사용자가 정상 사용자인지를 인증하는 인증부를 포함하되, 상기 다수의 이미지는 하나 이상의 정답 이미지, 하나 이상의 오답 이미지 및 하나 이상의 더미(dummy) 이미지를 포함하고, 상기 인증부는 상기 선택된 적어도 하나의 이미지에 상기 정답 이미지 및 상기 오답 이미지가 포함되는지 여부를 이용하여 상기 사용자를 인증하고, 상기 선택된 적어도 하나의 이미지에 상기 더미 이미지가 포함되는지 여부는 상기 사용자의 인증에 이용하지 않는다.
-
公开(公告)号：KR1020140011010A
公开(公告)日：2014-01-28
申请号：KR1020120056748
申请日：2012-05-29
Applicant: 고려대학교 산학협력단
Abstract: Disclosed are an apparatus and method for user authentication using CAPTCHA. The disclosed user authentication apparatus comprises: a display control unit for performing a control operation such that a text and a plurality of images for CAPTCHA can be displayed on a terminal device; and an authentication unit for authenticating whether a user of the terminal device is a normal user or not by using at least one image selected as a correct answer to the text through the terminal device among the plurality of images, wherein the plurality of images includes one or more correct answer images, one or more wrong answer images and one or more dummy images, the authentication unit authenticates the user by using whether the correct answer image and the wrong answer image are included in the selected at least one image, and whether the dummy image is included in the selected at least one image is not used in the user authentication. [Reference numerals] (211) First storage unit; (212) Second storage unit; (213) Third storage unit; (220) Display control unit; (230) Authentication unit; (240) Terminal device; (AA,BB) Database unit
Abstract translation: 公开了一种使用人机验证的用户认证的装置和方法。 所公开的用户认证装置包括：显示控制单元，用于执行控制操作，使得可以在终端设备上显示用于CAPTCHA的文本和多个图像; 以及认证单元，用于通过在所述多个图像中使用通过所述终端设备使用被选择为所述文本的正确答案的至少一个图像来认证所述终端设备的用户是否是普通用户，其中所述多个图像包括一个 或更多正确答案图像，一个或多个错误答案图像和一个或多个虚拟图像，认证单元通过使用正确答案图像和错误答案图像是否包括在所选择的至少一个图像中来验证用户，以及 所选择的虚拟图像被包括在用户认证中未被使用的至少一个图像中。 （附图标记）（211）第一存储单元; （212）第二存储单元; （213）第三存储单元; （220）显示控制单元; （230）验证单元; （240）终端设备; （AA，BB）数据库单元
-
公开(公告)号：KR1020130055518A
公开(公告)日：2013-05-28
申请号：KR1020120121549
申请日：2012-10-30
Applicant: 고려대학교 산학협력단
CPC classification number: G06F11/3664 , G06F9/445 , G06F9/4887 , G06F9/50 , G06F11/28 , G06F11/3696
Abstract: PURPOSE: A TTA(Time-Triggered Architecture) application method for a real time embedded system is provided to increase the action predictability of a real time system and to increase the efficiency of a testing process. CONSTITUTION: A TTA application task for a target system is extracted and event and task features for TTA application are checked(12). A task performance cycle for TTA is set and real time is verified(13). The TTA is applied according to an application target environment and a system is tested(15). [Reference numerals] (11) Extract a TTA applied task for a target system; (12) Grasp an event and task features for TTA application; (13) Set a task performance cycle for TTA and verify real time; (14) Apply TTA according to application target environment; (15) Perform event loss testing and system testing; (AA) Start; (BB) End
Abstract translation: 目的：提供实时嵌入式系统的TTA（时间触发体系结构）应用方法，以提高实时系统的动作可预测性并提高测试过程的效率。 构成：提取目标系统的TTA应用任务，并检查TTA应用程序的事件和任务特征（12）。 设置TTA的任务执行周期并验证实时（13）。 TTA根据应用目标环境进行应用，并对系统进行了测试（15）。 （附图标记）（11）提取目标系统的TTA应用任务; （12）掌握TTA应用的事件和任务特征; （13）设置TTA的任务执行周期，实时验证; （14）根据应用目标环境应用TTA; （15）进行事件丢失测试和系统测试; （AA）开始; （BB）结束
-
-
-
-
-
-
-
Search Results
18
records
(took 0.026 seconds)
