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

物理学报 2009年第8期58卷 5362-5369页

作者：杨冲杨春四川师范大学可视化计算与虚拟现实四川省重点实验室成都610068 四川师范大学物理与电子工程学院成都610068 电子科技大学电子薄膜与集成器件国家重点实验室成都610054

在周期性边界条件下的k空间中,采用基于密度泛函理论的第一性原理广义梯度近似方法,对建立的规则对称型结构(A)、周期性非对称型结构(B)、周期性非对称型结构(C)、不规则型结构(D)四种可能的Si(001)表面硅氧团簇的结构模型进行了优化计... 详细信息

在周期性边界条件下的k空间中,采用基于密度泛函理论的第一性原理广义梯度近似方法,对建立的规则对称型结构(A)、周期性非对称型结构(B)、周期性非对称型结构(C)、不规则型结构(D)四种可能的Si(001)表面硅氧团簇的结构模型进行了优化计算.结果表明优化后的表面结构呈无定形状,并且优化后的B,C,D三种模型的表面结构具有类似SiO2的四面体结构的几何特征.此外,通过电子局域函数图以及Mulliken布居分析发现硅氧团簇中的Si—O键既有明显的离子键成分,也有一定的共价键成分.

关键词： Si(001)表面硅氧团簇密度泛函理论第一性原理

来源：评论

学校读者我要写书评

暂无评论

GaN基SrTiO_3薄膜的生长偏转模型和模拟研究

引用

材料研究学报 2010年第4期24卷 389-394页

作者：黄平杨春介伟伟四川师范大学可视化计算与虚拟现实四川省重点实验室成都610068 四川师范大学物理与电子工程学院成都610068 电子科技大学电子薄膜与集成器件国家重点实验室成都610054

构建了SrTiO_3(STO)薄膜在GaN基底(0001)表面沿不同方向偏转10°、20°、30°、40°和50°具有不同界面结构的生长模型,采用基于密度泛函理论的平面波超软赝势法对GaN(0001)表面外延生长不同方向的STO进行了总能量... 详细信息

构建了SrTiO_3(STO)薄膜在GaN基底(0001)表面沿不同方向偏转10°、20°、30°、40°和50°具有不同界面结构的生长模型,采用基于密度泛函理论的平面波超软赝势法对GaN(0001)表面外延生长不同方向的STO进行了总能量模拟计算。结果表明,在晶格失配小的理想外延方向即[1-10]SrTiO_3//[10-10]GaN的能量最高,结构不稳定;而随着STO[1-10]沿GaN[10-10]方向角度的偏转,能量迅速降低,偏转角度为30°时能量最低,即外延关系为[1-10]SrTiO_3//[11-20]GaN时最稳定,与实验结果一致.能量计算结果表明,STO/GaN磁电薄膜有利于形成STO-Ti-GaN的界面结构。

关键词：材料表面与界面偏转模型密度泛函理论 STO/GaN磁电薄膜

来源：评论

学校读者我要写书评

暂无评论

钛酸钡薄膜生长初期粒子形态及其反应机理的模拟研究

引用

无机化学学报 2009年第8期25卷 1414-1419页

作者：王婷霞杨春黄平赵国平李言荣四川师范大学可视化计算与虚拟现实四川省重点实验室成都610068 四川师范大学物理与电子工程学院成都610068 电子科技大学电子薄膜与集成器件国家重点实验室成都6100544

在激光分子束外延生长钛酸钡(BaTiO3,BTO)薄膜过程中,初期多粒子碰撞反应过程是薄膜形成的关键过程。本文采用密度泛函理论中的广义梯度近似(DFT/GGA),在PW91/DNP水平上研究了Ba、Ti、O、O2、BaO、TiO2以及BTO分子在真空中的优先反应形... 详细信息

