关于递归程序的验证

本文探讨递归程序的验证技术,着重阐述结构归纳法在递归程序验证中的应用。     

论小额诉讼之合理性与适法性

本文旨在将小额诉讼制度与我国的普通程序和简易程序相比较权衡,展示出小额诉讼程序在我国适用之必要性.文章从实践和理论两方面对小额诉讼制度存在的必要性进行了阐述.实践方面力在论证我国简易程序的缺失和单用普通程序的不足.理论方面主要在小额诉讼制度的法理基础上进行论证.     

论刑事简易程序改革之误区

任何改革都需要正确的方向和稳健的步伐，简易程序改革也不例外，本文着重分析了目前简易程序改革当中存在的若干问题，指出造成这些改革误区的根本原因在于我国程序价值理念的缺乏以及司法改革理论准备的不足，并希望以此作为对热火朝天的司法改革善意的提醒。     

形容词作为后置定语的常见用法

本着重描述了英语形容词的特性及其在句中的位置，特别是置于所修饰的名词之后这一特定的现象，从几个方面阐述了形容词作为后置定语的一些用法以及形容词位于名词前面和后面时在意义上所产生的差异，以便于我们能够正确地掌握英语形容词的用法，达到学好英语，用好英语的目的。     

浅析司法对高校办学自主权的审查——由高校学生状告母校引发的法律思考

高等学校由于其本身的特点,在办学中必然要享有办学自主权。但另一方面,高等学校的办学自主权从其特性来看属于公权力,因而必须要接受司法的最终审查。但是鉴于高等学校的办学自主权对于高等学校实现其办学目标的至关重要性,因此,司法对其办学自主权的审查必须掌握在一定的度的范围内,以确保高校办学目标的实现。     

证据共通原理在普通共同诉讼中的适用

普通共同诉讼人之间除具有独立性之外,尚具有牵连关系,这是客观存在的不可忽视的事实.证据共同原理的适用,是其牵连关系的重要体现之一.本文从证据共通原理出发,认为证据共通原理有适用于普通共同诉讼法人之间的必要性,在此基础上探讨了具体如何运用的问题,以期对普通共同诉讼制度的完善有所裨益.     

关于目的范畴在句法、延展及其筛选上的理论思考

根据各种句法形式与心理目的之间的直接或间接关系,将目的范畴表述形式限定在陈述句、祈使句及其组合形成的复句上;其次,以目的单子为基点,阐述了目的表述的延展方式,即对象化和以因果为内在动力的能动化;最后设计了由语音、语汇、结构和时态四个层面组成的过滤程序,以筛选出目的语义范畴来。     

浅论秘书在非程序化决策服务中应具备的能力与素质

众所周知,秘书工作在现代社会中已具有不容忽视的作用。而秘书人员的能力与素质则直接影响着他对服务对象所进行的决策。我们所说的决策,是在科学的理论知识指导下,进行周密的调查研究,通过逻辑推理、科学分析和计算,确定行动的策略和方法的过程。通常情况下,决策可分为程序化决策和非程序化决策两种类型。所谓程序化,即使工作步骤按时间先后或依次安排而进行。作为秘书,通常是处在非程序化决策中。在这种非程序化决策中,如何为领导出谋化策,用自己的聪明才智为领导提供最佳的策略和方法,供领导在非程序化决策中参考,这是作好秘书工作的关键。本文就这个问题作粗浅探讨。 秘书工作历来肩负着服务的使命,秘书工作的从属性也就决定了它的服务性。因而,绝不能把秘书工作在领导者非程序化决策中的参谋和智囊作用与领导者在非程序化决策中的决定作用等同起来。     

微机辅助设计机械产品装配图

本文提出一个在微机上设计机械产品装配图的方式。以Auto CAD为图形支持软件,利用其图形处理功能构成零件图子集,继而按装配要求形成草图,通过接口程序将图形信息转换成数字信息,求交、消隐后自动生成所需的产品装配图。     

城乡居民的守法观念与警察信任

守法观念不仅是社会主义法制观念的重要组成部分,还体现了人们对法律权威和伦理秩序的认知和态度。探讨守法观念在户籍与警察信任之间的关系有利于凸显中国城乡居民权威信任的法治属性,同时也丰富了中国人的警察信任研究。当前,国内外学者还没有从守法观念的角度对中国城乡居民的警察信任进行研究。基于CGSS2017数据,通过建立城乡户籍、守法观念和警察信任的中介效应模型进行研究可以发现:首先,城市居民的程序正义信任和分配正义信任高于农村居民;其次,城市居民的守法意识比农村居民强,较强的守法意识促进警察信任;最后,从警察信任的不同维度来看,守法观念在城乡户籍与程序正义信任之间起到完全中介作用,守法观念对户籍与分配正义信任的中介效应小于程序正义信任,守法观念对中国居民有效性信任的促进作用没有城乡差异。