检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

人工烟水晶X射线形貌

无机材料学报 1988年第3期 203-212页

作者：施尔畏路治平仲维卓中国科学院上海硅酸盐研究所

本文应用 X 射线衍射形貌术对人工烟水晶中的缺陷进行了研究。结果表明:由于掺杂,晶体中缺陷明显增多;缺陷线形态也发生了变化。Y 棒晶体 Z 生长区是缺陷主要浓集区域。籽晶平面法线与晶体 Y 轴夹角为66°的晶体,籽晶两侧缺陷线形态有... 详细信息

本文应用 X 射线衍射形貌术对人工烟水晶中的缺陷进行了研究。结果表明:由于掺杂,晶体中缺陷明显增多;缺陷线形态也发生了变化。Y 棒晶体 Z 生长区是缺陷主要浓集区域。籽晶平面法线与晶体 Y 轴夹角为66°的晶体,籽晶两侧缺陷线形态有显著差别。随着此夹角的增大或减小,缺陷线形态出现有规律的变化。这种变化反映了人工烟水晶三方偏方面体单形结晶习性的变化。籽晶平面法线与 Y 轴交角的变化使得该单形各组锥面显露机率不同。

关键词：人工烟水晶 X射线衍射形貌术三方偏方面体单形

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于天空分割的去雾算法在目标检测中的应用

计算机应用与软件 2020年第2期37卷 152-160,225页

作者：朱晓霞施智平邵振洲关永任长娥首都师范大学信息工程学院电子系统可靠性技术北京市重点实验室北京100048 首都师范大学成像技术北京市高精尖创新中心北京100048 首都师范大学信息工程学院轻型工业机器人与安全验证北京市重点实验室北京100048 首都师范大学电子系统可靠性与数理交叉国际科技合作基地北京100048

针对道路目标检测的准确率受雾霾环境影响的问题,提出一种基于雾检测与天空分割的自适应去雾算法。提取道路环境中的雾检测区域并对其进行通道相关性以及亮度和饱和度比值的计算,以判别场景类别;对图像进行天空非天空区域的分割并对不... 详细信息

针对道路目标检测的准确率受雾霾环境影响的问题,提出一种基于雾检测与天空分割的自适应去雾算法。提取道路环境中的雾检测区域并对其进行通道相关性以及亮度和饱和度比值的计算,以判别场景类别;对图像进行天空非天空区域的分割并对不同区域建立去雾模型,用于自适应去雾;将恢复后的图像应用到道路目标检测算法中,进行去雾效果验证和道路目标检测。实验结果表明,该算法提高了雾霾环境下目标检测的准确率。

关键词：消失点检测天空分割暗通道自适应去雾道路目标检测 Yolo

基于Gabor变换域的积分直方图鞋印图像检索

在线全文

学校读者我要写书评

暂无评论

计算机应用与软件 2015年第3期32卷 215-219页

作者：黎向阳吴敏华施智平首都师范大学信息工程学院北京100048

案件现场提取的鞋印图像是现代刑侦中一种十分重要的线索和证据,如何快速而准确地从鞋印图像库中检索出相同或相似的鞋印图像,关系着公安部门的破案效率。针对有残缺的鞋印图像,提出一种基于Gabor变换域积分直方图的鞋印图像比对与检索... 详细信息

案件现场提取的鞋印图像是现代刑侦中一种十分重要的线索和证据,如何快速而准确地从鞋印图像库中检索出相同或相似的鞋印图像,关系着公安部门的破案效率。针对有残缺的鞋印图像,提出一种基于Gabor变换域积分直方图的鞋印图像比对与检索方法。对图像进行Gabor滤波后,在每个像素位置用响应最大的滤波器号替代图像的像素值,然后统计图像积分直方图。对于残缺图像与完整图像的相似度计算,先通过积分直方图计算出残缺图像在完整图像中的最相似区域位置,再提取该区域的特征,最后进行相似度度量。通过求积分直方图快速准确地求出残缺图像在完整图像中的位置,从而提取局部特征。实验表明,与直接比较图像的全局特征相比,该算法的查准率提高了4.82%。

