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

主办单位:中国化学会计算机化学专业委员会协办单位:化学生物传感与计量学国家重点实验室(湖南大学)承办单位:四川大学大会主题:计算(机)化学发展趋势与战略会议内容:前瞻性综述;学科现状、前沿及展望;系统性研究成果;原创性研究工作;并邀请仪器厂商展示仪器、软件厂商介绍和演示软件。会议交流形式:大会报告、分组邀请和口头报告及墙报展讲、会议代表程序演示。

关键词：四川学术年会论文格式学科现状中国化学会

来源：评论

学校读者我要写书评

暂无评论

第九届全国计算(机)化学学术年会第一轮通知

引用

计算机与应用化学 2007年第3期24卷 344-344页

关键词：计算机化学量子化学学术年会学科现状中国化学会论文格式协办单位仪器厂商定量结构

来源：评论

学校读者我要写书评

暂无评论

一种摄像机网络环境下摄像机选择方法

一种摄像机网络环境下摄像机选择方法

引用

第十七届全国计算机辅助设计与图形学学术会议(CAD/CG’ 2012)暨第九届全国智能CAD与数字娱乐学术会议(CID’ 2012)

作者：李骞孙正兴李毅陈松乐南京大学计算机软件新技术国家重点实验室南京210093 解放军理工大学气象学院南京 211101 南京大学计算机软件新技术国家重点实验室南京210093

随着摄像机网络大量出现,如何从多摄像机中选择摄像机节点输出最佳视角视频流成为一个新的应用需求.本文设计了信息评价函数反映视频内容信息丰富程度,基于部分可观察马尔科夫模型设计了摄像机动态选择机制,使选择结果期望回报最大.实... 详细信息

随着摄像机网络大量出现,如何从多摄像机中选择摄像机节点输出最佳视角视频流成为一个新的应用需求.本文设计了信息评价函数反映视频内容信息丰富程度,基于部分可观察马尔科夫模型设计了摄像机动态选择机制,使选择结果期望回报最大.实验表明,本文方法生成的选择策略准确率较高,并克服了选择结果频繁切换的现象.

关键词：摄像机网络环境动态选择机制信息评价函数

来源：评论

学校读者我要写书评

暂无评论

面向参数化系统验证的自动抽象方法

面向参数化系统验证的自动抽象方法

引用

第十七届全国计算机辅助设计与图形学学术会议(CAD/CG’ 2012)暨第九届全国智能CAD与数字娱乐学术会议(CID’ 2012)

作者：张龙屈婉霞郭阳国防科技大学计算机学院长沙410073

针对参数化系统验证的状态空间爆炸问题,本文提出自动抽象方法化简参数化系统状态空间.首先,进行Y-抽象建立单进程状态机模型,然后,通过对多个Y-抽象模型的合成运算得到异步合成的参数化系统,最后,根据定义的谓词对参数化系统进行X-抽... 详细信息

针对参数化系统验证的状态空间爆炸问题,本文提出自动抽象方法化简参数化系统状态空间.首先,进行Y-抽象建立单进程状态机模型,然后,通过对多个Y-抽象模型的合成运算得到异步合成的参数化系统,最后,根据定义的谓词对参数化系统进行X-抽象得到二维抽象(TDA)模型.本文运用该方法对基于Synapse N+1、Illinois、MESI、Berkeley和Dragon的5个参数化协议进行自动化抽象建模并验证了相关性质,有效地提升了验证参数化系统的能力.

关键词：参数化系统自动抽象方法状态空间二维抽象模型

来源：评论

学校读者我要写书评

暂无评论

基于多尺度哈尔小波变换的三维人脸识别方法

基于多尺度哈尔小波变换的三维人脸识别方法

引用

第十七届全国计算机辅助设计与图形学学术会议(CAD/CG’ 2012)暨第九届全国智能CAD与数字娱乐学术会议(CID’ 2012)

作者：王朝阳达飞鹏东南大学自动化学院江苏省南京市210096

