浅谈法律程序观念

法律程序的作用与意义，不仅仅体现在诉讼活动中，更应体现在立法、执法、守法等所有法治建设活动中。因此，在普法和法制宣传教育活动中，在大力培养人们法制观念、提高人们法律意识的过程中，程序观念的培养和灌输是一个十分重要的、不可缺少的内容。     

土地征收程序的缺陷及完善

随着我国经济和社会立法经验的丰富和立法技术的进步,必将构建出一个科学、合理的土地征收程序,以实现各方利益平衡,更好地促进经济和社会的发展.     

民事程序转换问题研究

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

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

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

程序布局的原理分析

针对实践中有关程序布局的改进,以ＰＡＳＣＡＬ为代表,从软件工程心理学和程序设计方法论的角度,分析探讨良好布局风格的若干原则,以程序片段说明其思路,并给出可操作的,部分是全新的具体建议。     

刑事赔偿程序的反思与构想

中国刑事赔偿程序存在着条文简单粗糙,管辖机关庞杂,赔偿义务机关权力过于强盛缺乏有效制衡,赔偿委员会职权有限等诸多弊端,因此,必须牢固树立程序公正意识,遵循诉讼规则,对现行的刑事赔偿程序加以立法改造和制度完善,构建正当的刑事赔偿程序。     

法院调解程序和判决程序的功能定位——以民事诉讼目的为视角

德国著名法学家耶林有句名言,＂目的是所有法律的创造者＂。立法者制定一部法律的目的,往往决定着这部法律的立法模式和利益倾向。因此,作为一种理念的探索,研究民事诉讼的目的对于立法、司法过程以及理论学说的深入和实践中机制的运作具有重要的意义。本文试图通过结合民事诉讼的目的,分析法院调解程序和判决程序的功能定位,进而明确法院在适用调解程序和判决程序时的侧重点。     

关于民事诉讼程序价值的思考--兼评民事程序法与民事实体法的关系

我国民事诉讼中长期存在的"重实体、轻程序"的现象有其深刻的认识根源.对价值的内涵及民事诉讼法与民事实体法的关系加以剖析,可知民事诉讼程序决不仅仅是实现民事实体法的工具,它有其独立性价值.     

一种有机膦——己二胺四甲叉膦酸的Multiwfn研究

己二胺四甲叉膦酸（HDTMPA）是一种有机膦,富含膦酸基团和亚氨基,膦酸基团中氧原子上的孤对电子较多且空间位阻小,常被用于和黏土矿物一起制备复合材料吸附重金属离子。采用Gaussian程序对HDTMPA分子进行结构优化,再使用Multiwfn程序对HDTMPA的原子电荷、静电势、平均离子局域化能、电子定位函数等进行分析,研究其吸附机理以及有机膦的活性位点。分析发现,HDTMPA分子中膦酸基团上的氧原子是活性位点,且P=O上的氧原子比P—OH上的氧原子活性更强。     

基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能 够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

几类危害网络安全的JAVA程序分析

分析了几类会危害网络安全的JAVA程序，揭示这类程序的运行和危害机理，为维护网络安全寻找思路。     

Web application comprehension based on dependence analysis

Many research indicate a lot of money and time are spent on maintaining and modifying program delivered. So the policies to support program comprehension are very important. Program comprehension is a crucial and difficult task. Insufficient design, illogical code structure, short documeres will enhance the comprehensive difficulty. Developing Web application is usually a process with quick implementation and delivery. In addition, generally a Web application is coded by combining mark language statements with some embedded applets. Such programming mode affects comprehension of Web applications disadvantageously. This paper proposes a method to improving understanding Web by dependence analysis and slice technology.     

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

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

以ANSYS为平台的复杂模型到FLAC3D导入技术

为了克服使用FLAC3D软件难以建立复杂的模型,而且容易出错的缺点,提出了一种快速建模方法,该方法用ANSYS建立复杂的有限元模型、分配材料属性、划分网格,然后采用Visual C 语言编写的ANSYS _TO_FLAC3D接口程序把复杂模型导入FLAC3D,从而实现在FLAC3D里建立复杂模型的目的.此外,通过两个具体实例的三维建模导入检验了该方法的有效性和可行性.结果表明:以ANSYS为平台的复杂模型到FLAC3D导入的结果另人满意,该方法在FLAC3D的复杂模型建立方面具有一定的参考价值.     

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

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

论民事再审制度与处分原则的整合

为了改革我国的民事审判监督制度,建立新的民事再审程序,笔者从民事诉讼基础理念——处分原则入手,分析研究现行的审判监督程序的制度设计理念上的偏差,并在此基础上,提出构建符合现代民事诉讼理念的民事再审程序。     

建立高等学校学生违纪处分听证程序制度的研究

听证制度作为行政程序制度的核心,在高校学生违纪处分工作中发挥着重要作用。近年来,随着高等学校与学生之间的纠纷不断增多,保证程序公正性的制度,逐渐被引入了高等学校对学生的违纪处分程序中。本文阐述了高等学校学生违纪处分听证制度的必要性、听证适用范围及具体程序等,意在使高校的学生处分程序更加规范化、制度化。     

证据保全程序价值目标之透视

任何程序技术、活动规则和法律制度都是在一定价值理念的指导下创制的,证据保全也不例外。一般认为,诉讼公正和诉讼效率是司法程序最主要的两个价值目标。因此,证据保全也必须有利于诉讼公正和效率价值目标的实现。