Sufficient and necessary conditions of separability for bipartite pure states in infinite-dimensional systems

The PHC criterion and the realignment criterion for pure states in infinite-dimensional bipartite quantum systems are given. Furthermore, several equivalent conditions for pure states to be separable are generalized to infinite-dimensional systems.     

新《刑事诉讼法》背景下证人出庭作证保障机制优化研究

新修正的《中华人民共和国刑事诉讼法》在我国施行已两年有余,在实践中积累了一定的司法执行经验,最高人民法院和最高人民检察院都出台了相应的细则以及司法解释辅助法律的执行.对证人出庭作证的难点和原因进行分析,提出了完善证人出庭作证的机制,首先需要明晰证人证言采信及出庭的必要条件,其次要健全证人权益保护和补偿机制,同时要完善司...     

侦辩交易的提出及若干形态分析

侦辩交易是不同于诉辨交易的一种形态，在国内外侦查实践中均存在，如我国的坦白从宽，美国的刑事免责以及污点证人制度。侦辩交易的主体虽然是侦查机关和犯罪嫌疑人及其辩护人，但侦查机关主要是通过向公诉机关和审判机关提出建议来践行交易。     

目击见证的心理学研究

目击见证的心理学研究已形成了沿着估计变量和系统变量两个方向进行的思路,并取得了大量的研究成果。同时,已有的研究也启示,要加强司法实践和心理学研究的联系,多途径多方法对目击见证进行研究。     

Simplified Design for Concurrent Statistical Zero-Knowledge Arguments

This paper shows that the protocol presented by Goyal et al.can be further simplified for a one-way function,with the simplified protocol being more practical for the decisional Diffie-Hellman assumption.Goyal et al.provided a general transformation from any honest verifier statistical zero-knowledge argument to a concurrent statistical zero-knowledge argument.Their transformation relies only on the existence of one-way functions.For the simplified transformation,the witness indistinguishable proof of kn...     

并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

妇女亲历者口述史料中的苏区群众工作：1929-1934

中国共产党在苏区局部执政时期，坚持真心实意为群众谋利益的群众观：坚持深入群众，调查研究；坚持艰苦奋斗，廉洁拳公．践行苏区干部好作风；坚持动员群众．宣传群众，组织群众；坚持腿勤、手勤、嘴勤，倡导群众化的工作方法，开展了卓有成效的群众工作。有利于取得群众的拥护，促进妇女解放事业的发展和苏维埃革命的开展；有利于促进苏区妇女权益的保障，推动男女平等和社会进步；有利于造就苏区群众工作的干部队伍，锤炼具有中国革命特点的科学的群众工作方法：有利于铸就苏区精神，弘扬苏区干部好作风。     

论直接言词原则

介绍了直接言词的概念,论述了直接言词原则的意义及在我国的实用。指出直接言词原则是大陆法系各国刑事审判中普遍建立的基本原则,在英美法系也有与之极为相似的传闻证据规则,并且在许多方面体现出了更为严厉的要求。所以从这一意义上说,直接言词原则又是一项世界性的刑事审判原则。认为在我国,现行刑事审判程序缺乏完善的直接言词原则及其配套制度,无法保障控辩双方的真正对抗,所以我们需要真正确立直接言词原则。     

证人拒证犯罪化应当缓行

新的刑事诉讼法施行后,我国引入了对抗式的审判方式。对抗制的审判方式要求证人出庭作证,但是,当前我国的证人出庭作证率很低。为了提高证人出庭率,不少学者提出“证人拒证犯罪化”的主张。但是,在我国当前的情况下,尚不具备“证人拒证犯罪化”的条件。如我国没有建立起完善的证人保护制度、没有建立证人拒证权制度、没有建立起完善的刑事案件繁简分流制度,从而使每个案件证人出庭作证实际上不可能,“证人拒证犯罪化”不是解决证人出庭率低这一问题的对症良方。     

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.