线性多密钥共享体制

利用单调张成方案研究线性多密钥共享体制, 建立计算单调布尔函数的单调张成方案与实现多存取结构的线性多密钥共享体制之间的对应关系, 提出最优线性多密钥共享体制的概念, 并证明了几类线性多密钥共享体制是最优的.     

面向分布式存储系统结构的OpenMP编译系统

OpenMP是目前面向共享存储系统结构的工业标准.与面向分布式存储系统结构的消息传递标准MPI相比,OpenMP规范具有易编程和支持增量并行等优点.如何有效地将OpenMP扩展到分布式存储系统结构且具有高性能是一直关注的热点.文中介绍一个面向分布式存储系统结构的OpenMP编译系统——KLCoMP.基于"部分数组共享"存储模型,为该编译器研发了基于过程间分析的共享数组识别算法、基于生产者/消费者关系的优化技术和针对非线性引用的通信生成技术.实验采用9个标准测试用例并覆盖计算流体力学、整数排序、分子动力学、地震模拟和计算化学等多个领域.通过与MPI版本进行对比表明KLCoMP版本具有与其相当的可扩展性.另外通过与国际同类编译器Omni+SCASH、LLCoMP和OpenMP(Purdue)翻译后程序进行性能对比表明,KLCoMP版本特别是对于非规则应用能够获得更高的效率.     

基于置换图的便笺存储器分配

在当今的嵌入式系统中,广泛地将片上存储器组织为软件管理的便笺存储器(SPM).Li等研究发现,对于很多嵌入式应用,其相干图中的数组生存期满足包含性.他们证明了满足生存期包含性的数组相干图为超完美图,并提出了一个基于超完美图的SPM分配算法.他们的算法在面向嵌入式应用的SPM分配上获得了当前最好的性能.本文进一步证明满足生存期包含性的数组相干图为置换图.置换图是超完美图的一个子类.在现有技术的情况下,置换图在判定及区间着色方面比超完美图有优势,如存在线性时间的识别算法,存在线性时间的最优区间着色算法.基于此理论结果,我们将Li等的算法在保留原算法逻辑的基础上,改进为基于置换图.实验表明,改进后的算法在很多不满足生存期包含性的相干图上仍能取得最优SPM分配,获得比基于超完美图的分配算法更好的分配结果.     

基于双线性对的新型门限代理签名方案

基于GDH签名(短签名方案), 首先提出了一类新型概率签名方案, 并证明了它的安全性. 而后用所提出的概率签名方案构造了基于双线性对的新型门限代理签名方案. 还应用了Gap Diffe-Hellman (GDH)群的基本性质(在GDH群中计算Diffe-Hellman问题困难, 但决策Diffe-Hellman问题容易). 文中的构造思想主要基于Bonel等最近提出的GDH签名方案. 其中的双线性对一般可以用Weil配对或Tate配对来实现. 提出的方案具有实现简单但安全性高的特点. 迄今为止, 这个方案也是第一类用双线性对来构造的门限代理签名方案. 最后给出了新型门限代理签名方案的安全性分析和它的执行效率.     

基于公钥密码的门限密钥托管方案

提出基于公钥密码系统的门限密码学意义上的密钥托管方案的一个一般模式,并给出于一个改进的ＲＳＡ算法的具体的设计。讨论表明,设计的方案解决了用户的密钥完全依赖于可信赖的托管机构的问题。     

可证安全的强壮门限部分盲签名

门限数字签名和盲签名不仅在密码学中，同时也在实际的应用如电子现金、电子选举等系统中扮演非常重要的角色．在过去的几年里，许多密码学家在这个领域里取得了瞩目的进展．然而，大多数已有的门限盲签名方案都是基于离散对数难题假设的．因此，基于改进的RSA密码系统提出一个新的强壮门限部分盲签名方案，所提的方案不仅是第一个基于分解的门限部分盲签名方案，同时首次引入了门限部分盲签名强壮性的概念．此外，在实际应用中，为阻止权力滥用，所提方案将特别适合于基于盲签名的多管理者选举系统和安全电子现金系统。     

一类基于图上随机游动的密钥共享体制

通过图上的随机游动构造了一个具有随机重构算法的密钥共享体制，该重构算法的空间复杂度由一般的多项式级别降低到对数级别，同时保持时间复杂度没有增加．另外，由该密钥共享体制可以诱导出一类具有特殊性质的线性码，进而构造出新的密钥共享体制以实现较好的存取结构．基于这个密钥共享体制可以设计一个具体的具有统计安全性的安全多方计算协议，而这一方面已知的例子并不多。     

