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

1. 发明公开

KR1020170131679A 모바일 애플리케이션과 연관된 콘텐츠 아이템의 디바이스-기반 필터링 审中-实审
标题翻译：与移动应用程序相关的内容项目的基于设备的过滤
公开(公告)号：KR1020170131679A
公开(公告)日：2017-11-29
申请号：KR1020177031378
申请日：2015-08-20
申请人： 구글 엘엘씨
发明人： 카난카비타 , 구오찰리 , 해리스크리스토퍼케네스 , 마오시 , 헨니건토마스매튜제임스 , 샤오시씨링-이에 , 조보니리카르도 , 사친코트와니
IPC分类号： G06F11/00 , G06F11/36 , G06Q30/08 , H04W8/22 , H04L29/08 , H04W4/00 , H04W4/02 , H04W8/26
CPC分类号： G06Q30/08 , H04L67/06 , H04L67/20 , H04L67/303 , H04W4/02 , H04W4/60 , G06F11/008 , G06F11/3608 , H04L67/34 , H04W8/22 , H04W8/26
摘要： 디바이스필터에기초하여적정콘텐츠아이템들의세트로부터콘텐츠아이템을필터링하기위한방법, 장치및 시스템. 모바일애플리케이션은운영체제, 운영체제버전, 하나이상의클라이언트디바이스의하드웨어구성등에따라서하나이상의디바이스와호환불가능할수 있다. 비호환콘텐츠아이템을제거하기위하여, 대응하는모바일애플리케이션에대한요구된피쳐들의세트를여러공지된모바일디바이스를식별하는데이터구조체로부터의데이터및 피쳐들의연관된세트와비교함으로써디바이스필터가생성될수 있다. 모바일애플리케이션에대한요구된피쳐들의세트는최소운영체제버전, 하나이상의적정국가, 및/또는모바일디바이스의하나이상의피쳐를포함할수 있다. 디바이스필터는비교한것에기초하여해당모바일애플리케이션과호환되지않는공지된모바일디바이스에대한식별자들의세트를포함할수 있다.
摘要翻译：一种用于基于设备过滤器从一组适当的内容项目过滤内容项目的方法，装置和系统。根据操作系统，操作系统版本，一个或多个客户端设备的硬件配置等，移动应用程序可能与一个或多个设备不兼容。设备过滤器可以通过将对应的移动应用的一组所需特征与来自标识多个已知移动设备的数据结构的相关联的一组数据和特征进行比较来创建，以移除不兼容的内容项目。该移动应用程序所需的一组特征可以包括该移动设备的最小操作系统版本，一个或多个符合条件的国家，和/或一个或多个特征。基于比较，设备过滤器可以包括用于与移动应用不兼容的已知移动设备的一组标识符。

2. 发明公开

KR1020100106862A 불확실성 분석용 입력자료 생성방법, 불확실성 분석방법, 불확실성 분석용 자료 생성장치 및 컴퓨터로 판독가능한 기록매체 有权
标题翻译：用于不确定性分析的输入数据生成方法，不确定性分析方法，不确定性分析数据生成装置和计算机可回收介质
公开(公告)号：KR1020100106862A
公开(公告)日：2010-10-04
申请号：KR1020090025118
申请日：2009-03-24
申请人： 한국원자력연구원
发明人： 한상훈 , 임호곤
IPC分类号： G06F17/00 , G06F9/44 , G06F7/00
CPC分类号： G06F17/18 , G06F11/3608 , G06F17/30536 , G06F17/5036
摘要： PURPOSE: An input data generating method for uncertainty analysis, an uncertainty analysis method, a data generating device for uncertainty analysis, and a computer readable medium are provided to make input data through information inputted on an input window, thereby automatically generating the input data. CONSTITUTION: An input data generating device for uncertainty analysis displays a spreadsheet(S110). Variables are arranged in cells on the spreadsheet. If one is selected among the cells, the device activates an input window(S120). Information related to variables corresponding to the selected cell is inputted through the input window. Sample values of the variables are extracted through input information about the input window(S131). At least one of the sample values or the input information is converted into a text as input data.
摘要翻译：目的：提供用于不确定性分析的输入数据生成方法，不确定性分析方法，用于不确定性分析的数据生成装置和计算机可读介质，以通过在输入窗口上输入的信息来输入数据，从而自动生成输入数据。构成：用于不确定性分析的输入数据生成装置显示电子表格（S110）。变量排列在电子表格的单元格中。如果在单元格中选择了一个，则设备激活输入窗口（S120）。通过输入窗口输入与所选单元对应的变量相关的信息。通过关于输入窗口的输入信息提取变量的采样值（S131）。样本值或输入信息中的至少一个被转换为文本作为输入数据。

