积分公式

摘要： 令H^(n+p)为(n+p)维双曲空间,而M^(n)为H^(n+p)中n维定向的紧致无边子流形.利用关于Codazzi张量场的一个已知定理,获得了M^(n)的一个积分公式,结果推广了H^(n+1)中超曲面M的Minkowski公式.

摘要： 研究了近拟常曲率空间中具有常平均曲率的紧致超曲面,得到了这类超曲面关于其第二基本形式模长平方S的J.Simons型积分不等式.

摘要： 动态故障树相比传统的静态故障树,具有动态性、时序性和冗余性等动态失效特征,其顶事件发生概率的计算方法更加复杂.采用深度优先搜索方法获取动态故障树子模块,介绍了基于最小割集和二元决策图的静态故障树顶事件概率计算方法、基于马尔科夫链和积分公式的动态故障树顶事件概率计算方法.重点分析了4种计算顶事件概率方法的适用范围和特点,总结了计算动态故障树顶事件概率的一般计算流程.最后以飞机某新型氧气系统失效为例进行分析验证.

摘要： 本文回顾了反余割函数的性质和图像,介绍了有关积分公式和实例分析.

摘要： 本文研究了(n+p)维欧氏空间Rn+p中n维定向紧致无边子流形Mn的积分公式的问题.首先定义了Mn沿其单位平均曲率向量场ξ方向的高阶平均曲率Hr(0≤r≤n);然后,利用活动标架与外微分法,获得了关于Mn的一个新的积分公式.新公式推广了余维数p=1即超曲面情况下的经典积分公式.

摘要： 该文研究在Stein流形的解析簇上如何建立微分形式的积分公式.首先,使用不同的方法和技巧我们导出在Stein流形的两类有界域中对于复n-m(0≤m＜n)维解析簇上微分形式的相应的积分表示式.其次,得到Stein流形的一般有界域中对于复n-m(0≦m＜n)维解析簇上微分形式的统一的积分表示式.特别地,当m=0时该文所得公式正是Koppelman-Leray公式在Stein流形中的拓广.

摘要： 分析了文献给出的一类含有指数函数的积分公式,利用连锁消去法给出了其中几道较难推演的不定积分的计算结果.

摘要： 通常的微积分教材中,可以计算的不定积分主要包括有理函数、三角函数有理式和某些含根式的函数.受几个具体函数积分方法的启发,证明了一类含有指数函数的积分公式,该结果包含了微积分教材中用常规积分方法较难推演的一类含指数函数的积分.

摘要： 本文探讨了对于在大学预科,专科和本科的高等数学中的积分公式(∫1/udu=ln|u|+c)在解微分方程时,在什么条件下,由积分得到的对数函数内可以省略绝对值符号|·|的问题.

摘要： 积分公式及积分性质是熟练运用直接积分法的前提,而求不定积分最基本最简单的方法就是直接积分法.将对使用此法的题型进行分类归纳及剖析,意在引导学生灵活运用直接积分法.

摘要： 本文导出了高斯等角球面上的长度变形积分公式,并简化为我国海区的实用公式。我国罗兰C导航系统的作用距离为500～2000海里，采用高斯等角球面改正法计算我国罗兰C系统船位，可以达到米级精度。

摘要： 本发明公开一种流速仪高速直线公式积分检定法及其检定设备，具体为：清洗球轴承；检测球轴承平均摩阻力矩M；检测旋桨流速仪起转速V0和仪器旋转支承内摩阻力矩M，确认达标；将被检3架流速仪分别固定安装在测杆下端、分别放进检定水槽水中；调准流速仪轴向；平静槽中水体；启动电机，检定车从最低速度运行，缓慢增速，检测仪器输出信号及数据；按GB/T21699《直线明槽中转子式流速仪的检定方法》用最小二乘法计算检定公式a、b值，及中高速全线平均均方差σ。本发明大幅度简化了现有技术中检测方法的程序与步骤，可确保流速仪检定成果精度，同时提高生产效率，改善工作条件，简化管理规程，节约人力、物力，降低生产运行成本。

摘要： 本发明提供一种信息显示装置，在电子字典等信息显示装置中，能够容易且适当地显示与词条的说明信息有关的所有说明信息。CPU（11）根据检索指示的输入，对与根据存储在所指定的字典DB中的词条来指定的检索词一致的词条进行检索，将对应的说明信息显示在显示部（15）中。另外，CPU（11）根据跳跃执行指示，从所显示的说明信息的字符列中提取与存储在各字典DB中的词条的任一个一致的字符列，在根据可跳跃的每个字典类型不同而不同的显示方式下显示提取出的一致字符列。

摘要： 本发明提供了一种公式及公式数据处理装置，包括：配置管理单元，用于读取业务配置参数；缓存单元，存储不同业务服务对应的公式；解析单元，获取公式和与公式对应的业务标识，根据配置参数对公式进行拆分和解析，循环处理公式的字符串中的每个字符，生成数据结构集合；运算单元，响应计算请求，根据数据结构集合中的运算符和参与运算的量构造二叉树，根据业务标识对数据集合进行分组，调用业务适配器将分组传送给相应的业务处理服务进行处理，得到业务数据，将业务数据替换到二叉树中与业务数据对应的公式所在的位置，基于二叉树计算得到运算结果。为系统带来统一的公式处理机制，提供系统运行效率和稳定性。本发明还提供了一种公式数据处理方法。