P2P环境下的基于多种用户共享行为的防污染方案

P2P环境下的文件污染问题威胁着系统的安全性和可用性,甚至可能导致系统消亡.当前的信誉机制和基于文件特征等防污染方案存在未考虑多种用户共享行为、难以获得大量原始数据和版本发布初期恶意欺骗等问题.本文首次发现用户共享习惯差异性、用户特别长时间保留个别文件等多种用户共享行为,并分析其对防污染方案的影响.提出了基于多种用户共享行为的防污染模型,减弱了多种用户共享行为干扰和版本发布初期恶意欺骗等问题.设计了结构化P2P网络下低开销的实现机制,自动收集大量用户共享文件信息,解决了难以获取大量原始数据的问题.文中还给出了系统参数配置方案.基于真实系统运行日志的模拟实验证明该方案能够准确、快速地区分出虚假文件,降低虚假文件下载次数,保证接近100%的真实文件下载比例,有效抵抗文件污染的攻击.     

TD-SCDMA系统多业务动态信道分配算法研究

本文在分析TD-SCDMA系统无线资源管理机制的基础上,对该系统的动态信道分配算法进行研究.为了适应多业务资源管理,本文在已有的DCA研究成果基础上,提出了一种改进的共享DCA方案,根据方案流程进行了计算机仿真验证,并与移动边界方案进行对比分析,在语音业务阻塞率、数据业务掉包率和系统吞吐量等方面进行了比较.     

一种新的频谱共享模型

考虑认知无线电系统中多个主用户与单个次用户共享频谱的问题,提出了基于Cournot博弈的频谱共享模型.依次推导了基于Cournot与Bertrand博弈的频谱共享模型的静态纳什均衡,给出了动态博弈获取纳什均衡解的分布式算法,分别分析了只考虑主用户收益与考虑社会效益这两种情况中,信道质量与频谱的可替代性对两种博弈模型的影响,给出了它们的适用范围.最后通过仿真结果验证了本文模型的可行性.     

基于Rabin密码体制的图像分存改进算法

图像分存是图像保护的重要措施之一；本文在分析Rabin密码体制及二次剩余定理的基础上，提出了对基于二次剩余定理的数字图像分存改进算法。改进算法为无损图像分存；实验结果表明：图像分存后，安全性高，图像恢复效果好。     

非对称双向中继X网络中基于最大化和速率的干扰对齐与中继处理算法

双向中继X网络相对于传统无线通信网络可以实现更高的自由度.然而,基于迫零算法的中继处理算法仅考虑了消除干扰成分,忽略了对期望信号的影响,从而使得网络的和速率有待提高.特别地,当用户发送功率越低,其和速率劣势越明显.针对上述问题研究其干扰对齐方案,并给出了优化的联合考虑期望信号和干扰信号的中继处理算法.首先,通过利用用户矢量信号之间的空间关系,给出网络和速率的数学模型;其次,通过矩阵分析及数值分析理论将最大化网络和速率的中继预编码设计问题转化为线性搜索最优值问题,并用极限值方法近似网络目标函数;再次,进一步将双向网络的目标函数近似为单向网络用户参数的线性组合,大大降低算法复杂度;最后,基于优化的线性搜索最优值问题,得到最大化网络和速率的中继预编码矩阵.仿真结果表明:相较于现有的中继处理方案,本文方案明显改善了网络和速率,同时还简化了最大化网络和速率带来的算法复杂度.     

TD-SCDMA系统中引入阈值信噪比的信道估计

采用联合检测和智能天线等技术是TD-SCDMA移动通信系统的优势之一,但这些技术的实现必须以准确的信道估计为前提.本文探讨了适合于TD-SCDMA系统的信道估计算法,分析了一种加入阈值信噪比的信道估计算法原理.通过上行链路的模拟仿真表明,该信道估计算法的信道响应更接近理想值,有利于提高系统性能.     

Split Bregman迭代算法生物发光断层成像

生物发光断层成像重建中,发光光源在生物体内稀疏分布,基于压缩感知思想,将?1范数正则化的稀疏重建应用于生物发光断层成像,并采用Split Bregman迭代算法求解?1范数目标函数,以获得快速、稳定的重建.三维数字鼠模型数值实验结果表明,该算法应用于生物发光断层成像重建,在没有使用任何光源可行区域先验和多光谱测量信息的条件下,仍能获得准确的定位和定量重建结果,算法对噪声具有较好的鲁棒性.     

The current structural and functional understanding of APOBEC deaminases