在激光分子束外延生长钛酸钡(BaTiO3,BTO)薄膜过程中,初期多粒子碰撞反应过程是薄膜形成的关键过程。本文采用密度泛函理论中的广义梯度近似(DFT/GGA),在PW91/DNP水平上研究了Ba、Ti、O、O2、BaO、TiO2以及BTO分子在真空中的优先反应形成与演化过程,计算研究了它们碰撞反应及其中间体的形成机理,获得了相应中间体的几何结构、过渡态及反应活化能,并运用前线轨道理论分析了BTO分子形成机理。对比BTO、SrTiO3(STO)原胞的计算,详细分析了BTO铁电薄膜钙钛矿结构形成的因素,结果表明,BaO、TiO2和BTO分子是激光分子束外延(LMBE)生长BTO薄膜初期的主要粒子形态,生长初期将以TiO2为中心,结合BaO成核生长,并经由类似于BTO单原胞中的钛酸钡分子结构形成大量的具有钙钛矿结构雏形的原胞。

关键词：钛酸钡铁电薄膜反应机理活化能原胞形成

来源：评论

学校读者我要写书评

暂无评论

民航安全监管中的多方演化博弈研究

引用

中国安全科学学报 2016年第1期26卷 136-141页

作者：王文轲蔡洁陈曾洁孙琳李颖四川师范大学可视化计算与虚拟现实四川省重点实验室四川成都610068 四川师范大学商学院四川成都610101

为研究民航安全监管制度的影响因素及其内在机理和监管模式,采用演化博弈理论构建政府监管部门与航空公司、航空公司与航空公司之间多方演化博弈模型,分析其稳定策略及演化路径。研究结果表明,航空公司的安全投入、航空公司规模、政府... 详细信息

为研究民航安全监管制度的影响因素及其内在机理和监管模式,采用演化博弈理论构建政府监管部门与航空公司、航空公司与航空公司之间多方演化博弈模型,分析其稳定策略及演化路径。研究结果表明,航空公司的安全投入、航空公司规模、政府监管成本以及监管部门的激励及惩罚力度等因素都对政府监管部门和航空公司之间的多方博弈产生重要影响,进而影响民航安全运营。在航空公司自身加大安全投入的同时,政府监管部门应制定合理的规章制度,加大安全监管力度,并降低监管成本,就安全相关实际加强对航空公司的激励及惩罚力度,推动并提升安全投入的相关技术水平,切实降低安全投入成本,促进行业全方位进行安全投入,确保飞行安全。

关键词：民航安全政府监管航空公司演化博弈复制动态

来源：评论

学校读者我要写书评

暂无评论

TCG架构下的证明问题研究及进展

引用

电子学报 2010年第5期38卷 1105-1112页

作者：谭良刘震周明天四川师范大学可视化计算与虚拟现实重点实验室四川师范大学计算机学院四川成都610068 中国科学院计算技术研究所北京100190 电子科技大学计算机学院四川成都610054

证明问题是可信计算的核心问题之一.TCG架构下的证明问题解决方案由于可扩展性差、不灵活、容易暴露平台隐私以及性能低,正在成为可信计算的应用、推广和普及的瓶颈,严重地阻碍了可信计算在更广的范围内进行延伸和拓展.介绍了证明的基... 详细信息

证明问题是可信计算的核心问题之一.TCG架构下的证明问题解决方案由于可扩展性差、不灵活、容易暴露平台隐私以及性能低,正在成为可信计算的应用、推广和普及的瓶颈,严重地阻碍了可信计算在更广的范围内进行延伸和拓展.介绍了证明的基本概念并给出形式化定义,详细阐述了三元和四元证明系统的基本架构及工作机制,并指出平台身份证明采用了"推"式四元证明系统,而平台配置证明仍然采用三元证明系统.分析了当前对TCG架构下的平台身份证明、平台环境状态配置信息证明以及平台动态环境状态(运行时环境状态)证明等三个方面开展的研究工作,并对这些工作进行了总结.结合已有的研究成果,探讨了TCG架构下的证明问题的研究方向及其面临的挑战.

