P2P内容传输模型和链路开销最优化分析

对P2P内容传输(P2PCD)模型进行形式化抽象.在不受传输时间约束和受传输时间约束条件下,分析链路资源开销敏感的P2P内容传输相关优化问题,证明了P2P内容传输问题的链路资源开销最优化是NP-完全问题,需要近似最优化研究以达目的.该研究为以后更加复杂的P2P内容传输和P2P应用的优化设计提供了支持.最后指出该领域有待进一步研究的相关问题.     

大型双锥椭圆笼形天线关键参数的影响分析

基于同轴线馈电的并行时域有限差分(finite-difference time-domain, FDTD)方法,研究分析了双指数脉冲源激励的位于地面上的大型双锥椭圆笼形天线的辐射场,给出了天线的椭圆形笼半径、双锥半角、架高及圆心间距等几个关键参数对该天线辐射场的影响. 研究表明:椭圆形笼的半径从3.0 m增加到4.5 m时,对位于天线双锥中心正下方及其向天线外侧偏离的测点场的峰值和上升沿几乎没有影响;双锥半角的改变使测试区内测点场的峰值、上升沿和半高宽(full width at half maximum, FWHM)发生变化;天线架高越高,与地面距离相同的水平面上场的分布越均匀;两个笼与地面相交得到的两个圆的圆心间距越大,过双锥中轴线且与地面垂直的剖面上靠近椭圆形笼的测试区边缘的场更均匀;测试区场的FWHM随着激励源FWHM的增加非线性增加.     

用于验证多智能体系统的APTL模型检测器

由于经典的线性时序逻辑表达能力有限,设计并开发了基于交替投影时序逻辑（alternating projection temporal logic,简称APTL）的模型检测工具.根据王海洋等人提出的APTL符号模型检测方法,设计并实现了APTL模型检测器MCMAS_APTL.该工具可用于多智能体系统（multi-agent system,简称MAS）的性质验证.MCMAS_APTL检查MAS是否满足具体性质的过程如下：首先,用解释系统编程语言（interpreted system programming language,简称ISPL）描述要验证的系统IS,用APTL公式P描述要验证的性质;然后,符号化表示系统IS,并将非P转化为范式;最后,计算所有满足非P的路径的起始状态集合.如果得到的状态集合中包含系统的初始状态,则说明系统不满足公式P;反之,则说明系统满足公式P.详细阐述了实现MCMAS_APTL的过程,并且通过验证机器人足球赛的例子展示了MCMAS_APTL的性能.     

APTL公式的可满足性检查工具

交替投影时序逻辑（Alternating Projection Temporal Logic,简称APTL）公式简单易懂,表达能力强;不仅可以描述经典时序逻辑LTL可以描述的性质,而且可以描述与区间相关的顺序和循环性质以及开放系统和多智能体系统中与博弈相关的性质.在验证系统是否满足所给的APTL公式所描述的性质之前需要检查公式的可满足性.本文根据检查APTL公式的可满足性的方法^[1],开发实现了工具APTL2BCG.具体细节如下：首先,利用公式P的范式构造P的标记范式图（Labeled Normal Form Graph,简称LNFG）;然后,将LNFG转化为广义的基于并发博弈结构的交替Büchi自动机（Generalized alternating Büchi automaton over Concurrent Game structure,简称GBCG）;最后,将GBCG转化为基于并发博弈结构的交替Büchi自动机（alternating Büchi automaton over Concurrent Game structure,简称BCG）并且化为最简形式并检查公式P的可满足性.     

一种连续变焦凸轮优化设计及试验验证

具备连续变焦功能是目前先进红外热像仪的重要特征之一,而变焦凸轮是驱动连续变焦光学系统中各镜组运动的关键部件。为了设计出良好性能的变焦凸轮结构,本文首先应用动态光学理论推导出变焦光学系统的像移补偿组公式得到像移补偿组的轨迹曲线,然后利用序列二次规划法（sequential quadratic programming, SQP）优化算法来减小动态光学曲线的压力角,结合光机设计理论运用Creo进行凸轮曲线生成及凸轮槽切除从而获得变焦凸轮结构。再基于有限元分析理论对凸轮结构进行分析,最终通过变焦系统运动及成像结果确认本文方法可行。     

基于NG-PON2的LTE信号和有线宽带 信号混传接入技术研究

对于运营商来说,为了应对皮飞站的大规模部署和用户日益增长的有线接入速率需求,充分利用好PON和4G 的各自优势,建立PON+LTE的融合宽带网络,实现优势互补,可为用户提供体验一致的高速宽带接入服务。文章详细分析了在NG-PON2中将LTE小基站信号和高速有线宽带信号混传的技术。仿真结果显示,在NG-PON2的备选技术-正交频分复用无源光接入网(OFDM-PON)中混传无线LTE信号和高速有线宽带信号可以省去无线信号的上下变频处理,技术实现简单,可以提升接入信号的多样性和速率。     

基于Stocks矢量测量与干涉法的径向偏振光束重建

随着光学操控技术的迅速发展,测量与重建径向偏振光束（RPB）成为迫切任务之一。利用一套石英旋光片组合,首先产生了RPB。借助计算机控制的CCD,对RPB的斯托克斯矢量场分布进行了测量,并获得其偏振态分布。结果表明:所产生的RPB归一化功率偏差为0.054 8,偏振偏差为0.004 4。利用干涉仪,获得了RPB的相位分布,相邻断面间平均相位差为1.471。最后,通过偏振和相位信息的数据处理,成功重建了RPB的矢量场分布,并发现其拓扑荷在3左右。这些结论为实现精密量子调控与测量铺平了道路。     

肟基丙二酸二乙酯的合成

以丙二酸二乙酯、冰醋酸、亚硝酸钠为主要原料,甲苯做溶剂制备肟基丙二酸二乙酯,并用高效液相色谱、核磁及质谱等手段表征了产物的结构.讨论了原料的物质的量比和反应温度对反应收率的影响,同时进行了稳定性实验.目标产品纯度98%,产率高达96%(以丙二酸二乙酯计).     

一种模糊自适应滤波算法的研究与实现

为解决均值滤波和中值滤波算法在数字信号处理中存在的问题,提出一种模糊自适应滤波算法．根据每个元素噪声度的大小控制均值滤波窗口的大小,并做了大量的仿真．与普通的均值滤波和中值滤波进行比较发现,该方法不仅很好地去除了信号中混有的脉冲,而且在不损坏信号细节的前提下,很好地滤除了噪声信号．最后,使用了信噪比改善因子S来检验算法的滤波效果,证明其滤波效果好于传统的中值滤波和均值滤波,且具有算法简单、实时性好等特点,并已经应用在很多场合．     

碳纤维薄板增强RC梁界面温度应力理论分析

以碳纤维薄板（CFL）为研究对象,考虑了增强钢筋混凝土（RC）梁和CFL薄板的剪切变形,并着重研究了温度变化对界面应力的影响,推导出在温度变化和力载荷作用下CFL增强RC梁界面应力分布公式。温度变化引起的界面应力分布为：在界面两端出现高应力集中,端部的应力值最大,应力在端部附近迅速下降到一个稳定值。在△T=50℃;q=50kN／m的载荷水平下,温度变化产生的最大剪应力为1．7MPa,最大正应力为1．3MPa,均布载荷作用下产生的最大剪应力为0．8MPa,最大正应力为0．7MPa。在对碳纤维薄板（CFL）增强钢筋混凝土（Re）梁进行设计时考虑温度应力的影响是十分必要的。