Heilbronn问题的一些结果及其推广

给定平面上 n 个点的点集 S,用 D(S) 和d(S)表示这些点的最大距离和最小距离,Heilbronn问题是求 D(S)/d(S)的下确界λ_n 通过计算机辅助证明,证明了λ_8=1/2CSCπ/(14) ,并把Heilbronn 问题推广到高维空间。     

民事诉讼举证时限适用情况的调查与完善

举证时限是最高人民法院有关民事诉讼证据司法解释确立的一项新的证据制度，但正因为是一项全新的制度，致使其在适用过程中存在种种问题，并没有完全达到设立时的初衷和目的，还需要结合审判实践进一步完善。     

土工织物在水利工程中的应用

介绍了土工织物的性能及其在水利工程中的运用，并根据国内外对土工织物的实验研究，提出了低温对土工织物强度影响很小，在寒冷地区选择土工织物以涤纶织物为好的建议。为土工织物在水利工程中的选择及应用提供参考。     

Efficient 4-round zero-knowledge proof system for NP

A 4-round zero-knowledge interactive proof system for NP (Non-deterministic Polynomial) is presented when assuming the existence of one-way permutations and collision-free hash functions. This construction is more efficient than the original construction of 5-round zero-knowledge proof system for NP. The critical tools used in this paper are: zap, hash-based commitment scheme and non-interactive zero-knowledge.     

带约束边的最优树问题

本文给出了求解一个赋权图中含有约束边的最优树的两种算法和证明。并在此基础上,给出了关于含有约束边最优树的一些推广问题的算法和证明。     

高等数学中的辅助函数设计

函数是描述变量之间关系的重要工具,是微积分学研究的主要对象.因此,微积分中许多问题都离不开函数,适当地构造辅助函数,可以达到事半功倍的效果.在理工科院校高等数学课程教学过程中,洛尔定理、Language中值定理是教学的重点和难点,学生很难理解和掌握利用中值定理解决的证明问题.通过规律性地构造辅助函数,加深了学生对于这个难点问题的理解和应用.另外不等式的证明也是高等数学课程中的常见问题之一,运用单调性及Lagrange中值定理结合辅助函数是解决此类问题比较常用的方法.在利用单调性证明不等式问题中,通常情况下是将不等式两边相减之后的函数作为辅助函数,在利用Lagrange中值定理证明不等式问题中一般采用逆推法,适当选取辅助函数可使问题迎刃而解.     

基于有向无环图的高效区块链共识算法

针对传统区块链共识算法存在效率低和大量资源浪费的问题, 提出一种使用基于ID分类的有向无环图数据结构取代传统区块链链式数据结构的算法, 解决了 传统区块链项目无法在短时间内确认大量交易的问题. 该算法使用基于ID分类的有向无环图数据结构能更简单地达成共识, 适用于多用户在同一时间进行交易确认. 该共识算法与传统区块链项目相比能在更短的时间内确认交易, 从而可节省大量的硬件资源, 且提升区块链对交易的处理效率.     

弹头上膛线磨痕表面的分形模型

在发射子弹过程中,枪管膛线和弹头构成了枪械中最重要的摩擦副之一·理论分析和实验结果表明:随着枪支发射子弹量的增加,枪管膛线表面粗糙度增大,它对弹头表面磨损加剧,故弹头上膛线磨痕表面的分形维数D也将随着枪支发射子弹量而发生变化·根据实测数据得出分形维数D的动态方程,基于摩擦学原理和分形理论,提出了弹头上膛线磨痕表面的动态预测分形模型,其动态预测趋势与实验数据吻合·本文探索的目的在于通过分析弹头上膛线磨痕表面的变化特征来推断枪支的磨损程度·     

影响专业期刊质量的几个因素及对策

针对投稿查抄、编校和编辑人员自身因素对科技期刊的影响,提出了应采取的应对措施.     

关于对原子的同一电子组态无论LS耦合还是Jj耦合都给出相同数目的原子态的简单证明

关于对原子的同一电子组态,无论LS耦合还是Jj耦合都给出相同数目的可能状态的证明,现行的教材都是以特例加以证明,本文给出两种普遍适合的证明方法.