基于字合成运算的标签组群组共存证明协议

针对现有的大多数证明协议无法同时证明多标签同时存在缺陷,提出一种具有可扩展性的电子标签组证明协议。协议采用按位运算设计实现的字合成运算对信息加密,字合成运算可使得协议达到超轻量级计算;同时字合成运算实现中巧妙运用参数自身具备的汉明重量,可减少参量引入;协议基于先验证再响应机制,可抵抗假冒攻击等。对协议进行不同角度分析,表明协议能够提供较高的安全性能,同时能够适用于现有低成本被动式电子标签系统中。     

大面积连续实时SAR成像技术

无论是供机上操作人员实时地观察还是将数据下传到地面接收站,综合孔径雷达成像系统都必须具有实时成像处理的功能,而且要求能够实时地输出大面积的连续图像．以SPECAN法为基础,提出一种可以实时输出大面积连续图像的综合孔径雷达成像方法,该方法具有运算量小、编程方便和稳健性高的特点,可满足综合孔径雷达实时处理机的要求．     

精密数字自动补偿及显示式磁强计

本文介绍了作者研制成功的SDM型数字自动补偿及显示式磁强计的主要电路结构,简单地叙述了该仪器的设计特点和总体方案。     

徒手草图应用于建筑设计课程教学中的初步探索——以二年级《公园茶室》设计为例

徒手草图包含了大量的设计概念、环境分析、空间构思和造型意向,它所表达的设计理念和思路,对建筑设计课程的教学具有重要的指导作用[1]。     

黑茶籽油成分分析及其对于H2O2诱导HFF-1细胞氧化损伤的保护作用

对茶籽油的活性成分及其抗氧化活性进行研究。对不同产地的茶籽油的脂肪酸、α-生育酚含量进行了测定,发现黑茶籽油的三种不饱和脂肪酸（油酸、亚油酸、亚麻酸）总含量（83.72%),α-生育酚（1.33 mg/g）相比于其他茶籽油（绿茶籽油、普洱茶籽油）、山茶籽油（有机山茶油）和油茶籽油（有机油茶籽油、古树茶籽油）含量更高。在此基础上,测试了黑茶籽油对于DPPH自由基、ABTS自由基、羟基自由基的清除能力。结果表明黑茶籽油在0.15 g/mL质量浓度时,对于DPPH、ABTS自由基的清除率分别93.08%和94.85%;在0.3 g/mL质量浓度下,对羟基自由基的清除率为91.25%,相较于其他茶籽油表现出更好的自由基清除效果。此外,还测定了黑茶籽油对于双氧水诱导的人成纤维细胞（HFF-1）氧化应激以及衰老的抑制作用。细胞增殖实验、活性氧自由基测定实验和β-半乳糖苷酶染色实验的结果表明,黑茶籽油在10～50μg/mL质量浓度下对双氧水诱导的HFF-1细胞氧化应激具有一定的保护作用,表现出抗氧化、抗衰老的活性。     

褶皱建筑--北京通州艺术中心门房及其他作品评介

文章通过介绍Offce dA事务所设计的北京通州艺术中心项目和其他作品。评析了该事务所三方面的关注点．1、注重材料和建造麦谜的多义性,表皮和结构富有意味地表选了建筑内外空间的相互作用．2．将手工艺传统与当代计算机辅助设计疑数控加工技术相结合、手工图纸、模型和计算机技术都作为设计过程的有效研究工具。3、注重新建筑的外部与周围环境的延续性和历史感“内部的空间关系则积极反映当代的生活方式和文化状态。     

大数据时代基于数据库设计原则的数据库加解密关键原理分析

大数据时代数据库已广泛应用于信息系统,互联网技术和云数据云技术的发展,对信息安全提出了较高的要求.数据库技术研究部门已经研究出多种信息安全保护法,由于大部分数据库采用的都是明文形式储存,即便对后期使用提供了便利,但是没有设置相对应的验证机制,降低了数据库使用的安全性能,采用身份验证与识别和存取控制技术已经不能够适用于现...     

全自动智能罐装系统的设计

此设计专门针对塑料杯(奶茶杯)的罐装进行研究。该控制系统以三菱FX3U-128MT PLC为控制核心,昆仑通态TPC7062TI触摸屏为人机操作界面,实现对液体的灌装和封装,以提高产品的生产效率和经济效益;结合液体灌装生产的实际情况,并且考虑到工业自动化的特点,使用温度控制器、重量控制器、步进电机控制器、PLC和触摸屏对接,实现电压、温度、重量、气压等各项参数进行智能检测和监控,利用参数进行监控和测试,设计出一个闭环系统,组合成机电一体化设备,并且设计触摸屏的人机界面进行实时监控,具有基本的产品数量统计功能、可靠的故障报警功能,能准确的将生产情况报告给操作员。通过建立串级PID温控器程序对封口单元的发热盘进行温度控制,提升塑料杯的密封程度。     

系统级描述语言SystemC到时间Petri网的转换技术

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.     

基于毫米波雷达的前向防撞报警系统

为有效预防车辆追尾碰撞事故的发生,提出了一种基于毫米波雷达的车辆前向防撞报警系统设计方案。系统利用车载毫米波雷达准确获取自车与前方多个目标之间的车间距离和相对速度信息,车内控制器综合车间距离、相对速度、自车车速、驾驶员反应时间、车辆制动性能及环境气候等多种因素,在自车与前方目标车辆间存在潜在的碰撞危险时,可通过视觉、听觉、触觉等多种方式发出报警信息提醒驾驶员,避免因追尾碰撞而引发交通事故。