高校成为行政诉讼被告的行政法思考--兼论高校管理权的行使

高校与受教育者之间的纠纷日渐增多，使我们有必要对高校的法律地位、高校管理权的运作、立法对此应如何加以规制等问题进行探讨，以推进依法治教和高校改革的顺利进行。     

谈语文教学程序的优化

一堂语文课的教学内容以何种程序呈现给学生，取决限教学程序的优化，文章分别从教材呈现的程序和学生思维的特点两个方面论述了教学程序的优化，目的是探讨语文教学的最优化程序，大大提高教学效率。     

NP问题的3轮零知识证明系统的存在性

研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在（欺骗概率可忽略的）3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.     

Java程序的优化

本文通过使用Jayap对Java语言的字节代码进行分析，找到程序中产生瓶颈的原因，给出程序的优化方法。     

论我国民事简易程序之重构

完善和充分利用民事简易程序，以简便高效地解决民事纠纷是目前各国民事司法改革共同的关注点。我国的民事简易程序规定已不能适应社会发展的需要，我国简易程序的重构有必要在借鉴国外先进立法经验的基础上．充分考虑我国国情现实．使简易程序更加简易化、正当化。     

在AutoCAD图形上直接进行数控编程的研究

本文介绍一种基于AutoCAD图形 ,用VisualBasic 5 .0为工具的交互式编程方法 ,较好地解决了数控程序的校验问题。     

电气设计软件中工程量的统计

通过对传统电气设计软件工程量统计方法的缺点分析，提出一套切实可行的工程量自动统计方法。     

递归程序探讨

递归程序是高等院校众多计算机教材中非常重要的教学内容，笔者通过数年的教学实践，对递归程序的算法本质、适用的应用领域及其向非递归程序的转化进行了较深入的探讨，希望大家对递归有个更深刻的认识。     

KosnioWski-Stong公式的一个简单证明

Kosniowski-Stong公式是近年来带对合协边领域的一个较重要的结果，它来源于Atiyah与Singer在指标定理方面的工作。此公式现有2种证明方法，其中属于带对合协边理论的是一种验算性质的证明。现利用带对合协边理论基本定理直接导出了此公式，由此可看出这2个重要结果是紧密相连的。     

《组合数学》教学指导

本文主要从组合数学的研究方法及主要内容来介绍组合数学的主要知识点。它包括排列组合的基本计数方法，组合恒等式的证明技巧中常用的公式及其技巧，母函数求特殊容量限制的排列和组合问题，以及利用间接方法来求解计数问题的容斥原理，解决特殊计数的整数分拆，以及如何建立递归关系，用递归关系求母函数的方法，解决存在问题的鸽巢原理及Ramsey的问题，还有集合上等价类计数问题的Polya计数定理应用。