小额诉讼程序与速裁程序的比较及立法选择

小额诉讼程序和速裁程序皆为我国民事诉讼简易化程序改革之产物,两者既有相同之处又有相异之点。从司法改革趋势来看,速裁程序日益凸显其实践价值,小额诉讼程序则逐渐式微。但是,不能因速裁程序之＂兴盛＂,小额诉讼程序之＂没落＂,而在倡举速裁程序之时,完全摒弃小额诉讼程序之功能性价值。毕竟,小额诉讼程序与速裁程序并无本质上的冲突和矛盾,两者均有值得引鉴的内在机制。所以,改进和整合小额诉讼程序和速裁程序,将小额诉讼程序置于速裁程序之中,成为速裁程序一部分更为合理。     

民事程序转换问题研究

《民事诉讼法》作为程序法必须以严谨的程序设计为依托,任何一项民事程序都有其运行规则和内在逻辑。由于民事法律事实的变化,可能会出现民事程序转换的情形。具体包括审判程序中简易程序与普通程序之间的转换以及非讼程序转换为诉讼程序两大类,而简易程序与普通程序之间的转化具体分为普通程序转化为简易程序和简易程序转化为普通程序两种,简易程序中的小额程序转化为一般简易程序或普通程序也是一种民事程序转化的形式。而在每一项程序制度设计的背后,其可行性、可操作性都是司法实践中无法避免的问题,程序之间如何转换,转换的空间和可能到底有多少,这些都是学界和实务界必须深入研究的问题。     

仲裁裁决撤销程序的定位及建构

由于程序性质的定位错误及其导致的程序设置的非理性,中国仲裁裁决撤销程序出现立法缺失和司法混乱的局面,难以实现程序正义的立法理想,无法有效保障程序主体的合法权益,因此必须在对程序科学定位的基础上进行合理构建,以期实现程序设立的目的。     

论程序价值的现代实现

现代程序价值不能仅停留在价值讨论上,更应在程序的立法与实施中贯彻和实现,但是如何体现,用什么方式体现却一直没有得到重视.现代程序价值的实现必须落实到具体规则的设置——也就是规则的程序性和程序度问题.程序既要体现程序“性”,还必须科学适“度”地设置程序规则,才能体现和实现程序价值.     

论行政程序的价值

行政程序是现代行政法的重要内容之一,相对于行政实体而言,行政程序具有其独立价值.行政程序的价值可以分为内在价值和外在价值两种,程序的内在价值是指程序独立存在的价值,主要包括公开价值、行政相对人权利保障价值、程序合理性价值、自由和效率价值;程序的外在价值是程序实现实体法的价值,包括秩序和公正价值.     

让学生真正成为教学的主体——化学程序启发教学模式探析

对化学程序启发教学模式进行了3方面的透视,即化学程序启发教学的活动要素和程序、化学程序启发教材的特征性、化学程序启发教学模式的心理学基础,并以化学程序启发教学为实例,探讨了化学程序启发教学模式是如何让学生真正成为教学的主体.     

论立法程序的公正性

立法程序是否公正影响到所制定法律的公正性。公正的程序体现为程序的民主性、控权性、参与性和公开性。民主的程序必须反映大多数人的意志,维护大多数人的利益。程序本身就是对权力的控制和规范。程序的设置及其运行都反映着对权力的规范和制约。参与性是指应当保障那些权力可能受到程序影响的人有充分的机会和有效的途径参与程序的过程,并对程序的结果发挥有效的影响和作用。公开性包括立法信息和资料的公开,议事过程的公开,立法活动的时间、地点和事项的公开。     

Prolog与C程序连接的实现技术

在图形用户界面广为流行的今天,人工智能程序设计大多仍基文本方式,通过程序连接的方式,人工智能程序也可以具有漂亮的ＧＵＩ界面,Ｐｒｏｌｏｇ是逻辑程序设计语言,Ｃ是过程型语言,Ｐｒｏｌｏｇ程序与Ｃ程序的连接为Ｐｒｏｌｏｇ提供了更强的计算能力和ＧＵＩ功能也为Ｃ语言的应用提供了智能推理能力。基于Ｔｕｒｂｏ Ｐｒｏｌｏｇ２．０和Ｔｕｒｂｏ Ｃ２．０,本文结合程序实例介绍了Ｐｒｏｌｏｇ程序和Ｃ程序的接口程序设     

论行政程序之价值取向

介绍了程序、行政程序的概念,揭示了程序、行政程序的价值取向的内在联系,通过对行政程序正当性的分析,探究了行政程序的价值取向——公正与效率的问题,在此基础上,进一步分析了行政权主体分离和成本最小化下行政程序的效率价值取向及其相关问题。     

略论我国宪法程序的不足

