仲裁第三人制度探究

阐述争议双方的主要观点及理由,列举其他国家对仲裁第三人制度的立法及实践经验,结合我国的立法现状得出中国目前无需设立仲裁第三人制度的结论。     

新一代并行处理星载计算机技术研究

为提高卫星的整体性能，对并行处理技术在集中式控制体系结构卫星平台的关键部件——星载计算机中的应用进行了研究。所设计的星载计算机采用了总线仲裁和故障隔离技术，并具有图像处理等复杂功能。通过并行双CPU资源的冗余重构设计，可保证在某个CPU发生故障后实现星戴计算机的降级使用，提高了星载计算机的可靠性，并给出了监控软件的流程。最后，采用离散傅里叶变换(DFT)运算，对设计的计算机的并行处理能力进行了预估。     

基于辛几何构作一类新的带仲裁的认证码

具有仲裁的认证码既要防止敌手的欺骗,又要防止收方和发方的互相欺骗。利用有限域上辛几何构造了一类具有仲裁的认证码,计算了其容量参数。假设编码规则是按照均匀概率分布选择,给出了敌手模仿攻击、敌手替换攻击、发方模仿攻击、收方模仿攻击和收方替换攻击的成功概率。研究结论表明可用辛几何构作许多带仲裁的认证码。     

利用奇异酉几何构作新的带仲裁的认证码

利用有限域上奇异酉几何构作了一个新的带仲裁的认证码．并计算了这个码的参数。当编码规则按等概率分布选取时，计算出了各种攻击成功的概率。     

利用奇异辛几何构作新的带仲裁的认证码

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

基于双机热备的航天发动机控制器设计

为提高控制器乃至发动机系统工作的可靠性,提出了基于双机热备控制器的冗余设计方案,通过对双机热备关键技术的研究,对技术难点进行攻关,提出了具体的解决措施,确保了双机的同步运行和主备机的可靠仲裁,从而构建了一个可靠的控制器系统,实现了双机热备控制器的自主研发技术储备,可以满足工程应用需要。     

利用有限域上向量空间构作具有仲裁的认证码

利用有限域上向量空间的子空间构作了一个具有仲裁的认证码，计算了这个码的参数。当收方和发方的编码规则按等概率分布选取时，各种攻击成功的概率也被算出。     

The PCA Rules for dispute settlement in outer space: A significant step forward

Outer space activities have evolved significantly. While they were previously the exclusive domain of a restricted number of states, now thanks to technological advances and the easing of governmental restrictions, space activities are carried out on a much larger scale and involve subjects of both a governmental and non-governmental nature. Furthermore, the commercial uses of outer space are making space business increasingly profitable and attractive to potential investors. As the economic value of outer space activities, as well as the number of space actors grows, it is nearly inevitable that international disputes related to the use of outer space will occur. Until recently, international space law contained little dedicated machinery to settle international outer space-related disputes. This absence significantly weakened the applicability and enforceability of space law and contributed to a climate of uncertainty. In order to address these issues, the Permanent Court of Arbitration (PCA) adopted the Optional Rules for Arbitration of Disputes Relating to Outer Space Activities on 6 December 2011. The PCA Space Rules represent a significant development in the field of space law because they provide a voluntary and binding dispute settlement method accessible to all space actors and modeled on the specific legal and economic characteristics of space activities. This paper describes the genesis of the PCA Space Rules, assesses their content and innovative character, evaluates their possible implications for the settlement of outer space disputes, and argues that they should be positively received by the outer space community.     

利用有限域上二元多项式构造带仲裁的认证码

在传统的无条件安全认证码中,假定发方和收方是相互信任的,他们不会互相欺骗。但有些情况也可能不是这样,发方在发出一个消息后,不承认是他发的,收方捏造了一个消息,声称来自发方,在这种情况下就需要增添仲裁方。带仲裁的认证码能解决通信系统中发方与收方互不信任的问题。利用有限域上二元多项式构造了一个带仲裁的认证码,并计算了所构造码的参数。当编码规则按等概率分布选取时,计算出了敌方与收方成功模仿攻击和成功替换攻击的最大概率．以及发方成功模仿攻击的最大概率。