모델 체킹에 기반한 융합 서비스 충돌탐지 장치 및 그 방법

    公开(公告)号:KR101727685B1

    公开(公告)日:2017-05-02

    申请号:KR1020110005586

    申请日:2011-01-19

    Abstract: 모델체킹에기반한융합서비스충돌탐지장치및 그방법이개시된다. 본발명의일 양상에따른융합서비스충돌탐지장치는, 융합서비스와시멘틱규칙을모델링하는융합서비스모델링부와, 모델링된융합서비스와시멘틱규칙을모델체커의시스템모델인입력코드와선형시제논리식으로변환하는융합서비스변환부와, 변환된입력코드및 선형시제논리식을대상으로모델체킹을통해서비스충돌을탐지하고서비스충돌원인을분석하는서비스충돌탐지및 원인분석부를포함한다. 이에따라융합서비스의개발및 실행으로부터발생가능한다양한충돌을탐지하고충돌원인을식별할수 있다.

    트래픽 최적화 기능을 갖는 통신 노드 및 통신 노드에서 트래픽 최적화를 위한 방법
    2.
    发明公开
    트래픽 최적화 기능을 갖는 통신 노드 및 통신 노드에서 트래픽 최적화를 위한 방법 审中-实审
    具有交通节点交通优化的通信节点和通信节点中的交通优化方法

    公开(公告)号:KR1020140125508A

    公开(公告)日:2014-10-29

    申请号:KR1020130043348

    申请日:2013-04-19

    CPC classification number: H04W28/06 H04L47/2475 H04L67/2819

    Abstract: 트래픽 최적화 장치는 WAN의 구간을 사이에 두고 그 양단에서 사용자 단말과 원격 노드에서 발생하는 패킷의 트래픽을 최적화한다. 상기 장치는 상기 장치에서 관리되는 각각의 패킷의 식별 정보를 가지고 있고, 각각의 패킷에 선택적으로 적용될 최적화 옵션을 지정하는 플로우 정보 테이블과, 상기 패킷을 분석하여 상기 패킷이 플로우 정보 테이블에서 관리되는지를 식별하는 패킷 처리 모듈, 및 상기 식별된 패킷에 지정된 최적화 옵션에 따라 상기 패킷을 최적화하는 최적화 모듈을 포함한다.

    Abstract translation: 流量优化设备优化由WAN部分处的位于两端的用户终端和远程节点生成的分组的流量。 该设备包括流信息表,其具有由设备本身管理的每个分组的标识,并且设置选择性地应用于每个分组的优化选项; 分组处理模块,分析所述分组并识别所述分组是否在所述流信息表中被管理; 以及根据所识别的分组中设置的优化选项优化分组的优化模块。

    가상사설망을 구성하는 장치 및 방법
    4.
    发明授权
    가상사설망을 구성하는 장치 및 방법 有权
    降低功耗的系统和方法

    公开(公告)号:KR101382620B1

    公开(公告)日:2014-04-10

    申请号:KR1020100076561

    申请日:2010-08-09

    CPC classification number: Y02D70/00

    Abstract: 본 발명은 가상사설망을 구성하는 기술에 관한 것이다.
    이동 중 변하지 않는 가상 홈주소(HoA)와 이동 중 계속적으로 변하는 IP주소(CoA)를 갖는 접속노드로 이동성을 지원하는 가상사설망 게이트웨이는 이동성 지원부, 데이터 보안부 및 가상주소 변환부를 포함한다. 이동성 지원부는 접속노드로부터 패킷이 전달되는 경우, 접속노드의 HoA와 변경된 CoA의 매핑관계를 유지하며 패킷에 대한 이동성 터널을 처리하여 제1 변환 패킷을 생성한다. 데이터 보안부는 이동성 지원부로부터 제1 변환 패킷을 전달받으며, 제1 변환 패킷에 대한 보안성 검사를 수행한다. 가상주소 변환부는 보안성 검사가 완료된 제1 변환 패킷을 수신하여 제1 변환 패킷의 소스 주소인 접속노드의 HoA를 가상사설망에서 사용 가능한 사설망 내부 주소로 변환하여 제2변환 패킷을 생성한다.

    Abstract translation: 目的:提供用于配置虚拟专用网络的设备,以分配专用内部地址。 构成:移动性支持单元(210)通过关于分组的移动性隧道的处理来生成第一转换分组。 数据安全单元(220)检查关于第一转换包的安全性。 虚拟地址转换单元(230)将连接节点的HOW转换成专用网络上的内部地址。 虚拟地址转换单元生成第二转换分组。

    로봇용 소프트웨어 컴포넌트를 실행하는데 있어서 고장 감내 방법 및 장치
    5.
    发明授权

    公开(公告)号:KR101313692B1

    公开(公告)日:2013-10-02

    申请号:KR1020090126638

    申请日:2009-12-18

    CPC classification number: G06F11/1482 G06F11/1438

    Abstract: 본 발명은 분산 환경에서 약결합된 형태를 취하고 있는 로봇용 소프트웨어 컴포넌트들을 구동시키는 컴포넌트 실행 방법에 있어서, 다중 컴포넌트를 실행할 때, 특정 컴포넌트의 고장이 전체 시스템의 고장으로 확대되는 것을 방지하는 방법 및 그 장치에 관한 것이다.
    본 발명의 실시예에 따른 로봇용 소프트웨어 컴포넌트를 구동시키는데 있어서 컴포넌트 구동 시 발생하는 고장을 감내하는(fault tolerance) 방법은, 동일한 우선순위와 주기를 갖는 적어도 하나의 로봇용 소프트웨어 컴포넌트를 컴포넌트 실행기에 할당하는 단계, 운영체제로부터 하나의 쓰레드를 할당받아 상기 컴포넌트 실행기를 이용하여 상기 적어도 하나의 로봇용 소프트웨어 컴포넌트를 실행하는 단계, 상기 실행한 결과를 실행기 모니터에 통보하는 단계, 및 상기 실행기 모니터가 상기 컴포넌트 실행기의 동작에 고장이 있는 것으로 판단한 경우 새로운 컴포넌트 실행기를 생성하는 단계를 포함하여 구성될 수 있다.
    로봇, 소프트웨어 컴포넌트, 고장 감내, Fault Tolerance

    가상 네트워크에서 패킷 전송 방법
    6.
    发明公开
    가상 네트워크에서 패킷 전송 방법 无效
    虚拟网络中发送分组的方法

    公开(公告)号:KR1020130085515A

    公开(公告)日:2013-07-30

    申请号:KR1020110134934

    申请日:2011-12-14

    CPC classification number: H04L45/74

    Abstract: PURPOSE: A packet transmitting method in a virtual network is provided to raise extensibility and to bind the virtual network according to a service unit. CONSTITUTION: A transmission host device (30) transmits a packet (S510). A virtual router (Ra) which is a connection router of the transmission host device receives the packet. The virtual router adds a reception IP field and a transmission IP field which set an IP address of a first virtual router (R1) to the packet and transmits the packet after checking an IP address (VR2 IP) of a second virtual router (R2) (S520). The second virtual router searches an IP address (VR5 IP) of a fifth virtual router (R5) corresponding to the connection router having a corresponding domain name in reference to a third mapping table, changes a value of a received IP field into the IP address of the fifth virtual router and transmits the packet (S530). A fourth virtual router (R4) receives the packet corresponding to the fourth virtual router and delivers the packet through a routing path which is set according to a routing table if the IP address of the reception IP field does not match with an IP address (VR4 IP) of the fourth virtual router (S540). The fifth virtual router transmits the packet corresponding to the fifth virtual router based on link local data after decapsulating the reception IP field and the transmission IP field (S550). [Reference numerals] (AA,BB) Data

    Abstract translation: 目的:提供虚拟网络中的分组发送方法,以提高可扩展性,并根据服务单元绑定虚拟网络。 构成:发送主机装置(30)发送分组(S510)。 作为传输主机设备的连接路由器的虚拟路由器(Ra)接收分组。 虚拟路由器添加接收IP字段和发送IP字段,该字段将第一虚拟路由器(R1)的IP地址设置到分组,并且在检查第二虚拟路由器(R2)的IP地址(VR2 IP)之后发送分组, (S520)。 参照第三映射表,第二虚拟路由器搜索与具有相应域名的连接路由器相对应的第五虚拟路由器(R5)的IP地址(VR5 IP),将接收的IP字段的值改变为IP地址 的第五虚拟路由器并发送分组(S530)。 第四虚拟路由器(R4)接收与第四虚拟路由器相对应的分组,并且如果接收IP字段的IP地址与IP地址不匹配(VR4),则通过路由表路由路由传递分组 IP)(S540)。 第五虚拟路由器在解封装接收IP字段和发送IP字段之后,基于链路本地数据发送对应于第五虚拟路由器的分组(S550)。 (附图标记)(AA,BB)数据

    모델 체킹에 기반한 융합 서비스 충돌탐지 장치 및 그 방법
    7.
    发明公开
    모델 체킹에 기반한 융합 서비스 충돌탐지 장치 및 그 방법 有权
    用于检测基于模型检查的复合服务冲突的装置和方法

    公开(公告)号:KR1020120084187A

    公开(公告)日:2012-07-27

    申请号:KR1020110005586

    申请日:2011-01-19

    CPC classification number: G06F9/44552 G06F5/12 G06F13/376 G06F2205/123

    Abstract: PURPOSE: A model checking based fusion service collision detecting apparatus and a method thereof are provided to grasp and supply a cause and the occurrence time of a service collision, thereby effectively generating a service. CONSTITUTION: A fusion service modeling unit(300) models a fusion service and a semantic rule. A fusion service converting unit(310) converts the modeled fusion service and the semantic rule into a input code and a linear temporal logical expression. A service collision detecting and cause analyzing unit(320) detects a service collision through model checking to the input code and the linear temporal logical expression, and analyzes a cause of the service collision.

    Abstract translation: 目的:提供一种基于模型检验的融合服务冲突检测装置及其方法,以便掌握和提供服务冲突的原因和发生时间,从而有效地产生服务。 组合:融合服务建模单元(300)模拟融合服务和语义规则。 融合服务转换单元(310)将建模的融合服务和语义规则转换成输入代码和线性时间逻辑表达式。 服务冲突检测和原因分析单元(320)通过对输入代码和线性时间逻辑表达式的模型检查来检测服务冲突,并分析服务冲突的原因。

    다중 주파수 환경에서의 원격 로봇 운용을 위한 원격 통제 장치 및 원격 통제 방법
    8.
    发明授权
    다중 주파수 환경에서의 원격 로봇 운용을 위한 원격 통제 장치 및 원격 통제 방법 有权
    用于远程控制远程控制的方法和装置,用于多个频率环境中的远程机器人管理

    公开(公告)号:KR101141603B1

    公开(公告)日:2012-05-17

    申请号:KR1020110100456

    申请日:2011-10-04

    Abstract: PURPOSE: A remote control system for managing a remotely operated robot under multiple frequency environment and a remote control method are provided to perform a current mission regardless of a frequency change by a remote robot when a communication frequency is changed by moving the remote robot to the other FAs(Frequency Area). CONSTITUTION: A remote control system(200) comprises base stations(102/1,102/2), a base station management unit(204), and a remote operation device(2000). Two or more robots(101,102) are connected to the base stations using multiple FAs. The base station management unit receives and updates a total communication traffic and present communication bandwidth of the base stations and changes the frequency band of the remote robot after saving task information and state information of the remote robot when the change of the frequency band of the remote robot is request. The remote operation device manages the base station management after saving the task information and state information of the remote robot and changing the frequency band of the base station management unit so that the task information and state information is recovered.

    Abstract translation: 目的:提供用于在多频率环境下管理远程操作的机器人的远程控制系统和远程控制方法,以便当远程机器人通过将远程机器人移动到远程机器人而改变通信频率时,执行当前任务,而不管远程机器人的频率变化如何 其他FA(频域)。 构成:远程控制系统(200)包括基站(102 / 1,102 / 2),基站管理单元(204)和远程操作设备(2000)。 使用多个FA将两个或更多个机器人(101,102)连接到基站。 基站管理单元接收并更新总通信流量并呈现基站的通信带宽,并且在远程机器人的频带的改变之后保存远程机器人的任务信息和状态信息之后改变远程机器人的频带 机器人是要求。 远程操作装置在保存了远程机器人的任务信息和状态信息并改变基站管理单元的频带以使得恢复任务信息和状态信息之后管理基站管理。

    IP 네트워크에서의 종단간 세션 플로우의 서비스 품질 제어 장치 및 그 방법
    9.
    发明公开
    IP 네트워크에서의 종단간 세션 플로우의 서비스 품질 제어 장치 및 그 방법 有权
    控制IP网络端到端会话流量服务质量的方法及其方法

    公开(公告)号:KR1020110068055A

    公开(公告)日:2011-06-22

    申请号:KR1020090124880

    申请日:2009-12-15

    CPC classification number: H04L47/2441 H04L47/18

    Abstract: PURPOSE: A QoS control apparatus of end-to-end session flow on an IP network and method thereof are provided to supply service quality parameter of a session by session flow. CONSTITUTION: An access processor includes a session flow control unit(610) and a session flow policy server(620). The access processor offers the access to service integration network about the terminals. The access processor divides the flow of a packet through the service integration network. The access processor transfers the flow of the packet according to the QoS policy.

    Abstract translation: 目的:提供一种IP网络端到端会话流的QoS控制装置及其方法,用于按会话流提供会话的服务质量参数。 构成:访问处理器包括会话流控制单元(610)和会话流策略服务器(620)。 访问处理器提供有关终端的服务集成网络的访问。 访问处理器通过服务集成网络分组数据包的流。 访问处理器根据QoS策略传输分组的流。

    플로우 기반 네트워크 장치에서의 포워딩 정보 및 QoS 정보 제공 방법
    10.
    发明公开
    플로우 기반 네트워크 장치에서의 포워딩 정보 및 QoS 정보 제공 방법 有权
    在流程网络设备上应用前向和QOS规则动态更新的方法

    公开(公告)号:KR1020110037860A

    公开(公告)日:2011-04-13

    申请号:KR1020100093951

    申请日:2010-09-28

    CPC classification number: H04L45/021 H04L47/24

    Abstract: PURPOSE: A method for providing forwarding information and QoS(Quality of Service) information in a flow-based network device is provided to dynamically apply forwarding information and QoS processing information to a corresponding flow. CONSTITUTION: If an inputted packet is not a primary packet(S110), a forwarding engine unit obtains the serial information for the packet. The forwarding engine unit first and second information from a flow table within a network device based on the state information for a specific flow(S160). The forwarding engine unit judges based on a rout ID of the serial information whether or not the first and second information are updated(S170). If is judged whether or not the first and second information are updated, the forwarding engine unit updates the flow table(S190).

    Abstract translation: 目的:提供一种在基于流的网络设备中提供转发信息和服务质量(QoS)信息的方法,以将转发信息和QoS处理信息动态地应用到相应的流程。 构成:如果输入的分组不是主分组(S110),则转发引擎单元获得分组的串行信息。 基于特定流程的状态信息,转发引擎单元从网络设备内的流表中获得第一和第二信息(S160)。 转发引擎单元根据串行信息的路由ID判断第一和第二信息是否被更新(S170)。 如果判断第一和第二信息是否被更新,转发引擎单元更新流表(S190)。

Patent Agency Ranking