周旻

浙江大学副研究员

0专利总数
0许可专利
0转让专利
0第一发明人
0合作企业

周旻,清华大学信息科学技术学院副研究员。

研究领域:代码静态分析,软件工程,形式化方法,软件测试等。

共在高水平国际期刊与会议上发表学术论文38篇,其中近5年发表论文23篇(SCI期刊8篇,EI会议15篇,CCF A类10篇,B类1篇,C类8篇),根据CCF发布的推荐国际学术会议和期刊目录,本人发表的论文中包括TSE(IEEE Transactions on Software Engineering),TIE(IEEE Transactions on Industrial Engineering),TEC(IEEE Transactions on Evolutionary Computation),TC(IEEE Transactions on Computers),AI(Artificial Intelligence),JAR(Journal of Automated Reasoning)等软件工程,人工智能,计算机理论等顶级期刊,以及CAV,ASE,ICSE,ISSTA等形式化方法,软件工程领域顶级会议。发表的论文中包含多篇高影响因子论文,例如:IEEE Transactions on Industrial Electronics(IF>8.2),IEEE Transactions on Evolutionary Computation(IF>11.5)等,科研项目方面,积极参与国家重大科研项目,主持了博士后基金(优秀10万,项目负责人),国家自然科学基金青年基金(26万,项目负责人),北京市科委项目(98万,子课题负责人),科技部重点研发项目(64万,子课题负责人),本人主持了多项企事业单位委托课题,委托单位覆盖了国科学院信息工程研究所,中国航发控制系统研究所,中央国债登记结算有限责任公司,中车青岛四方车辆研究所有限公司,等等,近5年主持项目经费超过1400万元。此外,还作为项目骨干积极参与了多项国家级科研项目包括某973项目(专题负责人),科技部重点研发项目(骨干),自然科学基金重大项目(骨干)等等。

工作经历

  • 科研经历
  • 2019.11-至今 清华大学软件学院副研究员,研究方向:软件分析验证、软件工程
  • 2016.1-2019.11 清华大学软件学院助理研究员,研究方向:软件分析验证、软件工程
  • 2014.1-2016.1 清华大学软件学院博士后,研究方向:形式化方法、软件工程
  • 2011.6-2011.8 法国Verimag实验室研究实习生

教育背景

  • 教育背景
  • 2007.7-2014.1 工学博士,清华大学计算机科学与技术系,计算机科学与技术专业
  • 2003.8-2007.7 理学学士,清华大学数学科学系,数学与应用数学专业

软件工程设计 电能计量 错误处理 贯穿绝缘接触 元件绝缘电连接 连接器部件 图像分析 装卸升降 交流配电 信息通信行业流程 遥信遥控 行政管理 计算机辅助设计 生物模型计算 模式识别 安全通信 数据存储检索 变换部件

  1. 01
    遥信遥控top 1%
    领域专利数量35/ 60737
    专家排名114/ 65084
  2. 02
    交流配电top 1%
    领域专利数量92/ 168336
    专家排名687/ 135807
  3. 03
    供电配电储能top 1%
    领域专利数量103/ 488501
    专家排名743/ 314149
  4. 04
    信息通信行业流程top 1%
    领域专利数量56/ 369632
    专家排名1391/ 308164
  5. 05
    发电变电配电top 1%
    领域专利数量108/ 1591502
    专家排名1518/ 853143

显示 1-5 条,共 221 条

与 国网浙江省电力有限公司嘉兴供电公司 的合作详情

共 125 项合作记录

一种单相居民电能表安装前串户排查装置及排查方法

20160226

CN201610106288.X

一种电力营销线上办电方法

20160629

CN201610490407.6

一种电能表存度核对装置

20160111

CN201620020378.2

一种单相居民电能表安装前串户排查装置

20160226

CN201620144791.X

一种基于微功率无线网络的无线抄表系统及方法

20170619

CN201710464945.2

一种用于快速更换电表的装置

20200521

CN202010437121.8

一种不断电换电表的装置及方法

20200521

CN202010438004.3

一种用于存取纸板容器和物料的夹抱式货叉

20200224

CN202020200948.2

一种不断电换电表的设备

20200521

CN202020863828.0

一种电表更换设备检测装置

20200521

CN202020863882.5

一种便携型破皮式接线夹

20200528

CN202020938835.2

一种安全性高的旋进破皮式接线夹

20200528

CN202020938911.X

一种基于微环境监测的输变电线路动态载流量预测方法

20210304

CN202110238489.6

一种输变电线路微环境智能监控系统

20210304

CN202110238493.2

一种输变电混合线路动态增容量评估方法

20210304

CN202110238494.7

一种输变电混合线路动态增容量评估方法及系统

20210304

CN202110238494.7

一种用于输变电线路动态增容的安全管控方法

20210304

CN202110240124.7

一种输变电线路智能动态增容方法及系统

20210304

CN202110240126.6

