多处理机系统中一种共享内存交互技术与实现

本文给出了紧耦合多机系统一种基于共享物理内存实现信息交互的设计思想和生成方法。比较一般共享内存技术,实现了易扩展性、实时访问不同型内存和免去了总线仲裁机制,且高速交互,内存空间不受CPU地址总线宽度约束。为构建有更多I/O需求的多机系统提供了支持。     

论仲裁条款的性质

仲裁条款作为合同双方当事人共同仲裁意思的体现,其契约性质显而易见。但究竟属于何种性质的契约,学界又有不同的认识,主要包括诉讼法上的契约说、实体法上的契约说和混合说三种理论。本文认为应将其界定为程序法上的契约说较为合理。     

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

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

对“农民工凭欠条起诉”司法解释的思考

农民工拖欠工资在劳动争议案件中占相当大的比重,过去法院在对同类案件受理过程中存在两种审判实践,新的司法解释出台后,农民工可凭欠条直接向法院起诉而不必经过仲裁程序。本文尝试对这一解释进行解读,从中引发对我国司法解释发展道路的思考。     

一个新的带仲裁人无证书签名方案

无证书公钥密码系统克服了基于证书公钥密码系统的证书管理问题和基于身份公钥密码系统的密钥托管问题,并保留了他们所有的优点.为了使公钥能够快速更新,在2001年,Boneh等引入在基于RSA密码体制中获得公钥快速更新的有效方法,提出带仲裁人密码学的概念.在PKC 2004,Sherman等提出了安全仲裁人无证书公钥密码学的正式定义,并给出了安全仲裁人无证书加密方案的一般构造方法,构造了一个具体的加密方案,还给出了相应的安全模型,但并没有给出签名方案.本文给出了一个新的基于双线性对的带裁人无证书签名方案.     

养生阵地

正这其实是一场战役,一场有关生活方式与价值观的剧烈碰撞。传统与当代,国内与国外,谁也拿不出一锤定音的终场裁决,更不会有人给出放之四海而皆准的生活规则同。所以有人为此去探索索、去比对,为的只是,更好地活下去。     

美国最高院裁决新医改法合宪条件与影响简析

奥巴马签署新医改法后,共和党力图寻求司法途径将其废止。在长期诉讼当中,两党围绕法案争议内容展开了激烈辩论,最后由联邦最高院受理新医改法违宪诉讼案。由于多数大法官支持和社会对新医改需求,以及联邦政府权力扩张等原因。最终最高院裁定新医改法主要内容不违宪,该裁定一方面认可了民主党革新主张,另一方面也满足了共和党限制国会和政府权力诉求,但两党围绕新医改的斗争仍未结束。     

我国金融仲裁机制的运行情况及发展趋势研究——以金融仲裁院仲裁实务为样本

自2007年上海金融仲裁院建立以来,金融仲裁在我国逐渐兴起并不断成长。鉴于各地金融仲裁院在金融仲裁的具体操作方面存在差别,着重收集各地金融仲裁相关规则及数据案例,调查各机构具体的实务操作,从实务层面对我国金融仲裁的现状进行分析,研究我国金融仲裁的发展趋势。     

完善事业单位人事争议解决机制的构想

自2000年8月起,事业单位推行人事制度改革,试行人员聘用制,由身份管理向岗位管理制度转变,由此,因辞职、辞退、履行聘用合同等产生的纠纷日渐增多。为减少人事争议,完善人事争议解决机制,应规范事业单位人员聘用制。无论是编制内人员还是编制外人员的聘用都应严格依法进行,规范管理,从源头上减少争议的发生。同时,应加快事业单位改革,明确界定事业单位和事业单位工作人员的范围,以区分劳动争议和人事争议。     

论高校体育伤害事故民事纠纷的可仲裁性

现阶段高校体育伤害事故民事纠纷需要多元化的解决途径,虽然仲裁与民事诉讼均属于民事纠纷的解决方式,但他们之间却有着某些联系与差异。可仲裁性标准是衡量各种纠纷是否可以提交仲裁的条件,依据此标准对高校体育民事纠纷进行分析,可以确定此类纠纷具有可仲裁性。因此可以将仲裁作为解决高校体育伤害事故民事纠纷的途径。