公共文化服务平台

一种检测慢盘的方法及装置: 本发明提供一种检测慢盘的方法及装置，涉及计算机领域，能够提高检测慢盘的准确度。该方法包括：在检测周期内周期性采样且每次采样时：获取本次采样时硬盘读写数据的第一延时以及第一延时相关指标值；确定第一延时相关指标值所属的第一区...; 张金冬李静辉龚学文; 文献传递

可信系统性质的分类和形式化研究综述被引量：5: 2022年; 计算机系统被应用于各种重要领域,这些系统的失效可能会带来重大灾难.不同应用领域的系统对于可信性具有不同的要求,如何建立高质量的可信计算机系统,是这些领域共同面临的巨大挑战.近年来,具有严格数学基础的形式化方法已经被公认为开发高可靠软硬件系统的有效方法.目标是对形式化方法在不同系统的应用进行不同维度的分类,以更好地支撑可信软硬件系统的设计.首先从系统的特征出发,考虑6种系统特征:顺序系统、反应式系统、并发与通信系统、实时系统、概率随机系统以及混成系统.同时,这些系统又运行在众多应用场景,分别具有各自的需求.考虑4种应用场景:硬件系统、通信协议、信息流以及人工智能系统.对于以上的每个类别,介绍和总结其形式建模、性质描述以及验证方法与工具.这将允许形式化方法的使用者对不同的系统和应用场景,能够更准确地选择恰当的建模、验证技术与工具,帮助设计人员开发更加可靠的系统.; 王淑灵詹博华盛欢欢吴昊易士程王令泰金翔宇薛白李静辉李静辉向展毛碧飞; 关键词：形式化方法

判断资源泄漏、预测资源使用情况的方法及装置: 本发明涉及计算机应用领域，尤其涉及一种判断程序运行资源泄漏的方法及装置，用以解决现有的检测程序运行资源泄漏的方法中，容易出现误报和漏报、通用性较差的问题；还涉及一种预测程序运行资源使用情况的方法及装置，用以解决现有技术不...; 李静辉龚学文袁健清; 文献传递

一种检测磁盘的方法及装置: 本发明提供一种检测磁盘的方法及装置，该方法包括：采集磁盘的N个输入输出I/O相关指标一一对应的一组N个实时数据；其中所述N个I/O相关指标包括所述磁盘的I/O响应时间及影响所述I/O响应时间的指标；所述I/O响应时间为从...; 李静辉张金冬黄澄; 文献传递

一种检测磁盘的方法及装置: 本发明提供一种检测磁盘的方法及装置，该方法包括：采集磁盘的N个输入输出I/O相关指标一一对应的一组N个实时数据；其中所述N个I/O相关指标包括所述磁盘的I/O响应时间及影响所述I/O响应时间的指标；所述I/O响应时间为从...; 李静辉张金冬黄澄; 文献传递

基于自感知和自表达架构的自行镇定系统的构造性方法: 2022年; 自行镇定系统是指在面对复杂环境改变时可以自适应回到稳定状态的系统。罗斯·艾什比曾制作出内稳定器证明了自行镇定系统的存在性,但在工程实践上缺乏方法论指导构造自行镇定系统。基于此,提出一种实现系统自行镇定的构造性方法。基于自感知和自表达的原理,给出了自行镇定系统的构造性框架,为设计自行镇定系统建立了一套在工程上可行的理论架构与方法学,而且该架构也使自行镇定系统更易于理解优化。对自行镇定的系统实例——内稳定器进行仿真,实验结果显示了提出架构的有效性。; 文钧屹余祥毛碧飞李静辉姚新; 关键词：自行镇定系统

一种资源泄漏检测方法、装置及系统: 本发明实施例公开了一种资源泄漏检测方法、装置及系统，所述方法包括：获取程序的目标代码运行时所调用的目标资源；其中，目标代码为程序代码中的部分代码；确定目标资源所占用的第一存储资源量；判断目标资源所占用的第一存储资源量是否...; 李静辉袁健清龚学文尹友展; 文献传递

一种检测慢盘的方法及装置: 本发明提供一种检测慢盘的方法及装置，涉及计算机领域，能够提高检测慢盘的准确度。该方法包括：在检测周期内周期性采样且每次采样时：获取本次采样时硬盘读写数据的第一延时以及第一延时相关指标值；确定第一延时相关指标值所属的第一区...; 张金冬李静辉龚学文; 文献传递

判断资源泄漏、预测资源使用情况的方法及装置: 本发明涉及计算机应用领域，尤其涉及一种判断程序运行资源泄漏的方法及装置，用以解决现有的检测程序运行资源泄漏的方法中，容易出现误报和漏报、通用性较差的问题；还涉及一种预测程序运行资源使用情况的方法及装置，用以解决现有技术不...; 李静辉龚学文袁健清; 文献传递

一种资源泄漏检测方法、装置及系统: 本发明实施例公开了一种资源泄漏检测方法、装置及系统，所述方法包括：获取程序的目标代码运行时所调用的目标资源；其中，目标代码为程序代码中的部分代码；确定目标资源所占用的第一存储资源量；判断目标资源所占用的第一存储资源量是否...; 李静辉袁健清龚学文尹友展; 文献传递

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

李静辉