K次程序的定义和构造

在一次程序研究的基础上,针对K次程序的特性和构造理论研究不足问题,以形式化的定义阐明了K次程序的特性,并研究了K次程序的构造条件和构造方法.给出了不可以构造为K次程序的程序特性,为K次程序的构造提供了必要条件;描述了一类可以构造为K次程序的程序特性,以及这类程序的基于一次程序的K次程序构造方法和证明,从而为K次程序的构造提供了理论基础.     

论行政程序之价值取向

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

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

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

C语言程序评测方法研究

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

正当法律程序的重新定位

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

正当法律程序的重新定位

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

论程序公正与实体公正的关系

程序公正优先观和程序公正本位观都片面强调了程序公正的作用.实体公正和程序公正紧密联系,不可分割.在肯定程序公正的独立价值的同时,不能忽视程序终究以实体为依托.在立法和司法中,应树立实体公正和程序公正并重的理念.当实体公正和程序公正出现冲突时,要通过权衡各方面因素寻求一种利益的平衡,而不是简单地择一舍一.只有这样,才能真正实现司法的公正     

程序正义实现的关键--司法环节的具体运用

程序正义的实现是程序研究的归宿，程序正义实现的关键是司法环节的具体运用。本文从司法的角度阐述了程序正义实现的构成要素分析，力图建构起程序正义实现研究在理论上的逻辑起点。     

程序表示学习综述

为了提高软件的开发效率,目前已出现应用人工智能技术进行智能化开发的趋势,如何理解程序语义是智能化开发中需要重点解决的问题.针对该问题,出现了一系列程序表示学习的研究,程序表示学习可以自动地从程序中学习有用的特征,将特征表示为低维稠密向量,高效地提取程序语义并使用于相应的下游任务.对程序表示学习的研究工作进行综述,介绍了主流的程序表示学习模型,包括基于图结构和基于token序列的程序表示学习框架.展示了程序表示学习技术在缺陷检测、缺陷定位、代码补全等任务上的应用,总结了程序表示学习的常用工具集和测试集.分析了程序表示学习未来需要应对的挑战.     

PROLOG程序部分演绎的一种新方法

提出一个新的基于程序变换的Prolog程序部分演绎的方法.该方法以程序-目标对(P_0,Q_0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(P_n,Q_n),该方法保证结果程序一目标对(P_n,Q_n)和输入程序-目标对(P_0,Q_0)计算等价,并且程序P_n解目标Q_n比程序P_0.解目标Q_0效率更高.本文提出的方法已经实现.文中给出了3个部分演绎实例,并且与Benkreimi中提出的Prolog程序部分演绎的方法的结果进行了比较,说明我们的部分演绎方法更优.     

民事简易程序与普通程序的实践及路径优化——以C市Y区法院为例

基于"程序保障、费用相当"的程序设置原理,民事诉讼繁简分流,构建了一套较为完备的程序体系.其中,民事简易程序和普通程序是民事审判程序的重要内容.但司法实践中,二者繁简分流落实不够,程序保障效果不佳.通过分析在民事简易程序和普通程序适用现状、问题及原因,探讨进一步优化简易程序与普通程序的繁简分流措施.     

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

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

PASCAL美化程序的设计与实现

本文介绍一个能自动产生优美格式的程序,此程序能用于把不规范的PASCAL程序进行美化,使之变成规范的、有一定格式的程序。     

基于GEP的线性指数函数型程序不变量动态发现方法

不变量是用来描述程序运行时保持不变性质的逻辑断言．根据关系数据理论,程序不变量可分函数依赖型和非函数依赖型程序不变量．着眼于函数依赖型程序不变量,借助GEP的函数发现特点和Daikon对线性程序不变量的发现能力,重点对线性指数函数型程序不变量动态发现方法进行研究,通过实验证明了GEP对线性指数形式的函数有较高的发现效率,可以扩展Daikon在线性指数函数型程序不变量方面的预置形式以达到从程序轨迹数据中发现该类程序不变量的目的．     

科学运算程序的界面设计

研究了用目前非常流行的可视化程序设计语言Visual J 解决科学运算程序的运行界面问题。对于那些早期编写的科学运算程序，不管其复杂程序及程序篇幅如何，只要对原程序稍作修改，便可将其改为图形化窗口式的运行界面。     

我国房屋拆迁程序的完善及立法建议

房屋拆迁是政府依法行使公权力限制私人权利而满足公共利益需求的行为,这种对私人权益限制与克减的正当性需要合理的机制来保障,尤其是程序机制。通过对我国现行拆迁法律规范适用的分析,提出完善拆迁程序的立法建议:理顺征收、补偿、拆迁关系,坚持先补偿再征收最后拆迁的顺序;以合理程序界定公共利益及"合理补偿"内容;完善包括被拆迁人的程序权利、正当法律程序和补偿程序在内的程序及制度;增加为商业利益进行拆迁的程序。     

渐进式测试中标志问题的探讨

介绍一种可测试性转换算法(Testability Transformation Algorithm),通过程序转换的方法,把程序中的标志变量去掉,解决含有标志变量的程序的测试数据产生的问题.通过程序转换把程序中的标志变量进行转换,改进渐进式测试的操作.利用一系列的转换策略在不改变程序功能的前提下对程序进行语法上的修改,产生一个与原来程序的功能一样但表达方式不同的对等程序,它能改进渐进式测试在有标志变量的程序中的工作情况.     

单步中断技术在加密程序中的应用

本文分析《小鸟》游戏程序的起动程序,详细地讨论了单步中断在加密程序中的应用.单步中断技术是加密程序中的一种重要的反跟踪技术,广泛应用于加密程序中.     

正当程序的法理初探

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

基于CC2530无线传感器的Bootload设计

设计Bootload串口加载程序的方式,利用USB总线实现一次性对多个CC2530节点进行程序自动加载以及固件更新。设计中涵盖了引导装载程序的整个流程,通过代码介绍、测试环境、Bootload驱动和LED闪烁例程代码来验证Bootload的功能。经过反复程序下载测试,Bootload可用于串口加载程序,可以利用USB总线最多实现多达127个节点程序同时下载,实现自动化下载及固件更新,比传统的基于JTAG仿真器一对一的程序加载方式更加高效。