简介:证明了一类整系数齐次线性递归数列,当项数n是素数时,第n项与第1项的n次方模n同余.Fermat小定理,以及与Fibonacci数列、Perrin数列有关的一些定理,都可以看作是这一定理的推论.
简介:从世界范围看,侦查程序的启动模式可分为随机型启动模式和程序型启动模式。立案是我国刑事诉讼法规定的侦查启动程序属于程序型启动模式,具有案件输入功能、屏蔽功能和分流功能等。但在实践中,由于立案标准的设置不符合认识规律,导致立案前行为性质不明确,侦查启动随意和大量犯罪黑数的产生。随着我国犯罪形势的变化和法制环境的优化,立案程序在某些方面已经不能适应当前我国国情和社会发展的需要,因此有必要对其进行改革和完善。总体看,完善我国侦查程序启动的思路有三种,即采取随机启动模式,实行司法审查制度,按“警检一体化”改造侦查启动模式,完善现行侦查启动程序,目前第三种方式较为可行。