宪法程序是法律程序的核心和关键。这是由宪法地位和效力的最高性及宪法内容的根本性决定的,同时,这也是宪法程序对其他法律实体及程序所具有的决定性作用的要求。但是,我国在这方面是严重不足的,其主要表现为我国的宪法制定程序,宪法修改程序,宪法解释程序,违宪审查程序的各种不足之处,这需要我们不断地完善它。     

数据库技术发展的回顾与展望

对数据库技术的发展作了回顾和展望，肯定了第一代数据库的开创性和第二代数据库的基石作用，着重展示了当代数据库技术发展的主要动向，并从对分布或数据库、知识库、面向对象的数据库和多媒体数据库的分析中，探讨了未来数据库发展的基本趋势。     

大型数据库中的高效序列模式增量式更新算法

提出一种称为FIMS（fast incremental mining of sequential patterns)的序列模式增量式更新算法，处理因数据库的更新而引起的序列模式的维护问题。主要思想是利用原先的序列模式挖掘结果，通过建立一个投影数据库来减少对整个数据库的扫描次数和侯选序列的生成，从而提高挖掘的效率。实验结果显示在更新数据量远小于整个数据库的大小时，FIMS算法的性能优于GSP算法4－7倍。     

数据库视图更新的一种Opfibrations方法

视图为数据库操作提供一定程度上的逻辑独立性,但视图支持的这一功能依赖于数据库视图更新问题的解决.针对数据库视图更新问题的研究现状,提出一种基于Opfibrations的数据库视图更新方法,在模型范畴内将视图定义映射提升为数据库视图更新函子并分析了泛转换存在的条件,对数据库视图更新函子的Opfibrations分裂性质进行了形式化证明,设计了数据库视图更新函子的Grothendieck构造方法,为数据库视图更新问题的有效解决提供了统一的基于Opfibrations方法的数学框架.     

XML数据库技术研究

对XML数据库技术进行了总体分析,介绍了XML的最新研究进展,并将其与传统的数据库技术进行了比较,指出了其目前需要改进的方面.     

与或图数据库的关系模式规范化算法

在图论基础上提出了与或图数据库。以与或图为描述工具的一种新的数据库理论 ,它使数据库的理论更加直观 ,算法更加简洁。给出了与或图数据库的定义、规范化理论、无冗余和既约化理论 ,证明了它与关系数据库的等价性 ;然后给出了依赖集存在冗余和既约的必要条件 ,讨论了无损分解在与或图形式下的特性 ,从而形成了与或图数据库关系模式分解的规范化算法。结合实例阐述了与或图数据库比关系数据库更加形象直观 ,便于理解学习 ,且为图论和人工智能各种算法在数据库应用中的引入奠定了相应的基础     

面向主动对象数据库系统综述

面向对象系统的开发在语义上大大缩小了数据库存储对象和真实世界对象之间的差距．但面向对象数据库系统是被动的．主动数据库系统提供一种机制监视数据库的状态,能够主动对数据库内部的值或外部条件变化作出反应．面向主动对象的数据库系统将两者功能有机地结合在一起,一方面增强了面向对象数据库的功能,另一方面也弥补了主动数据库系统的某些不足．本文回顾了面向主动对象数据库的发展,介绍现已提供的面向主动对象的数据库系统的特点,最后探讨了本领域的挑战和发展方向。     

主动数据库管理系统的设计

提出了将传统的关系数据库管理系统转换成主动数据库管理系统的设计思想．构造了表达主动规则的基于ＳＱＬ的扩展语言，给出一种统一存储和管理规则的方法，设计了实现主动规则系统的总体框架     

通用海量数据库性能测试系统的设计与实现

为客观反映数据库实际运行性能,设计一种可配置数据库性能测试标准,它能够针对具体应用数据库系统,建立相应的控制模型、数据模型和事务处理模型。控制模型描述数据库的运行模式,数据模型描述用户访问数据库的数据集合,事务处理模型描述用户访问数据库的行为模式。控制模型通过事务处理模型和数据模型组装动态SQL(standardquery language)语句,然后产生多个并发进程模拟大量实际用户访问数据库,以测试数据库的运行状况和性能。分析与实际测试结果表明,该系统能够根据实际应用系统配置数据库性能测试标准,较之目前国际上通用的固定模型测试标准如TPC-C等,更能够客观反映数据库实际运行性能。     

XML数据库技术研究

对XML数据库技术进行了分析研究,研讨了XML数据库技术与传统的数据库技术的性能比较,指出了目前需要改进的方面。讨论了XML数据库技术未来的发展趋势。     

关系数据库中查询优化方法的探讨

数据库是一个复杂的高效率、高性能的软件产品,查询是数据库中最基本、最常用的操作。查询优化对于关系数据库的性能,特别是对于大型数据库系统的性能至关重要。以关系数据库为基础,结合实践经验,从数据库设计和查询策略选择的角度讨论查询优化技巧。