论司法资源配置与司法公正

司法程序公正得以保障的物质基础是充沛的司法资源.随着社会现代化程度的不断发展,人与人之间的关系越来越疏远,诉讼成为解决争端的主要方法,诉讼率日益增高.当诉讼爆炸与司法资源稀缺的矛盾突兀的呈现时,法律制度必须成为"一种配给制度".然而,法律资源配置的不充分、不平衡,使司法审判人员拥有不同的法律资源,当事人不能平等地享有法律资源,各方参与者徒具形式上的平等参与机会,在实质上却不具有平等的参与能力和参与效果.在这一过程中,弱势群体因自身或社会的原因失语于司法资源配置的利益博弈,往往以被排挤者的面孔出现在我们周遭,并以体制外的诉求表达途径来拷问这个市场的合理性.因此,合理的配置有限的司法资源应当成为司法公正的机制保障.     

高校学生权益救济思考

新的《普通高等学校学生管理规定》对高校学生的基本权利义务做出了明确阐述,也规定了当其权益受到侵害时的救济途径。本文沿顺该《规定》的框架和体系,探讨了高校学生处分的可诉性问题及司法审查与高校自主管理的制约和平衡。     

因袭与创新:变动中的价值认知及抉择——宽严相济刑事政策理论与实践研究之二

宽严相济的刑事司法政策是我国刑罚思想由侧重惩罚报应向惩罚与教育矫正并重转变的重要标志,其价值体现为预防犯罪,保障人权,惩罚犯罪等向度。该政策既秉持刑法之严,又张驰刑法之宽,以期维护稳定,化解矛盾,减少对抗,促进和谐。     

基于SCADE的城轨联锁软件开发方法的研究

CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法.     

形式化方法在列车运行控制系统中的应用

为了确保列车运行控制系统设计和开发的正确性,比较了仿真、测试和形式化3种能够验证系统设计正确性的方式。根据列车运行控制系统对安全的苛求性,提出了4个与系统安全相关的重要特性,即实时性、混成性、分布(并发)性、反应性,并分析了与这些特性相关的具体形式化方法。通过对每种形式化方法的数学基础和应用范围的分析和归类,给出了各种方法的优势和不足。分析结果表明:任何形式化方法的应用都具有一定的局限性,这是由模型检验和定理证明的本质所决定的;指出了新方法提出、既有方法拓展以及多方法集成将是列车运行控制系统的形式化领域的方向。     

条码文法研究

以Ｃｈｏｍｓｋｙ关于形式语言的基本理论为工具研究了条码，得出了一组结论。这些结论对通用解码程序设计的研究，具有直接的指导作用。     

A FORMAL SPECIFICATION LANGUAGE FOR DYNAMIC STRAND SPACE MODEL

IntroductionCryptographic protocols are the protocols usedto establish secure communication over insecureopen networks by exploiting cryptography,andthey are thought to be simple because just severalmessages are included. However,it is a subtleproblem to guarantee the correctness of a crypto-graphic protocol[1] .In order to solve this problem,many researchers have worked on applying formalmethods to analyze cryptographic protocols,andthey are notperformed on the executable code,butrather on Do…     

中国阶层分化与司法多边主义

当代中国阶层分化,需要现实司法转向关注更高质量的特殊正义及运作机制。其思维进路就是“司法多边主义”,从理论上有三重内涵：多元化规则、必要的商谈和合法性检验。而这种司法多边主义立场,不仅有其理论依据,而且能从近30年司法理念流变中获得经验证成。此外,走出司法积极主义与司法消极主义之间的悖论困境,经由检视、商谈和细节配套避免法政策实施出现意外社会后果,以及在法官推动制度变革的现实与司法自我约束的角色之间加以调适,亦甚为必要。     

和谐社会构建时期我国公共政策的发展趋势

公平与效率、城乡与区域发展、经济与社会发展、强势群体与弱势群体发展等四个方面的失衡,是社会转型时期我国公共政策偏颇的集中体现.党的十六届四中全会提出了构建社会主义和谐社会的执政理念和政策导向,将使我国公共政策从以"效率优先,兼顾公平"向以"公平、公正和利益协调"为基础的和谐方向发展.