论行政程序之价值取向

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

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

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

浅析正当法律程序——在行政法中的适用

正当法律程序是法治社会的一个重要标志和保证。正当法律程序对行政法的发展产生了巨大的影响,在其作用下行政法的基本原则得到了很大的发展,程序原则在行政法中逐渐受到了重视。坚持正当法律程序在行政法中适用的前提、方法和原则,坚持行政程序的立法法治、执法公开、公正才能够使行政法符合正当法律程序的要求。     

基于ADDIE方法的文献检索课微信小程序教学模式构建

微信小程序的出现,为教育教学改革提供了新的方法和途径.结合发展教学方法的ADDIE方法,对小程序教学的优势进行了分析,设计出了小程序教学模块,并对小程序进行了开发、实施和评价,系统化构建了文献检索课微信小程序教学模式.     

基于ADDIE方法的文献检索课微信小程序教学模式构建

微信小程序的出现,为教育教学改革提供了新的方法和途径.结合发展教学方法的ADDIE方法,对小程序教学的优势进行了分析,设计出了小程序教学模块,并对小程序进行了开发、实施和评价,系统化构建了文献检索课微信小程序教学模式.     

气动时序逻辑线路的设计方法——状态区间法及其理论研究

本文研究流体逻辑时序线路的设计理论。作者按照程序的结构特征,将程序分为结构均勻程序和结构非均匀程序两类。作者应用集合代数理论,论证了消除障碍所用制约信号的充要条件,结构均匀程序“链条”结构式制约信号的存在规律和寻找方法以及将结构非均匀程序化为结构均匀程序的原则和方法。文章提出了一种新的设计方法——状态区间法,并举了几个实例。     

基于VB语言的选择题练习程序设计

本文介绍了基于Visual Basic语言编写的水力学选择题练习程序,包括软件实现的功能和程序设计过程。针对本程序有大量数据需要编写的特点,介绍了VB中资源文件的特点和功能,实现程序的便利、高效运行。     

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

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

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

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

建筑结构建模系统的研制

介绍了利用VC 研制可视化空间结构系统分析程序VSAP的某些关键技术,阐述了VSAP程序的主要功能,简要地叙述了VSAP程序的主要技术特点及各部分的构成,讨论了编制CAD程序经常用到的内存管理和数据存储方法,并给出了程序代码。此外,还讨论了在建模过程中难以处理的椭圆和椭圆弧的构造问题,最后给出一个例子证明VSAP程序建模是有效的。     

面向方面的模块化推理框架研究

3.贵阳学院物理与电子信息科学系, 贵州 贵阳 550005)〖GK2*2]摘要：模块化推理在程序分析和程序验证领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming, AOP)存在量化和易忘性等特点,违反了传统程序方法学中的模块化原则,从而容易引起方面干扰问题,使对面向方面程序进行模块化推理更加困难,严重影响了AOP的应用前景。本文阐述了面向方面程序的模块化推理目标和类型,描述了常用的面向方面程序的模块化推理方法,总结了面向方面程序的模块化推理尚存在的一些问题,指出了可能的研究方向。     

论死刑复核程序的性质定位及诉讼化改造

我国将死刑核准权收归了最高人民法院,并颁布了相关司法解释对死刑复核程序的运行进行规范但是,现行的死刑复核程序在性质上还具有浓厚的行政审批色彩,是一种诉讼程序与行政审批程序相结合的综合体。根据正当法律程序,我国应对控、辩、审三方主体在诉讼中的地位和作用进行合理调整,把死刑复核程序改造成为诉讼化程序。     

Windows操作评分程序初探

本文讨论了如何利用VB开发Windows上机操作评分程序,列举了程序的主要模块和代码,并对程序的主要特点做了简要的描述。     

试论邮电业务分营中的审计

论述了在邮电业务分营过程中审计的作用和目标,并结合邮电业务分营的具体情况,设定了相应的审计程序,即了解程序、分析评价程序、实证程序.并对这3类程序的使用进行了具体分析.     

浅析民事保全程序之完善——以司法公正为视角

司法公正是现代法治的基本要求,是民事诉讼的价值追求之一。司法公正由实体公正和程序公正两部分构成,两者是对立统一的辩证关系。民事保全程序是民事诉讼的重要组成部分,对于保护当事人合法权利、维护司法判决权威具有重要意义,民事保全程序必须满足司法公正的相关要求。我国现行民事诉讼法对于民事保全程序的规定存在很多不完善的地方,本文以司法公正为视角,分析了民事保全程序的基本理论,以及司法公正与民事保全程序的关系,在实体公正和程序公正的视角下探讨了民事保全程序的完善。     

程序算法实验考核系统的设计与实现

提出程序算法实验考核的设计方案,实现了对算法程序进行自动评价的功能。系统采用多线程技术、计算机管道技术实现对程序的自动编译、运行,并根据测试用例判断程序的正确情况。文章就系统的设计和实现进行了较为详尽的分析和阐述。     

我校移植的“数字信号处理程序包”通过鉴定

为了培养学生的实验技能,我校无线电电子学系遥控遥测教研室和自动控制教研室共同开设了“数字信号处理”的实验课,与此同时,他们还在Cromemco Symtem-3型机上开展了移植“数字信号处理基本程序包”的研究工作。参加该研究工作的有戴鸿樑、李景湘、涂国防和朱文涛。该任务从去年十月开始,并于今年四月完成。“数字信号处理基本程序包”的范围是一维数字滤波和基本快速变换。在查阅了国内外的有关资料后,他们选定了全部移植三个程序,基本移植五个程序,自行设计了一个程序,并为安徽省邮电通信部门提供了一个模拟滤波器设计程序。     

我国劳动争议处理机制之程序保障的应然价值取向

20世纪自90年代以来，程序保障的理论在诉讼程序上得到了极大的重视。为了构建和完善我国现行的劳动争议处理机制，笔者认为程序保障理论应渗透到劳动争议处理机制的各程序机制中。因此，本文提出了我国劳动争议处理机制之程序保障的三大应然价值取向，即程序公正、程序效益和程序安定，以及它们各自在劳动争议处理程序机制中的应然体现。     

Newton-Cotes求积系数与复合Gauss求积算法的程序设计

提出了利用Newton-Cotes公式进行数值计算时Cotes系数的程序设计方法和复合高斯求积算法的程序设计方法,在Matlab环境下编写了两算法的程序,数值实验结果证明了程序的正确性.两程序的编写为其应用提供了方便.     

计算机程序切片技术探讨

程序切片技术是一种分析和理解程序的技术，在程序切片技术提出的30年来，得到了很快的发展。本文主要介绍了程序切片的基本概念，程序切片的种类、算法以及用途。