关键词：残缺图像 Gabor滤波积分直方图图像检索

用LTL模型检验的方法验证SpaceWire检错机制

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2012年第22期48卷 88-94页

作者：董玲玲关永李晓娟施智平张杰华伟首都师范大学高可靠嵌入式系统技术北京市工程研究中心北京100048 北京化工大学信息科学与技术学院北京100029

SpaceWire是应用于航空航天领域的高速通信总线协议,对SpaceWire设计正确性与可靠性要求极高,由于传统的验证方法,存在不完备性等缺陷,对SpaceWire的严格验证一直是备受关注的问题之一。模型检验以其验证的完备性得到设计人员的重视。... 详细信息

SpaceWire是应用于航空航天领域的高速通信总线协议,对SpaceWire设计正确性与可靠性要求极高,由于传统的验证方法,存在不完备性等缺陷,对SpaceWire的严格验证一直是备受关注的问题之一。模型检验以其验证的完备性得到设计人员的重视。提出用线性时态逻辑(LTL)模型检验的方法验证SpaceWire系统的检错机制。在检错模块中,该方法与用分支时态逻辑(CTL)验证方法相比,BDD分配数和状态数明显减少,提高了验证效率,还验证了错误优先级;对检错模块处理的五种错误的发生进行验证,验证结果均为正确。该方法实现了对检错机制的完备性验证。

关键词：形式化验证 SpaceWire标准模型检验分支时态逻辑(CTL) 线性时态逻辑(LTL)

在线全文

学校读者我要写书评

暂无评论

最大目标频繁模式挖掘算法研究

计算机工程与应用 2004年第33期40卷 184-188页

作者：李清勇秦亮曦施智平史忠植中科院计算所智能信息处理重点实验室北京100080 中国科学院研究生院北京100039

传统的频繁模式挖掘算法往往会得到成百上千的结果模式,面对繁多的频繁模式用户通常要经过“二次挖掘”才能得到有用的目标模式。怎样根据用户需求直接挖掘用户感兴趣的目标模式是该文的研究目标。文章在FP-树的基础上设计了紧缩的、非... 详细信息

传统的频繁模式挖掘算法往往会得到成百上千的结果模式,面对繁多的频繁模式用户通常要经过“二次挖掘”才能得到有用的目标模式。怎样根据用户需求直接挖掘用户感兴趣的目标模式是该文的研究目标。文章在FP-树的基础上设计了紧缩的、非冗余的TFP-树,它能有效过滤与目标模式无关的项和事务,而仅保留与目标模式相关的信息,缩小TFP-树的大小规模。同时根据TFP-树的规律和特点,笔者设计了最大目标频繁模式挖掘算法,算法的结果模式具有以下两个特点:(1)满足用户需求的目标模式;(2)最大模式。该实验结果验证了TFP-树算法是有效的,而且显著改善了FP-树算法的性能。

关键词：数据挖掘频繁模式最大目标频繁模式 TFP-树 FP-树

在线全文

学校读者我要写书评

暂无评论

一种动态加权的LDPC译码方法

电讯技术 2018年第8期58卷 929-933页

作者：彭红焘张立冬史治平李艳霞唐锐解放军驻中国西南电子技术研究所军事代表室成都610036 军事科学院系统工程研究院北京100141 电子科技大学通信抗干扰技术国家级重点实验室成都611731

为了加快低密度奇偶校验(LDPC)码的译码速度,有效改善LDPC码的译码性能,针对校验节点更新过程中的对数似然比(LLR)值的大小,设计了一种LDPC码的动态加权译码方法。以IEEE 802.16e标准的奇偶校验矩阵为例,根据LLR值的变化规律,利用增长... 详细信息

为了加快低密度奇偶校验(LDPC)码的译码速度,有效改善LDPC码的译码性能,针对校验节点更新过程中的对数似然比(LLR)值的大小,设计了一种LDPC码的动态加权译码方法。以IEEE 802.16e标准的奇偶校验矩阵为例,根据LLR值的变化规律,利用增长因子和抑制因子对和积译码算法和最小和译码算法进行动态加权。仿真结果显示,基于动态加权的译码方法相对于传统译码方法误码率都有明显改进,译码复杂度也有所降低。

