适用于无线体域网的动态口令认证协议

无线体域网中传输的是与生命高度相关的敏感数据，身份认证是信息安全保护的第一道防线。现有的基于人体生物信息的身份认证方案存在信息难提取、偶然性大和误差性大的问题，基于传统密码学的认证方案需较大计算资源和能量消耗，并不适用于无线体域网环境。为此，在动态口令和非对称加密机制基础上，提出一种适用于无线体域网的动态口令双向认证轻量协议，并对其进行形式化分析。通过理论证明、SVO逻辑推理及SPIN模型检测得出：该协议满足双向认证，且能够抵御重放攻击、伪装攻击、拒绝服务器攻击和口令离线攻击，具有较高安全性。     

中国省际绿色技术创新效率测度及影响因素研究

文章基于2011—2017年中国30个省份面板数据，运用super-SBM模型对绿色技术创新效率进行测算，并利用ML指数对绿色技术创新效率进行动态分析，最后通过空间滞后模型分析影响效率的关键因素。研究结果表明：中国绿色技术创新效率呈逐渐增长的趋势，但整体效率偏低，有较大进步空间；中国绿色技术创新效率存在明显区域差异，呈现由东部向西部递减的格局；绿色技术创新水平的提高是技术效率和技术进步共同贡献的结果；产业结构、区域开放程度和教育水平对绿色技术创新效率产生积极的正向影响，环境规制和研发投入强度对绿色技术创新效率影响不显著。     

Co-creation of value and the project context: Towards application on the case of Hinkley Point C Nuclear Power Station

The research analyses decisions as evaluative outcomes regarding project value. The UK-French Hinkley Point C Nuclear Power Station provides the case study. Value is traditionally assessed as inputs and outputs. Here, value is conceptualized as a co-created value proposition at the front-end with implications for realization post-completion. Service-dominant logic (SDL) provides the theoretical lens and contributes to a methodological approach for examining projects. Decision-making outcomes provide the evidence from a range of data sources, including reports and commentaries. The methods are interpretative. The findings show that decision-making extends beyond the time-cost-quality/scope dimensions. The long-term issues regarding value realized are often overlooked. Stakeholders and individual actors have mainly focused upon managing political and financial risks, especially time and cost. The research poses challenges to project management analysis, SDL and research design in assessing evidence. Addressing these issues facilitates a knowledge contribution to SDL theorization and the field of project management.     

不同来源虾青素提取、纯化及定量检测方法的研究进展

虾青素是一种较强的天然抗氧化剂,能有效淬灭单线态氧和清除自由基,减少氧化对组织细胞和DNA损伤的能力,能有效防治相关的疾病,还可用作鱼类和家禽饲料的添加剂,改善皮肤和肌肉颜色、提高繁殖能力、增加营养及商品价值,在饲料、食品、医药及化妆品等领域具有广泛的应用。天然虾青素存在于虾蟹外壳、牡蛎、鲑鱼及藻类和真菌中,其存在形态和结构存在差异。由于虾青素有3种光学异构体、多种几何异构体,且极易与脂肪酸结合形成虾青素单酯、虾青素双酯,导致虾青素的结构复杂多样,对虾青素的分析存在许多困难和挑战。本文从虾青素的结构、应用、破壁方法、提取纯化及定量检测方法等方面,对不同来源的虾青素进行了概述,以期为虾青素资源的深入研究和开发利用提供参考。     

胶体金免疫层析法定量检测鱼和虾中苯巴比妥残留

建立了一种快速定量检测水产品鱼和虾中苯巴比妥残留的胶体金免疫层析方法。采用胶体金纳米粒标记苯巴比妥单克隆抗体,研究了胶体金免疫层析条件如标记体系p H值、标记抗体浓度、检测T线包被原浓度、质控C线羊抗鼠Ig G浓度、样品前处理方法等对胶体金灵敏度的影响,并借助胶体金试纸条读数仪进行定量检测。结果表明:方法检出限为0.07 ng/mL,线性范围0.08～0.94ng/m L,裸眼消线值(cut-off值)为10.0 ng/mL。方法特异性良好,与巴比妥、戊巴比妥、异戊巴比妥三种结构类似物交叉反应率小于10%。选择罗非鱼、草鱼、鲈鱼和虾进行添加回收试验,样品回收率在73.50%～114.17%之间,相对标准偏差小于15%,且结果与UPLC-MS/MS法一致。该方法具有准确、灵敏、简便、快速等特点,非常适用于水产品鱼和虾中苯巴比妥残留现场快速筛查。     

All two-input logic gates by a single-stage single electron box

In this paper, the design of all two-input logic gates is presented by only a single-stage single electron box (SEB) for the first time. All gates are constructed based on a same circuit. We have used unique periodic characteristics of SEB to design these gates and present all two-input logic gates (monotonic/non-monotonic, symmetric/non-symmetric) by a single-stage design. In conventional monotonic devices, such as MOSFETs, implementing non-monotonic logic gates such as XOR and XNOR is impossible by only a single-stage design, and a multistage design is required which leads to more complexity, higher power consumption and less speed of the gates. We present qualitative design at first and then detailed designs are investigated and optimised by using our previous works. All designs are verified by a single electron simulator which shows correct operation of the gates.     

基于Stateflow电力机车变流器控制设计与实现

某出口型号交流电力机车牵引控制系统要求变流器控制逻辑具备接触器控制、牵引系统数据交互、变流器故障保护、变流器启动自检等功能。针对以上功能,基于MATLAB中的Simulink/Stateflow可视化编程工具进行牵引控制模型的搭建,遵循模块化编程理念,采用较少的程序代码编写实现复杂的逻辑控制模型,生成逻辑清晰的控制功能流程图,进行半实物仿真测试,增强控制模型的可靠性。通过该变流器产品型式试验检验,验证变流器控制逻辑的功能可以满足控制系统的需求。     

Actuator fault tolerant control using adaptive RBFNN fuzzy sliding mode controller for coaxial octorotor UAV

In this paper, a robust controller for a Six Degrees of Freedom (6 DOF) coaxial octorotor helicopter control is proposed in presence of actuator faults. Radial Base Function Neural Network (RBFNN), Fuzzy Logic Control approach (FLC) and Sliding Mode Control (SMC) technique are used to design a controller, named Fault Tolerant Control (FTC), for each subsystem of the octorotor helicopter. The proposed FTC scheme allows avoiding difficult modeling, attenuating the chattering effect of the SMC, reducing the rules number of the fuzzy controller, and guaranteeing the stability and the robustness of the system. The simulation results show that the proposed FTC can greatly alleviate the chattering effect, good tracking in presence of actuator faults.