计数公式

摘要： 构造了2类新图mT_(n)和mK_(n,n),并用分类嵌套递推方法,给出了这2类图的不同1-因子的计数公式.

摘要： 把图2-2nP5和2-2nP5的完美匹配按匹配一个固定顶点的边进行分类,先求出每类完美匹配数目的递推关系式,得到一组有相互联系的递推关系式,再利用这组递推式之间的相互关系,给出这两个图完美匹配数的计数公式.

摘要： 限位排列是组合计数的一个重要研究内容,应用容斥原理等组合分析技巧研究一类限位排列的计数问题,具体给出了计算此类限位排列数的计数方法和计数公式,拓广了已有文献的研究结果.最后,提出有待进一步研究的限位排列的计数问题.%Restricted permutation is considered as important study in combinatorial enumeration.A class of enumerating problems for restricted permutation is studied by using principle of inclusion-exclusion and other combinatorial analysis methods.Some enumerating methods and enumerating formulas for restricted permutation are obtained.These results generalize some known results.Finally,enumerating problem of restricted permutation for future study is given.

摘要： 针对n元有限集的拓扑数探究,本文通过研究两种变换:α变换和β变换,得到各种分类的情况;再考虑交并运算封闭的情况,排除掉不能构成拓扑的情况;从而对各种情况进行递推计数,得到相应情况的计数公式。

摘要： 将几个著名数论问题转化为计算2个有限集合交集元素的个数。对于给定整数集的2个有限子集,建立了一个计算他们交集元素个数的公式。作为该公式的一个应用例子,给出了Goldbach猜想的一个等价命题。

摘要： 本文利用函数导数的因子和函数因子的关系,结合罗尔中值定理,给出了一类特殊函数的拐点的计数方法.

摘要： 在准扭转码的指标l与有限域Fq的扩张次数L互素的情况下,给出了有限域上任意长度的具有相同校验多项式的不同1-生成元准扭转码的计数公式.通过建立集合之间的双射,间接地解决了有限域上1-生成元扭转码的计数问题.

摘要： 如图，四个点A、B、C、D在一条直线上，图中有几条线段？是哪几条？如果有”个点分布在一条直线上，一共能数出多少条线段呢？我们来探究一下规律．为避免重复，以从左向右，端点轮流的方式计数，即：以A为左端点的线段有：AB、AC、AD三条；

摘要： 有限集由于有有限多个子集,因而具有许多无限集合所不具有的性质;从n元有限集的所有k元子集元素和入手,得到了n元有限集的全体子集元素和Sn的计数公式,以及所有k阶子集的元素和Sn.k(k=0,1,2,…,n)的计数公式以及单峰性质和其他一些推论.

摘要： 近几年,正整数的无序分拆与有序分拆之间存在的恒等式成为分拆理论研究者的重点研究对象,本文主要讨论了将n分拆成分布量不大于k的有序分拆以及将n分拆成分布量大于k的有序分拆与无序分拆之间的关系,利用Agarwal的组合法和分析法等方法给出了它们之间的一些恒等式,同时运用母函数讨论了相应的有序分拆的计数公式。

摘要： 本文研究多个线性递归序列的联合线性复杂度.我们确定了随机的多个线性递归序列的联合线性复杂度的数学期望和方差.我们推导出多个线性递归序列的联合线性复杂度的计数公式.

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

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

摘要： 本发明涉及一种用于保护计数器的计数器读数免受事后操纵的编码方法，其中在提高或减小计数器读数一个计数单位时启动对新的编码的计数器读数的计算，通过将向前链接的单向函数用于编码的计数器读数来确定该新的编码的计数器读数，其中该向前链接的单向函数的值域包含在该向前链接的单向函数的定义域中。此外本发明还涉及一种用于检验计数器的计数器读数的真实性的检验方法，其中通过将次数减去测试计数器读数来产生测试次数，将向前链接的单向函数用于编码的计数器读数来产生编码的测试计数器读数，其中向前链接的单向函数被使用测试次数t次，将编码的测试计数器读数与编码的最终计数器读数比较，其中在编码的测试计数器读数不等于编码的最终计数器读数的情况下，给出否定的状态信号，否则给出肯定的状态信号。此外本发明还包括用于执行该编码方法的编码装置和执行该检验方法的检验装置。