关键词：可信计算证明平台身份证明平台配置证明平台运行时环境证明

来源：评论

学校读者我要写书评

暂无评论

可变形网格引导的群体队形仿真

引用

中国图象图形学报 2017年第7期22卷 969-977页

作者：李祖宁何武四川师范大学可视化计算与虚拟现实四川省重点实验室成都610068 四川师范大学影视与传媒学院成都610068

目的许多群体运动仿真算法侧重于模拟由大量自由移动个体所组成的群体行为,而针对具有特定队形的群体运动仿真算法较少。为解决这一问题,采用改进的网格引导方法,利用可变形网格对群体运动进行控制。方法首先,对群体队形进行三角划分,... 详细信息

目的许多群体运动仿真算法侧重于模拟由大量自由移动个体所组成的群体行为,而针对具有特定队形的群体运动仿真算法较少。为解决这一问题,采用改进的网格引导方法,利用可变形网格对群体运动进行控制。方法首先,对群体队形进行三角划分,建立一个连接所有智能体的队形网格。然后,利用障碍势场法在群体运动的过程中对队形网格进行变形,使智能体在避免与障碍物发生穿透的同时尽可能保持整体队形稳定。最后,针对障碍物穿过队形网格时可能造成的局部智能体"错位现象",提出了基于吸引点的网格引导方法,使群体绕过障碍物后能迅速恢复原来队形。结果使用Unity软件对军队行进、动态车流、群体表演等场景中的智能体编队移动进行仿真,并设置了不同规模的群组交换实验进行对比。本文算法的实时计算花销主要集中在网格变形阶段:在队形网格顶点总数为1 000时,单位仿真步内网格变形阶段的平均运行时间为20.15 ms。队形网格划分阶段是一个预先进行的过程,不影响算法实时性。基于吸引点的网格引导方法提高了智能体的全局移动效率,使队形变化更加自然流畅。结论实验结果表明,可变形网格引导的群体队形仿真算法在群体运动过程中能有效维持队形稳定,无论障碍环境是静态的还是动态的都能实现良好的群体避障,说明算法的有效性。

关键词：群体仿真变形网格碰撞避免吸引点引导网格障碍势场

来源：评论

学校读者我要写书评

暂无评论

Klein-Gordon-Hartree方程驻波的不稳定性

引用

四川师范大学学报（自然科学版） 2012年第3期35卷 425-429页

作者：李晓光四川师范大学可视化计算与虚拟现实四川省重点实验室四川成都610066

研究如下Klein-Gordon-Hartree方程的驻波2u/t2-△u+ωu-(|x|-γ*|u|2)u=0,x∈RN.首先,通过构造合理的约束变分问题建立基态驻波解的存在性及其变分特征.然后,以变分特征为基础,证明存在一个Klein-Gordon-Hartree方程的解序列,其初... 详细信息

研究如下Klein-Gordon-Hartree方程的驻波2u/t2-△u+ωu-(|x|-γ*|u|2)u=0,x∈RN.首先,通过构造合理的约束变分问题建立基态驻波解的存在性及其变分特征.然后,以变分特征为基础,证明存在一个Klein-Gordon-Hartree方程的解序列,其初始条件充分接近基态驻波,同时解在有限时间爆破,从而得到基态驻波的不稳定性.

关键词： Klein-Gordon-Hartree方程驻波基态不稳定

来源：评论

学校读者我要写书评

暂无评论

基于次序秩的非参数EWMA联合控制图

引用

数理统计与管理 2013年第6期32卷 1049-1059页

作者：刘浏张健四川师范大学可视化计算与虚拟现实四川省重点实验室&数学与软件科学学院四川成都610068

本文提供了一个基于次序秩的非参数EWMA联合控制图(DNE)用于监测位置参数的持续性漂移.这是一个自启动控制图,不用累积大量可控样本数据,可以用于监控开始阶段。同时,我们不需要预先知道样本的分布,也不需要预先调整任何参数.通过数据... 详细信息