3. 发明公开

KR1020090040312A 시스템의 리얼 타임 용량을 테스트하기 위한 방법 无效
标题翻译：测试系统实时能力的方法
公开(公告)号：KR1020090040312A
公开(公告)日：2009-04-23
申请号：KR1020097002242
申请日：2007-06-28
申请人： 인크론 지엠비에이치
发明人： 알베르스칼스텐 , 보드만프랭크 , 슬롬카프랭크
IPC分类号： G06F17/50 , G06F11/36 , G06F9/48
CPC分类号： G06F11/3608
摘要： The invention relates to a method for analyzing, especially in real time, a system, particularly a computer system, which comprises a set of different tasks (d). At least some of the tasks (dn) are requested and processed in a repetitive manner by the system or repeatedly generate requests to partial system components (events). The occurrence pattern of the events that request the tasks or are generated by the task are represented at least in part by a description during the analysis, said description being composed of a set of elements, each of which describes the occurrence pattern of events. The inventive method is characterized that a set of not necessarily uniform elements is used once again with at least two elements for describing the occurrence pattern represented by said at least two elements, while said sets of elements, and thus the occurrence pattern described thereby, are different from each other.
摘要翻译：本发明涉及一种特别实时分析系统，特别是计算机系统的方法，该系统包括一组不同的任务（d）。至少一些任务（dn）由系统以重复的方式被请求和处理，或者重复生成对部分系统组件（事件）的请求。请求任务或由任务生成的事件的发生模式至少部分地由分析期间的描述表示，所述描述由一组元素组成，每个元素描述事件的发生模式。本发明的方法的特征在于，一组不一定均匀的元件再次与用于描述由所述至少两个元件表示的出现图案的至少两个元件一起使用，而所述元件组以及因此所描述的出现图案是彼此不同。

4. 发明公开

KR1020150094260A 소프트웨어 정의 네트워킹 환경에서 네트워크 서비스 체인의 정형 검증을 위한 검증 지원 장치 및 방법과, 그 검증 지원 장치를 구비한 정형 검증 장치 审中-实审
标题翻译：软件定义网络支持网络服务链接验证的装置和方法，以及适用于安装程序的正式验证装置
公开(公告)号：KR1020150094260A
公开(公告)日：2015-08-19
申请号：KR1020140015324
申请日：2014-02-11
申请人： 한국전자통신연구원
发明人： 이종화 , 최윤철 , 이승익 , 신명기 , 김형준
IPC分类号： H04L12/26
CPC分类号： G06F11/0784 , G06F9/542 , G06F11/3608
摘要： 소프트웨어 정의 네트워킹 환경에서 네트워크 서비스 체인의 정형 검증 기술이 개시된다. 일 실시예에 따르면, 네트워크 서비스 체인의 정형 검증을 위한 검증 지원 장치는 응용 프로그램으로부터 네트워크 서비스 체인(Network Service Chain) 기술 정보를 수신하는 NSC 기술정보 수신부, 수신된 네트워크 서비스 체인 기술 정보를 이용하여 복수의 네트워크 서비스들 간의 네트워크 서비스 체인을 구성하는 NSC 구성부 및 구성된 네트워크 서비스 체인 상의 각 네트워크 서비스에 대하여 정형 검증부에 정형 검증을 요청하는 검증 요청부를 포함할 수 있다.
摘要翻译：公开了一种用于软件定义的网络环境中的网络服务链（NSC）的形式验证的技术。根据实施例，一种用于NSC的形式验证的验证支持装置，包括：NSC技术信息接收单元，从应用程序接收NSC技术信息; NSC配置单元，使用所接收的NSC技术信息，在多个网络服务中配置NSC; 以及验证请求单元，将配置的NSC上的每个网络服务的形式验证请求发送到形式验证单元。

