软件开发方法学与Fortran程序设计

本文从软件开发方法学的角度出发,探讨了程序开发过程,并针对FORTRAN语言的特点提出了数据流技术和层次结构技术相结合的系统化设计方法,同时,结合电力系统潮流分析这一开发实例,论述了提高FORTRAN语言程序设计效率的策略、方法和其它技术。实践证明,应用本文提出的技术方法可以取得事半功倍的效果。     

论独立量刑程序的价值——以《人民法院量刑程序指导意见(试行)》为基点

量刑程序是刑事诉讼程序不可或缺的组成部分,量刑程序在我国的确立是司法公开、公正的具体体现,标志着我国法治水平在向高处迈进,对司法实践和被告人的权利保障将会产生深远影响.     

法律程序上的形式主义及其克服

法律的发展既表现为实体法的演变与完善也表现为程序法的进化和发达,就程序法的发展而言,我国的程序立法并未带来应然效果,程序上的形式主义在选举程序、审判程序和行政程序上都有较明显地表现.这主要是法律程序本身不完善甚至缺乏正当性的要求,程序工具主义观念等因素的影响.克服程序中的形式主义需要我们全面关注程序价值,宣传程序正义思想;继续完善程序立法;强化程序观念、建立程序责任.     

正当程序的法理初探

随着现代法治国家的发展,程序在各国法律体系中占有越来越重要的地位。程序和实体一样,具有自身的独立价值,程序正义是程序内在价值的体现,正当程序又是最低限度程序正义的体现,其法理渊源可追溯至英国古典的自然正义原理和美国的正当法律程序条款。     

正当程序的法理初探

随着现代法治国家的发展,程序在各国法律体系中占有越来越重要的地位。程序和实体一样,具有自身的独立价值,程序正义是程序内在价值的体现,正当程序又是最低限度程序正义的体现,其法理渊源可追溯至英国古典的自然正义原理和美国的正当法律程序条款。     

一种面向对象的函数式语言

设计了一种对象式和函数式相结合的混合型语言ＯＯＦＬ,详细给出了它的语法及语义定义,提出了相应的实现方案,并在微机上实现ＯＯＦＬ至Ｃ＋＋的转换系统,从而提供了一种面向对象机制的描述工具。     

一种基于程序结构和程序作用的复杂性度量

本文提出了一种将程序结构和它对环境状态的作用综合起来进行评估的程序复杂性度量方法.这一方法直观、易于理解、易于计算,并可以处理用其它度量方法无法解释的一些问题。     

计算机和C－系列PC通信

介绍了计算机通过串行口与ＰＣ联接、主机和ＰＣ的设置、通信协议、块格式及ＦＣＳ计算，给出了进行计算机和ＰＣ通信的ＴＵＲＢＯＣ程序。     

C语言程序评测方法研究

对于学习计算机编程语言来说,大量的练习是最重要的,然而学生作业人工评测是个枯燥、易错、又耗费大量时间的工作。该文提出一种基于程序切片技术的程序评测方法,通过分解程序降低大规模程序在评测中的复杂度。方法首先获得程序依赖图,然后运用切片算法对程序进行切片划分,并在此基础上将学生程序与模板程序进行语义比较,最后得到程序评测信息。方法已经成功运用到C语言程序评测中,大量评测结果证明,该方法正确、有效。该方法同时也适用于其他编程类课程。     

程序网络及执行时间复杂性的估计

本文提出了一种程序网络表示模型,并用程序段的执行时间t及执行概率P对程序网络进行标记,称为t区域网络。然后,将程序网络变换为Z区域网络,Z的幂相当于t区域中一个单位延迟时间的若干倍。最后对Z区域网络进行简化,最终的Z区域表达式即为原程序的总的时间延迟公式。本文还讨论了此方法的应用情况。     

正当法律程序的重新定位

正当法律程序是美国一项著名的法律制度,对世界各国的法治建设都有深刻影响。受制于对程序认识的若干偏差．人们对正当法律程序价值的认识总是带有片面性,缺乏对其真正价值的认识。程序有自己的独立价值,正当法律程序也并非工具主义的程序。从宪政意义上讲,正当法律程序是美国法治大厦的支柱之一。     

论述程序设计中巧用表达式的方法

本文通过对程序设计语言的深入研究，总结出巧用表达式的程序设计方法，以提高程序设计的质量。     

复杂信号报警功能的PC程序编制

采用 YZ-PC-001A 小型 PC 完成 F3A 信号报警程序的编制,其编程指令只有20条,但仍可以完成这样复杂的信号报警功能.文中举例说明了程序和偏制原理,可供参考.     

防止单片机失控的新方法

文中总结了单片机应用系统中CPU程序计数器内容由于干扰而出错致使程序乱飞或死机后的恢复方法,并提出了一种新的避免失控的措施,从而更有效地防止了对RAM中内容的破坏,大大提高了系统的可靠性。     

正当法律程序的重新定位

正当法律程序是美国一项著名的法律制度,对世界各国的法治建设都有深刻影响。受制于对程序认识的若干偏差．人们对正当法律程序价值的认识总是带有片面性,缺乏对其真正价值的认识。程序有自己的独立价值,正当法律程序也并非工具主义的程序。从宪政意义上讲,正当法律程序是美国法治大厦的支柱之一。     

高效调试FORTRAN程序的批处理文件

介绍了ＦＯＲＴＲＡＮ程序上机调试的一般步骤，提出并编制了一种调试ＦＯＲＴＲＡＮ程序的批处理文件，介绍了该文件的执行过程及其特点。     

Java语言在通信程序中的应用

介绍了Ｊａｖａ网络通信方面的内容，在基于ＴＣＰ及ＵＤＰ协议的前题下，运用Ｊａｖａ丰富的类库，完成了双机通信及多机通信等功能。给出了创建多线程的一些关键技术。为利用Ｊａｖａ语言开发通信程序的软件设计提供了一些方法和经验。     

浅谈如何在立法程序中解决立法滞后的问题

现代立法程序具有民主、公开、交涉、效率、平衡、自律等属性。现代立法程序的内在价值体系主要由正义、效率、民主和秩序等构成。其中秩序给立法程序注入了制度化的理念。任何立法活动都离不开一定的程序。随着我国经济社会的迅速发展,近些年以来,我国发生的众多事件中我们都能找到立法滞后的影子,因此加强立法民主表达机制、博弈机制、增强规则的刚性将成为缓解我国立法滞后和社会发展矛盾的重要举措。