本文提供了一个基于次序秩的非参数EWMA联合控制图(DNE)用于监测位置参数的持续性漂移.这是一个自启动控制图,不用累积大量可控样本数据,可以用于监控开始阶段。同时,我们不需要预先知道样本的分布,也不需要预先调整任何参数.通过数据模拟研究显示出这个控制图不仅在各种不同分布下具有很好的稳健性,并且对各种大小的漂移都很有效。文章最后通过工业上一个真实例子表明,这个控制图在实际应用中有着非常好的表现。

关键词：非参数控制图 EWMA 次序秩联合控制图

来源：评论

学校读者我要写书评

暂无评论

“轻游戏”对计算思维能力的培养——教育游戏对程序设计基础课程教学的影响

引用

远程教育杂志 2011年第6期29卷 94-101页

作者：牟琴四川师范大学计算机学院四川省可视化计算与虚拟现实重点实验室四川成都610101

"计算思维(Computational Thinking)"是当前国际计算机界广为关注的一个重要概念,也是当前计算机教育需要重点研究的重要课题,它的研究对我国转型期的科学和教育具有重要的意义。"轻游戏(Light Game)"是具有主流游... 详细信息

"计算思维(Computational Thinking)"是当前国际计算机界广为关注的一个重要概念,也是当前计算机教育需要重点研究的重要课题,它的研究对我国转型期的科学和教育具有重要的意义。"轻游戏(Light Game)"是具有主流游戏内在动机并同时辅助教学开发学习者思维能力的教育软件,用"轻游戏"的方式可培养学习者的计算思维能力。综合二者的特点,采用理论与实践相结合的方式,在分析"轻游戏"和"计算思维"的基础之上,探索并构建了程序设计课程教学中"轻游戏"对"计算思维"能力培养的教学模型和学习模型,通过实例论证,该模型不仅可以提高教学和学习效率,而且可以提升学习者的计算思维能力,同时也为广大教学者从思维层面上培养学习者提供了参考。

关键词：轻游戏计算思维思维能力培养程序设计课程教学

来源：评论

学校读者我要写书评

暂无评论

直接匿名证言协议的性能估算新方法

引用

计算机学报 2012年第7期35卷 1553-1562页

作者：谭良孟伟明周明天四川师范大学计算机学院四川省可视化计算与虚拟现实重点实验室成都610066 中国科学院计算技术研究所北京100190 电子科技大学计算机学院成都610054

性能问题是阻碍DAA推广和应用的首要问题.为了进一步优化该协议的性能,找出性能瓶颈,定量地分析和测量DAA中各个实体的性能负荷分布是一个十分重要且必须的工作.文中详细分析了DAA的协议流程,提出了以机器周期为基本性能单位的性能负荷... 详细信息

性能问题是阻碍DAA推广和应用的首要问题.为了进一步优化该协议的性能,找出性能瓶颈,定量地分析和测量DAA中各个实体的性能负荷分布是一个十分重要且必须的工作.文中详细分析了DAA的协议流程,提出了以机器周期为基本性能单位的性能负荷分布测量方法——归一化统计法(Normalized Statistics,NS).该方法需要首先分析DAA协议中的各种复杂运算,针对不同的运算选用当前性能较好的算法,然后统计各个算法中大整数单精度乘法、单精度加法、读内存、写内存等基本运算的数目,最后通过汇总并转换得出DAA协议中各实体以机器周期为单位的性能负荷分布和总性能负荷.比较分析表明,该方法不仅能相对准确、精细、有效地定量计算出DAA协议中各实体的性能负荷和总的性能负荷,而且测出的性能负荷具有平台无关性.最后为了说明该方法的有效性,将NS方法应用于有关可信计算匿名证明的一个典型方案的性能负荷估算.

关键词：可信计算直接匿名证言 Camenisch-Lysyanskaya签名知识证明性能负荷

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：