基于进程演算的公钥密码体制安全性自动化证明系统

可证安全是一种通过严格证明确保密码体制安全性的形式化方法,但由于其证明结论严重依赖于证明者个人的经验和技巧,这一方法本身的可靠性受到了质疑。文章设计并实现了一套公钥密码体制安全性自动化证明系统,使用一种概率多项式时间进程演算描述可证安全模型,借助进程间的互模拟等价关系和进程约减实现基于游戏的可证安全自动化证明。系统在C语言环境下实现,已完成ElGamal加密体制和FDH签名体制在内的一系列密码体制的安全性证明测试。

WSN中的一种多传感器数据融合算法

为了适应无线传感器网络资源受限的特点,提出一种多传感器数据融合算法,算法在传感层和网络层之间增加数据融合层,将采集的数据分为实时数据和非实时数据,对数据进行约简处理,提高传感器节点传输被采集信息的效率.利用TinyOS进行仿真测试,结果表明:数据融合算法可以有效地减少网络中数据通讯流量,节省传感器节点能量,延长网络生存时间.

RM算法中减少抢占开销的任务微调算法

在基于嵌入式实时操作系统的实时应用中,由于任务抢占导致的切换开销对于整个系统是不可忽略的.提出了一种减少抢占发生的RM任务微调算法,通过对固定优先级调度抢占行为可推迟时间的量化分析,推导出受低优先级任务阻塞而造成的受阻任务集,以及在任意抢占时刻,推迟高优先级实时任务执行避免抢占发生的判定条件.仿真实验表明该算法在保证可调度任务集中所有任务满足时限约束的前提下,延迟高优先级任务的执行,减少抢占发生次数,通过减少抢占开销提高RM算法在实际应用中的可调度利用率.

基于Web墨卡托投影地理信息系统设计与实现

基于Web墨卡托投影,详述了构建桌面地理信息系统的坐标变换算法、图块组织、双缓冲地图显示和漫游、缩放、测距等地图通用操作的方法和技巧。

高效编码恒包络系统在地空数据链中建模与仿真

地空数据链信道功率和带宽利用率低,需要高效信道编码和调制技术解决这一问题。对以往编码恒包络系统进行改进,提出一种适合地空数据链信道特性的多进制LDPC-CPM串行级联系统。该编码CPM系统在级联时删减了交织环节,无须符号和比特间转换,一定程度上降低了系统复杂度。仿真结果表明,新系统具有较高的功率效率和频谱效率,可以有效减小算法资源开销,获得较低的误码率,提高地空衰落信道下系统传输的可靠性。

人民币汇率与中国经济的关系

随着我国对外经济贸易的蓬勃发展,截至2010年底,我国全年贸易顺差额达到1831亿美元,积累了3.2万亿元的外汇储备,使得人民币升值面临着巨大的压力。