5. 发明公开

KR1020110109146A 행위 오류 분석 장치 및 그 방법 有权
标题翻译：行为分析装置及其方法
公开(公告)号：KR1020110109146A
公开(公告)日：2011-10-06
申请号：KR1020100028738
申请日：2010-03-30
申请人： 한국전자통신연구원
发明人： 박사천 , 이정희
IPC分类号： G06F11/36
CPC分类号： G06F11/3608
摘要： An apparatus for analyzing a fault behavior, includes a satisfiability modulo theories (SMT) conversion block for performing SMT conversion with respect to a protocol state machine diagram and a sequence diagram of a software design model. Further, the apparatus for analyzing the fault behavior includes an SMT processing block for performing a SMT processing using respective logic formulas corresponding to the protocol state machine diagram and the sequence diagram and outputted from the SMT conversion block, and determining whether the result of the SMT processing is satisfied to output an occurrable behavior scenario when the result of the SMT processing is satisfied.

6. 发明授权

KR101000867B1 The system of evaluating route search algorithms, the method thereof, and the recording medium thereof 有权
标题翻译：评估路由搜索算法的系统，其方法及其记录介质
公开(公告)号：KR101000867B1
公开(公告)日：2010-12-13
申请号：KR20100047111
申请日：2010-05-19
申请人： KONGJU NAT UNIVERSITY INDUSTRY UNIVERSITY COOPERATION FOUNDATION
发明人： LEE SANG YONG , SEO HYO SEOK , PARK JAE MIN
IPC分类号： G06F9/44 , G06F3/03 , G06F17/00
CPC分类号： G06F17/5036 , G06F9/4443 , G06F11/3404 , G06F11/3428 , G06F11/3608 , G06F17/5063
摘要： PURPOSE: A search algorithm evaluation system, a method and a recording medium storing a computer program by using an evaluation component are provided to evaluate the search algorithm performance by the evaluation component and generate a map applying the algorithm. CONSTITUTION: When a user generates map information by menu selection in a graphic interface, a user interface module(210) is operated. If the user selects the evaluated path search algorithm through the graphic interface, the path search algorithm is loaded on a user algorithm module. If a character moves from a map, evaluation performance is evaluated while the evaluation component is displayed on a monitor.
摘要翻译：目的：提供一种通过使用评估组件来存储计算机程序的搜索算法评估系统，方法和记录介质，以评估评估组件的搜索算法性能，并生成应用该算法的图。构成：当用户通过图形界面中的菜单选择生成地图信息时，操作用户界面模块（210）。如果用户通过图形界面选择评估的路径搜索算法，路径搜索算法被加载到用户算法模块上。如果角色从地图移动，则在评估组件显示在监视器上时评估评估性能。

7. 发明公开

KR1020100002564A 보조 접근 기술 기반 소프트웨어 테스트 자동화 시스템 및방법 无效
标题翻译：自动化软件测试系统和方法与辅助访问技术
公开(公告)号：KR1020100002564A
公开(公告)日：2010-01-07
申请号：KR1020080062500
申请日：2008-06-30
申请人： 주식회사 큐에이엔씨
发明人： 김재석
IPC分类号： G06F11/36 , G06F11/26 , G06F9/44
CPC分类号： G06F11/3624 , G06F9/44589 , G06F11/2635 , G06F11/2736 , G06F11/3608
摘要： PURPOSE: A software test automation system and a method thereof based on a secondary access technique for reducing a time and a cost are provided to improve the usability of the script by classifying a script state. CONSTITUTION: State transition information is collected based on in the secondary access technique(402). The state transition information is composed of a map. The state transition information is generated in a script command. The script command generates(410). The execution result is compared with the state transition information map. The processing result offered from comparison and analysis process is identified(413). The completion of the script performance is determined. When the performance of the script is completed, the report is generated.
摘要翻译：目的：提供一种基于用于减少时间和成本的二次访问技术的软件测试自动化系统及其方法，以通过分类脚本状态来提高脚本的可用性。构成：根据二次访问技术收集状态转换信息（402）。状态转换信息由地图组成。在脚本命令中生成状态转换信息。脚本命令生成（410）。将执行结果与状态转换信息图进行比较。确定了比较分析过程提供的处理结果（413）。确定脚本性能的完成。当脚本的性能完成后，生成报告。

