公诉证明标准的重塑——从证明标准的概念谈起

廓清了证明标准与证明要求的关系,在"案件事实清楚,证据确实、充分"这一证明要求的旗帜下,从两个层次上对公诉证明标准进行了阐述,提出了"有足够证据"这一表述方式,并对如何具体把握作了进一步的探讨,以期从庞杂的证明标准体系中理出一点头绪。     

有交流的博弈及其特点

从有交流的策略形式的博奕(strategic-form game)和有交流的贝叶斯博奕(Bayesian game)两个方面介绍了引入有交流的博奕(Game With Communication)的概念能极大地简化博奕模型，而且能够得出更易于分析的均衡解，并指出了有交流的博奕的概念在经济活动中设计激励相容的协调机制中的重要应用价值。     

基于椭圆曲线密码体制的有向组密钥数字签名

0　引　　言普通的数字签名,任何人只要获得签名就可验证签名的有效性。为了使特定的接收者才能验证签名的有效性,通常可采用对签名加密传送或利用不可否认签名对接收者进行签名验证控制。但这一方面会增加运算量,一方面需要进行交互式验证从而使得安全性降低。文[1]提出了有向     

有界有向图形元素的几何构型原理与方法

根据图形（实体）的有界特性提出了一种“有界有向图形元素”的几何构型原理与图形处理方法，该方法的基本原理就是对各种基本体素（或面素）与复杂形体，均采用一组“有界有向图形元素”的集合来加以描述，亦即用一组联立不等式／等式方程组来表示实体（图形）的有界边界，在该边界范围内任一点均属于该实体（图形），而在其外的点均不在该实体上，该方法既能快速实现几何构型（采用集合运算）处理，又可克服在图形操作处理时出现图     

含负权有向网络中最短路问题的求解算法

研究含负权有向网络中的最短路问题，给出了一个求解含负权有向网络中最终路问题的表上作业算法，并对该算法的正确性进行了证明，经在ＩＢＭ４８６微机上对数万个随机算例的实际试算表明，算法所需的平均执行时间短，算法对求解最小旨同用流问题和动态规化问题都有较大的意义。     

基于语料库的语言建模

语料库语言学的发展的核心问题是语言模型的建立问题。常用的语言模型可以概括为三类：（１）ｎ元模型（及隐马尔可夫模型）；（２）基于分布理论的模型；（３）基于规则的模型。基于语料库的建模过程就是对语言模型的参数进行求解的过程，也可以认为是一个机器学习的过程。它可分为两大类别：（１）有指导学习；（２）无指导学习。本文着重论述了近年发展的热点——无指导学习的各种技术和影响参数可信度的数据稀疏问题及其解决办法。     

邓小平关于坚持社会主义道路的理论

邓小平这位伟大的马克思主义．对中国为什么必须坚持社会主义道路的问题，作出了极富说服力的回答。其论述的主要精神是：历史结论和现实成就说明．只有社会主义才能救中国．有了社会主义才能发展中国；特殊的现实国情和旧有的世界格局决定．中国如果放弃社会主义转而搞资本主义只能是死路一条；只有坚持建设有中国特色社会主义道路，才是唯一正确的发展道路．只有从初级阶段的实际出发．才是脚踏实地的坚持社会主义，而坚持发展生产力和共同富裕的社会主义，则是我们之所以坚持社会主义道路的最深刻、最充分的理由。     

回归参数的部分有偏改进估计

就回归参数的最小二乘估计提出了一种部分有偏压缩估计方法，分析和讨论了这种方法的性质和特点，结果说明了这种方法可以有效地改进估计矩阵接近奇异时影响参数精度的缺点     

有穷下级亚纯函数的唯一性定理

研究了有穷下级亚纯函数的唯一性问题，推广和改进了Ｒ．Ｎｅｖａｎｌｉｎｎａ，Ｍ．Ｏｚａｗａ和本文作者的有关定理，例子证实本文结果是精确的．     

广义Pascal三角形的几个性质

本文讨论了广义Pascal三角形的几个性质,它和原Pscal三角形有惊人的类似之处。