一种基于密钥捆绑的无证书签名方案

针对传统无证书签名方案中公钥和公钥持有者之间缺乏认证的问题,提出了一种基于密钥捆绑的无证书签名方案。在随机预言机模型和Inv-CDH困难问题假设下证明了方案的安全性。同时与其他无证书签名方案进行了效率比较,结果表明所提方案在计算效率上有一定优势,适用计算能力受限的物联网应用场合。     

提高复合运动教学起点的实施方案及具体操作

鉴于学生数学基础的提高，文[1]曾建议扬弃现行理论力学通用教材中关于点的速度和加速度合成公式的繁琐而累赘的证明方法，特别是用不严格的“几何法”去进行证明．其令人信服的程度受到了很大的限制。更为严重的是，这些证明方法从一系列的特例出发．费时、费力而又使学生不能深刻理解公式的普遍涵义。     

证明标准--客观真实、法律真实与实体真实

诉讼中的证明标准是一个争议颇为激烈的理论问题。本文从比较法的角度，对形成各种证明标准的历史条件和标准环境进行了比较对照，并从诉讼实践的价值取向等角度，对客观真实、法律真实和实体真实的标准加以分析．提出了正当程序的要求之下追求实体真实的必然性，以及强调科学证据与科学证明的必要性等理论观点。     

风险代理合同的法律效力探讨

目前，因风险代理引发的纠纷越来越多，对风险代理合同法律效力的争议也愈来愈激烈。但迄今为止，学界对这一问题的探讨只停留在表面层次，并没有进行深入研究。本文在全面考证现行立法的基础上，对这一问题进行了梳理，以期对风险代理合同法律效力做出准确界定。     

基于改进算法的多层神经网络的结构优化设计

简要地介绍了工程中应用较多的多层前向神经网络(BP网络)的结构和网络的设计．通过采用一种改进的训练算法(参考隐层的输出),并结合科学的样本选择方法(“超立方体”法)设计网络,进行网络训练．最后通过数字仿真证明了这个网络模型用于结构优化设计的有效性．     

双曲柄环板式针摆行星传动效率分析

应用行星轮系传动效率的通用计算机公式，推导出了双曲柄环板式针摆行星传动的传动效率计算公式．为了证明其理论的正确性，又进行了实验研究．样机效率试验结果与计算结果基本符合．试验结果证明，这种新型传动不仅具有高的承载能力，还有高的传动效率．     

基于等效力的汽车主动避撞模型及其仿真

为使汽车主动避撞模型能够在人-车-路不同行车环境下保证汽车的主动避撞效果,建立了基于等效力的汽车主动避撞模型.通过以汽车风险评估中提出的等效力模型为基础,加入路面附着系数因子、驾驶员激进程度因子和汽车速度因子,得到行车等效力模型,通过实际行车等效力与不同行车环境中的标准等效力进行对比,实现汽车主动避撞预警.利用Simu...     

刍议不规范仲裁协议效力问题

仲裁协议作为国际商事仲裁的基石,具有很强的民间性,当事人既然合意将他们之间的争议提交仲裁,就表达了受仲裁约束的愿望。然而,实践中存在着大量不规范仲裁协议,如何认定其效力,不仅要探求当事人的真实意思,还要充分尊重合同解释规则。     

拆箱事实能否证明无单放货

近期，原告持正本提单和货物在目的港已被拆箱的证据，如集装箱已空箱回运、集装箱已投入其他航次的运营等．起诉承运人无单放货的情况有增多的趋势。那么，承运人拆箱的事实能否证明其实施了无单放货行为呢？[第一段]