关于自然数乘法分拆数上界的改进

关于自然数n的乘法分拆数f(n)的上界,1983年J.O.shallit提出了二个猜想:f,(n)≤n,及f(n)≤n/logn(n≠144)。此二猜想分别于1986年、1990年得到证明,本文改进了这一上界,得到以下的结论:对一切满足n≥10~(23)的自然数n,有f(n)相似文献   

由VB6.0导入Windows系统编程设计

主要介绍用VB开发Windows应用程序时,界面设计应遵循的一些原则,如何建立数据输入确认以及代码优化、错误处理编码的方法。     

司法确认之申请主体适格问题刍议——以民事诉讼法(2012修订)第194条为切入点

2012年民事诉讼法的修订以基本法律的形式将非诉调解协议司法确认纳入我国民事诉讼程序,赋予了当事人双方基于调解协议在规定时限内可向法院提起司法确认,以使其具有强制执行力。然而只能由当事人双方共同向法院提出申请这一规定的弊端明显:存在逻辑悖论、纠纷解决效率下降以及难以体现司法确认程序的优越性。为此,构建由一方当事人单独申请司法确认调解协议的程序是使我国司法确认制度得以有效运作的路径,而这一路径有赖于建立相应的异议制度、细化不予确认的范围以及构建司法确认纠错机制。     

化学检测实验室的方法验证与确认

本文首先分析了标准方法的检验与确认之间的差异,然后对方法验证和方法确认的步骤进行了分析,最后讨论了两种方法的各项技术指标参数的测试要求和评价结果。     

基于确认模式的多通道生物认证技术研究

单通道生物认证识别技术一直存在着很多问题,它们在用户接受程度、准确率、成本等方面都存在不同的缺点。在采用多通道生物认证技术后,可以提高生物认证系统识别性能,并适用于不同的应用环境。介绍了多通道生物认证技术在单通道生物认证系统的基础上,给出多通道生物认证系统模型。最后基于确认人脸和语音等特征的多通道生物认证系统进行相关实验,实验证明,多通道生物认证技术大大改进了以前单通道认证技术在用户接受和识别性能等方面存在的不足,提高了生物认证系统的实用性。     

Adaptive Delayed Acknowledgement Algorithm for MPEG-4 Traffic in UWB Networks

Introduction While the market for fixed and wired personal com-puters is tending to stagnate,mobile computing is re-ceiving more and more attention.A wide variety ofmobile computing devices have emerged includingpalmtops,personal digital assistants,and po…     

分拆函数p（n）的下界

设ｎ为正整数，ｐ（ｎ）是ｎ的分拆的个数，称为ｎ的分拆函数。得到了一个ｐ（ｎ）的下界的结果：对于ｎ〉４８，有ｐ（ｎ）〉ｅ。     

倾销确认中的会计计算问题浅析

简要介绍了国际反倾销的发展概况，重点阐述了在反倾销诉讼中，倾销的确认至关重要。在正常价值(或公平价值)和出口价格的计算以及价格比较中都存在很多会计处理问题，它对于倾销幅度甚至倾销的确认计算都有很大影响，因此必须引起足够的重视。     

数字仿真模型的校核、验证和确认

论述了数字仿真模型校核、验证、确认的重要性,以实例说明了模型校核、模型验证、结果确认的实施方法,分析了影响数字仿真结果正确性的主要因素,探讨了仿真建模与可信度之间的关系.研究结果表明:影响仿真结果的主要因素是仿真建模;为了确保仿真模型的准确性,必须对其进行校核、验证和确认.     

分拆上市的分析与探讨

随着股份制改造的日益深化,证券市场除了直接融资的功能之外,资产重组功能也越来越明显地体现出来,并逐渐为市场所接受.企业分拆这一资本运营模式使资产重组有了新的内容,在证券市场上形成了新的亮点,对理论工作者和企业经理们则提出了新的课题和挑战.本文从分拆上市的概念及特点出发,分析了分拆上市对上市公司及证券市场的积极作用,提出进行分拆上市应注意的问题.