高效可撤销的身份基在线离线加密方案

身份基加密（IBE）需要提供一种有效的成员撤销机制，然而，现有可撤销成员的IBE方案存在密钥更新和加密运算量过大的问题，可能使执行该操作的设备成为系统的瓶颈。将完全子树方法和在线离线技术相结合，通过修改指数逆类型IBE的密钥生成和加密算法，提出了一种高效可撤销的身份基在线离线加密方案。方案利用完全子树方法生成更新钥，使得撤销用户无法获得更新钥，进而失去解密能力；利用在线离线技术，将大部分加密运算在离线阶段进行预处理，使得在线阶段仅执行少量简单计算即可生成密文。与相关知名方案相比，该方案不仅提高密钥生成中心的密钥更新的效率，而且极大减少了轻量级设备的在线加密工作量，适合于轻量级设备保护用户隐私信息。     

Combinatorial Immunophenotyping of Cell Populations with an Electronic Antibody Microarray

Immunophenotyping is widely used to characterize cell populations in basic research and to diagnose diseases from surface biomarkers in the clinic. This process usually requires complex instruments such as flow cytometers or fluorescence microscopes, which are typically housed in centralized laboratories. Microfluidics are combined with an integrated electrical sensor network to create an antibody microarray for label‐free cell immunophenotyping against multiple antigens. The device works by fractionating the sample via capturing target subpopulations in an array of microfluidic chambers functionalized against different antigens and by electrically quantifying the cell capture statistics through a network of code‐multiplexed electrical sensors. Through a combinatorial arrangement of antibody sequences along different microfluidic paths, the device can measure the prevalence of different cell subpopulations in a sample from computational analysis of the electrical output signal. The device performance is characterized by analyzing heterogeneous samples of mixed tumor cell populations and then the technique is applied to determine leukocyte subpopulations in blood samples and the results are validated against complete blood cell count and flow cytometry results. Label‐free immunophenotyping of cell populations against multiple targets on a disposable electronic chip presents opportunities in global health and telemedicine applications for cell‐based diagnostics and health monitoring.     

CEEMD与KSVD字典训练相结合的去噪方法

本文提出一种完备总体经验模态分解（CEEMD）方法与K奇异值分解（KSVD）学习字典算法相结合的地震信号去噪方法。含噪信号通过CEEMD分解得到一系列不同尺度的固有模态函数（IMF）；按频率由高到低依次排列IMF各分量，并做自相关分析，去除噪声主导的IMF分量；将累加的过渡IMF分量叠加重构并做CEEMD二次分解，通过自相关分析再次去除噪声主导的IMF分量；分别叠加二次CEEMD分解剩余的IMF分量和一次剩余的IMF分量，得到两个新的含噪信号，并利用KSVD过完备字典分别稀疏表示该两个新的含噪信号，即由稀疏系数重构去噪后地震信号，进而重构最终去噪结果。实验结果证明：该算法的去噪效果明显优于F-X去噪、小波阈值去噪和KSVD字典稀疏去噪等传统方法。     

不确定性环境下轨道自动导引车动态调度

为优化不确定性环境下轨道自动导引车(RGV)调度问题，提出了一种基于完全遍历路径规划(CCPP)的调度规则。以某智能车间RGV调度系统为研究对象，考虑刀具更换、机器故障等一系列不确定性因素导致的计算机数字控制机台停机问题，运用CCPP调度规则对RGV的上下料顺序进行实时调度优化，并与车间现行的就近调度规则进行对比分析。实验结果表明，CCPP调度规则能够有效提高智能车间产能，减少RGV行走距离。     

土霉素完全抗原的制备及ELISA检测方法的建立

为制备土霉素(Oxytetracycline,OTC)完全抗原,获得免疫学特性良好的土霉素鼠源多抗血清并建立OTC免疫学检测方法,采用重氮化法在OTC分子上引入羧基,进而利用改进碳二亚胺法将其与载体蛋白偶联制备完全抗原,通过红外扫描、紫外扫描和凝胶电泳鉴定其偶联效果,然后将完全抗原免疫BLAB/c小鼠获得多抗血清(pAb)并对其免疫学特性进行鉴定,通过优化条件建立OTC间接竞争ELISA检测方法。结果表明,偶联效果良好,免疫的4只小鼠多抗血清效价均达到1∶12 800;4只小鼠多抗血清均有抑制效果,其中2号小鼠产生的多抗血清效果最佳,基于该多抗血清建立的OTC间接竞争ELISA检测方法半数抑制浓度(IC_(50))为32.92ng/mL,检测限(LOD)为1.3ng/mL,牛奶样品中添加回收率在84.70%～87.45%,与金霉素、四环素的交叉反应率分别为5.27%,4.10%,与其他竞争物交叉反应率0.4%。该试验成功合成了OTC完全抗原,获得了免疫学特性良好的OTC多抗血清,并建立了OTC免疫学检测方法。     

某型号收割机割刀机构及其传动部件惯性力平衡的研究

针对某型号收割机割刀执行及传动机构的实际工作中的性能需求,在完成机构惯性力最小的基础上,考虑实际工作情况权衡各方面因素的部分平衡的最优方案,最终得出了最优的设计参数,其研究方案可为类似杆机构惯性力平衡问题提供有益的参考。     

Exponential Set-Point Stabilization of Underactuated Vehicles Moving in Three-Dimensional Space

This paper investigates the stabilization of underactuated vehicles moving in a three-dimensional vector space. The vehicle’s model is established on the matrix Lie group SE(3), which describes the configuration of rigid bodies globally and uniquely. We focus on the kinematic model of the underactuated vehicle, which features an underactuation form that has no sway and heave velocity. To compensate for the lack of these two velocities, we construct additional rotation matrices to generate a motion of rotation coupled with translation. Then, the state feedback is designed with the help of the logarithmic map, and we prove that the proposed control law can exponentially stabilize the underactuated vehicle to the identity group element with an almost global domain of attraction. Later, the presented control strategy is extended to set-point stabilization in the sense that the underactuated vehicle can be stabilized to an arbitrary desired configuration specified in advance. Finally, simulation examples are provided to verify the effectiveness of the stabilization controller.      

引进3.3kV放顶煤综采设备的应用实践

引进3.3kV放顶煤综合机械化配套设备在铁煤集团首次成功应用,现对该套放顶煤综合机械化配套设备的情况及其经济效益予以介绍。     

“十二五”煤矿开采装备技术的发展展望

回顾综采工作面成套装备技术发展过程的主要阶段,重点介绍了"十一五"期间大采高和大采高综放开采液压支架及配套装备等方面取得的重大技术突破;从高效自动化开采成套装备技术、复杂难采煤层高效开采成套装备技术和开采装备先进制造技术三个方面,对"十二五"期间高效开采工作面成套装备技术的发展进行了展望。