摘要： 本发明提供了简易的同一条鱼识别设备、鱼计数设备，用于鱼计数的移动终端、同一条鱼识别方法、鱼计数方法、鱼计数预测设备、鱼计数预测方法、同一条鱼识别系统、鱼计数系统和鱼计数预测系统。本发明的同一条鱼识别设备包括：测量图像获取单元11；鱼位置信息获取单元131；预测鱼位置信息获取单元132；以及同一条鱼识别单元133。测量图像获取单元11随时间的推移获取含鱼流体所通过的通过区域中的被测区域的n个测量图像。鱼位置信息获取单元131获取n个测量图像中的鱼位置信息。预测鱼位置信息获取单元132从在n个测量图像中的第(m‑1)个测量图像之前获取的测量图像中选择所选择的图像，并基于所选择的图像中的鱼位置信息来获取第m个测量图像中的预测鱼位置信息(PIm)，基于第m个测量图像中的鱼位置信息(Im)和相应的预测鱼位置信息(PIm)，同一条鱼识别单元133在所述鱼位置信息(Im)和所述预测鱼位置信息(PIm)匹配时，将第m个测量图像中的鱼识别为与所选择的图像中的鱼是同一条鱼，并且在所述鱼位置信息(Im)和所述预测鱼位置信息(PIm)不匹配时，将第m个测量图像中的鱼识别为与所选择的图像中的鱼不是同一条鱼。

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

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

摘要： 本发明涉及一种用于保护计数器的计数器读数免受事后操纵的编码方法，其中在提高或减小计数器读数一个计数单位时启动对新的编码的计数器读数的计算，通过将向前链接的单向函数用于编码的计数器读数来确定该新的编码的计数器读数，其中该向前链接的单向函数的值域包含在该向前链接的单向函数的定义域中。此外本发明还涉及一种用于检验计数器的计数器读数的真实性的检验方法，其中通过将次数减去测试计数器读数来产生测试次数，将向前链接的单向函数用于编码的计数器读数来产生编码的测试计数器读数，其中向前链接的单向函数被使用测试次数t次，将编码的测试计数器读数与编码的最终计数器读数比较，其中在编码的测试计数器读数不等于编码的最终计数器读数的情况下，给出否定的状态信号，否则给出肯定的状态信号。此外本发明还包括用于执行该编码方法的编码装置和执行该检验方法的检验装置。

摘要： 本发明的实施方式提供一种计数方法、计数装置以及应用其的计数系统和像素阵列，该计数装置包括：存储模块包括级联的多个存储单元，其中多个存储单元存储有多个累积计数中间值，多个存储单元被配置为至少一组存储单元；运算模块与多个存储单元中的首末组存储单元相连，用于根据接收的计数值和通过末组存储单元输入的累加计数中间值进行运算，获得对应计数对象的当前累加计数中间值，并输出至级联的多个存储单元中的首组存储单元中。其中，多个累积计数中间值循环位移至运算模块与相应的计数值进行运算，直至计数结束则以存储模块中存储的多个当前累加计数中间值作为计数对象对应的多个累积计数结果。

摘要： 本申请提供了一种故障安全计数器评估器(200)，以确保故障安全计数器的正确计数操作。故障安全计数器评估器包括第一微处理器(205‑1)、第一计数器(212‑1)、第二计数器(212‑2)、第二微处理器(205‑2)和测试通道(210‑2，210‑4)。第一计数器(212‑1)被配置为在操作中的计数器并且被设置在第一微处理器中以接收外部生成的计数脉冲(210‑1)。第二计数器(212‑2)被设置在第一微处理器中并且被配置为进行测试(210‑2：测试通道)。测试通道(210‑2)被配置为基于来自第二微处理器的测试脉冲(215‑4：有效测试脉冲)向第二计数器发送输入测试信号。使第一微处理器和第二微处理器同步(217)以协调测试的开始和结束。在发送测试脉冲后对第二计数器评估以确定第二计数器是否正常操作。

摘要： 本实用新型公开一种带计数上传功能的念佛计数器及念佛计数系统，带计数上传功能的念佛计数器包括触发器和无线通讯电路，无线通讯电路与触发器的输出端电连接，无线通讯电路与外部终端通讯连接。本实用新型提高了念佛计数器使用的便利性。