专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

11. 发明授权

KR101476232B1 자연어와 수학식이 포함된 복합문장의 논리적 표현 변환방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：将包含自然语言和数学公式的复合句转换为逻辑表达式的方法，具有程序的装置和计算机可读记录介质
公开(公告)号：KR101476232B1
公开(公告)日：2014-12-26
申请号：KR1020110001282
申请日：2011-01-06
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 박근태 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문 , 박용길 , 최승락 , 이동학 , 이종헌 , 이명성
IPC分类号： G06F17/27
摘要： 본발명의실시예는자연어와수학식이포함된복합문장의논리적표현변환방법과그를위한장치및 컴퓨터로읽을수 있는기록매체에관한것이다. 본발명의실시예는, 자연어와수식이포함된복합문장을수신하는정보입력단계; 상기복합문장의문장구성을분석하여수식데이터및 자연어를각각토큰화하여수식토큰및 자연어토큰을생성하는문장분석단계; 자연어토큰규칙을참조하여상기자연어토큰의의미에대응되는동작정보를추출하는동작추출단계; 및상기추출된동작정보를상기수식토큰에대하여구조화하는동작실행단계를포함하는것을특징으로하는복합문장의논리적표현변환방법과그를위한장치및 컴퓨터로읽을수 있는기록매체를제공한다.

12. 发明授权

KR101476227B1 수학교육 서비스 시스템 및 그 서비스 방법, 수학문제 분석 및 생성 장치 및 그 방법 有权
标题翻译：数学教育服务系统与方法，数学问题分析与发电设备
公开(公告)号：KR101476227B1
公开(公告)日：2014-12-26
申请号：KR1020110002591
申请日：2011-01-11
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 박근태 , 위남숙 , 이두석 , 손정교 , 김행문 , 박용길 , 최승락 , 이동학 , 이종헌 , 이명성
IPC分类号： G06Q50/20
CPC分类号： G09B5/00 , G09B7/00
摘要： 수학교육서비스시스템및 그서비스방법, 및수학문제분석및 생성장치및 그방법이개시된다. 본발명의실시예에따른수학교육서비스시스템은, 네트워크를통해접속한학습자단말기에수학교육서비스를제공하는수학교육서비스시스템에있어서, 복수의수학문제의유형을저장하는문제저장부; 수와식 조작에의한문제변형방법, 바꾸어씀에의한문제변형방법, 명제조작에의한문제변형방법을포함하는복수의문제변형방법을실행하는변형방법실행부; 수학문제에서사용된수식들을수집하며, 수집된수식들을파싱하여적어도하나의항을분리하고, 분리된각각의항에서상수와변수를분리하는문제분리부; 및수집된수식및 분리된각각의항의상수와변수에적어도하나의문제변형방법을적용하여수학문제를응용한새로운문제를생성하는문제생성부를포함하며, 수학문제및 생성된새로운문제를학습자단말기에제공하는것을특징으로한다.

13. 发明授权

KR101476226B1 학습능력 진단 장치 및 방법 有权
标题翻译：评估学习能力的装置和方法
公开(公告)号：KR101476226B1
公开(公告)日：2014-12-26
申请号：KR1020100114064
申请日：2010-11-16
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 최승락 , 위남숙 , 이두석 , 손정교 , 김행문 , 박용길 , 박근태 , 이동학 , 이종헌 , 이명성
IPC分类号： G06Q50/20 , G09B7/00
摘要： 본발명의실시예는학습능력진단장치및 방법에관한것이다. 본발명의실시예에따른학습능력진단장치는학습능력진단장치는학습자가진단받고자하는단원및 문제관련정보를수신하고, 상기단원에관련되는문제의구조정보를특정과목에대한문제와의미적정보를구분하여형성한시맨틱(semantic) 정보로부터읽어내어상기문제의시맨틱정보로부터상기문제가속한문제패턴을찾아내고, 상기문제를푸는데 필요한기법(skill) 및개변과상기문제패턴의관계를추출하는문제패턴관계구조추출부; 상기문제관련정보를이용하여진단목표에따른상기학습자의시험결과를추출하는시험결과추출부; 상기문제의시맨틱구조와상기학습자의문제해결결과로부터임의의논리방정식을구성하는방정식구성부; 및구성한상기논리방정식을풀이하는방정식풀이부를포함하는것을특징으로한다.

