审前程序纠纷解决功能设计——从我国审前程序完善的角度切人

审前程序应当像一个漏斗，使案件繁简分流，只有复杂的程序才能通过审判程序解决。因此，审前程序应该具有两个目标：一是更好地为审判程序做准备（明确争点、固定证据）；二是寻找纠纷替代解决功能（审前调解）。就目前各国经验来看，都赋予了审前程序独立解决纠纷的价值，而我国的审前程序是作为审判程序的一个附属程序，不具有审前程序应有功能。为了构建我国的审前程序，需要承认审前程序独立地位、设立诉答制度、审前调解制度等方面进行改革。     

计算机程序切片技术探讨

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

兼容Windows程序的KgdLinux操作系统研究

针对当前国产自主Linux操作系统因用户不熟悉和应用软件少而推广困难的问题，提出了一种兼容Windows程序的Linux操作系统KgdLinux。采用层次式体系结构，由应用层、兼容层、核心层组成。应用层由Windows和Linux应用程序构成，核心层由Linux内核和各种共享库组成，而兼容层采用用户空间内核虚拟化方法兼容Windows程序，提供了PE程序的加载、虚拟Windows环境、模拟Windows API的功能。采用各种基准程序和常用程序对KgdLinux上运行Windows程序的性能进行测试，测试结果表明:与在VMWare Workstation、Longene上运行的Windows程序相比，在KgdLinux上运行的Windows程序拥有更好的性能，且接近程序在本地Windows XP上运行的性能。     

我国程序正义的现状与原因分析

正义是一个古老而又常新的话题。正义一般表现为实体正义和程序正义。我国传统文化“重实体轻程序”，近年来，学术界对此错误观点与做法予以批评。本文分析了我国程序正义的现状与原因，呼吁重视程序的独立价值，使程序正义落到实处。     

新算法程序的开发初探

算法程序是用可执行程序设计语言或抽象程序设计语言描述的算法，开发正确，高效率的算法是计算机科学的核心，为了提高算法程序的可聿性和生广效率，人们正在追求算法程序开发的形式化和自动化。     

TURBO C对汇编语言程序的调用

从ＰＣ系列机的内部结构，剖析了ＴｕｒｂｏＣ调用汇编语言程序的原理。通过分析ＡＳＭ文件与汇编语言程序的格式，以及ＴｕｒｂｏＣ使用存贮器的特点，说明了采用相互兼容的方法，遵循相应的各项约定，就可将汇编语言程序当作Ｃ语言的一个过程来处理，实现ＴｕｒｂｏＣ对汇编语言程序的调用，从而得到相应的程序设计方法。     

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

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

基于PAT树的程序静态分析方法

软件测试是软件工程的重要组成部分，程序静态分析技术是软件测试中静态测试的基础，该技术通过对程序源代码进行分析以发现其中的错误．文章提出了一种程序静态分析方法，建立了一个树形结构的模型PAT（Program Analysis Tree）形式化描述了Java程序，准确地描述了Java程序的逻辑结构．最后给出了一个基于此模型的程序分析方法．     

浅论程序价值的构建

程序是法必不可少的，程序价值也是法必须追求的，其价值的选择与构建关系到效用的发挥法治的实现。笔者认为正义是法程序价值的核心，效益是程序价值的基本，人权是程序价值的终极目标，只有这样程序才能适用社会的发展，发挥法的良性作用。     

MATRIX在测量程序设计中的应用

为了优化矩阵在测量程序设计中的应用，改善以往以C／C＋＋数组表征的向量和矩阵的性能。通过对测量程序的移植，验证了MATRIX实现的正确性和使用的稳定性，同时验证了矩阵类设计思想，证明了矩阵类确实可以简化测量程序，而且提高测量程序的可读性和可维护性，真正达到简化测量程序，缩短测量程序开发周期等多方面目的。     

萨特的《存在主义是一种人道主义》论析

"存在"就是人的存在;"本质"就是人的社会概念。存在主义认为"存在先于本质",也就是说人要成为人,成为一个全面完整的人,首先要从认识自我开始,认识社会,积极入世,担当责任,成为本质意义上的人。存在主义立意为人在一个恶劣的社会处境中指出为人之道和入世之道,教导人如何存在,如何为人。存在主义鼓励人乐观向上,自在自为,从存在出发,找到自己,积极入世,实现自我的价值,成为真正的人;从我做起,承担责任,超越自我,以人道主义精神为宗旨,创造社会,开创人类和谐的社会生活。     

体操训赛管理方略之我见

