An Extension of Gröbner Basis Theory to Indexed Polynomials Without Eliminations

Journal of Systems Science and Complexity - In computer algebra, it remains to be challenging to establish general computational theories for determining the equivalence of indexed polynomials. In...     

In situ backscattered electron imaging study of the effect of annealing on the deformation behaviors of Ni electroformed from additive-free and saccharin-containing sulfamate solutions

The Ni samples were electroformed from additive-free(AF) and saccharin-containing(SC) sulfamate solutions, respectively. In situ backscattered electron(BSE) imaging, electron backscatter diffraction(EBSD), and electron-probe microanalysis(EPMA) were used to investigate the effect of annealing on the deformation behaviors of the AF and SC samples. The results indicate that columnar grains of the as-deposited AF sample had an approximated average width of 3 μm and an approximated aspect ratio of 8. The average width of columnar grains of the as-deposited SC sample was reduced to approximately 400 nm by the addition of saccharin to the electrolyte. A few very-large grains distributed in the matrix of the SC sample after annealing. No direct evidence indicated that S segregated at the grain boundaries before or after annealing. The average value of the total elongations of the SC samples decreased from 16% to 6% after annealing, whereas that of the AF samples increased from 18% to 50%. The dislocation recovery in grain-boundary areas of the annealed AF sample was reduced, which contributed to the appearance of microvoids at the triple junctions. The incompatibility deformation between very-large grains and fine grains contributed to the brittle fracture behavior of the annealed SC Ni.     

Lattice-Based Double-Authentication-Preventing Ring Signature for Security and Privacy in Vehicular Ad-Hoc Networks

Amidst the rapid development of the Internet of Things(IoT), Vehicular Ad-Hoc NETwork(VANET), a typical IoT application, are bringing an ever-larger number of intelligent and convenient services to the daily lives of individuals. However, there remain challenges for VANETs in preserving privacy and security. In this paper, we propose the first lattice-based Double-Authentication-Preventing Ring Signature(DAPRS) and adopt it to propose a novel privacy-preserving authentication scheme for VANETs, offering the potential for security against quantum computers. The new construction is proven secure against chosen message attacks. Our scheme is more efficient than other ring signature in terms of the time cost of the message signing phase and verification phase, and also in terms of signature length. Analyses of security and efficiency demonstrate that our proposed scheme is provably secure and efficient in the application.     

头盘微小间隙动态浮动理论研究

本文对微小浮动间隙的磁头浮动块的动态浮动性能进行了仿真计算。在考虑头盘碰撞的基础上,分析了磁头浮动块对冲击的响应。分析结果表明:在微小浮动间隙的头盘系统中,盘片表面粗糙度和外界干扰冲击对浮动块的浮动性能影响较大。新的动态浮动理论中,必须包含头盘磁撞的研究。     

时滞控制系统变结构控制器的一种等效设计方法

本文对时滞控制系统的变结构控制器提出了一种等效的设计方法。此方法因只需对相应的无时滞控制系统进行变结构控制器设计,所以不仅简化了变结构控制器本身的设计,而且也相应的简化了切换面的设计。同时,还给出了这种等效方法的时滞范围及系统数值仿真,仿真结果表明此方法的可行性及其效果的优良性。     

用数字波束形成技术测量干扰环境中目标的方向

本文讨论了在干扰环境中利用数字波束形成技术确定目标方向的方法,给出了计算机模拟结果。测量目标角度是基于单脉冲技术中的和差波束的方法。由于各路接收机幅相误差和算法本身的影响,差波束指向零点将产生漂移且零深不够理想,影响了测角精度。本文提出了在差波束的理想指向零点方向用正交化算法产生一零点的办法来校正零点漂移和加深零深,又不影响差方向图的其它性能,从而为用数字波束形成技术精密测角提出了一条路径。另外,本文给出了为消除主瓣干扰而对和差方向图影响的模拟结果。     

SAm级防撞活动护栏碰撞仿真分析

针对目前高速公路中央分隔带开口处活动护栏防撞等级较低的问题,提出了一种SAm级混凝土活动护栏及一种新型连接装置.基于有限元的方法,建立车辆与护栏的碰撞模型,通过LS-DYNA对车辆与护栏碰撞过程进行求解,根据不同车型的碰撞结果分别在缓冲,阻挡和导向性能上对护栏的安全性能进行评价,其中小型车辆与护栏碰撞后的OIV(Occ...     

高职高专课程与教学方法的若干思考

教学中老师是处于主导地位,而学生是主体,根据课程目标、学生情况、教学设备、教师特点、时间分配,可以采用让学生参与课堂讲授、移动课堂、故事课堂、激励弱者等等教学方法,达到满意的教学效果.     

Highway engineering design and supervision of the task

设计监理在我国公路行业虽然起步较晚,但山西的实践表明,在高等级公路建设中,设计监理无论对确保工程质量还是在节约工程造价方面都起到了积极的推动作用,效果很好,具有广阔的发展前景,文章主要论述了设计监理的主要任务.     

浅谈集团公司如何进行工程造价管理工作

建设工程造价管理的核心在于合理确定和有效控制工程造价,目标在于提高工程效益。合理确定是有效控制的基础,有效控制是合理确定的保证,我们要勇于探索、敢于开拓、积极创造条件、促进工程造价业的顺利发展,为开创适应社会主义市场经济体制的建设工程造价管理的新局面做出应有的贡献。