-
公开(公告)号：CN102426521B
公开(公告)日：2014-04-16
申请号：CN201110338039.0
申请日：2011-10-28
Applicant: 东南大学
IPC: G06F9/44
Abstract: 本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，主要用于解决形式化验证方法理论性过强所带来的难以普遍应用的难题。本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证；进行模型转换之前，需要定义HybridUML和QHP的元模型，转换时首先消除顶层Mode具有的层次性，转换后得到的模型称为FlatMode，然后根据FlatMode和QHP之间宏观语义以及元语义的一致性确定转换规则，然后利用ATL语言描述转换规则，实现FlatMode模型到QHP媒介模型的转换，然后利用自定义模板语言实现QHP媒介模型到QHP代码的转换。
-
公开(公告)号：CN102426521A
公开(公告)日：2012-04-25
申请号：CN201110338039.0
申请日：2011-10-28
Applicant: 东南大学
IPC: G06F9/44
Abstract: 本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，主要用于解决形式化验证方法理论性过强所带来的难以普遍应用的难题。本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证；进行模型转换之前，需要定义HybridUML和QHP的元模型，转换时首先消除顶层Mode具有的层次性，转换后得到的模型称为FlatMode，然后根据FlatMode和QHP之间宏观语义以及元语义的一致性确定转换规则，然后利用ATL语言描述转换规则，实现FlatMode模型到QHP媒介模型的转换，然后利用自定义模板语言实现QHP媒介模型到QHP代码的转换。
-
公开(公告)号：CN113543060B
公开(公告)日：2024-01-26
申请号：CN202110787118.3
申请日：2021-07-13
Applicant: 东南大学
Abstract: 本发明公开了一种基于光子毫米波通信的电网多基站数据采集系统及方法，所述系统包括一个起点远程天线单元、N个节点远程天线单元、一个汇聚远程天线单元。本系统构建的无线通信网络支持全双工通信，各基站把采集数据通过无线通信上传给汇聚节点，同时支持接收来自汇聚节点转发的命令数据。通过本发明，能够为工作在户外电网的多个基站提供采集数据传输能力，且基站与基站间的数据传输采用光子毫米波通信，相比于有线光纤通信，克服了由于特殊地形如沼泽、断崖等难以铺设光纤的困难，相比于传统无线通信，突破了带宽的限制，可以适应大容量数据传输，大大节约了运营商开发特殊地形时为基站与基站间建立通信连接的成本。
-
公开(公告)号：CN114018256B
公开(公告)日：2024-01-02
申请号：CN202111296013.4
申请日：2021-11-03
Applicant: 东南大学
IPC: G01C21/16
Abstract: 本发明公开了一种光纤/MEMS双模式惯性基导航硬件系统装置，包括外壳、支撑骨架和环式一体固定架；外壳呈侧面、顶面开窗的且带有散热槽的中空的罩壳式长方体部件；支撑骨架包括支撑底座、防水台、自所述防水台向上延伸的镂空支撑框架；镂空支撑框架上部具有装配支撑平面；环式一体固定架装配于装配支撑平面上形成上容置室；镂空支撑框架内部中空腔与环式一体固定架包围的空间作为下容置室，下容置室用于装配光纤惯性组件，上容置室用于装配MEMS惯性组件、导航控制模块、电源模块。这样避免了不同元器件间的电磁干扰，并且，外壳散热槽的大面积覆盖和骨架的大面积镂空避免了因局部温度过高、内部热不均匀性对惯性传感器测量精度造成的影响。
-
-
Patent Agency Ranking
公开(公告)号：CN113541809B
公开(公告)日：2022-06-24
申请号：CN202110787120.0
申请日：2021-07-13
Applicant: 东南大学
IPC: H04B10/50 , H04B10/516 , H04J14/02
Abstract: 本发明公开了一种多波段可调光生毫米波产生系统，在铌酸锂马赫‑曾德尔调制器上将数据信息调制到载波激光器产生的载波上，经由光放大器和光分路器将调制后的信号分成N路；利用本振光信号产生模块产生频率可调的用于拍频的光信号，该路信号经过阵列波导光栅后完成波分复用处理，被分为与调制信号路数相同的N路信号；每路信号与光分路器分出的各路信号一一对应进入光耦合器，然后各自进入光电探测器进行拍频生成所需毫米波信号，通过喇叭天线进行发射。本系统实现与多路调制信号拍频，在系统复杂度较低的情况下，能够通过改变激光器和阵列波导光栅的参数实现多波段可调光生毫米波的产生和频率调整，且同时产生覆盖多波段的多路频率不同的毫米波。
-
公开(公告)号：CN114462154A
公开(公告)日：2022-05-10
申请号：CN202210299075.9
申请日：2022-03-25
Applicant: 东南大学
IPC: G06F30/15 , G06F30/20 , G06F119/14
Abstract: 本发明是一种基于FBG+二阶Markov的传递对准方法，来解决机翼柔性形变对传递对准精度的影响。本发明将传递对准方法分为三部分：一为针对机翼挠曲变形进行建模，沿变形最大方向‑载机x方向选择使用FBG应变二次拟合的测量方法，沿变形较小方向‑载机y、z方向选择经验建模法中二阶Markov进行补偿；二为针对机翼变形引起子节点角速度变化进行处理，对载机机体运动与机翼动态形变进行解耦合；三为针对机翼变形引起杆臂变化进行处理，进行动态杆臂模型的建立。本发明不仅对机翼挠曲变形造成的多方面影响进行考虑，且通过FBG和二阶马尔可夫的组合建模在减小滤波器维度的同时提高了形变角的测量精度，最终提高了传递对准的精度和速度。
-
公开(公告)号：CN107404444B
公开(公告)日：2020-09-11
申请号：CN201710747572.X
申请日：2017-08-25
Applicant: 东南大学
IPC: H04L12/873 , H04L12/911 , H04L12/927 , H04Q11/00
Abstract: 本发明公开了一种上下行窗口匹配的无源光网络节能带宽分配方法，包括：光线路终端OLT在接收到与之相连的光网络单元ONU发送来的报告帧之后，得到上行数据带宽请求；同时根据本地下行数据缓存情况，得到相应ONU的下行数据带宽请求，并计算该光网络单元ONU的上下行数据带宽的差值。随后OLT根据ONU的上下行数据带宽的差值，对所有的ONU进行两两配对，并计算出每一对ONU的带宽差值之和。最后OLT按照给定的时隙窗口分配规则，通过向每一个ONU发送门帧，为每一对ONU分配一个共用的上下行时隙窗口。在此窗口期间，ONU进行上下行数据的传输。本发明通过匹配上下行时隙窗口，可以减小轮询周期，保证用户的带宽需求，缩短ONU处于活跃状态的时间，减少能耗。
-
公开(公告)号：CN104852767B
公开(公告)日：2019-02-15
申请号：CN201510276444.2
申请日：2015-05-26
Abstract: 本发明涉及一种面向变电站内采样值业务的光网络系统及传输方法，包括：m×n×k个电子式电流/电压互感器、m×n个合并单元、m×n个保护装置、m×n个测控装置、m个从节点、1个主节点、网络分析装置、母差保护装置和故障录播装置；将变电站内每个间隔的合并单元的采样数据，经从节点、主节点传输至本间隔的保护装置、测控装置，网络分析装置、母差保护装置和故障录播装置；该系统适用与不同传输协议及速率等级，解决了采样数据在从节点中交换时产生数据阻塞的难题，提升了网络性能。
-
公开(公告)号：CN108683451A
公开(公告)日：2018-10-19
申请号：CN201810348856.6
申请日：2018-04-18
Applicant: 东南大学
IPC: H04B10/071 , H04B10/077 , H04B10/079
CPC classification number: H04B10/071 , H04B10/0771 , H04B10/0791
Abstract: 本发明公开了一种基于光编码及光时域反射仪的无源光纤网络链路故障监测方法，可调谐光时域反射仪向每一个光网络单元发送不同波长的探测光脉冲信号；探测光脉冲信号在位于远端节点的分路器处或ONU前端处进行二维光编码。可调谐光时域反射仪实时接收后向散射回来的OTDR反射谱，作为测量谱；在每根光纤链路状态正常的情况下，采用可调谐光时域反射仪接收后向散射回来的光信号，测量出不同波长的OTDR反射谱，作为参考谱；针对不同波长的探测光脉冲，计算其参考谱和测量谱之间的最小均方误差，作为判决参数；根据判决检测算法进行判决检测，实现同时对多条光链路的状态进行监测。本发明具有判决检测算法简单实用，光纤链路故障监测精准的优点，能够有效地降低光链路的监测及维护成。
-
-
-
-
-
-
-
-
-
Search Results
123
records
(took 0.08 seconds)
