基于位置社交网络的高效定位算法

基于位置社交网络(Location-Based Social Network,LBSN)服务使得用户能够利用位置服务发现附近的人.原始的LBSN服务为用户提供确切的相对距离,而这种做法已被证实易于遭受三角定位攻击.为防御此类攻击,当今LBSN服务普遍采用以带宽的方式来报告距离.本文利用数论,通过技巧性地摆放虚拟探针,伪装地理位置,提出了一种不受地理位置限制、高精度、易于实现的定位目标算法.作为概念验证,本文使用微信进行实验最终验证了该攻击算法在实际部署中的有效性.本文的研究旨在呼吁LBSN服务提供商改进位置隐私保护技术,唤醒公众充分认识LBSN软件所带来的潜在隐私泄露.     

更高效的选择密文安全基于身份的双接收者加密方案

双接收者加密(Dual Receiver Encryption,DRE)是一种特殊的公钥加密(Public Key Encryption,PKE)体制,它允许两个独立的接收者分别解密同一密文得到相应的正确明文信息.双接收者加密非常适用于敏感信息需要被监督方或者第三方解密的应用场景.基于传统公钥加密方案构造的双接收者加密方案需要额外的开销来进行公钥证书的发放和管理;而基于身份的双接收者加密(Identity-Based Dual Receiver Encryption,ID-DRE)可以避免公钥证书的问题.第一个基于身份的双接收者加密方案是通过一个高效的基于身份的加密方案(Identity-Based Encryption,IBE)构造而得.本文首先利用从IBE构造可抵抗选择密文攻击(Chosen-Ciphertext Attack,CCA)的PKE的通用技术对上述方案进行扩展,得到了不可区分选择身份和选择密文攻击安全(Indistinguishability Against Adaptively Chosen Identity and Chosen-Ciphertext Attack,IND-ID-CCA)的加密方案.并通过基于双线性判定Diffie-Hellman(Bilinear Decision Diffie-Hellman,BDDH)假设(BDDH假设),对此方案的安全性进行了证明.最后,将此加密方案扩展成一个非交互式公开可认证的双接收者加密方案,该方案是目前已知的第一个非交互式公开可认证的基于身份的双接收者加密方案.     

基于SVG的WebGIS的设计与实现

基于XML标准的SVG是一种描述二维矢量图像的语言,对WebGIS的构建具备良好的可用性和适用性.提出了一个建立基于SVG的WebGIS系统的体系结构,将之应用于重庆大学校园电子地图系统中,证明了方案的可行性和实用性.对系统实现的关键技术进行了详细阐述:SVG空间数据组织编码方法;SVG电子地图的制作;SVG空间数据存储和系统客户端实现.     

基于TMR的FPGA单粒子加固试验探究

设计了一个可对基于静态随机存储器的现场可编程门阵列进行单粒子效应测试的系统.采用三模冗余和定时回读重配的方法对待测器件进行单粒子加固.测试电路为移位寄存器链,定时回读的间隔约为80 ms,测试时钟为10 MHz.在非辐照环境下先进行了单粒子翻转的仿真试验,获得系统基本参数后,在兰州中科院近代物理研究所进行了重离子单粒子效应辐照试验.试验芯片为商用FPGA,辐照试验增加单粒子闩锁监控,观察不同注量率下待测器件的加固效果.分析仿真试验与辐照试验结果,系统可正确实现加固与测试功能,也证明三模冗余技术结合回读重配方法能够提高FPGA芯片的单粒子加固能力.     

罕遇地震下上海中心超高层的性能化抗震设计

参照CECS160(《建筑工程抗震性态设计通则》)和ASCE41(《American Society of Civil Engineers/SEI 41—06》),研究确定拟建的上海中心超高层建筑结构的性能化抗震设计目标,提出了直接用于该结构的基于材料本构关系的性能化抗震设计方法,以及基于位移的性能化抗震设计控制指标,选取合适的结构单元模型与合适的非线性动力分析技术相结合的方法,对上海中心超高层结构进行整体抗震性能评估.为该结构设计提供了有益的建议,并为基于位移的性能化抗震设计方法积累了资料.     

基于决策树技术分析动态图形数据的研究与实现

针对传统动态数据分析方法(如时间序列分析)存在对动态图分析较繁琐的问题,研究基于决策树技术进行动态图形数据分析的方法和过程.利用采集的心电图数据和SLIQ算法加以实现,所得模型准确率约为73%.     

从图形“实体”到几何“存在”——对笛卡尔解析几何的哲学反思

笛卡尔的解析几何与欧几里得的《几何原本》在点、线和空间等基本概念上有较大差异。相对于《几何原本》:解析几何中的点可相互区分,且依赖于与其它点的关系而存在;曲线的存在依赖坐标空间整体,同时是点的运动轨迹,与物理运动的可能路径相关;坐标系通过量化空间,提供了对于空间的完整构造。从图形实体到几何存在,是笛卡尔对于数学实在和存在方式所作的区分。     

SolidWorks与Pro/Engineer之间图形数据交换方式的研究

以设计单缸柴油机时所遇到的Solid Works与Pro/E之间图形数据交换问题为例,对IGES,Parasolid 和STEP三种数据交换标准作了比较分析,提出了基于STEP标准实现数据交换的方法,应用此方法提高了单缸柴油机设计效率.同时介绍了SolidWorks软件中特有的特征识别(Feature Works)功能...     

城市集中供热网络监测系统发展与应用现状

通过介绍供热网监测管理现状,描述集中供热网络监测系统功能,分析中心调度和终端系统的实现,通讯功能和方式的选择,全面展示了城市供热网监测系统应用现状和发展前景。     

负荷动特性综合方法研究

针对如何建立同类负荷动特性的综合模型问题,提出了基于实测响应空间的负荷动特性直接综合方法.该方法首先应用重心法确定同一类负荷特性的聚类中心,再通过对聚类中心等效样本进行参数辨识,以得到的模型参数作为该类负荷特性的综合模型参数.通过对某一变电站现场采集的负荷特性数据进行综合建模,结果表明该方法正确有效,而且其实现比综合辨识建模以及参数加权平均综合建模更为简便.