期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
多线程并行程序数据竞争静态检测方法 被引量:7
1
作者 陈俊 周宽久 贾敏 《计算机工程与设计》 北大核心 2017年第5期1264-1272,共9页
通过使用词法分析和语法分析进行线程并行程序数据竞争静态检测,根据规则将源代码数据竞争相关信息映射到XML文件,解决多个线程程序因可以随机访问共享变量而导致运行结果不确定性,容易引发数据竞争等问题。通过XQuery查询语言获取XML... 通过使用词法分析和语法分析进行线程并行程序数据竞争静态检测,根据规则将源代码数据竞争相关信息映射到XML文件,解决多个线程程序因可以随机访问共享变量而导致运行结果不确定性,容易引发数据竞争等问题。通过XQuery查询语言获取XML映射模型中的数据访问信息,将信息存储于数据竞争表示层。通过竞争图生成算法建立数据竞争有向图模型,利用拓扑排序检测数据竞争的具体位置,获取所有竞争序列。实验结果表明,该检测方法能够准确快速地发现多线程程序中的数据竞争并在源文件中进行准确定位。 展开更多
关键词 多线程程序 数据竞争 静态检测 XML映射模型 XQUERY查询
下载PDF
城乡过渡区土壤-蔬菜中重金属耦合分异特征及形成机理解析 被引量:5
2
作者 苏辉跃 刘江川 +4 位作者 王璐 李波 于欢 陈志奎 胡月明 《生态与农村环境学报》 CAS CSCD 北大核心 2022年第2期184-193,共10页
重金属污染农业土壤已成为关系粮食安全和人类健康风险的全球性问题。采集天津市武清区的95个农田表层土壤样品和相应的34个蔬菜样品、20个有机肥样品、27个灌溉水样品,并对上述4类样品中Pb、Cu、Cr、Ni、Zn、Cd和As含量进行测定。基于... 重金属污染农业土壤已成为关系粮食安全和人类健康风险的全球性问题。采集天津市武清区的95个农田表层土壤样品和相应的34个蔬菜样品、20个有机肥样品、27个灌溉水样品,并对上述4类样品中Pb、Cu、Cr、Ni、Zn、Cd和As含量进行测定。基于地统计法分析农田土壤重金属的空间分布规律,探索土壤和蔬菜重金属的累积、潜在生态风险以及土壤中重金属的来源。结果表明,Cd和As是土壤主要污染物,Cd在土壤中的有效性最高,其在蔬菜中的平均含量略高于允许阈值(0.02 mg·kg^(-1));蔬菜富集指数显示,Cd和Pb是蔬菜中占主导地位的重金属污染元素,蔬菜对Cd有较强的富集能力;土壤重金属的空间分布特征显示,污染具有不均性,各重金属元素在部分地区出现高值区,表明人类活动对农田土壤环境产生负面影响;根据正定矩阵因子分析模型(PMF)的分析结果,潜在污染源为工业活动(Cd)、农药化肥和地膜影响(As和Pb)、自然来源(Ni、Cu、Cr和As)、有机肥(Zn和Cu)、交通排放(Pb和Cd)以及污水灌溉(Cr、Ni和Pb);造成重金属累积的主要成因是工业活动,包括大气沉降以及工业废水、废渣与废气等排放。 展开更多
关键词 重金属 风险评估 来源解析 正定矩阵因子分解模型 蔬菜
下载PDF
磷酸化基序精确置换检验p-value的计算方法 被引量:3
3
作者 吴军 段琼 +1 位作者 张琳 何增有 《中国科学:信息科学》 CSCD 北大核心 2017年第10期1334-1348,共15页
蛋白质磷酸化基序指的是位于磷酸化位点周围具有位置特殊性的氨基酸序列.磷酸化基序挖掘是生物信息学中的一个重要问题.针对该问题,已经提出了一些有效的挖掘方法.但是,这些方法所挖掘到的磷酸化基序中会存在很多的假阳性结果.采用这些... 蛋白质磷酸化基序指的是位于磷酸化位点周围具有位置特殊性的氨基酸序列.磷酸化基序挖掘是生物信息学中的一个重要问题.针对该问题,已经提出了一些有效的挖掘方法.但是,这些方法所挖掘到的磷酸化基序中会存在很多的假阳性结果.采用这些假阳性结果做进一步研究会导致严重的误导.通常,可以采用统计显著性检验来过滤掉这些无意义的磷酸化基序.置换检验是统计显著性检验中一种常用的方法,但该方法存在3个明显的缺点,这些缺点降低了置换检验的实用性.本文分析导致置换检验3个缺点的原因,提出了一个叫做EPPM的算法来计算所有被检验的磷酸化基序的精确置换检验p-value.实验证明,EPPM算法能够成功消除掉置换检验中的3个缺点,并且在几个性能评估指标上要胜过非精确置换检验算法.据作者所知,这是目前唯一能计算精确置换检验p-value进行磷酸化基序结果评估的研究工作. 展开更多
关键词 磷酸化基序挖掘 基序评估 统计显著性检验 置换检验 精确置换检验p-value
原文传递
对工业设计信息平台系统开发及其应用的初步探讨 被引量:2
4
作者 隗玮 《科技通报》 北大核心 2009年第5期668-672,共5页
在对工业设计信息管理系统构建必要性进行分析的基础上,以园林清洗机设计为例,论述了工业设计信息管理系统的定位及目标,对工业设计信息管理系统功能及其模块设计进行了具体分析,并从功能、安全性等方面介绍了系统的应用。
关键词 工业设计 信息系统 开发应用
下载PDF
基于TPC-DS的数据库测试工具实现 被引量:2
5
作者 王洁 邓双敏 +1 位作者 周宽久 侯刚 《实验室科学》 2021年第1期25-28,共4页
为测试国产数据库和各大厂商数据库处理数据性能以便设计人员选择合适的大数据管理系统,设计了一款基于TPC-DS测试标准的数据库处理性能测试软件TPC-DS_Utensil。通过分析TPC-DS测试标准设计了加载(Load)测试、功率(Power)测试和吞吐量(... 为测试国产数据库和各大厂商数据库处理数据性能以便设计人员选择合适的大数据管理系统,设计了一款基于TPC-DS测试标准的数据库处理性能测试软件TPC-DS_Utensil。通过分析TPC-DS测试标准设计了加载(Load)测试、功率(Power)测试和吞吐量(Throughput)测试三大核心功能;为了方便设计人员对测试过程进行监控与分析设计了查询验证、性能计算和日志管理等辅助功能。通过对MySQL、Oracle、Hive和Hbase进行性能测试,表明该测试工具能够准确地反映服务器性能。 展开更多
关键词 TPC-DS标准 性能测试 数据库管理系统 测试工具TPC-DS_Utensil
下载PDF
基于FPGA的圆柱体停车场控制算法设计
6
作者 尹睿涵 韩延义 +1 位作者 徐帅 李岳 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第S1期319-322,共4页
为解决传统停车场空间利用率低的问题,提出一种圆柱体停车场模型,并重点对其控制算法进行研究。以搭载Altera公司FPGA的DE2开发板为平台,使用VHDL硬件语言,研究最优路径设计,实现对停车场的自动控制。该算法适应性强,也可应用到其他的... 为解决传统停车场空间利用率低的问题,提出一种圆柱体停车场模型,并重点对其控制算法进行研究。以搭载Altera公司FPGA的DE2开发板为平台,使用VHDL硬件语言,研究最优路径设计,实现对停车场的自动控制。该算法适应性强,也可应用到其他的圆柱体停车场模型;遵循最优路径设计,能够自动查询最佳停车位置。对FPGA在立体停车场控制中的应用进行初步探索,对自控领域的工程技术人员有一定的意义。 展开更多
关键词 VHDL硬件设计 FPGA 停车场 圆柱体停车场 最优路径
下载PDF
基于双图正则的半监督NMF混合像元解混算法
7
作者 邹丽 蔡希彪 +1 位作者 孙静 孙福明 《计算机科学》 CSCD 北大核心 2018年第12期251-254,278,共5页
在高光谱图像中混合像元普遍存在,这极大地阻碍了高光谱遥感技术的发展进程,因此,在利用光谱图像的过程中,如何准确高效地进行混合像元解混是一个关键问题。对于高光谱图像混合像元分解,使用原始的非负矩阵分解(Nonnegative Matrix Fact... 在高光谱图像中混合像元普遍存在,这极大地阻碍了高光谱遥感技术的发展进程,因此,在利用光谱图像的过程中,如何准确高效地进行混合像元解混是一个关键问题。对于高光谱图像混合像元分解,使用原始的非负矩阵分解(Nonnegative Matrix Factorization,NMF)算法面临一些困难:首先,其目标函数为非凸函数,难以求解得到全局最优解;其次,混合像元中并不存在纯像元。为了解决这些问题,文中提出一种新的算法——基于双图正则的半监督NMF(Dual graph-regularized Constrained Nonnegative Matrix Factorization,DCNMF)混合像元解混算法。该算法采用了梯度下降法和迭代更新法则,既考虑了高光谱数据流形与光谱特征流形的几何结构,又能跳出局部极值,从而求解得到全局最优解。通过真实的高光谱图像数据仿真实验表明,DCNMF算法能够准确高效地进行混合像元分解,改善了解混效果,提高了解混精度,节约了计算时间,加快了收敛速度。 展开更多
关键词 高光谱图像 混合像元解混 非负矩阵分解 双图正则
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部