摘要：当前,已有的可授权电子现金系统通信效率不高,同时其公平交换子协议要求使用低效的cutand-choose证明技术且集中式的可信第三方(trusted third party,TTP)容易遭受拒绝服务攻击.此外,多个相关的公平支付系统或者要求使用cut-and-choose证明技术,或者使用了具有安全性缺陷的可验证加密技术.利用基于属性的自盲化证书系统构造了一个具有属性的直接匿名证明(direct anonymous attestation with attributes,DAA-A)方案,然后基于该方案构造了满足更强可开脱性的可授权电子现金系统.为了提高用户端在支付过程中的运算效率,使用了Arfaoui等人的集合关系证明协议,同时利用预计算技术对用户的知识签名进行了效率优化.为了避免执行低效的cut-and-choose证明,设计了一个支持分布式TTP的乐观公平交换子协议.通过与Golle-Mironov模型相结合,新系统可以应用于外包计算领域.与已有同类系统相比,新系统同时满足允许多次支付、无需使用cut-and-choose技术和用户无状态性等多个理想性质.此外,新系统的公平交换子协议引入了分布式TTP,即考虑了拒绝服务攻击的风险.

摘要：星载激光测高仪通过接收经地表反射的微弱激光脉冲回波,计算卫星与地表的距离;结合卫星位置和姿态数据,生成激光脚点精确地理位置和高程结果。对于高程精度10 cm量级的对地观测激光测高仪,必须对影响严重的姿态角系统误差进行标定和校正。文中推导得出星载激光测高仪姿态角误差与已知地表先验信息相关联的数学模型,设计了利用大洋表面作为地表标定场,通过卫星姿态机动方式,最小二乘估计算法校正卫星在轨系统误差的具体方法。仿真结果表明,所设计的方法能够准确估计存在的姿态系统误差,即使大规模观测值丢失,估计偏差也小于5%。这种在轨运行系统误差的标定方法对于对地观测星载激光测高仪的姿态误差检校具有参考意义。

摘要：文章通过对金刚石框架锯锯框进行模态试验,获得其各部件的前十阶固有频率,与有限元结果进行对比,数据误差在5%左右,验证了有限元模型和分析方法的准确性。同时基于ANSYS Workbench对锯框模型结构尺寸进行多目标优化设计,减轻了锯框质量,有效降低了成本,同时减少了锯框的最大等效应力,增强了锯框强度,有效提高了锯机性能。

摘要：针对高校浴室热水供应的特点,构建了新型复合能量热水供应系统。该系统将主动式太阳能利用技术、空气源热泵技术和污水源热泵回收浴室排水余热技术有机结合,满足浴室热水用能需求,具有节能环保、操作方便、自动化程度高、运行安全可靠等特点。实验平台采用可编程控制器PLC作为主控制器,能够自动检测、监控与存储温度、流量、水位、太阳辐射强度、环境温度、耗电功率等系统运行参数,实现智能控制和系统热性能分析。该平台可开出一系列综合性、设计性和研究性实验,形成实验教学与科学研究的良性互动。

摘要：量子力学与相对论一起被认为是现代物理学的两大基本支柱。随着数字媒体业的迅猛发展,当今世界已进入信息风暴的时代,媒体与艺术的高结合性与诉求性使人们不得不用科学的眼光重新审视。本文从两种科学理论出发,阐述媒体与艺术的科学特性,同时将科学的研究方法融入媒体与艺术的研究当中,提出传播扩展粒度的新观念,有助于判定数字媒介扩展空间量的大小。