关键词： LDPC码译码算法动态加权和积算法最小和算法

在线全文

学校读者我要写书评

暂无评论

风氢耦合发电系统优化运行策略与效益分析

电力建设 2017年第1期38卷 106-115页

作者：杨金刚刘维妙李顺昕邓天虎史智萍胡泽春国网冀北电力有限公司经济技术研究院北京市100045 清华大学工业工程系北京市100084 清华大学电机系北京市100084

为提高新能源高占比电网中的风电利用率,研究风氢耦合发电系统,建立考虑风电出力随机性的混合整数规划模型,并提出就地消纳风电的新模式。模型中以风氢耦合发电的系统收益最大化为目标,兼顾风电场与氢气储能系统联合出力的跟随特性。结... 详细信息

为提高新能源高占比电网中的风电利用率,研究风氢耦合发电系统,建立考虑风电出力随机性的混合整数规划模型,并提出就地消纳风电的新模式。模型中以风氢耦合发电的系统收益最大化为目标,兼顾风电场与氢气储能系统联合出力的跟随特性。结合实际设计算例,利用风电场独立运行的对照仿真验证氢气储能系统的有效性,提升系统收益27%,并测试电解槽与燃料电池容量对系统的影响。

关键词：风电场风电制氢燃料电池联合运行优化

在线全文

学校读者我要写书评

暂无评论

沂源县环境现状调查与分析

山东科学 1999年第2期12卷 55-58页

作者：秦艳施介宽蔡治平中国纺织大学

对山东省沂源县自然环境条件作了简单介绍，着重介绍了水体、大气和声环境监测点的布设情况。在对沂源县环境质量现状进行调查的同时，收集其１９９７年各污染因子的监测数据，并采用相应评价方法进行评价。对评价结果进行分析，阐明其... 详细信息

对山东省沂源县自然环境条件作了简单介绍，着重介绍了水体、大气和声环境监测点的布设情况。在对沂源县环境质量现状进行调查的同时，收集其１９９７年各污染因子的监测数据，并采用相应评价方法进行评价。对评价结果进行分析，阐明其所在的问题和不足。

关键词：沂源县环境现状调查环境监测山东自然环境

基于机器视觉的鱼类模式生物在线监测技术方法研究

在线全文

学校读者我要写书评

暂无评论

生态毒理学报 2016年第1期11卷 217-224页

作者：周振宇邵振洲施智平渠瀛张融饶凯锋关永首都师范大学信息工程学院北京100048 北京航空航天大学机械工程及自动化学院北京100191 中国科学院生态环境研究中心，环境水质学国家重点实验室北京100085 田纳西大学电气工程与计算机科学学院美国田纳西州37996

水污染的防治问题是我国关注的重中之重,现有理化监测方法的实时性和综合性较差,特别是对于一些极端可变化的环境,更需要新的方法以辅助和解决。生物式水质监测方法被提出,通过利用生物对环境污染或变化所产生的反应来直接或间接体现水... 详细信息

水污染的防治问题是我国关注的重中之重,现有理化监测方法的实时性和综合性较差,特别是对于一些极端可变化的环境,更需要新的方法以辅助和解决。生物式水质监测方法被提出,通过利用生物对环境污染或变化所产生的反应来直接或间接体现水质的污染情况。然而,观测指标与量化标准是面临的一大难题。文章利用机器视觉的方法,以青鳉鱼为模式生物,并以青鳉鱼的生理特征以及运动特征(呼吸频率、胸鳍摆动频率、摆尾频率)为观测指标,两方面综合评定青鳉鱼应激状态,实时监测与分析。实验结果表明该方法能为生物式水质监测和预警的发展提供一定支持与参考。测得青鳉鱼呼吸频率为3.06 Hz,胸鳍摆动频率为4.83 Hz,尾鳍摆动频率为5.08 Hz,结果与实际指标一致。

关键词：生物式水质监测实时性观测指标