-
公开(公告)号:KR1020170101520A
公开(公告)日:2017-09-06
申请号:KR1020160024136
申请日:2016-02-29
Applicant: 서울대학교산학협력단 , 재단법인대구경북과학기술원
Abstract: 본발명의하나의실시예에따른무정차교차로시스템은교차로로진입하는각 차선의차량이무정차로교차로를통행할수 있도록하는주행표시신호의패턴을저장하는신호패턴저장부, 상기신호패턴저장부에저장된상기주행표시신호의패턴중 교차로의종류에대응하는주행표시신호의제1 패턴을결정하는하는신호제어부, 그리고상기제1 패턴에따라차선별주행표시신호를표시하는신호표시부를포함하고, 상기차선별주행표시신호는교차로입구에서발생된후 설정궤적을따라교차로를통과하여교차로출구에서소멸되도록표시되며, 상기신호제어부는상기교차로입구에서하나의주행표시신호가하나의차량에락킹되도록하고차량이락킹된주행표시신호에동기하여교차로를통행하도록제어한다.
Abstract translation: 根据本发明实施例的不规则交叉口系统包括:信号图案存储单元,用于存储用于允许进入交叉口的每个车道的车辆以不等间隔通过交叉口的行驶指示信号的图案, 信号控制单元,用于确定与行进显示信号的图案之中的交叉类型对应的行进显示信号的第一图案和用于显示根据第一图案的行进线显示信号的信号显示单元; 并且信号控制单元在交叉口的入口处使一个行驶指示信号锁定到一个车辆,并且指示车辆处于锁定状态的信号 并控制与锁定的运行显示信号同步通过十字路口。
-
公开(公告)号:KR101877540B1
公开(公告)日:2018-07-11
申请号:KR1020160024136
申请日:2016-02-29
Applicant: 서울대학교산학협력단 , 재단법인대구경북과학기술원
Abstract: 본발명의하나의실시예에따른무정차교차로시스템은교차로로진입하는각 차선의차량이무정차로교차로를통행할수 있도록하는주행표시신호의패턴을저장하는신호패턴저장부, 상기신호패턴저장부에저장된상기주행표시신호의패턴중 교차로의종류에대응하는주행표시신호의제1 패턴을결정하는하는신호제어부, 그리고상기제1 패턴에따라차선별주행표시신호를표시하는신호표시부를포함하고, 상기차선별주행표시신호는교차로입구에서발생된후 설정궤적을따라교차로를통과하여교차로출구에서소멸되도록표시되며, 상기신호제어부는상기교차로입구에서하나의주행표시신호가하나의차량에락킹되도록하고차량이락킹된주행표시신호에동기하여교차로를통행하도록제어한다.
-
公开(公告)号:WO2018147497A1
公开(公告)日:2018-08-16
申请号:PCT/KR2017/002479
申请日:2017-03-08
Applicant: 서울대학교산학협력단
IPC: H04L9/00
Abstract: 본 발명은, 동형 암호화 모듈과 병렬로 제공되는 복수 개의 연산 모듈을 포함하는 동적 데이터 처리 장치가 동적 데이터를 처리하는 방법에 관한 것으로서, 동형 암호화 모듈이 동적 데이터를 생성하는 객체로부터 수신한 동적 데이터를 완전 동형 암호화하는 제1 단계와; 연산 모듈이 암호화된 동적 데이터를 연산하여 암호화된 상태 변수를 업데이트하는 제2 단계와; 부트스트래핑하는 연산 모듈이 부트스트래핑 완료 후에, 다음 수학식에 의해서 상태 변수를 업데이트하는 제3 단계를 포함한다.
-
公开(公告)号:WO2022154241A1
公开(公告)日:2022-07-21
申请号:PCT/KR2021/017080
申请日:2021-11-19
Applicant: 서울대학교산학협력단
IPC: H04L9/00
Abstract: 본 발명은 동형 암호 기반의 동적 제어 데이터 처리 방법에 대한 것으로서, 좀 더 자세하게는 재부팅과 제어 데이터의 재암호화 과정 없이 무한 연산이 가능한 동형 암호 기반의 동적 데이터 처리 방법에 대한 것이다. 본 발명에 의한 동적 데이터 처리 방법은, 상기 상태 방정식을 슈어 안정(Schur stable) 영역(zs(t+1)) = Fszs(t) + Gsy(t))와 불안정 영역(zu(t+1) = Fuzu(t) + Guy(t))로 분리하는 제1 단계와; 상기 슈어 안정 영역을 근사화하는 제2 단계와; 상기 불안정 영역을 근사화하는 제3 단계를 포함한다. 제3 단계는, zu(t+1) ≒ F0zu(t) + Guy(t)로 근사화하는 단계이다.
-
公开(公告)号:WO2021071054A1
公开(公告)日:2021-04-15
申请号:PCT/KR2020/008097
申请日:2020-06-23
Applicant: 서울대학교산학협력단
Abstract: 본 발명에 의한 동적 제어 데이터의 처리 방법은, 피제어부와, 제어기와, 제어기로부터 수신한 제어신호를 복호화하는 복호화 모듈과, 복호화 모듈로부터 복호화된 제어신호를 수신하여 작동하는 액츄에이터와, 피제어부의 출력을 검지하는 센서와, 센서의 신호를 동형 암호화하는 동형 암호화 모듈을 포함하는 환경에서 수행된다. 상기 제어기의 상태 방정식은 x(t+1) = (F-RH)x(t) + (G-RJ)y(t) + Ru(t); u(t) = Hx(t) + Jy(t)로 주어진다. 본 발명에 의한 동적 제어 데이터 처리 방법은, 좌표 변환 행렬 T(z(t)Tx(t))에 의해 상기 상태 방정식의 동형 암호화된 상태 방정식을 변환하되, T(F-RH)T -1이 정수 행렬이 되도록 하는 행렬 R과 T를 산출하여 변환된 상태 방정식을 완성하는 제1 단계를 포함한다. 스케일링 팩터 1/s는 1보다 크며, 레졸루션 r은 0보다 클 수 있다.
-
公开(公告)号:KR1020180092199A
公开(公告)日:2018-08-17
申请号:KR1020170017660
申请日:2017-02-08
Applicant: 서울대학교산학협력단
IPC: H04L9/00
CPC classification number: H04L9/00
Abstract: 본발명은, 동형암호화모듈과병렬로제공되는복수개의연산모듈을포함하는동적데이터처리장치가동적데이터를처리하는방법에관한것으로서, 동형암호화모듈이동적데이터를생성하는객체로부터수신한동적데이터를완전동형암호화하는제1 단계와; 연산모듈이암호화된동적데이터를연산하여암호화된상태변수를업데이트하는제2 단계와; 부트스트래핑하는연산모듈이부트스트래핑완료후에, 다음수학식에의해서상태변수를업데이트하는제3 단계를포함한다. [수학식]
-
公开(公告)号:KR101919940B1
公开(公告)日:2018-11-19
申请号:KR1020170017660
申请日:2017-02-08
Applicant: 서울대학교산학협력단
IPC: H04L9/00
CPC classification number: H04L9/00
Abstract: 본발명은, 동형암호화모듈과병렬로제공되는복수개의연산모듈을포함하는동적데이터처리장치가동적데이터를처리하는방법에관한것으로서, 동형암호화모듈이동적데이터를생성하는객체로부터수신한동적데이터를완전동형암호화하는제1 단계와; 연산모듈이암호화된동적데이터를연산하여암호화된상태변수를업데이트하는제2 단계와; 부트스트래핑하는연산모듈이부트스트래핑완료후에, 다음수학식에의해서상태변수를업데이트하는제3 단계를포함한다. [수학식]
-
-
-
-
-
-