摘要： 本发明公开一种流速仪高速直线公式积分检定法及其检定设备，具体为：清洗球轴承；检测球轴承平均摩阻力矩M；检测旋桨流速仪起转速V0和仪器旋转支承内摩阻力矩M，确认达标；将被检3架流速仪分别固定安装在测杆下端、分别放进检定水槽水中；调准流速仪轴向；平静槽中水体；启动电机，检定车从最低速度运行，缓慢增速，检测仪器输出信号及数据；按GB/T21699《直线明槽中转子式流速仪的检定方法》用最小二乘法计算检定公式a、b值，及中高速全线平均均方差σ。本发明大幅度简化了现有技术中检测方法的程序与步骤，可确保流速仪检定成果精度，同时提高生产效率，改善工作条件，简化管理规程，节约人力、物力，降低生产运行成本。

摘要： 本发明提供了一种公式及公式数据处理装置，包括：配置管理单元，用于读取业务配置参数；缓存单元，存储不同业务服务对应的公式；解析单元，获取公式和与公式对应的业务标识，根据配置参数对公式进行拆分和解析，循环处理公式的字符串中的每个字符，生成数据结构集合；运算单元，响应计算请求，根据数据结构集合中的运算符和参与运算的量构造二叉树，根据业务标识对数据集合进行分组，调用业务适配器将分组传送给相应的业务处理服务进行处理，得到业务数据，将业务数据替换到二叉树中与业务数据对应的公式所在的位置，基于二叉树计算得到运算结果。为系统带来统一的公式处理机制，提供系统运行效率和稳定性。本发明还提供了一种公式数据处理方法。

摘要： 本发明提供一种信息显示装置，在电子字典等信息显示装置中，能够容易且适当地显示与词条的说明信息有关的所有说明信息。CPU（11）根据检索指示的输入，对与根据存储在所指定的字典DB中的词条来指定的检索词一致的词条进行检索，将对应的说明信息显示在显示部（15）中。另外，CPU（11）根据跳跃执行指示，从所显示的说明信息的字符列中提取与存储在各字典DB中的词条的任一个一致的字符列，在根据可跳跃的每个字典类型不同而不同的显示方式下显示提取出的一致字符列。

摘要： 一种基于积分公式的粒子计算方法及粒子系统，所述方法包括步骤：预设粒子在关键帧的运动状态参数；根据粒子的当前时间，求得当前时间的粒子的上一关键帧和下一关键帧；对粒子的运动状态参数进行线性插值并对差值公式求时间的定积分，求得当前时间的粒子相对于上一关键帧的静态属性参数偏移量；将上一关键帧的时间作为新的粒子的当前时间，进行上一关键帧的静态属性参数偏移量计算，直至上一关键帧为初始关键帧；对求得的静态属性参数偏移量，以及初始关键帧的静态属性参数进行累加，求得当前时间的粒子的静态属性参数。本发明可以更直接的求出粒子的位置、旋转角度等静态属性，还可以解决低端显卡无法通过GPU来加速粒子计算的问题。

摘要： 本发明公开了一种基于面片积分公式的伞状天线结构优化设计方法，具体步骤包括：输入伞状天线结构参数与电参数；计算伞状天线最优焦距；计算天线肋的分段数；计算肋上点的坐标；计算相邻肋间点的坐标；生成伞状天线所有节点坐标；计算面片平面方程系数；计算三角形边方程系数；计算三角形投影面积；计算三角形面片轴向误差；输出伞状天线轴向精度；判断轴向精度是否满足要求；输出伞状天线结构参数；更新伞状天线结构参数。本发明考虑了伞状天线采用面片拼合而成的特点，基于面片积分公式对伞状天线进行轴向精度分析，可指导伞状天线的机械结构设计与机电集成优化设计。

摘要： 本发明公开了一种基于面片积分公式的伞状天线结构优化设计方法，具体步骤包括：输入伞状天线结构参数与电参数；计算伞状天线最优焦距；计算天线肋的分段数；计算肋上点的坐标；计算相邻肋间点的坐标；生成伞状天线所有节点坐标；计算面片平面方程系数；计算三角形边方程系数；计算三角形投影面积；计算三角形面片轴向误差；输出伞状天线轴向精度；判断轴向精度是否满足要求；输出伞状天线结构参数；更新伞状天线结构参数。本发明考虑了伞状天线采用面片拼合而成的特点，基于面片积分公式对伞状天线进行轴向精度分析，可指导伞状天线的机械结构设计与机电集成优化设计。

摘要： 一种基于积分公式的粒子计算方法及粒子系统，所述方法包括步骤：预设粒子在关键帧的运动状态参数；根据粒子的当前时间，求得当前时间的粒子的上一关键帧和下一关键帧；对粒子的运动状态参数进行线性插值并对差值公式求时间的定积分，求得当前时间的粒子相对于上一关键帧的静态属性参数偏移量；将上一关键帧的时间作为新的粒子的当前时间，进行上一关键帧的静态属性参数偏移量计算，直至上一关键帧为初始关键帧；对求得的静态属性参数偏移量，以及初始关键帧的静态属性参数进行累加，求得当前时间的粒子的静态属性参数。本发明可以更直接的求出粒子的位置、旋转角度等静态属性，还可以解决低端显卡无法通过GPU来加速粒子计算的问题。