14. 发明授权

KR101476225B1 자연어 및 수식 색인화 방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：自然语言和数学公式，装置和计算机可读记录介质的索引方法
公开(公告)号：KR101476225B1
公开(公告)日：2014-12-26
申请号：KR1020100132141
申请日：2010-12-22
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 박용길 , 최승락 , 박근태 , 이동학 , 이종헌 , 이명성 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문
IPC分类号： G06F17/20 , G06F17/15 , G06F17/30 , G06F17/27
摘要： 본발명의일 실시예는자연어및 수식색인화방법과그를위한장치및 컴퓨터로읽을수 있는기록매체에관한것이다.본발명의일 실시예는자연어(Natural Language) 및수식(Mathematical Formula)의조합으로이루어진조합데이터를입력받는정보입력부; 상기조합데이터에서상기자연어및 상기수식을각각분리하고, 분리된상기자연어와상기수식을구성하고있는각각의구성정보를분석하여특정의미에따라구분하는의미구분정보를생성하는시멘틱파서부(Semantic Parser); 상기구성정보, 상기자연어, 상기수식및 상기의미구분정보중 적어도하나이상의정보를재조합하여재조합데이터로저장하는데이터관리부; 입력된사용자쿼리(Query)에포함된키워드(Key Word)를추출하여구조화하는쿼리파서부(Query Parser); 및상기의미구분정보를색인화(Indexing)한색인정보를생성하고, 상기색인정보에상기키워드정보를매칭한쿼리매칭정보를생성하는색인부를포함하는것을특징으로하는자연어및 수식색인화장치를제공한다.

15. 发明授权

KR101417928B1 자연어 및 수식 구조화 방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：自然语言和数学公式，装置和计算机可读记录介质的结构化方法
公开(公告)号：KR101417928B1
公开(公告)日：2014-07-14
申请号：KR1020100133761
申请日：2010-12-23
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 최승락 , 박용길 , 박근태 , 이동학 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문 , 이종헌 , 이명성
IPC分类号： G06F17/20 , G06F17/10
摘要： 본 발명의 일 실시예는 자연어 및 수식 구조화 방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체에 관한 것이다.
본 발명의 일 실시예는 자연어(Natural Language) 및 수식(Mathematical Formula)의 조합으로 이루어진 조합 데이터를 입력받는 정보 입력부; 상기 조합 데이터에서 상기 자연어 및 상기 수식을 각각 분리하는 분리부; 분리된 상기 자연어를 구성하고 있는 각각의 제 1 정보를 분석하여 특정 의미에 따라 구분하는 자연어 처리부; 분리된 상기 수식을 구성하고 있는 각각의 제 2 정보를 분석하여 특정 의미에 따라 구분하는 수식 처리부; 및 상기 제 1 정보, 상기 제 2 정보, 상기 자연어 및 상기 수식 중 적어도 하나 이상의 정보를 재조합하여 재조합 데이터로 저장하는 데이터 관리부를 포함하는 것을 특징으로 하는 자연어 및 수식 구조화 장치를 제공한다.
본 발명의 일 실시예에 의하면, 자연어 및 수식이 함께 조합된 표준 문서를 이용하여 향후 수학 컨텐츠 검색 시 키워드로 이용할 수 있는 효과가 있다.

16. 发明公开