8. 发明公开

KR1020150123282A 프로그램을 보호하기 위한 방법 审中-实审
标题翻译：保护程序的方法
公开(公告)号：KR1020150123282A
公开(公告)日：2015-11-03
申请号：KR1020157026189
申请日：2014-01-28
申请人： 볼리냐노, 도미니크
发明人： 볼리냐노,도미니크
IPC分类号： G06F11/36
CPC分类号： G06F11/3608 , G06F8/443 , G06F8/452 , G06F8/75 , G06F9/30178 , G06F9/3808 , G06F9/4484 , G06F11/362 , G06F11/3664
摘要： 제1 프로그램을보호하는방법으로서, 상기제1 프로그램은유한한수의프로그램포인트들및 상기프로그램포인트들에연관된진전규칙들을포함하고한 프로그램포인트로부터다른프로그램포인트로의경로를정의하며, 상기방법은: 복수의종료케이스의정의및, 제2 프로그램이상기제1 프로그램의정의에이용되는경우, 상기제2 프로그램의각 종료케이스에대한, 상기제1 프로그램의특정프로그램포인트를향한분기의정의또는분기불능의선언; 및기 제1 프로그램의하나이상의구성적인요소들에각각연관된, 증명될속성들의집합의정의 -상기속성들의집합은특정한속성으로서상기분기불능을포함-; 상기속성들의집합의형식적인증명의설정을포함하는, 방법.
摘要翻译：一种用于确保第一程序的方法，所述第一程序包括与程序点相关联的有限数量的程序点和演进规则，并且定义程序点到另一程序点的通过，所述方法包括定义多个退出情况，以及当第二程序程序用于第一个程序的定义，对于每个退出情况，定义向第一程序的特定程序点分支或者分支不可能性的声明，定义要验证的一组属性，每个与第一个程序的构成要素，所述的一组属性包括分支不可能性作为一个特定的属性，并建立一组属性的形式证明。

9. 发明公开

KR1020150122154A 규제 준수 소프트웨어를 제작하기 위한 방법 및 장치 有权
标题翻译：生产监管合规软件的方法和装置
公开(公告)号：KR1020150122154A
公开(公告)日：2015-10-30
申请号：KR1020157023476
申请日：2014-02-27
申请人： 메디데이타 솔루션즈, 인코포레이티드
发明人： 웡아이삭 , 휴어앤서니 , 페티트본존루이스 , 드브리스글렌
IPC分类号： G06F11/36
CPC分类号： G06F11/3608 , G06F8/73 , G06F11/3664 , G06Q30/018
摘要： 규제준수소프트웨어를제작하기위한방법은소프트웨어애플리케이션을유효성확인하고유효성확인된소프트웨어애플리케이션을유효성확인포털에서동결시키는단계, 소프트웨어애플리케이션이동작하는인프라를증명하는단계, 및운용변경관리의증거를규제기관에제공하는단계 - 이증거는기관의준수규칙을충족시키는설명서를포함함 - 를포함한다. 규제준수소프트웨어패키지가또한기술되어있다.

10. 发明授权

KR101294708B1 행위 오류 분석 장치 및 그 방법 有权
标题翻译：行为分析装置及其方法
公开(公告)号：KR101294708B1
公开(公告)日：2013-08-08
申请号：KR1020100028738
申请日：2010-03-30
申请人： 한국전자통신연구원
发明人： 박사천 , 이정희
IPC分类号： G06F11/36
CPC分类号： G06F11/3608
摘要： 본 발명은 소프트웨어 설계 모델의 검증 기법에 관한 것으로, 소프트웨어 설계 모델에 대한 프로토콜 상태 기계 다이어그램 및 순차 다이어그램을 이용하여 SMT 변환 및 SMT 처리를 수행하여 만족 시 발생 가능한 행위 시나리오를 출력하고, 불만족 시 모순된 행위 시나리오를 검증함으로써, 소프트웨어 설계 모델에 대한 프로토콜 상태 기계 다이어그램과 순차 다이어그램의 일치성을 효과적으로 검증할 수 있는 것이다.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式