一种操作系统死锁静态检测方法及相关设备

    公开(公告)号:CN116136800A

    公开(公告)日:2023-05-19

    申请号:CN202111357499.8

    申请日:2021-11-16

    IPC分类号: G06F9/52

    摘要: 本发明实施例公开了一种操作系统死锁静态检测方法及相关设备,其中,该操作系统死锁静态检测方法包括:对操作系统内核的函数进行基于变量间的别名关系的锁集分析,得到锁集序列集合;对锁集序列集合进行回环检测,得到至少一个潜在死锁缺陷;对至少一个潜在死锁缺陷中的每个潜在死锁缺陷的代码路径进行可达性检测和/或并发性检测,以得到操作系统内核的死锁缺陷检测结果。本申请实施例有利于减少操作系统死锁缺陷检测的误报情况。

    以有功损耗最小为目标的风电场有功功率自动分配方法

    公开(公告)号:CN104362680A

    公开(公告)日:2015-02-18

    申请号:CN201410593335.9

    申请日:2014-10-29

    IPC分类号: H02J3/46

    CPC分类号: Y02E10/763 H02J3/46

    摘要: 本发明涉及一种以场内有功损耗最小为目标的风电场有功功率分配方法,属于新能源接入电力系统的运行和控制技术领域。该方法为:计算各风电机组的单位功率送出损耗,在响应增加风电指令时,优先提高单位功率送出损耗最小的风电机组,在响应降低风电指令时,优先降低单位功率送出损耗最大的风电机组,在风电保持时,启动有功置换功能,降低单位功率送出损耗最大的风电机组出力,提高单位功率送出损耗最小的风电机组出力。本方法能够实时根据风力发电运行状态和风电机组的运行状态,实施最适宜的控制策略,保证准确追踪调度主站下发的控制指令,优化风电场内各风电机组的有功分布,降低风电场的有功功率损耗。

    一种风电场在线静态安全评估及预警方法

    公开(公告)号:CN104318111A

    公开(公告)日:2015-01-28

    申请号:CN201410593266.1

    申请日:2014-10-29

    IPC分类号: G06F19/00

    摘要: 本发明涉及一种风电场在线静态安全评估及预警方法,属于新能源接入电力系统运行和控制领域,包括采集风电场的实时量测数据,得到风电场运行的基态状态变量;在N-1运行方式下对风电场运行状态进行安全评估,得到每鼐节点在单台风电机组断开条件下的电压最大值与电压最小值;分别断开每一条风电集电线路,得到该风电场中每一个节点电压幅值,及在单条风电集电线路断开条件下的电压最大值与电压最小值,进而得到在每个节点的电压幅值超过电压最大值或低于电压最小值时;发送该节点的预警信息;并得到安全约束条件,作为风电场自动电压控制子站的约束条件决策使用。本方法在单机或者单条风电集电线路脱网的条件下,依然能保证风电场其他部分运行安全。

    一种基于云服务的数据处理方案

    公开(公告)号:CN102333114A

    公开(公告)日:2012-01-25

    申请号:CN201110224440.1

    申请日:2011-08-05

    申请人: 清华大学

    IPC分类号: H04L29/08

    摘要: 本发明提供了一种基于云服务的数据处理方案,方法包括:用户在云服务器端注册成为云服务器客户;云服务器为各用户分配处理空间;用户选择具有可视化模板的抽取构件;用户将本地数据上传到云服务器;云端对数据进行处理,包括对数据进行抽取、转换、分析和展示操作;数据处理结果保存在云服务器。装置包括:注册模块,用于完成用户在云服务器端的注册和空间分配;选择模块,用于选择具有可视化模板的抽取构件;上传模块,用于完成用户将数据上传到云服务器;数据处理模块,用于完成对数据的处理,包括对数据的抽取、转换、分析和展示;储存模块,用于完成数据在云端的储存;导出模块,用于完成将数据导出到用户本地。

    一种基于云服务的互联互通通讯录的方法和装置

    公开(公告)号:CN102014168A

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

    申请号:CN201010594571.4

    申请日:2010-12-17

    申请人: 清华大学

    IPC分类号: H04L29/08 H04L29/06

    摘要: 本发明提供了一种基于云服务的互联互通通讯录的方法和装置,用户通过将个人的更新联系信息上传至云服务器端,云服务器端获取用户的更新联系信息,自动更新旧信息进新,并在更新后进行存储,云服务器向包含该用户联系信息的其他用户发送更新通知,从而使得联系信息得到了及时更新,保证了联系信息的同步性,并且,通过把联系信息储存到设备先进系统严密的“云”端,使联系信息不因硬件的丢失损坏而丢失,免受病毒的破坏。

    一种风电场在线静态安全评估及预警方法

    公开(公告)号:CN104318111B

    公开(公告)日:2017-07-18

    申请号:CN201410593266.1

    申请日:2014-10-29

    IPC分类号: G06F19/00

    摘要: 本发明涉及一种风电场在线静态安全评估及预警方法,属于新能源接入电力系统运行和控制领域,包括采集风电场的实时量测数据,得到风电场运行的基态状态变量;在N‑1运行方式下对风电场运行状态进行安全评估,得到每鼐节点在单台风电机组断开条件下的电压最大值与电压最小值;分别断开每一条风电集电线路,得到该风电场中每一个节点电压幅值,及在单条风电集电线路断开条件下的电压最大值与电压最小值,进而得到在每个节点的电压幅值超过电压最大值或低于电压最小值时;发送该节点的预警信息;并得到安全约束条件,作为风电场自动电压控制子站的约束条件决策使用。本方法在单机或者单条风电集电线路脱网的条件下,依然能保证风电场其他部分运行安全。

    一种基于云服务的邮件统一管理方法和装置

    公开(公告)号:CN102075575A

    公开(公告)日:2011-05-25

    申请号:CN201110003443.2

    申请日:2011-01-10

    申请人: 清华大学

    发明人: 张新钰 郑莉 贾宁

    IPC分类号: H04L29/08 H04L12/58

    摘要: 本发明提供了一种基于云服务的邮件统一管理方法和装置,用户通过将自己的其他邮箱及邮箱里的邮件添加并导入云服务器中;云服务器会将用户的所有邮件资料安全永久地保存;当任意邮箱有新邮件时,云系统会通过用户绑定的手机号向用户发送新邮件通知,从而能够及时查看及处理新邮件;并且云服务器通过标准协议支持各种通讯终端,从而使用户能够方便及时查看及处理新邮件。

    一种基于熵的构件可信度量方法

    公开(公告)号:CN102279793A

    公开(公告)日:2011-12-14

    申请号:CN201110223896.6

    申请日:2011-08-05

    申请人: 清华大学

    IPC分类号: G06F11/36

    摘要: 本发明提供了一种基于熵的构件可信度量方法,所述方法包括:分解出构件的主要功能点;记录每个功能点在需求阶段、设计阶段、编码阶段、测试阶段的可信证据;根据记录的可信证据计算功能点中每个阶段的可信评估值Pi;计算各个功能点的熵;计算构件的熵,判断构件可信性。发明中可信性的度量侧重于过程证据,通过过程证据,量化可信性指标,用信息熵作为可信性度量标准,更有效地度量构件的可信性。

    基于网络的有向性工作关系网组织效率最大化方法和装置

    公开(公告)号:CN102054227A

    公开(公告)日:2011-05-11

    申请号:CN201010612088.4

    申请日:2010-12-29

    申请人: 清华大学

    IPC分类号: G06Q10/00 G06F17/30

    摘要: 本发明提供了一种基于网络的有向性工作关系网组织效率最大化方法和装置,其中,WWWW允许人与人之间是有向性关系,组织关系生成是在受动态维护的网络环境,因此每个成员(员工)在层级性工作流中的职责可以被轻易的识别,并通过网络计算确定路径。图论也可以帮助分析和管理组织结构、提高组织绩效。同时,还可以将项目管理和人网相结合,提供了更多关于工作、参与工作人员、尤其是人员之间相关性的系统的工作信息。此外,通过开放平台网络代码和项目管理工具(TSM、Gantt Chart、PERT等),降低了企业管理成本、促进了项目组的实时合作协调,可以提高商业层级性组织的经济效益。

    以有功损耗最小为目标的风电场有功功率自动分配方法

    公开(公告)号:CN104362680B

    公开(公告)日:2017-07-18

    申请号:CN201410593335.9

    申请日:2014-10-29

    IPC分类号: H02J3/46

    CPC分类号: Y02E10/763

    摘要: 本发明涉及一种以场内有功损耗最小为目标的风电场有功功率分配方法,属于新能源接入电力系统的运行和控制技术领域。该方法为:计算各风电机组的单位功率送出损耗,在响应增加风电指令时,优先提高单位功率送出损耗最小的风电机组,在响应降低风电指令时,优先降低单位功率送出损耗最大的风电机组,在风电保持时,启动有功置换功能,降低单位功率送出损耗最大的风电机组出力,提高单位功率送出损耗最小的风电机组出力。本方法能够实时根据风力发电运行状态和风电机组的运行状态,实施最适宜的控制策略,保证准确追踪调度主站下发的控制指令,优化风电场内各风电机组的有功分布,降低风电场的有功功率损耗。