检索结果-内蒙古大学图书馆

小型微型计算机系统 2013年第3期34卷 654-658页

作者：刘振科施智平关永金声震张杰叶世伟李晓娟电子系统可靠性技术北京市重点实验室首都师范大学信息工程学院北京100048 计算机体系结构国家重点实验室中国科学院计算技术研究所北京100190 北京化工大学信息科学与技术学院北京100029 中国科学院研究生院信息科学与工程学院北京100049

定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化... 详细信息

定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化分析有重要意义.本文在高阶逻辑定理证明器Higher-Order Logic 4中形式化函数向量和函数矩阵,包括形式化定义数据类型、运算及形式化验证运算性.本文同时给出了函数矩阵求导的形式化定义,证明了矩阵微分法中函数矩阵(或函数向量)相对于数量变量的微分法的常用定理,并给出了对二次型函数求导的形式化证明.本文工作已整理成定理库.

关键词：函数矩阵形式化验证矩阵微分法定理证明 Higher-Order Logic4

来源：评论

学校读者我要写书评

暂无评论

遥感图像森林林型SVM分类的多特征选择

引用

计算机工程与应用 2013年第20期49卷 259-262页

作者：王修信秦丽梅罗玲张晓朋汤谷云广西师范大学计算机科学与信息工程学院广西桂林541004 北京师范大学遥感科学国家重点实验室北京100875 广东第二师范学院计算机系 I510303 湖南科技学院数学与计算科学系湖南永州425100

为了研究遥感图像森林林型SVM分类多特征的选择对提高分类精度的影响,选取小波变换不同尺度纹理、四种植被指数、最优波段光谱特征等不同组合构成林型分类多特征向量进行分类。结果表明,纹理与植被指数、最优波段组合多特征的森林林型... 详细信息

为了研究遥感图像森林林型SVM分类多特征的选择对提高分类精度的影响,选取小波变换不同尺度纹理、四种植被指数、最优波段光谱特征等不同组合构成林型分类多特征向量进行分类。结果表明,纹理与植被指数、最优波段组合多特征的森林林型分类精度最高,阔叶林、针叶林和竹林的分类精度分别为84.4%、86.5%、91.0%,比纹理单类特征分类分别提高4.1%、4.0%、1.1%,比植被指数单类特征分类分别提高9.2%、11.8%、11.9%。多特征的分类精度一般要高于单类特征,纹理能够较明显提高林型可分性,植被指数也有一定的效果,但最优波段光谱特征的效果较弱。

关键词：森林林型分类遥感支持向量机(SVM) 多特征选择小波变换

来源：评论

学校读者我要写书评

暂无评论

基于相空间的云计算专用监控系统

引用

计算机工程 2013年第7期39卷 40-44页

作者：郭又铭王鹏唐华陈磊肖黎彬中国科学院成都计算机应用研究所成都610041 中国科学院研究生院北京100049 成都信息工程学院并行计算实验室成都610225

现有的集群监控系统不能反映云计算集群具有海量节点且高耦合的特性。针对该问题,设计一种基于热力学相空间理论的云计算专用监控系统。采用将节点运行参数向相空间映射的方式,使节点参数的变化转换为相空间中投影点的运动,从而对相空... 详细信息

现有的集群监控系统不能反映云计算集群具有海量节点且高耦合的特性。针对该问题,设计一种基于热力学相空间理论的云计算专用监控系统。采用将节点运行参数向相空间映射的方式,使节点参数的变化转换为相空间中投影点的运动,从而对相空间图像和参数进行分析。测试结果表明,该监控系统可以即时有效地反映云计算集群的整体负载和运行状态,实现对云计算集群的宏观监控。

关键词：云计算监控系统热力学相空间宏观监控耦合关系

来源：评论

学校读者我要写书评

暂无评论

基于VC++的超声探伤仪发射端信号测量与处理系统

引用

仪表技术与传感器 2013年第4期 13-15页

作者：肖定国徐春广王敬瑞廉小亲张晓力北京理工大学机械与车辆学院北京100081 北京理工大学先进加工技术国防重点学科实验室北京100081 北京工商大学计算机与信息工程学院北京100048