一种基于热路模型的电力线路安全预警方法

20210304

CN202110240141.0

一种基于多数据源的输变电线路动态增容方法

20210304

CN202110240191.9

一种基于物联网技术的输变电线路微环境动态监控系统

20210304

CN202110241343.7

一种基于大数据技术的线路动态增容方法

20210304

CN202110241359.8

一种基于预模拟的电力线路智能动态增容系统及方法

20210304

CN202110241361.5

一种基于预测试的线路增容安全管控系统

20210304

CN202110241362.X

一种适用混合电力线路的电缆温度智能监测系统

20210304

CN202110241382.7

一种基于5G的电网电压暂降事件检测方法和系统

20210508

CN202110500568.X

一种可移动的电压暂降检测装置

20210508

CN202110501424.6

一种感应式电压骤降检测装置及方法

20210508

CN202110501425.0

一种基于需求侧管理的电能调控方法及系统

20210623

CN202110699033.X

一种基于电力载波技术的能源多能融合调度方法

20210623

CN202110699036.3

一种基于需求侧响应的电能调控方法

20210623

CN202110702750.3

一种电力载波通讯的智能断路器

20210616

CN202121334727.5

一种全息感知智能断路器

20210616

CN202121334752.3

一种具有全息感知用电调度控制装置的插座

20210623

CN202121400199.9

一种即插即用的用电调度控制转换器

20210623

CN202121402270.7

一种全息感知用电调度控制的插座

20210623

CN202121402272.6

一种散热性好的智能空开系统

20210623

CN202121406828.9

一种多通信组合的断路器控制系统

20210623

CN202121407124.3

一种制氢系统及其控制方法

20220523

CN202210562853.9

一种基于迁移学习的小样本场景下光伏出力区间预测方法

20220608

CN202210647544.1

一种光伏发电和电动汽车负荷的聚合功率预测方法

20220713

CN202210827893.1

一种智能楼宇的能源管理系统及方法

20220719

CN202210851284.X

一种基于智能楼宇用户数据安全的调度方法及系统

20220722

CN202210868631.X

一种多节点供需电网配电方法

20220722

CN202210869062.0

一种配电网状态数据的安全传输方法

20220725

CN202210877654.7

一种蜂窝式有源配网的功率互济方法及系统

20220726

CN202210885843.9

一种用于楼宇的综合能源系统及其调控方法

20220726

CN202210887449.9

一种配电网传感器数据存储方法

20220727

CN202210891161.9

一种区域电网跨区域能源调度方法及系统

20220728

CN202210897970.0

一种基于基站储能的负荷调节方法

20220728

CN202210899487.6

一种网格间能源协调控制方法

20220729

CN202210906106.2

一种基于智能楼宇的灵活负荷控制系统及方法

20220801

CN202210917800.4

一种基于虚拟储能负载的网格互济方法

20220801

CN202210935620.9

一种质子交换膜电解水制氢系统

20220830

CN202211044377.8

一种孤岛型泛微网频率和电压控制方法

20220920

CN202211142220.9

一种计及分布式资源接入的泛微网协调控制系统及控制方法

20220920

CN202211142346.6

一种泛微网区域自治-协同控制方法

20220920

CN202211142350.2

一种泛微网区域自治-协同控制系统及控制方法

20220920

CN202211142350.2

一种平抑反弹效应的空调负荷可调潜力控制方法

20221013

CN202211253853.7

一种基于虚拟同步发电机的阻尼优化的控制方法

20221028

CN202211334276.4

一种光伏消纳-储能-电能治理一体化装置

20221111

CN202211410437.3

一种智慧型变电站无线物联网设备稳态电磁骚扰测试装置

20221115

CN202211428616.X

一种图数结合的无损筛检判别方法

20221202

CN202211540266.6

一种液体橡胶和改性碳化硅协同增韧环氧树脂复合材料及其制备方法

20221214

CN202211609898.3

一种液体橡胶和改性炭黑协同增韧的环氧树脂及其制备方法

20221214

CN202211611248.2

一种不同功率缺额下分布式可控资源运行模式优化匹配与协调切换控制方法及装置

20230131

CN202310047063.1

一种大规模长期储释能调控方法

20230221

CN202310143644.5

一种跨能源系统短期储能优化配置方法

20230221

CN202310143651.5

一种基于多类型储能资源时空分布的能源调度方法

20230221

CN202310162191.0

一种电力-交通系统协同优化规划方法

20230221

CN202310165133.3

一种考虑多时间尺度的多类型储能协同调度方法

20230221

CN202310165281.5

基于变步长特征线法的综合能源系统气、热子网的仿真方法

20230227

CN202310171929.X

一种多类型储能协同运行方法

20230222

CN202310187565.4

一种面向新型配电网的多状态管控指标体系量化分析方法

20230328

CN202310335869.0

含钌催化剂的刻蚀液、改性和回收方法

20230427