KR1020120095569A 수학식 시맨틱정보 생성방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：方法提取数学公式的数学信息，装置和计算机可读记录介质及其程序
公开(公告)号：KR1020120095569A
公开(公告)日：2012-08-29
申请号：KR1020110014968
申请日：2011-02-21
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 박근태 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문 , 박용길 , 최승락 , 이동학 , 이종헌 , 이명성
IPC分类号： G06F17/27 , G06F17/30
摘要： PURPOSE: A mathematical formula semantic information creation method, apparatus therefor, and computer readable recording medium are provided to extract implicit semantic information in a mathematical formula by analyzing the mathematical formula inputted as structured method. CONSTITUTION: An information input unit(110) receives mathematical formula data expressed as a mathematical formula. A mathematical data structuring unit(120) structures an operator and a parameter by extracting the operator and the parameter from mathematical formula data. An operator analysis unit(130) creates analyzed semantic information by combining the semantic mean with the parameter related to the operator by operating the semantic mean of the operator for the structured operator. A semantic information combination unit(140) creates semantic information combined mathematical formula data by combining the analyzed semantic information and the mathematical formula data.
摘要翻译：目的：提供一种数学公式语义信息创建方法，其设备和计算机可读记录介质，通过分析以结构化方式输入的数学公式，提取数学公式中的隐式语义信息。构成：信息输入单元（110）接收以数学公式表示的数学公式数据。数学数据结构单元（120）通过从数学公式数据中提取算子和参数来构造算子和参数。运算符分析单元（130）通过对结构化运算符操作运算符的语义均值来组合语义平均值与与运算符相关的参数来创建分析的语义信息。语义信息组合单元（140）通过组合分析的语义信息和数学公式数据来创建组合数学公式数据的语义信息。

17. 发明公开

KR1020120089493A 학습능력 진단 장치 및 방법 有权
标题翻译：评估学习能力的装置和方法
公开(公告)号：KR1020120089493A
公开(公告)日：2012-08-13
申请号：KR1020100114064
申请日：2010-11-16
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 최승락 , 위남숙 , 이두석 , 손정교 , 김행문 , 박용길 , 박근태 , 이동학 , 이종헌 , 이명성
IPC分类号： G06Q50/20 , G09B7/00
CPC分类号： G06Q50/2057 , G09B7/00
摘要： PURPOSE: A study ability diagnosing device and a method thereof are provided to automatically diagnose solving abilities according to each problem type through a semantic model and supply data according to the diagnosed result, thereby increasing a motive of a student using a terminal. CONSTITUTION: A problem pattern relation structure extracting unit(311) reads structure information of a problem from semantic information. The problem pattern relation structure extracting unit finds a problem pattern from semantic information of the problem. The problem pattern relation structure extracting unit extracts skills necessary for solving a problem and relationship between problem patterns. A test result extracting unit(313) extracts a test result of a student using problem related information according to a diagnosis purpose. An equation composition unit(315) composes a logical equation by a semantic structure of the problem and a problem solving result of the student.
摘要翻译：目的：提供一种学习能力诊断装置及其方法，通过语义模型根据每个问题类型自动诊断解决能力，并根据诊断结果提供数据，从而增加学生使用终端的动机。构成：问题模式关系结构提取单元（311）从语义信息中读出问题的结构信息。问题模式关系结构提取单元从问题的语义信息中发现问题模式。问题模式关系结构提取单元提取解决问题所需的技能和问题模式之间的关系。测试结果提取单元（313）根据诊断目的提取使用问题相关信息的学生的测试结果。方程组合单元（315）通过问题的语义结构和学生的问题解决结果构成逻辑方程。

18. 发明公开

KR1020120072001A 자연어 및 수식 구조화 방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：用于结构化自然语言和数学公式的方法，具有程序的装置和计算机可读记录介质
公开(公告)号：KR1020120072001A
公开(公告)日：2012-07-03
申请号：KR1020100133761
申请日：2010-12-23
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 최승락 , 박용길 , 박근태 , 이동학 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문 , 이종헌 , 이명성
IPC分类号： G06F17/20 , G06F17/10
CPC分类号： G06F17/20 , G06F17/10
摘要： PURPOSE: A natural language and a formula structure method, an apparatus for the same, and computer readable recording medium are provided to manage data which is combined based on analysis content as data in which the natural language and the formula are recombined. CONSTITUTION: An information input unit(110) receives combined data which is combined with a natural language and a formula. A division unit(120) divides the natural language and the formula from combination data. A natural language processing unit(130) analyzes first information which consists of the divided natural language. A formula processing unit(140) analyzes second information which consists of the divided formula. A data managing unit(150) stores the first information and the second information as recombined data.
摘要翻译：目的：提供自然语言和公式结构方法，用于相同的装置和计算机可读记录介质，以管理基于分析内容组合的数据作为自然语言和公式重组的数据。构成：信息输入单元（110）接收与自然语言和公式组合的组合数据。分割单元（120）将自然语言和公式与组合数据分开。自然语言处理单元（130）分析由分割的自然语言组成的第一信息。公式处理单元（140）分析由分割公式组成的第二信息。数据管理单元（150）将第一信息和第二信息存储为重组数据。

