仲裁裁决撤销程序的定位及建构

由于程序性质的定位错误及其导致的程序设置的非理性,中国仲裁裁决撤销程序出现立法缺失和司法混乱的局面,难以实现程序正义的立法理想,无法有效保障程序主体的合法权益,因此必须在对程序科学定位的基础上进行合理构建,以期实现程序设立的目的。     

国家林业局南方林木种子检验中心

<正>国家林业局南方林木种子检验中心成立于1982年,是我国林木种苗质量检测的最高仲裁机构之一。于199P年4月,在全国林木种苗质量检测机构中,率先通过国家质量技术监督检验检疫总局的计量认证,成为首家可以向社会出具公正检测     

专利有效性争议仲裁的双维度考察

近些年来,专利有效性争议的适裁性在理论上的合理性已得到学界众多学者的认可。然而,一项制度的确立不仅需要应然性的理论证明,还需要对现实操作层面中可能面临的困难作出具体的预计和全面的考量。此类争议本身的特殊性决定了其不可避免的涉及到对公共利益的潜在侵蚀,同时,还面临着与我国现有的行政、司法争议解决程序有效衔接与协调的难题。因此,我国在坚持此类争议具有适裁性方向的同时,还应正视其可能引发的问题,从理论与实践两方面准备好充分的应对策略和解决方案。     

智能空间的资源管理及其应用研究

资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地加入或离开由发现和加入协议、异步事件通知机制和租用机制等来完成;资源的映射和冲突调度由资源映射和资源仲裁机制完成.最后给出了一个智能空间的漫游打印应用及其实现情况,并与相关工作进行了比较.     

基于CPLD/FPGA的PCI仲裁器实现

介绍了PCI仲裁的原理,在此基础上描述了基于CPLD/FPGA的一种具有循环优先级通用的PCI仲裁器设计方案,并采用Verilog硬件描述语言设计实现,给出了仿真结果。     

双机容错系统分析和设计

本文给出一种提高STD工业控制机可靠性的方法,该方法的核心是两台STD联机工作（热冗余）。文中开发了双STD微机系统DSMS（Dual STDMlcrocomputer System）的比较-仲裁部件及其相应的软件。讨论了DSMS所采用的软、硬件容错技术。     

一种固定优先级分布式总线仲裁器的设计方法及性能评价

在多处理机系统中，总线仲裁器直接影响着系统性能。本文提出了一种固定优先级分布式总线裁决器的设计方法。最后，通过几个实例对其适应性及其性能作了简要分析。     

评定圆柱度误差的四维图解判别

本文根据极差极小化理论及由此得出的形状误差统一判别准则,运用集合论的观点及多维画法几何图示图解法,提出了评定圆柱度误差的四维图解仲裁方法,并用代数方法予以验证,为解决象圆柱度误差一类由多维参数描述的形状误差的几何判别问题提供了新途径.     

规则Petri网的推理策略的研究

本讨论了规则Petri网的可交换性，给出了规则Petri网的三种推理策略以及并行推理和冲突仲裁的推理方法。