渐近公式

摘要： 本文主要利用二次剩余理论和一类对称同余方程解的个数问题研究一类广义3维Kloosterman和4次均值的计算问题,并得到其精确的渐近公式.

摘要： 设ℤ×ℤ是二维整数格且k,l∈ℕ,若格点(m,n)∈ℤ×ℤ位于形如y=rxk(r∈ℚ)的曲线上,且在(m,n)与原点(0,0)之间的相应曲线段上至多有l−1个格点(不含端点),则称(m,n)是l-重的k-可见格点。特别地,当重数l=1时,简称(m,n)为k-可见格点。本文给出了方形区域[1,x]×[1,x]中l-重k-可见格点个数的一个渐近公式,这推广了Goins等人关于k-可见格点密度的一个结果。

摘要： 研究Hurwitz zeta函数、Kloosterman和及广义Cochrane和的相关性质,通过初等方法,利用Gauss和的性质及特征和的估计研究了Hurwitz zeta函数、Kloosterman和及广义Cochrane和的混合均值问题,并给出了较强的渐近公式.

摘要： 对于任意正整数n,数论函数W(n)为最小的正整数k,使得n≤k(3k+1),即W(n)=min{k:n≤k(3k+1),k∈N},利用解析法,探究数论函数SL(n)及SL*(n)与W(n)三者复合后的渐近性质,并给出了∑n≤xSL*(W(n))/SL(W(n))的一个有趣的渐近公式.

摘要： 为研究素数模p的一类特殊原根的分布性质,设p是一个奇素数,g是任意与p互素的整数.如果gi(i=0,1,…,p-2)构成模p的一个简化剩余系,则称g为模p的一个原根.利用初等方法、特征和估计以及模p原根的特征函数,研究了形如a+(a)以及a2+(a)2的原根的分布性质(其中(a)表示a的可乘逆,即a·(a)≡1(mod p)),在不同条件下,给出了它们的计数函数的4个较强的渐近公式.

摘要： 设q>2是一个整数,1渐近公式.

摘要： 对于任意正整数n,数论函数w(n)为最小的正整数k,使得n≤k(3k+1),即w(n)=min{k:n≤k(3k+1),k∈N},利用初等及解析的方法,通过分区间讨论的方式来研究Smarandache LCM函数sl(n)及其对偶函数sl?(n)与w(n)的混合均值性质,给出∑n≤xsl(w(n))·sl?(w(n)) 的一个有趣的渐近公式.

摘要： 设q为奇数且q≥5,h为任一整数,本文研究如下形式的Hardy和[1]H(h,q)=Σq-1 j=1(-1)j+1+[hj/q],其中[x]表示不超过x的最大整数.Hardy和的均值定理一直是数论研究的重要内容之一.本文运用特征和的Fourier展式、Dirichlet L-函数的均值定理、可乘函数的性质以及Euler乘积公式,对合数模上Hardy和的均值做了进一步研究,并得到如下结论.Σa≤q/3Σb≤q/3H(2a(b),q)=1/5q2∏pα‖q(1-1/p2)(1-1/p3α-(1+1/p+1/p2)(1/p2α-1/p3α))/(1+1/p2)(1+1/p+1/p2)+O(q1+∈)其中∏pα‖q表示对同时满足pα|q与pα+1(|)q的所有素数p求积,∈为任意小的正数.

摘要： 利用初等及解析的方法,研究了Smarandache LCM函数sl(n)与伪Smarandache函数z(n)的混合均值,并得到了一个渐近公式.

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

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

摘要： 本发明适用计算机技术领域，提供了一种将Office软件编辑的公式转换成MathML公式的方法及装置，该方法包括：接收用户输入的将Office软件编辑的公式转换成MathML公式的公式转换请求，运用预先配置的MathType公式插件和宏命令，生成与Office软件编辑的公式对应的MathML公式，从而实现了Office软件编辑的公式到MathML公式的自动转换，提高了Office软件编辑的公式转换成MathML公式的效率。

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

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

摘要： 本申请实施例公开了一种函数公式处理方法、函数公式处理设备及可读存储介质，用于提高函数公式注册的可实现性和效率的情况下，注册函数公式。本申请实施例方法包括：响应于目标表格的初始化请求，生成函数公式注册指令，将函数公式注册指令发送至公式业务代理组件，以调用公式业务代理组件获取目标函数公式列表；其中目标函数公式列表包括至少一个函数公式的公式信息，根据函数公式的公式信息，将函数公式注册至目标表格。

摘要： 本发明公布了一种基于公式引用图的公式检索方法与装置，公式检索装置包括：数学引用图构建模块、查询数学公式描述关键词自动生成模块，初始排序模块和重排模块。本发明通过设计构建公式引用图来表示公式之间的引用关系，对查询的公式进行关键词的扩充，并进一步增强语义检索性能，解决现有的公式检索系统无法较好的召回语义相同但结构不相似的数学公式而造成数学公式检索效率低下的问题，提高公式检索的准确性。

摘要： 本申请提供了一种公式识别方法及公式识别装置。该方法包括：客户端获取第一待识别公式，并将该第一待识别公式发送至服务器；该服务器接收该第一待识别公式，并对第一待识别公式进行解析，得到相似公式，该相似公式为对上述第一待识别公式的错误进行纠正后的公式，该错误类型包括结构缺失和符号缺失；服务器将该相似公式发送至客户端；该客户端接收相似公式，并显示该相似公式。上述公式识别方法及公式识别装置，能够识别出公式的结构缺失问题，并提示给用户，以便用户及时发现公式输入过程中的问题，提升了用户的体验。

摘要： 一种执行图公式建模的方法。该方法包括经由用户界面从用户接收数学公式的输入。该方法还包括使用处理器对数学公式的输入执行处理，以将数学公式分解成多个标记，以生成与数学公式相对应的公式图。该方法还包括基于公式图来自动地生成用户指定的计算语言的计算机代码。该方法还包括使自动地生成的计算机代码经由用户界面呈现给用户，该自动地生成的计算机代码与在计算环境中定义的输入的数学公式相对应。

摘要： 本发明实施例提供了一种公式识别方法、装置和用于公式识别的装置。所述方法包括：获取实时输入的轨迹点，并对所述轨迹点进行预处理，得到轨迹点序列；将所述轨迹点序列输入预先训练的识别模型，通过所述识别模型中的编码器对所述轨迹点序列进行特征提取及编码，得到高维特征向量；通过所述识别模型中的解码器对所述高维特征向量进行信息识别及解码，得到公式识别结果。本发明实施例可以在用户手写公式的时候，对实时输入的轨迹点进行预处理，并基于预先训练的识别模型对预处理后的轨迹点系列进行识别，提高公式识别的准确率。