19. 发明公开

KR1020120063442A 수학문장의 시맨틱거리 추출 및 시맨틱거리에 의한 수학문장의 분류방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：通过语义距离提取数学方法的语义距离和分类数学方法的方法，具有程序的设备和计算机可读记录介质
公开(公告)号：KR1020120063442A
公开(公告)日：2012-06-15
申请号：KR1020110130024
申请日：2011-12-07
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 박근태 , 박용길 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문 , 최승락 , 이동학
IPC分类号： G06F17/20 , G06F17/30
CPC分类号： G06F17/28 , G06F17/271 , G06F17/2785
摘要： PURPOSE: A classifying method of a mathematics sentence, an apparatus for the same, and computer-readable recording medium are provided to obtain similarity of mathematic content which is stored in search of the inputted mathematics sentence by extracting semantic distance. CONSTITUTION: A user query input unit(140) receives a query from a user. A query parsing unit(150) extracts a keyword which is included in the inputted user query. An index information unit(130) indexes a natural token in semantic information and a mathematics token. A semantic distance extracting unit(160) measures semantic distance with semantic information and obtains similarity.
摘要翻译：目的：提供数学句子的分类方法，相同设备和计算机可读记录介质，以通过提取语义距离来获得存储在搜索输入的数学句子中的数学内容的相似性。构成：用户查询输入单元（140）从用户接收查询。查询解析单元（150）提取包括在输入的用户查询中的关键字。索引信息单元（130）对语义信息和数学令牌中的自然令牌进行索引。语义距离提取单元（160）用语义信息测量语义距离并获得相似性。

20. 发明公开

KR1020120060495A 자연어 및 수식 입력 제공 방법과 그를 위한 장치 및 컴퓨터로 읽을 수 있는 기록매체 有权
标题翻译：提供输入自然语言和数学公式，仪器和计算机可读记录介质的方法
公开(公告)号：KR1020120060495A
公开(公告)日：2012-06-12
申请号：KR1020100122025
申请日：2010-12-02
申请人： 에스케이텔레콤 주식회사 , 주식회사 아이싸이랩
发明人： 최승락 , 최형인 , 위남숙 , 이두석 , 손정교 , 김행문 , 박용길 , 박근태 , 이동학 , 이종헌 , 이명성
IPC分类号： G06F17/20
CPC分类号： G06F17/2264
摘要： PURPOSE: A natural word and formula input method and computer readable recording medium therefor are provided to receive natural words and formulas through a text input tool and a formula input tool by separately providing the text input tool and the formula input tool. CONSTITUTION: A natural word processing apparatus(110) provides a text input tool in order to receive natural words. A formula input processing apparatus(120) provides a formula input tool in order to receive formulas. An information processing unit(140) transmits collected data by collecting the inputted natural words and formulas. A parsing unit(150) receives the collected data. The parsing unit analyzes the configuration information which constructs the natural words and the formulas. The parsing unit creates semantic information divided by special meanings.
摘要翻译：目的：通过单独提供文本输入工具和公式输入工具，通过文本输入工具和公式输入工具提供自然的词和公式输入法及其计算机可读记录介质来接收自然词和公式。构成：自然文字处理装置（110）提供文本输入工具以便接收自然词。公式输入处理装置（120）提供公式输入工具以便接收公式。信息处理单元（140）通过收集所输入的自然词和公式来发送收集的数据。解析单元（150）接收所收集的数据。解析单元分析构建自然词和公式的配置信息。解析单元创建由特殊含义划分的语义信息。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式