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

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

浅论程序价值的构建

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

我国破产案件受理程序浅析

现代程序保障理论观点认为，程序赋予利害关系人的权利、提供的程序保障与关系人的相关利益大小、程序结果是成比例的。据此分析，我国破产案件的受理程序提供的程序保障与受理法律效力并不相称，案件受理给债务人及债权人带来一系列重大的法律后果，而作出这些后果的程序债务人或债权人基本上不能参与。且在一个极为狭小的受理程序空间内，要求法院对诸多复杂破产实体要件进行审查是不现实的。不能对实体要件进行审查，没有赋予利害关系人相应的程序参与权，影响重大的破产受理效力便失去了程序正当性。     

计算机程序切片技术探讨

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

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

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

关于C程序移植再编译方法的研究--计算机判阅c程序题的改进方法

c语言程序题的判阅是计算机考试中的重要部分。以往计算机判阅c语言程序题时，由于学生编写的c语言程序题死循环程序比较多，导致了计算机死机的问题。因此提出了C程序移植到vc 程序环境中再编译执行的方法，当出现死循环情况，对其执行的对话框进行关闭，解决了计算机死机的问题。     

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

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

可编程序控制器在变频调速系统中的应用

介绍了可编程序控制器控制变频器的方法及硬件连接，变频器参数的设定，可编程序控制器梯形图程序设计。可编程序控制器与变频器结合是一种理想的控制方案，有推广应用价值。     

看不见的正义非正义

正义通过法律予以实现，但归根结底还是靠程序正义加以实现。程序公开是程序正义的内在品质之一，实际程序公开有助于实现程序公正。然而考察我国刑事司法实践可以发现，诸如审判不公开、侦查不公开，证据不公开等诸多程序不公开现象在一定范围内还相当普遍，对此予以理性分析，寻其生长原因与相应对策是我国司法改革的当务之急。     

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

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

DLL在Visual Basic程序中的应用

给出了Ｗｉｎｄｏｗｓ应用程序建立动态链接库（ＤＬＬ）的方法与步骤,对在 Ｖｉｓｕａｌ Ｂａｓｉｃ程序中如何应用动态链 接库（ＤＬＬ）进行了详细讨论。可供Ｗｉｎｄｏｗｓ应用程序设计进行参考。     

电视节目的市场营销

电视节目营销网络的建立是市场开发的重要环节，是电视节目制作单位的生存之本；电视节目的营销策划是通过设计不同的谋略计划来进行市场竞争；电视节目的促销则是提高市场占有率的有效方式。文章从以上3方面阐述了对电视节目进行市场营销的策略与措施。     

点阵式液晶显示器画线程序设计

介绍了点阵式液晶显示器画线程序设计思想和框图，并给出了点阵式液晶显示器ＤＭＦ５００１用ＰＬ／Ｍ语言编写的８０９８单片机画线程序。     

程序算法实验考核系统的设计与实现

提出程序算法实验考核的设计方案,实现了对算法程序进行自动评价的功能。系统采用多线程技术、计算机管道技术实现对程序的自动编译、运行,并根据测试用例判断程序的正确情况。文章就系统的设计和实现进行了较为详尽的分析和阐述。     

时域有限差分（FD－TD）法计算均匀有耗媒质中介质圆柱的散射

本文用时域有限差分（ＦＤ—ＴＤ）法计算了高斯脉冲平面波投射于金属导体圆柱的散射场，与已知结果对比验证了本文所编程序的有效性；继而计算了同种波源激励下均匀有耗媒质中介质圆柱的散射场     

时域有限差分（FD－TD）法计算均匀有耗媒质中介质圆柱的散射

本文用时域有限差分（ＦＤ—ＴＤ）法计算了高斯脉冲平面波投射于金属导体圆柱的散射场，与已知结果对比验证了本文所编程序的有效性；继而计算了同种波源激励下均匀有耗媒质中介质圆柱的散射场     

“地平线欧洲”计划设计与管理的启示

 欧盟第九框架计划—— “地平线欧洲”计划于2021年启动，是迄今为止全球资助规模最大的科技创新计划。研究了欧盟在框架计划设计阶段采用的创新举措及其应用方式，提出了对中国科技计划的建议，包括加强前期研究设计、开展预见性研究、加强计划间衔接和支撑作用、鼓励“共同设计”理念、开放信息公开获取渠道等。     

对分区间套法超越方程求根程序的新应用

本文给出BASIC语言对分区间套法求解超越方程程序的两个新的应用软件:对分区间套法含数值积分超越方程求根程序和双对分区间套法非线性方程组求根程序。     

PC机之间的通信与实现

论述了PC机之间进行通信的方法,以及使用的器件,并给出了电路连接简图及程序.