体操的训赛管理工作能否达到预期目标,取决于管理的策略。对此进行了探讨,梳理出“十一规”方略,即：把握规律、精细规划、吃透规则、熟悉规程、狠抓规格、建立规范、严定规矩、巧善规避、勇于规谏、锐意规新、展现规模。     

跳远技术分析及教学方法

目的：通过对跳远的技术分析及教学方法的研究,使运动员能够快速获得正确的助跑、踏跳、腾空和落地的运动基本知识。通过对助跑的技术分析,使运动员能够快速掌握确定助跑距离及助跑的形成;通过对踏跳的技术分析,使运动员能够正确掌握起跳腿、起跳脚、踏跳板的配合及胯、膝、踝的伸展,充分施展踏跳时的爆发力,掌握踏跳时的起跳角度和水平速度;通过对腾空的技术分析,使运动员能够正确掌握摆动腿、起跳腿、躯干和手臂的角度、部位、空中高度及其用力方法和运行轨迹;通过对落地的技术分析,使运动员能够正确掌握最佳落地姿势从而提高落地动作的效率。     

工科数学教学改革探讨

工科数学教学既要教思想、教方法，又要教做人；既面向全体学生、面向大多数，又要面向两头；要引导学生转变学习观念；同时应加强针对性，注重启发性，提高积极性等，以达到提高学生素质、培养学生能力的目的．     

Climate change over southern Qinghai Plateau in the past 500 years recorded in <Emphasis Type="Italic">Sabina tibetica</Emphasis> tree rings

Two tree ring-width chronologies of Sabina tibetica were developed based on cores sampled in Qumalai and Zhiduo, southern Qinghai Plateau. The response function analysis showed that the chronologies were sensitive to temperature and precipitation from April to June in the plateau. Moisture index (MI) was defined, reconstructed and extended back to AD 1550. The cross-validation method was used to check the stability of the calibration equation, and the result indicated that the equation was stable. Six severe dry periods were found in this region in the past 453-year reconstruction, which were 1592 to 1610, 1649 to 1665, 1687 to 1697, 1740 to 1750, 1818 to 1829 and 1918 to 1933. Five severe wetting periods were 1669 to 1682, 1700 to 1709, 1800 to 1814, 1898 to 1909 and 1935 to 1950. Spectrum analysis indicated that there existed long-term cycles of 60.4 and 53.4 a, solar cycle of 11 a and short-term cycles of 8, 6 and 4 a in the reconstructed series.     

《周易》道德修养思想研究

《周易》是最早论述道德修养的著作。从顽强进取，自强不息，谦虚谨慎，勤俭节约，关心民众，以民为本，任人为贤，识贤用贤几方面进行论述。     

上饶城市化发展对策探析

＂十二五＂是欠发达地区城市化发展的关键时期。城市化是衡量一个地区经济和社会发展的重要标志,是实现跨越式发展的重要依托。作为中部地区城市化率相对偏低、区位优势明显、发展潜能巨大的上饶,必须认清城市化的发展特征和存在问题,坚持三层级、多元化、市场化、规模化、个性化、可持续发展原则;创新民本发动机制、能人回流机制、要素集聚机制、土地流转机制、人口选择机制、职业培训机制、同化平等机制、专心进城机制;加强领导、组织落实,创新制度、突破瓶颈,集中力量、加大投入,多元融资、加快进程,三级构架、逐级推进,办好园区、增强后盾,加快城市化进程,实现跨越式发展。     

浅谈如何提高学生在病理生理学课堂上的主观能动性

病理生理学是一门难教难学的重要医学基础理论课程。课堂是教师教授和学生学习的主要阵地。教师需不断丰富完善自身知识体系，在课堂上运用灵活的教学方法，利用科学先进的教学手段，努力激发学生对病理生理学的学习热情，开发学生学习的主观能动性，提高学生的课堂学习效果，并培养学生将理论应用于实践的临床思维能力。     

交互界面设计在家电产品中的应用与展望

交互设计就是优化人们工作、通信及交互方式,开发便于使用的交互式产品,使产品易学、易用,提供良好的用户体验。随着信息技术的和家电功能的丰富,越来越需要交互设计。想使家电产品获得良好的用户体验,就要对家电产品的界面及交互设计上进行研究,提升家电的可用性及用户体验。     

试论现代篮球中锋队员的能力及培养

对现代篮球中锋队员的类型进行了简要分析,概括出中锋队员应具备的基本能力:良好的篮球意识、摆脱抢位接球能力、投篮得分能力、策应助攻能力、拼抢篮板球能力、防守封盖能力等,并就培养中锋队员能力的方法途径提出了若干建议。