为提高超声波探伤仪在使用中的可靠性和准确性,设计了探伤仪发射端性能参数测量系统,实现探伤仪发射端输出特性各项参数的测量和校准。系统以工控机(IPC)为核心,采用PCI-5124采集卡进行探伤仪发射端输出信号的采集。基于VC++平台,设计... 详细信息

为提高超声波探伤仪在使用中的可靠性和准确性,设计了探伤仪发射端性能参数测量系统,实现探伤仪发射端输出特性各项参数的测量和校准。系统以工控机(IPC)为核心,采用PCI-5124采集卡进行探伤仪发射端输出信号的采集。基于VC++平台,设计了测量系统人机交互界面,实现了数据采集控制及各项测量参数的信号处理算法。测试结果表明:系统可对超声探伤仪发射端输出的脉冲峰峰值、脉冲上升时间与持续时间、脉冲重复频率、中心频率、带宽以及发射端等效输出阻抗等特性参数进行测量与校准。

关键词：超声探伤仪测量输出特性信号处理

来源：评论

学校读者我要写书评

暂无评论

基于稀疏编码和SCGBPNN的鳞翅目昆虫图像识别

引用

昆虫学报 2013年第11期56卷 1335-1341页

作者：竺乐庆张真浙江工商大学计算机与信息工程学院杭州310018 中国林业科学研究院森林生态与保护研究所国家林业局森林保护重点实验室北京100091

【目的】为了给林业、农业或植物检疫等行业人员提供一种方便快捷的昆虫种类识别方法,本文提出了一种新颖的鳞翅目昆虫图像自动识别方法。【方法】首先通过预处理对采集的昆虫标本图像去除背景,分割出双翅,并对翅图像的位置进行校正。... 详细信息

【目的】为了给林业、农业或植物检疫等行业人员提供一种方便快捷的昆虫种类识别方法,本文提出了一种新颖的鳞翅目昆虫图像自动识别方法。【方法】首先通过预处理对采集的昆虫标本图像去除背景,分割出双翅,并对翅图像的位置进行校正。然后把校正后的翅面分割成多个超像素,用每个超像素的l,a,b颜色及x,y坐标平均值作为其特征数据。接下来用稀疏编码(SC)算法训练码本、生成编码并汇集成特征向量训练量化共轭梯度反向传播神经网络(SCG BPNN),并用得到的BPNN进行分类识别。【结果】该方法对包含576个样本的昆虫图像的数据库进行了测试,取得了高于99%的识别正确率,并有理想的时间性能、鲁棒性及稳定性。【结论】实验结果证明了本文方法在识别鳞翅目昆虫图像上的有效性。

关键词：昆虫鳞翅目图像识别超像素分割稀疏编码量化共轭梯度法反向传播神经网

来源：评论

学校读者我要写书评

暂无评论

彩码技术在智能科学与技术专业教学中的应用

引用

计算机教育 2013年第19期 88-90页

作者：巨志勇孙红陈玮蒋念平何建忠上海理工大学光电信息与计算机工程学院智能科学与技术教研室上海200093

智能科学与技术是面向前沿高新技术的基础性本科专业,是现代科学技术的多学科交叉焦点核心。在二维码技术不断普及,并且弊端不断显现的情况下,彩色三维码技术正在不断成熟。文章通过对彩色三维码技术的分析与研究,结合本专业关于图像处... 详细信息

智能科学与技术是面向前沿高新技术的基础性本科专业,是现代科学技术的多学科交叉焦点核心。在二维码技术不断普及,并且弊端不断显现的情况下,彩色三维码技术正在不断成熟。文章通过对彩色三维码技术的分析与研究,结合本专业关于图像处理的有关内容,利用图像信息隐藏和提取的相关知识点,在三维码中简单的隐藏一些信息,通过信息提取得到相应的隐藏信息,从而加深学生对所学专业知识的运用,培养学生对前沿技术探索的兴趣。

关键词：教学实践二维码彩色三维码智能科学与技术

来源：评论