The apolipoprotein B mRNA-editing enzyme catalytic polypeptide (APOBEC) family of cytidine deaminases has emerged as an intensively studied field as a result of their important biological functions. These enzymes are involved in lipid metabolism, antibody diversification, and the inhibition of retrotransposons, retroviruses, and some DNA viruses. The APOBEC proteins function in these roles by deaminating single-stranded (ss) DNA or RNA. There are two high-resolution crystal structures available for the APOBEC family, Apo2 and the C-terminal catalytic domain (CD2) of Apo3G or Apo3G-CD2 [Holden et al. (Nature 456:121–124, 2008); Prochnow et al. (Nature 445:447–451, 2007)]. Additionally, the structure of Apo3G-CD2 has also been determined using NMR [Chen et al. (Nature 452:116–119, 2008); Furukawa et al. (EMBO J 28:440–451, 2009); Harjes et al. (J Mol Biol, 2009)]. A detailed structural analysis of the APOBEC proteins and a comparison to other zinc-coordinating deaminases can facilitate our understanding of how APOBEC proteins bind nucleic acids, recognize substrates, and form oligomers. Here, we review the recent development of structural and functional studies that apply to Apo3G as well as the APOBEC deaminase family.     

Social networks and private spaces in economic forecasting

The outputs of economic forecasting—predictions for national economic indicators such as GDP, unemployment rates and inflation—are all highly visible. The production of these forecasts is a much more private affair, however, typically being thought of as the work of individual forecasters or forecast teams using their economic model to produce a forecast that is then made public. This conception over-emphasises the individual and the technical whilst silencing the broader social context through which economic forecasters develop the expertise that is essential for the credibility of their predictions. In particular, economic forecasts are given meaning and fine-tuned through the social and institutional networks that give forecasters access to the expertise of a heterogeneous mix of academics, policy-makers and business people. Within these broader groups, individual forecasters often create private forecast ‘clubs’, where subscribers have privileged access to the expertise of the economist, but where the forecasters also have privileged access to their clients’ own expert knowledge. In examining these aspects of the forecasters’ work I show that the visible and audible activities of modelling and forecasting are made possible and plausible by virtue of the modeller’s invisible interaction with a wider network.     

三值光学计算机解码器的理论、技术和实现

经过十余年发展，三值光学计算机系统的解码器已经形成了一个比较完整的理论．本文从解码器的实践中抽象出三值光学计算机解码器的理论结构，并介绍地址标定、阈值设定、偏色纠正、坏点剔除和目标画面判断等关键技术的要点，阐明了这些技术的内在联系．通过对实用解码器的描述，介绍了从解码器的理论结构到实用结构的合理简化和各项技术的实现方案，以及解码器的工作流程．     

Short-run wavelet-based covariance regimes for applied portfolio management

Decisions on ass et allocations are often determined by covariance estimates from historical market data. In this paper, we introduce a wavelet-based portfolio algorithm, distinguishing between newly embedded news and long-run information that has already been fully absorbed by the market. Exploiting the wavelet decomposition into short- and long-run covariance regimes, we introduce an approach to focus on particular covariance components. Using generated data, we demonstrate that short-run covariance regimes comprise the relevant information for periodical portfolio management. In an empirical application to US stocks and other international markets for weekly, monthly, quarterly, and yearly holding periods (and rebalancing), we present evidence that the application of wavelet-based covariance estimates from short-run information outperforms portfolio allocations that are based on covariance estimates from historical data.     

低维特征空间中基于旋转图像的三维环境模型配准方法

近年来,异类机器人之间(如飞行机器人和地面机器人)的协作成为机器人学研究发展的一个新的领域.异类机器人协作的难点之一是协作环境建模,而由于所获得的环境模型具有不同的观测视角和尺度,其环境建模中的模型配准是一个难点和关键.目前,能够适用于大视角差、大尺度差场景配准的方法并不多,基于旋转图像的配准方法被认为是一种可行方案,但其中存在的计算负担大和在野外环境中的鲁棒性差使得其也很难在实际系统中应用.基于此,面向三维点云环境模型,以旋转图像为基础,提出了一种新的基于低维特征空间的模型配准方法.首先,通过引入模型曲率、旋转图像熵值和激光反射强度3个特征构建了一个三维特征空间,得到候选对应点集合.然后,在候选对应点集合中利用旋转图像的方法查找正确的对应关系,实现模型配准.由于低维特征空间的引入,基于旋转图像特征的对应点搜索区域大大减小,因此算法计算效率得到了极大改善.同时由于引入的新特征与场景旋转图像特征的互补性,算法的鲁棒性和精确性也得到了提升.这些性能改进最后通过实验得到了验证.