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

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

一类基于辛空间的带仲裁的新认证码

带仲裁的认证码(A2-码)能解决通信系统中发方与收方互不信任的问题.利用辛几何构造了一类新的A2-码.计算了码的参数,当编译码规划都按等概率分布选取时,计算出各种攻击成功的概率.     

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

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

完善仲裁监督浅探

仲裁监督主要包括内部监督、行业监督和司法监督,我国现行仲裁监督的法律规定还不够完善,有的甚至还是空白。为了更好地发挥仲裁的作用,对我国仲裁的内部监督、行业监督和司法监督进行修改、完善,都是十分必要的。     

利用有限域上奇异辛几何构造具有仲裁的认证码

利用有限域上奇异辛几何的子空间构造了一个具有仲裁的认证码,并计算了这个码的参数．当收方和发方的编码规则按等概率分布选取时,计算出了各种攻击成功的概率．     

双机容错系统分析和设计

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

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

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

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

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

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

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