学校读者我要写书评

暂无评论

《医学模糊决策》的教学探索

引用

数理医药学杂志 2013年第3期26卷 373-376页

作者：张景陈卉童隆正首都医科大学生物医学工程学院生物信息学系计算机教研室北京100069

帮助医学生用模糊不精确的观点和方法去观察和分析医学中的不确定性事物以辅助医学决策并在此过程中培养科学的思维方法,并探讨了此课程需要继续改进的方面。

关键词：医学模糊决策科学思维医学决策支持教学探索

来源：评论

学校读者我要写书评

暂无评论

脉冲雷达回波信号检测性能比较分析

引用

电路与系统学报 2013年第2期18卷 284-290页

作者：洪兴勇洪一李文谨胡国华中国电子科技集团公司第38所安徽合肥230031 合肥工业大学计算机与信息学院安徽合肥230009 安徽新华学院电子通信工程学院安徽合肥230088 合肥学院电子信息与电气工程系通信教研室安徽合肥230001

雷达脉冲回波信号在传播过程中受杂波、噪声和接收机检测电路的影响,呈现非平稳时变特点。本文针对脉冲回波信号检测的特点,研究了采用固定门限的N-P准则检测技术和门限自适应调整的CA-CFAR检测技术。分析比较了不同虚警概率下基于N-P... 详细信息

雷达脉冲回波信号在传播过程中受杂波、噪声和接收机检测电路的影响,呈现非平稳时变特点。本文针对脉冲回波信号检测的特点,研究了采用固定门限的N-P准则检测技术和门限自适应调整的CA-CFAR检测技术。分析比较了不同虚警概率下基于N-P准则的目标回波检测和在含噪声与杂波条件下设置不同的参考窗n进行CA-CFAR准则目标回波检测的性能,并开展了回波信号的检测性能比较。结果表明,CA-CFAR检测技术的性能优于N-P准则,且能够适应环境变化自适应调整检测门限。

关键词： N-P准则 CA-CFAR检测雷达脉冲信号检测概率参考窗

来源：评论

学校读者我要写书评

暂无评论

基于MSP430单片机的智能锂电池充电器设计

引用

工业控制计算机 2013年第12期26卷 129-130,132页

作者：谢志英段荣霞李明军械工程学院信息工程系计算机应用教研室河北石家庄050003 军械工程学院车辆与电气工程系电工电子实验中心河北石家庄050003 军械工程学院学员一旅河北石家庄050003

应用MSP430单片机设计制作了智能化、低功耗、新型手机锂电池充电器,它替代了传统的充电器,能够有效地解决传统充电器在电池充电终止点之后继续对电池进行充电的问题,从而减少了安全事故的发生。

关键词：智能充电器 MAX1898 MSP430单片机充电保护

来源：评论

学校读者我要写书评

暂无评论

软件兼容性测试的故障定位分析

引用

计算机科学与探索 2013年第5期7卷 405-411页

作者：赵勇张智强严俊张健中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院大学信息工程学院北京100190 中国科学院软件研究所软件工程技术研究开发中心北京100190

为了有效降低软件兼容性测试的测试成本,提高测试精度和简化测试过程,设计了一种基于组合测试的建模方案。基于该建模方案,提出了一种软件兼容性测试的故障定位分析方法。该方法首先针对需要进行兼容性测试的软件集建立组合测试模型;然... 详细信息

为了有效降低软件兼容性测试的测试成本,提高测试精度和简化测试过程,设计了一种基于组合测试的建模方案。基于该建模方案,提出了一种软件兼容性测试的故障定位分析方法。该方法首先针对需要进行兼容性测试的软件集建立组合测试模型;然后用组合测试用例生成工具Cascade对该模型生成测试用例集,并执行这些测试用例集得到结果;最后将这些测试用例及其执行结果作为组合测试错误定位工具Facil的输入,从而精确定位出发生兼容性错误的软件组合。实验表明,该方法步骤简捷,结果有效、可靠,在一定程度上降低了测试成本,提高了测试精度,简化了测试过程。

关键词：兼容性测试组合测试错误定位

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：