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

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

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

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

论行政程序之价值取向

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

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

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

我国死刑复核程序理念的实然与应然

长期以来,我国以死刑刑事政策为理念建构死刑复核程序引发了一系列问题,对死刑复核程序的改造必须首先从理念上实现转变.以程序正义观念代替死刑刑事政策作为死刑复核程序的建构理念、以司法权的运作规律代替行政权的运作规律作为死刑复核程序设置的基础、以权利救济型程序代替政策实施型程序作为死刑复核程序的模式,并走渐进化改造之路,才能实现我国死刑复核程序的根本改革.     

民事程序转换问题研究

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

职务犯罪初查制度的合法性分析

在我国,初查程序在职务犯罪立案前被广泛运用,成为立案查处职务犯罪案件的必经程序,但刑诉法对初查程序没有规定,法理上对该程序的合法性也有诸多争议。文章基于初查程序的合法性分析,认为初查属于任意侦查的范畴,其合法性并不取决于其程序的法定化,提出了初查程序中所获取的证据具有证据能力的观点。     

罗马-教会法民事诉讼程序的特征及其历史地位

罗马-教会法民事诉讼程序在诉讼程序法中被称为“欧陆诉讼程序之母”,具有重要的历史地位。它缔造了现代民事诉讼程序的雏形,是诉讼程序理性化的开端。罗马-教会法民事诉讼程序以书面程序为原则、采行间接审理模式、严格的形式证据制度、诉讼程序断续迟延、发明了简易程序,形成正式-简易二元程序结构。它是英国衡平法诉讼程序及海事诉讼程序的渊源,还促进欧陆诉讼程序的统一和诉讼法学的形成。     

诉讼程序公正刍议

随着依法治国的深入开展,人们越来越关注司法公正了,实现司法公正是依法治国的一个重要方面。司法公正由诉讼程序公正和诉讼实体公正构成。本文将详细介绍诉讼程序公正观念提出的背景,现在社会对诉讼程序公正的理解,诉讼程序公正与诉讼实体公正的关系,诉讼程序公正与诉讼程序效率的关系,最后探讨诉讼程序公正在我国的实现。     

我国民事司法鉴定程序之完善——以与勘验程序之比较为视角

我国现行法律设计的民事司法鉴定程序与勘验程序存在显著差异。但在理论上,民事司法鉴定程序与勘验程序在本质上具有一致性。法国及我国澳门地区民事诉讼法对民事司法鉴定程序与勘验程序关系的处理颇具特色,值得我们借鉴。通过参考勘验程序来重新设计我国民事司法鉴定程序,可以使鉴定人出庭的必要性大大降低,这有利于化解鉴定人不出庭的现实困境。     

用代号源程序固化BASIC程序

本文提出了一种利用代号源程序固化BASIC 用户程序的方法。根据BASIC程序运行原理,从RAM中调出代号源程序,对应EPROM所占空间,修改每一语句中指向下一语句行的指针,将修改指针后的代号源程序写入EPROM,再把EPROM 的首址装入微机通讯区中存储用户程序首址的单元中,实现了在EPROM中直接解释和执行BASIC程序。该方法具有固化方便、占用存储单元少等特点。     

浅谈俱乐部健康体育计划的种类与形态

本文从理论上阐述了俱乐部常用的健康体育练习计划、学习计划、小组计划、测验计划、休闲体育计划、个人（顾问）指导计划、活动（比赛）计划等计划的种类以及包括的主要内容,地一步探讨了单一型计划和综合型计划、短期计划和长期计划、特定对象计划和不特定对象计划等计划的形态。     

有限元编程中应用面向对象编程技术的探讨

采用面向对象编程技术（OOP）,运用C 语言,描述了有限元程序的设计过程。针对有限元分析中的结点、单元和整个研究区域,建立了结点类、单元类和研究区域类分别负责管理,并提供了程序的部分实现代码。与传统Fortran语言编制的有限元程序相比,该法编制的程序执行速度快、维护简便、易于实现多种类型单元共存的情况,是解决大型有限元程序编制的有效方法。     

带有指针的嵌套式语言全程数据流分析及程序分片系统

以PASCAL语言为模型,设计并实现了一个针对带有指针的嵌套式语言的全程数据流分析及程序分片系统,能够有效地处理程序中的指针,在程序测试、程序理解、程序调试、程序分片等领域都将有广泛的应用.     

一种新型带式输送机结构方案设计

设计程序的传送带的黑箱方法,建立了结合计划模型与方法,功能分解的构建方案的评价模型进行优化,并用动态规划的方法确定最佳组合的结构,解决了设计方案由于缺乏信息,难以量化和评估的。结果证明该方法确定最佳的程序集的正确和符合实际。     

一种改进的程序流程图--层次流程图HFG

程序流程图是刻划程序控制结构的一种重要的表示方式，层次流程图（HierarchicalFlowGraph,HFG）是一种真正基于块、节点、段三层程序划分机制的完全图形化的新型程序流程图，将程序由二维空间拓展到了三维空间，HFG有效利用了块结构的构型特征和对象封装性，具有较高的可重用性和可扩展性，此外，HFG还提供了极为灵活的程序收缩和延展机制，可提供多级别的程序框架，在很大程度上改善了程序理解和测试工作。     

继续为实现党的基本路线和历史任务而奋斗

江泽民总书记“七一”讲话,为我们正确认识党的最高纲领和最低纲领之间的辩证关系提供了理论依据。实现党的最高纲领,必须制定符合社会主义社会不同发展阶段的最低纲领,实现党的最低纲领是实现党的最高纲领的重要步骤;而正确地判断社会主义社会不同发展阶段,又是制定最低纲领的重要依据。我们过去的一切失误,都根源于对社会主义社会发展阶段的错误判定。因此,正确认识社会主义发展阶段,是实现党的最低纲和最高纲领的重要条件。     

基于插桩技术的程序谱构建方法

为了满足软件测试、软件调试和程序优化等领域对程序谱的需求,提出了基于插桩技术的程序谱构建模型,主要包括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹构建程序谱。采用双缓冲处理机制,可有效提高源代码处理效率,有穷自动机能够准确识别插桩点。在软件错误定位中的应用结果表明基于插桩技术构建的程序谱可为准确、高效的程序理解和分析提供方便。     

电视真人秀节目的真实性探究——以《爸爸去哪儿》为例

电视真人秀节目主要是通过对真实发生的事件进行拍摄,这种节目的主要特点就是具有非常强的真实性,凭借着这种真实性节目风格获得广大观众的青睐。观众对于这种真实性的节目会产生一种信赖感,同时在观看的过程中产生共鸣,以此和真人秀节目建立一种稳定的默契关系,从而发展成为这个节目的忠实粉丝,而这个节目也因此获得了非常稳定的收视人群。本文将以电视真人秀节目《爸爸去哪儿》为例对节目的真实性进行讨论。     

基于生态系统服务价值核算的土地利用规划评估——以宁夏隆德县为例

将生态系统服务价值指标应用于土地利用规划,从生态系统服务的角度对土地利用规划进行评估.以宁夏隆德县为例,计算了该县1996,2005,2010,2015和2020年土地生态系统服务价值,通过对生态系统服务价值总量、各地类生态系统服务价值量、生态系统服务价值贡献率进行了分析,认为其土地利用规划基本是合理的,符合隆德县"生态立县"的发展目标,并与1996—2005年规划有紧密的衔接性,但存在牧草地生态系统服务价值贡献率偏小的问题,应予以调整.