-
1.
公开(公告)号:WO2017131263A1
公开(公告)日:2017-08-03
申请号:PCT/KR2016/001006
申请日:2016-01-29
Applicant: 한국과학기술원
Abstract: 분류기를 학습시키는 학습 방법 및 장치, 학습된 분류기를 이용하여 소프트웨어 결함 예측 장치가 개시된다. 일 실시예에 따른 학습 방법은 소스 인스턴스와 타겟 인스턴스 간의 유사도에 기초하여 소스 인스턴스들 중에서 제1 트레이닝 인스턴스를 결정하는 단계, 상기 소스 인스턴스들의 분포 특징에 기초하여 상기 소스 인스턴스들 중에서 제2 트레이닝 인스턴스를 결정하는 단계, 상기 제1 트레이닝 인스턴스 및 상기 제2 트레이닝 인스턴스를 이용하여 분류기를 학습시키는 단계를 포함할 수 있다.
Abstract translation: 公开了一种用于学习分类器的学习方法和装置以及使用该学习分类器的软件缺陷预测装置。 从所述源实例根据一个实施例的学习方法是基于在舞台上的分布特性,源实例来确定相似性的源实例和目标实例的第二训练实例之间的程度的基础上,从源实例第一训练实例 使用第一训练实例和第二训练实例来学习分类器。<
-
公开(公告)号:KR101746328B1
公开(公告)日:2017-06-12
申请号:KR1020160011231
申请日:2016-01-29
Applicant: 한국과학기술원
Abstract: 분류기를학습시키는학습방법및 장치, 학습된분류기를이용하여소프트웨어결함예측장치가개시된다. 일실시예에따른학습방법은소스인스턴스와타겟인스턴스간의유사도에기초하여소스인스턴스들중에서제1 트레이닝인스턴스를결정하는단계, 상기소스인스턴스들의분포특징에기초하여상기소스인스턴스들중에서제2 트레이닝인스턴스를결정하는단계, 상기제1 트레이닝인스턴스및 상기제2 트레이닝인스턴스를이용하여분류기를학습시키는단계를포함할수 있다.
Abstract translation: 公开了使用学习分类器学习分类器和软件缺陷预测装置的学习方法和装置。 根据实施例的学习方法包括:基于源实例和目标实例之间的相似度确定源实例之间的第一训练实例;基于源实例的分布特性确定源实例的第二训练实例 并使用第一个训练实例和第二个训练实例来学习分类器。
-
公开(公告)号:KR1020160103395A
公开(公告)日:2016-09-01
申请号:KR1020150025838
申请日:2015-02-24
Applicant: 한국과학기술원
CPC classification number: G06F11/3013 , G06F15/16
Abstract: 지능을가진스마트기기들이자율협업을통하여임무를수행하는과정에서변화하는상황에적절하게대응하지못할경우, 성공적인임무수행에문제가발생하거나, 안전필수시스템의경우생명에위협을주는행위로이어질수 있다. 따라서자율협업에대한검증을통해협업이무결하고안전하게수행되고있는지지속적으로확인하는것이필요하다. 본논문은모델체킹을이용하여스마트기기자율협업을검증할수 있는프레임워크를제안하고관련된이슈를정리한다.
Abstract translation: 当聪明的智能设备智能设备在智能设备通过自主协作来执行任务时,不能正确应对变化的情况,在成功的任务执行或行动中可能会出现问题,在发生基本安全系统的情况下威胁生命。 因此,有必要通过对自主协作的验证来持续检查协作是否完全安全地执行。 本论文提出了一种框架,能够通过使用模型检查来验证智能设备的自主协作,并总结相关问题。
-
-