摘要：为了保证测绘相机的正常工作和测绘精度,针对测绘相机的特点设计了热控系统,并对该系统进行了热平衡试验验证。首先,对测绘相机所处的热环境进行了分析,对测绘相机窗口的外热流进行了计算。然后,对测绘相机的各个部分进行了热设计;采用被动热控措施控制相机的温度水平,降低测绘相机系统对外部热环境变化的灵敏度;采取主动热控措施进行温差补偿,减小相机的轴向和对径温差。最后,根据测绘相机的热环境和各种工作模式设计了3种极端试验工况,进行了热平衡试验。试验结果表明,在热控系统工作的情况下,测绘相机系统在各种工况下温度波动在(18±2)℃之内,且轴向温差<4℃,径向温差<0.5℃,测绘基座的温度在(18±3)℃之内。得到的结果能够满足测绘相机系统的需求。

摘要：移动计算系统中的检查点恢复协议面临着许多与传统分布式系统所不同的问题.在目前已出现的支持移动计算的检查点恢复机制中,基于建立全局一致的检查点的方法不能确保错误的独立恢复;基于m-MSS-m通信的消息日志方法其移动站之间交换的消息需通过移动基站的转发.提出了一种基于消息日志的支持移动站之间直接通信(m-m)的容错协议并给出了相应的算法及正确性证明.与m-MSS-m通信相比,m-m通信有利于降低信道冲突;减少消息传递延迟.仿真结果表明,所设计的协议比传统协议具有更小的无错误状态下引入负载和错误恢复时间.

摘要：随着各类应用在数据量和业务量上的扩展,单机数据库系统越发难以应对现实需求.分布式数据库能够根据业务的需求动态地扩容,因此逐步开始受到应用的青睐.近年来,分布式数据库产品层出不穷,并在互联网应用中被大量投入使用.然而,分布式数据库的系统复杂度前所未有.为了让系统可用,设计者需要在多种属性中作合理选择和折中.从而造成现有的数据库产品形态各异、优缺点对比分明.至今为止,尚未有人对分布式数据库的设计空间和折中方案进行过深入分析和整理.在对多个分布式数据库产品进行深入理解之后认识到:分布式数据库系统的设计方案可以通过3个属性进行基本刻画——操作一致性、事务一致性和系统可用性.虽然这3个属性并不新颖,但它们在数据库语境下的含义在文献中尚未得到充分澄清.对这3个属性进行澄清,并通过它们对典型数据库产品的格局进行概括、对现有的分布式数据库技术进行综述.此外,还对这3个属性之间的相互关系进行深入分析,以期帮助未来的开发者在分布式数据库的设计过程中做出合理选择.

摘要：针对传统差分空频码中常模调制符号限制系统编码增益提高的问题,提出具有线性星座预编码的差分空频码。它增大差分空频码字的最小乘积距离,提高系统编码增益。描述了线性星座预编码器的设计原则和设计方法。介绍了归一化差分调制和差分译码。通过对系统平均成对符号误码性能分析,从理论上给出相对传统差分空频码提高的编码增益。仿真实验结果也说明提出的差分空频码能够获取满分集和较大的编码增益。

摘要：针对云存储中敏感数据的机密性保护问题,在基于属性的加密基础上提出了一种密文访问控制方法HCRE。其思想是设计一种基于秘密共享方案的算法,将访问控制策略变更导致的重加密过程转移到云端执行,从而降低权限管理的复杂度,实现高效的动态密文访问控制。实验分析表明HCRE显著降低了权限管理的时间代价,而且没有向云端泄露额外的信息,保持了数据机密性。

摘要：IEEE 802.11的MAC协议采用基于CSMA/CA的DCF机制,研究发现,上述协议的性能随无线局域网中竞争终端个数的增加而迅速恶化.当竞争终端个数在一定范围内变化时,使用相同的优化协议参数,系统的性能都能接近最优.因此,设计了一个基于状态检测与竞争终端个数区间的自适应性能优化机制,DOOR(dynamic optimization on range).根据相关性能模型的分析,先将竞争终端的个数分为若干区间,并分别计算出各区间的优化协议参数.当系统检测到竞争终端个数发生变化时,根据其所处的区间,对相关的参数进行动态调整,从而有效地改善了协议的整体性能.同时还给出了相关理论模型和计算的详细说明,并尝试给出了划分区间的基本原则与方法.最后,实验仿真结果验证了新的方法能够根据竞争终端个数的变化对系统性能进行整体优化,在吞吐量和延迟等方面明显优于标准的IEEE 802.11协议.

摘要：利用法布里-珀罗(F-P)标准具选频实现了单纵模593.5 nm激光和频输出。采用单块Nd∶YVO4晶体,通过对谐振腔输出镜膜系的设计与优化,在两镜线性腔中实现了稳定的1 064 nm与1 342 nm双波长振荡。放入I类位相匹配和频晶体LBO进行腔内和频时,抽运功率为2 W可获得52 mW的593.5 nm橙黄色激光输出,但输出光束噪声较大,其RMS噪声为6.8%。在腔内加入400μm厚熔融石英标准具进行选频,实现了单纵模593.5 nm激光输出,单纵模线宽为600 MHz,输出功率为34 mW,RMS噪声降为0.3%,实现了低噪声输出。实验结果表明,在和频过程中,利用一块标准具对两个波长同时进行选频是获得单纵模和频光的有效方法。

摘要：针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.

摘要：为实现北斗二号导航系统卫星信号模拟器产生的信号对高动态条件下载体特征的准确表示,设计了一种四阶相位合成器。理论分析了由量化误差引起合成器各阶次状态间的误差传递效应,提出了非对称结构的优化设计,以平衡各阶次状态误差对最终相位状态的贡献权值;对非对称合成器进行合理的线性化近似,构建状态偏差平方和的目标函数,并给出了使其最小条件下求解各阶控制量最优值的方法。最后对高动态仿真信号进行捕获跟踪分析,结果表明该合成器合成信号的等效伪距和速度精度可分别达到10-3m和10-4m/s,优于低阶相位合成器的精度;并通过对比实验,验证了合成器量化位数对合成精度的影响。

摘要：针对定长序列模式在刻画序列特征方面的不足,提出了一种不定长序列特征模式抽取算法,并以此为基础设计了一个新的入侵检测模型。模型引入了状态转移概念并将模式匹配检测和状态转移检测结合在一起,克服了已有模型只专注于单一特征检测的缺陷。实验证实,和单特征检测相比,该模型在保证检测率的同时降低了误报率,并且检测算法的效率也是可接受的。