公共文化服务平台

陈文光: 作品数：93 被引量：69H指数：5; 供职机构：清华大学更多>>; 发文基金：国家高技术研究发展计划国家自然科学基金北京市自然科学基金更多>>; 相关领域：自动化与计算机技术政治法律经济管理理学更多>>

合作作者

深腾2600新型网络服务器系统: 舒继武肖利民郑纬民祝明发薛巍史小冬陈文光郝沁汾张广艳张健穆飞杨琪罗骏于冰孟冉章宏灿肖达宋冬梅; “深腾2600新型网络服务器系统”面向国家信息化建设的应用需求，以集群架构组织计算资源，以存储区域网络进行数据存储，实现了统一管理、高性能存储、负载均衡、服务容错、存储容灾、并行数据访问及智能电源管理等功能，有效解决了当...; 关键词：; 关键词：网络服务器服务器软件

一种作业调度方法和计算装置: 本发明提供了一种作业调度方法和计算装置，该方法包括：在检测到计算资源不足以运行当前的队首作业时，计算相应的回填窗口；缩短非队首作业对应的运行时间估计，并根据缩短后的运行时间估计判断所述非队首作业是否能够回填，并在判断为是...; 牛双诚翟季冬陈文光郑纬民刘明亮; 文献传递

分布式文件系统及利用其存储数据和提供服务的方法: 本发明公开了一种分布式文件系统，包括：元数据服务器，用于保存所有用户标识符对应的数据服务器节点的列表以及该节点与其标识符的对应关系，维护每个节点的负载情况，并指导数据服务器执行负载均衡和冗余恢复的操作，负载情况以数据量来...; 郑纬民张尧学薛瑞尼韩文弢陈康陈文光; 文献传递

基于静态共享变量识别的动态数据竞争检测方法: 本发明公开了一种基于静态共享变量识别的动态数据竞争检测方法，包括：S1：识别待检测程序的共享变量；S2：对所述待检测程序中包含共享变量的基本块进行数据竞争检测插装和采样，得到所述待检测程序经插装和采样后的二进制代码，所述...; 郑纬民盛田维陈文光蒋运韫; 文献传递

并行程序通信模式的提取方法及系统: 本发明涉及一种并行程序通信模式的提取方法及系统，该方法包括步骤：解析并行程序源码，识别并行程序中的通信函数调用，确定所述通信函数中的通信变量，并将所述通信变量放入设定集合；分析并行程序的控制流和数据流，收集并行程序的数据...; 郑纬民陈文光翟季冬盛田维何江舟; 文献传递

一种操作系统网络安装的方法: 本发明的实施例提出了一种操作系统网络安装的方法，包括以下步骤：移动终端设备引导程序启动元操作系统，进入系统管理模式；在所述系统管理模式下，所述移动终端设备建立网络连接，并从网络下载相应的系统镜像文件；所述移动终端设备解压...; 张尧学郑纬民薛瑞尼韩文弢周悦芝陈文光; 文献传递

基于ServiceOS的多平台应用程序服务管理方法及系统: 本发明公开了一种基于ServiceOS的多平台应用程序服务管理方法及系统，包括步骤：S1、识别非当前用户操作系统应用程序启动链接的用户请求，向ServiceOS传递用户请求；S2、终端设备从ServiceOS引导启动相应...; 郑纬民张尧学赵杨阳薛瑞尼韩文弢张宏陈文光; 文献传递

在存储器中进行多访问的方法、装置和存储系统: 本发明实施例提供一种在存储器中进行多访问的方法、支持存储器中的多访问的装置以及存储系统。所述方法包括：接收存储器中的N个地址，其中N为大于1的整数并且所述N个地址是非连续的；根据N个地址来执行预定操作；以及输出操作的结果...; 陈文光郑纬民; 文献传递

基于执行序列的嵌入式软件时序异常检测被引量：7: 2017年; 时序特性是嵌入式软件的重要特性,实时嵌入式软件运行的正确性不仅依赖于任务执行结果,更依赖于任务执行时间.执行任务往往具有多个时间约束,且相互之间可能存在制约关系,对时间约束进行验证和确认是嵌入式软件测试的一个重要问题.文中提出一种基于执行片段的嵌入式软件时序特性检测方法(Trace-Based Temporal Defect Detection,TBTDD).一方面,基于扩展语义接口自动机(Extended Semantic Interface Automata,ESIA)模型,刻画嵌入式软件时序特性需求,分析不同时间约束间存在的相关关系类型,并提出基于相关矩阵的相关时间约束识别算法;另一方面,在目标软件运行环境中提取包含时间信息的执行片段,通过执行片段与时间约束模型的匹配,依据预先制定的时序特性检测准则,检验执行序列是否满足模型中各项独立和相关时间约束的要求,进而发现被测软件中存在的时序缺陷.实验以卫星定位系统软件为例进行建模与缺陷检测,并在执行片段集和缺陷检测能力等方面进行了对比分析.实验表明,该方法可有效检测软件运行过程中存在的各类异常时序,提高了软件时序测试的有效性和充分性.; 王博白晓颖陈文光SONG Xiaoyu; 关键词：接口自动机软件测试嵌入式软件

性能故障诊断的方法及计算机设备: 本发明实施例涉及计算机技术领域，尤其涉及一种性能故障诊断的方法及计算机设备。所述方法包括：获取目标程序对应的至少两个程序切片，于所述各个程序切片，获取所述各个程序切片对应的第一性能信息，于所述各个程序切片对应的所述第一性...; 郑立言翟季冬陈文光; 文献传递