检索结果-南通市图书馆

EGSnrc系统在计算闪烁探测器响应函数矩阵中的应用

在线全文

学校读者我要写书评

暂无评论

原子能科学技术 2005年第3期39卷 202-204页

作者：王新华陈渊郭海萍牟云峰安力朱传新中国工程物理研究院核物理与化学研究所四川绵阳621900

在Linux操作系统上使用EGSnrc系统中的PEGS4程序离线计算光子及电子与茋晶体、铝和铅相互作用的截面数据库,并利用计算的截面数据库作为该系统中Dosnrc程序的输入数据计算得到了铅屏蔽茋晶体对光子各能量点的响应函数,并将其组成矩阵。... 详细信息

在Linux操作系统上使用EGSnrc系统中的PEGS4程序离线计算光子及电子与茋晶体、铝和铅相互作用的截面数据库,并利用计算的截面数据库作为该系统中Dosnrc程序的输入数据计算得到了铅屏蔽茋晶体对光子各能量点的响应函数,并将其组成矩阵。通过测量几种标准γ源来检验响应函数矩阵的准确程度。

关键词：函数矩阵 rc系统闪烁探测器 Linux操作系统应用 EGS4程序离线计算相互作用响应函数数据计算数据库 c程序晶体光子截面电子铅

在线全文

学校读者我要写书评

暂无评论

函数矩阵及其微积分的高阶逻辑形式化

计算机科学 2016年第11期43卷 24-29页

作者：杨秀梅关永施智平吴爱轩张倩颖张杰首都师范大学信息工程学院轻型工业机器人与安全验证北京市重点实验室北京100048 北京化工大学信息科学与技术学院北京100029

函数矩阵广泛应用于动态系统的建模与分析。传统的函数矩阵分析主要采用纸笔演算、数值计算和符号推导的方法,这些方法不能保证提供精确或正确的结果。高阶逻辑定理证明作为一种高可靠的形式化验证方法,可以克服以上不足。在高阶逻辑定... 详细信息

函数矩阵广泛应用于动态系统的建模与分析。传统的函数矩阵分析主要采用纸笔演算、数值计算和符号推导的方法,这些方法不能保证提供精确或正确的结果。高阶逻辑定理证明作为一种高可靠的形式化验证方法,可以克服以上不足。在高阶逻辑定理证明器HOL4中对函数向量和函数矩阵相关理论进行形式化,内容包括函数向量和函数矩阵及其连续性、微分、积分的形式化定义和相关性质的逻辑推理证明。为示范函数矩阵形式化的应用,最后给出机器人运动学中旋转矩阵微分公式的形式化验证。

关键词：函数矩阵微积分性质形式化验证高阶逻辑定理证明

在线全文

学校读者我要写书评

暂无评论

函数矩阵理论在HOL4中的形式化

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

儒家修身理论的函数矩阵分析

思想战线 2000年第6期 133-136页

作者：姜朝晖南通师范学院党委宣传部!江苏南通 226007

儒家传统修身理论 ,内容十分丰富 ,尽管有不可弥补的缺陷 ,但其中有许多内容 ,直到今天也仍然没有失去它价值的因子。儒家传统道德关于理想人格的道德构成 ,理想人格和修身路径的函数关系 ,“三纲”、“八目”的矩阵结构等 ,对当前思想... 详细信息

儒家传统修身理论 ,内容十分丰富 ,尽管有不可弥补的缺陷 ,但其中有许多内容 ,直到今天也仍然没有失去它价值的因子。儒家传统道德关于理想人格的道德构成 ,理想人格和修身路径的函数关系 ,“三纲”、“八目”的矩阵结构等 ,对当前思想政治教育都有着积极的借鉴作用

关键词：儒家传统修身理论函数矩阵借鉴运用

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

函数矩阵的积分理论

重庆交通大学学报(自然科学版) 1987年第1期 128-135页

作者：刘智钧

本文在函数矩阵积分概念的基础上,建立一套与通常函数积分平行的理论。

关键词：函数矩阵积分理论刘智定理定义积分积分学可积函数原函数

函数矩阵e^(A(t))与变系数线性微分方程组初值解的表达式

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

山东师范大学学报（自然科学版） 2007年第2期22卷 20-22页

作者：韩京苑山东师范大学数学科学学院济南250014

利用函数矩阵eA(t)分别给出常系数微分方程组和满足一定条件的变系数线性方程组初值解的表达式.对求变系数线性方程的初值解,给出了几个充分条件.对具体实例的求解给出了一般算法,并用Matlab编程实现.

关键词：一阶线性微分方程组初值解变系数函数矩阵

在线全文

学校读者我要写书评

暂无评论

函数矩阵的积分

洛阳师范学院学报 2014年第2期33卷 19-21页

作者：许佰雁长春光华学院基础部高等数学教研室吉林长春130033

通过对函数矩阵A(x)={a11(x)a12(x)…a1n(x)a21(x)a22(x)…a2n(x)…………am1(x)am2(x)…amn(x)}的研究,得出关于函数矩阵积分的一些知识.

关键词：函数矩阵积分可积函数类奇偶性

在线全文

学校读者我要写书评

暂无评论

函数矩阵在共轭曲面综合曲率中的应用

工程科学学报 1982年第4期 78-88页

作者：冯德坤北京钢铁学院数学教研组

共轭曲面的综合曲率是啮合理的重要内内容,是接触应力计算的重要依据。本文根据综合曲率与平均曲率的关系,使用函数矩阵及其导数,找到了曲面族函数n阶导数的矩陈表达式及其对坐标变换的不变量,得到了一次包络和二次包络综合曲率的显式... 详细信息

共轭曲面的综合曲率是啮合理的重要内内容,是接触应力计算的重要依据。本文根据综合曲率与平均曲率的关系,使用函数矩阵及其导数,找到了曲面族函数n阶导数的矩陈表达式及其对坐标变换的不变量,得到了一次包络和二次包络综合曲率的显式表示。在显式中曲面族函数的各阶导数,能分出与曲面形状无关的系数矩阵与二次型,可预先算好,从而使一次包络与二次包络的综合曲率,都可以在两个坐标系中进计算。

关键词：函数矩阵坐标变换坐标换算二次包络面偏导数主方向综合曲率平均曲率中曲率曲面族不变量系数矩阵

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

函数矩阵e^(Ax)公式求法

兵团教育学院学报 1995年第1期5卷 25-28页

作者：张衡

本文利用矩阵A及其特征根给出函数矩阵e^(Ax)

关键词：函数矩阵实系数多项式特征多项式 n重特征根多项式理论矩阵因子方程组矩阵A 基本解解矩阵