具有前向安全性的代理签名方案

该文提出了一种前向安全的代理签名方案,该方案基于零知识证明协议,在离散对数和二次剩余问题困难性的假设和随机oracle模型下系统是安全的.并且该系统使得原始签名者和代理签名者的秘密钥都具有前向安全性.该方案弥补了代理签名体制在密钥安全性上的不足,秘密钥的前向安全性有效控制了密钥安全风险.     

近距离斜穿车站富水圆砾地层盾构换刀技术及刀具磨损分析

开仓换刀作业是盾构隧道施工中不可避免的技术难题之一,现以南宁市轨道交通5号线新—广区间盾构隧道工程为背景,针对盾构机在富水圆砾、泥岩复合地层中长距离掘进后连续穿越3道地连墙的工程特点,总结刀盘优化布局方案,详细介绍适用于该地层条件下的素桩加固辅以降水作业的换刀方案,并对换刀前后盾构掘进过程中产生的刀具磨损进行测量、分析,揭示了盾构在复合地层中掘进以及直接切削地连墙造成的刀具磨损规律,提出了盾构切削桩基时的合理换刀距离,为后续施工及类似工程提供一定的指导和借鉴。     

Joint multi-user space time block coding and beamforming via convolutional weighting

A convolutional weighting （CW） scheme applied to a half-wavelength spacing array was proposed for multi-user system to joint STBC （space time block ceding） and beam forming （BF）. The transmitting beam is equivalent to the product of two sub-beams. One is used to realize interference suppression, while the other is employed to form a couple of uncorrelated channels from base station （BS） to the desited user （to meet the requirement of STBC） and to maximize SINR （signal-to-interference-plus noise ratio） at the desired receiver. As an optimum combination of STBC and beam forming, the proposed scheme can achieve both full diversity order of STBC and array gain of BF. Meanwhile, it can also effec- tively restrain multi-user interference by nulling. Simulation results show that the proposed scheme can significantly improve the BER （Bit Error Rate） performance and enhance system capacity as compared with the conventional eigen-beamforming （EBF） technique applied to a half-wavelength spacing array.     

基于TRIGRS模型的浅层黄土滑坡破坏概率评价

以山西兴县某典型黄土斜坡为例,结合TRIGRS模型与Rosenblueth点估法,研究了降雨对浅层黄土滑坡的影响.根据室内试验、现场人工模拟降雨试验确定了主要参数值,计算了研究区的失稳破坏概率,并探讨了不同降雨阶段、不同坡度对区域斜坡破坏概率的影响.研究表明此方法适合计算降雨诱发的浅层滑坡,得出的滑坡破坏概率分布图可以在一定程度上反映该地区滑坡灾害的空间分布特征.     

视频抖动矫正系统中的运动滤波

数码相机拍摄的视频往往带有因为拍摄人手的不稳定而引入的抖动,因此该文给出了一个视频抖动矫正方案,包括全局运动估计、运动的抖动分量滤除、抖动补偿3个模块。对摄像机运动模型,该文考虑了最常见的水平、垂直平动和平面转动这3个运动参数来进行全局运动估计,首先采用基于块匹配运动估计方法来得到运动参数的初始值,然后用Newton迭代法进行参数优化;从运动学的角度出发设计了一种以二次B样条方法为基础来拟合摄像机的运动轨迹方案。实验证明这种滤波器的设计方法能够很好地去除视频抖动,明显改善视频的主观效果。该方法不仅简单,而且不需要预知抖动的模式就能够确保运动轨迹的平滑。     

复杂地区可控震源高效采集技术*

中国西部地区地表多以戈壁沙漠为主,非常适合可控震源施工,随着油气勘探和开发的不断深入,高密度、宽方位或全方位三维地震勘探技术被大量应用,随之带来巨大的成本压力。阐述了可控震源从传统的多台多次组合激发,逐步发展形成的拆分振次技术、交替扫描技术、滑动扫描技术、拆分台次技术、谐波压制技术。这些技术突破了可控震源传统的扫描方法,通过相互结合,联合应用,生产效率大大提高,单炮激发成本大幅降低,很好地解决了高密度地震勘探的成本问题,有效推动了西部复杂探区高密度、高覆盖、全方位三维地震勘探技术的推广应用。2005年以来,在对可控震源激发参数进行大量研究和试验基础上,逐步形成了可控震源经济、高效的激发技术和参数优化方法。在TH盆地致密砂岩油气藏勘探中,不仅中浅层信噪比明显提高,同相轴连续性明显增强,同时深层以及煤下和层间弱反射层的信噪比也有较大提高,进一步推动了西部盆地致密砂岩油气藏的勘探进程。     

基于ASP.NET的网络教学系统的开发与实现

提出了智能化网络教学系统的基本功能需求。结合ASP.NET开发的特点和软件工程的思想,进行了较详细的系统需求分析。结合计算机文化基础课程的需要,设计实现了一个智能网络教学系统。系统采用B/S体系结构,注重良好的可扩展性,采用模块化设计方法,将其划分为教师子系统,网上答疑子系统,在线测试子系统等功能模块。解决了当前应用需求,并为进一步研究工作奠定了基础。提出了开发"通用智能化网络教学系统应用平台"的想法和思路。     

浅析我国高校法学教育的困境及其改革

高校法学教育是现代学校教育的一个重点,强化现代学校法学教育,提高现代学校法学教育实效,具有重要的现实意义。然而,当前高校法学教育中存在的培养目标不明确、教学方式不合理、教学模式单一、教学内容陈旧、法学教育与法律职业脱节及师资力量不足等一些问题与建设法治国家的基本要求是不相适应的,我国高校法学教育的现状与它应有的地位和作用还有一定的差距。因此高校法学教育应采取明确培养目标;深化教育模式改革,实施“法律诊所教育”;更新教学内容、改变教学方法、加强素质教育;加强师资队伍建设等改革措施,以此推动我国高校法学教育进入一个新时代。     

仿青蛙跳跃机器人运动学研究

提出了仿青蛙跳跃机器人机构模型及运动学研究的方法。基于对青蛙运动的研究,提出了仿青蛙机器人单侧跳跃机构的分析模型,采用D-H法,建立了机器人起跳与腾空两个阶段,其前肢和后肢的运动学方程,进行了正、逆运动学研究。分析机器人四肢的运动空间,并通过实例计算,验证了研究结果和生物学实测结果相一致,从而证明了这一仿生跳跃机构模型的可行性和仿生机构运动研究方法的有效性。得出的结论将为仿青蛙跳跃机器人的设计及控制提供理论基础。     

The Dynamics Characteristics of Flexible Spacecraft and its Closed-Loop Stability with Passive Control

Passive control is the most popular methodology for flexible spacecraft while it remains an open problem whether the closed-loop performance can be achieved only with passive control subject to the coupling modes of rigid and flexibility. Also, the closed-loop performance of passive PD control based on the dynamics of the Euler angle parameterization of spacecraft, which has been widely used in practice, is yet to be addressed. Towards these challenges, by introducing the input-output exact linearization theory and Lyapunov theory, the authors show that the closed-loop performance for flexible spacecraft with rigid and flexible modes can be achieved by adjusting the parameters of the passive controllers sufficiently large. This is done by firstly transforming the flexible spacecraft dynamics into an exact feedback linearization standard form, and then analyzing the closed-loop performance of flexible spacecraft.