提出了一种基于多尺度哈尔小波变换的三维人脸识别方法.将三维人脸模型的上半张人脸区域经过平面参数化以及线性插值运算映射至平面几何图像,利用多尺度哈尔小波变换把几何图像分解为不同尺度下的频域分量,选择具有表情不变性的频域分... 详细信息

提出了一种基于多尺度哈尔小波变换的三维人脸识别方法.将三维人脸模型的上半张人脸区域经过平面参数化以及线性插值运算映射至平面几何图像,利用多尺度哈尔小波变换把几何图像分解为不同尺度下的频域分量,选择具有表情不变性的频域分量并用其线性组合作为人脸特征.在FRGCv2.0数据库中进行的大量实验表明本文提出的三维人脸识别方法具有较好的鲁棒性.

关键词：三维人脸识别多尺度哈尔小波变换平面参数化线性插值运算

来源：评论

学校读者我要写书评

暂无评论

基于形变模型匹配的三维人脸识别

基于形变模型匹配的三维人脸识别

引用

第十七届全国计算机辅助设计与图形学学术会议(CAD/CG’ 2012)暨第九届全国智能CAD与数字娱乐学术会议(CID’ 2012)

作者：蔡亮达飞鹏东南大学自动化学院江苏省南京市210096

表情变化是三维人脸识别面临的主要问题.为了克服传统刚性匹配算法无法解决表情的问题,本文提出一种新的基于形变的匹配方法.通过对传统匹配方法的深入分析,将传统姿势对齐的概念推广至表情形变,并利用径向基函数描述表情变化下人脸形... 详细信息

表情变化是三维人脸识别面临的主要问题.为了克服传统刚性匹配算法无法解决表情的问题,本文提出一种新的基于形变的匹配方法.通过对传统匹配方法的深入分析,将传统姿势对齐的概念推广至表情形变,并利用径向基函数描述表情变化下人脸形状的改变.为了保持人脸类间形状差异,加入子区域约束来控制人脸形变的程度.最后利用形变模型实现人脸的识别.在FRGC v2人脸数据库的实验表明改进后的算法能显著提高算法的精度.

关键词：三维人脸识别形变约束形状匹配径向基函数

来源：评论

学校读者我要写书评

暂无评论

热柱微电极的一些理论问题

热柱微电极的一些理论问题

引用

第九届全国电分析化学学术会议

作者：孙建军福州大学化学化工学院福州350002

本文电化学分析热柱微电极的一些理论问题进行了研究.理论计算表明,电极表面温度与加热电流密度、电解质的热力学性质密切相关,而与电极的长度无关.

关键词：分析化学电极分析法热柱微电极

来源：评论

学校读者我要写书评

暂无评论

第九届全国计算(机)化学学术年会第一轮通知

引用

计算机与应用化学 2007年第1期24卷 124-124页

主办单位:中国化学会计算机化学专业委员会协办单位:化学生物传感与计量学国家重点实验室(湖南大学)承办单位:四川大学随着泛分子科学研究的不断深入,化学信号及信息的大量获取/积累,以及计算机与网络技术的飞速发展．计算(机)化学包括... 详细信息

主办单位:中国化学会计算机化学专业委员会协办单位:化学生物传感与计量学国家重点实验室(湖南大学)承办单位:四川大学随着泛分子科学研究的不断深入,化学信号及信息的大量获取/积累,以及计算机与网络技术的飞速发展．计算(机)化学包括“化学信息学”已成为化学学科的重要分支之一,其精髓为“从数据到信息然后到知识”。国际计算机化学包括化学信息学研究的发展方兴未艾,近几年来伴随着理论/计算化学、分子模拟与设计、数据挖掘技术,Internet资源的综合利用以及化学计量学等领域的发展,取得了邻人瞩目的重要进展,我国的计算(机)化学包括化学信息学研究也伴随着这些学科的飞速进步得到发展,通过相互交叉,相互渗透。发展快速,成效显著,在某些专题的研究方面达到了国际先进水平。我国的计算(机)化学已取得举世瞩目的成绩。

关键词：化学信息学计算机化学计算化学应用数学学术年会

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：