动态多方签名及其可证明安全性

多方签名是一类有效的多方安全计算协议。分析了现有多方签名方案的安全漏洞以及不足,基于多方安全算法提出了一类动态的多方签名方案,方案实现了签名与验证参数的动态生成及签名的匿名性。利用随机预言机(Random Oracle)模型,证明了方案在UF-CMA模型下的不可伪造性及不可否认性。方案中充分利用了多方安全计算的优势,降低了软硬件实现的系统开销,有广泛应用前景。     

Optimal purchasing process for electricity and renewable energy credits with price and demand uncertainty

This paper optimizes the electricity and renewable energy credit (REC) purchasing process for energy distribution. Electricity is traded in deregulated time-sequential markets at fluctuating prices. Optimal electricity purchasing under price and demand uncertainty is a challenging task for electricity distributors, and the recently implemented renewable portfolio standards (RPS) further complicate the purchasing process. Government regulatory decisions concerning the RPS require distributors to purchase corresponding certificates, namely RECs, equivalent to a certain percentage of their electricity sales. This paper formulates and optimizes the joint purchasing process for electricity and RECs. It also analyzes the effect of RPS policy on electricity distributors.     

随机条件久期模型的贴近度新息构建方法

针对随机条件久期(SCD)模型伪似然估计方法的非有效性问题,分析了新息对数正态分布的可能,证明了经修正的对数正态分布不仅满足SCD模型新息构建要求,其在期望值设定和随机取值方面优于原有新息分布,并进一步在此分布基础上提出了贴近度新息构建方法,该方法不同于期望新息构建方法,目的在于产生更少极端值使拟合久期接近实际久期,进而提高模型拟合和预报性能.同时也证明了新方法能包含原新息构建方法,具有一般性.当然,新息的对数正态分布也保证了SCD模型卡尔曼滤波解具备有效性,属于非伪似然估计.最后,通过一组模拟数据证实了新息对数正态分布的可行性,以及所提贴近度新息构建方法的优越性.     

一致逼近方法及其在多准则评估模型中的应用

提出一致逼近方法,系统地归纳了求解多准则评估模型的基本思想,介绍了一致逼近方法的基本原理及具体算法,并给出了一些进一步构造单一准则的方法和实验对比结果．     

基于IMM-UKF方法的主动段目标分级与关机识别

主动段目标的分级与关机识别对于系统把握目标模型切换并部署后续跟踪具有重要意义。建立了主动段目标的分级和关机所涉及的两级主动段模型和中段模型;引入了交互式多模型框架以应对不确定模式下的跟踪问题,引入了无迹卡尔曼滤波以解决非线性估计问题。在天基观测条件下进行了仿真实验,结果表明,利用模型概率和总体估计误差的异常变化,可有效识别主动段目标的分级和关机。     

短期免耕对黑土孔隙度的影响

对短期玉米免耕和秋翻处理对耕层黑土孔隙度的影响进行了分析。结果表明,耕作处理对土壤孔隙度影响较大,毛管孔隙和贮存孔隙在整个剖面内免耕均小于秋翻,但秋翻处理下的中小孔隙占有很大比例。两个处理之间的大孔隙数量相差很小,多在3%～8%之间。秋翻总孔隙度表现出表层和底层差异很大,而免耕孔隙分布相对均匀,且上下孔隙连通性较好。     

Analysis for gene networks based on logic relationships

The reverse construction and analysis of the networks of molecular interactions are essential for understanding their functions within cells. In this paper, a logic network model is constructed to investigate the complicated regulation mechanism of shoot genes of Arabidopsis Thaliana in response to stimuli. The dynamics of the complicated logic network is analyzed, discussed, and simulated. The simulation results show that the logic network of the active genes of shoot eventually evolves into eleven attractors under the stimuli, including five 1-periodic and six 2-periodic attractors. Our work provides valuable reference and guidance for biologists to understand and explain Arabidopsis’ response to external stimuli by experiments.     

多媒体传感器网络中服务感知的传输控制协议

多媒体传感器网络中同时存在端到端（end-to-end）的多媒体流和事件到汇聚点（event-to-sink）的事件流,这对多媒体传感器网络服务质量保证带来了新的挑战。针对多媒体传感器网络提出了一个基于二级反馈的QoS自适应保证方法,该方法以传输控制协议为核心,根据汇聚节点处数据包的接收率和网络拥塞状况将网络划分为10个运行状态,通过传输控制协议调整媒体流和事件流的发送率,完成网络向最优状态的迁移。一系列基于NS2的仿真试验证明了本方法的有效性。

Abstract：

There exist two kinds of streams in multimedia sensor networks：end-to-end stream and event-to-sink stream,this makes the guarantee of QoS multimedia transmission face a new set of challenges. A self-adaptive QoS guarantee scheme was proposed based on two-layer feedback for multimedia sensor networks. The kernel of this scheme is transport control protocol. The network is partitioned into 10 typical states by means of the data packet receive rate at sink node and network congestion status,thus the state transfers to the optimal one by adjusting the transmit rate of media stream and event stream. A series of simulation results are performed by NS2 to demonstrate the effectiveness of the proposed scheme.     

基于虚拟现实技术的援潜救生仿真系统研究

援潜救生是一项必要而又复杂的系统工程,存在着很多不确定因素,为了对救援方案进行评估、验证,提高救援能力,应用虚拟现实技术,建立了援潜救生仿真系统。系统采用离散调度方法获取初始调度方案,通过人因工程分析、动力学及流体力学计算等反映实体的物理行为,利用人机接口与系统进行交互,验证与完善初始救援方案。构建了数据输入、场景建模与场景驱动的系统框架,并对系统的关键技术进行了详细描述。该仿真系统的实现为海上救援提供了必要的理论依据及直观的视觉表现。     

交流电弧炉供电系统建模及耦合关系仿真研究

根据能量守恒定律,从电弧的物理机理出发,建立了一个用非线性微分方程描述电弧电导、电弧瞬时电流和弧长之间关系的电弧数学模型,并使用Simulink库中基本模块搭建了电弧仿真模型。以电弧仿真模型为基础,在Simulink仿真环境下,利用电力系统模块库,构建了交流电弧炉供电系统仿真模型。仿真结果表明,该模型计算出的电弧电压、电流与现场实测数据一致,验证了模型的正确性。通过供电系统仿真模型,仿真研究了电弧电流的三相耦合关系。