CN202310477420.8

一种基于新能源接入系统的季节性储能配置方法

20230530

CN202310621578.8

基于新能源接入系统的季节性储能需求及效益评估方法

20230530

CN202310629398.4

一种海上风电场谐波阻抗责任量化方法

20230530

CN202310631817.8

可再生能源发电功率预测方法及其计算机设备、储存介质

20230613

CN202310702889.7

一种海上风电场谐波发射及传导特性可视化系统

20230629

CN202310784646.2

一种海上风电场谐波发射及传导特性分析方法

20230629

CN202310784666.X

一种电力储能系统及方法

20230807

CN202310985433.6

一种光伏电站间歇性储能方法

20230807

CN202310985454.8

一种电能替代技术综合评估方法

20230904

CN202311129142.3

一种构网型变换器虚拟惯量自适应控制方法及装置

20230921

CN202311228672.3

一种构网型变流器协同故障穿越方法及装置

20230921

CN202311229010.8

一种基于累积量张量的电力系统同调识别及异常检测方法

20231012

CN202311320116.9

一种接入宽频电压互感器的多通道电子采集单元

20231208

CN202311686477.5

一种测量电流的罗氏线圈及电流测量装置

20231208

CN202311687388.2

区域配电网多主体电能替代分布式协同规划方法及系统

20231229

CN202311864195.X

一种基于谐波检测的电能质量扰动抑制方法

20240221

CN202410193404.0

一种新能源功率预测数据可信评价方法

20240222

CN202410196213.X

一种新能源电站的发电功率预测方法

20240228

CN202410220499.0

一种基于风力发电的新能源发电系统在线调频方法

20240228

CN202410220620.X

一种基于多级通信入网协同的配电方法及系统

20240314

CN202410290253.0

一种电压互感器和电流互感器一体化宽频测量装置

20240328

CN202410368397.3

一种基于可变时间窗优化的电瓶车充电辨识方法

20240401

CN202410385811.1

一种基于负荷标签特征提取的电瓶车充电辨识方法

20240401

CN202410385823.4

一种电力终端设备的通信数据加密方法、装置

20240401

CN202410387188.3

一种住宅内违规充电监控报警方法

20240403

CN202410399712.9

一种基于电力指纹的用电安全监控方法

20240403

CN202410399714.8

一种室内违规充电精准定位方法

20240403

CN202410399837.1

一种适用于宽频互感器接入的谐波辨识平台

20240613

CN202410762584.X

一种带分布式电源的配电网电能质量扰动定位方法

20240617

CN202410776309.3

一种基于强化牵制的微电网分布式经济控制方法

20240719

CN202410970055.9

基于联盟博弈的电能替代与分布式电源集群互济调控方法与系统

20240725

CN202411006840.9

一种工业领域电能替代系统生产能源协同调控方法及系统

20240725

CN202411006846.6

一种基于时滞MGM模型的多元电能替代区间预测方法及系统

20240801

CN202411049547.0

考虑配电网承载能力的电能替代演化路径预测方法及系统

20240806

CN202411071819.7

一种基于栅格图与Inceptionv3的无人机轨迹特征异常检测方法

20240813

CN202411104841.7

一种新能源电力系统惯量安全支撑边界的评估方法

20240819

CN202411136446.7

一种配电网源网荷储协同调度方法、系统、设备及存储介质

20240924

CN202411331310.1

计及分布式电源、设备容量及配电网多元电能替代负荷的接入测算方法

20240925

CN202411343254.3

一种基于电网薄弱环节与电能质量的配电网电能替代承载力评估方法、系统及可读存储介质

20241011

CN202411416648.7

一种基于宽频电气参量的谐波快速辨识与监测方法和装置

20241015

CN202411439924.1

一种基于户用光储一体机集群的在线调配方法、系统

20241105

CN202411565366.3

一种户用光储一体机

20241105

CN202411565684.X

一种基于数字孪生应用架构的配网设备建模仿真方法

20241125

CN202411694817.3

基于H桥的混合型超级电容器储能型换流器及其运行方法

20241209

CN202411796936.X

基于多智能体深度强化学习的综合能源系统动态调度方法

20241231

CN202411990309.X

基于金刚石NV色心的直流电流比例装置监测方法

20250409

CN202510440964.6

一种基于联邦全局原型的敏感数据识别脱敏方法及系统

20250715

CN202510968671.5

一种光储一体机集群的分散式分层协同控制方法及系统

20250915

CN202511312919.9

融合格密码与国密的电网无人机巡检指令安全管理方法

20250922

CN202511354361.0

基于光伏储能逆变器拓扑控制装置、方法、设备及存储介质

20250923

CN202511359093.1

一种感应式电压骤降检测装置及方法

20220913

CN202110501425.0

一种配网系统光伏优化构网方法

20230307

CN202210635317.7

一种极端降水灾害后的电网智能自愈方法

20231005

CN202211264982.6