基于可满足性计数的(≠,=)约束工作流鲁棒性验证

工作流将业务过程分解为有序的步骤并分配人力资源加以执行.资源分配受访问控制约束及资源异常干扰,存在可满足性和鲁棒性问题.而其鲁棒性验证又依赖于其可满足性判定,目前通过求可满足性的一个解来完成.本文提出另一种途径,通过统计解的个数来完成判定.特别地,通过多项式计数归约为有求解器可用的#SAT问题,给出了互斥和绑定约束下的可满足性计数算法.实验表明,相对目前时间复杂度最低的可满足性求解算法,该可满足性计数算法显著提高了实际判定效率和适用规模.     

单个非球面扩束透镜的设计

为设计单个非球面扩束(缩束)透镜,由光线折射定律矢量形式和对非球面折射特性的理论分析,提出了一种设计单个非球面扩束(缩束)透镜的新方法全面学习策略的粒子群算法,并用此方法设计出了线度小于170 mm缩束14.16倍的单个非球面缩束透镜,用光线追迹方法模拟了缩束或扩束过程。模拟结果表明,单个非球面透镜可以起到缩束或者扩束作用,全面学习策略的粒子群算法可用于非球面缩束透镜的设计。单个非球面透镜作为扩束镜使扩束系统结构大大简化,大大提高了出射光斑的均匀性。     

基于决策论的数字调制信号识别方法

以决策论为基础提出了一种改进的数字调制信号识别方法,该方法仅需4个相对简单的特征参数,就能识别2ASK、4ASK、2FSK、4FSK、2PSK、4PSK和16QAM这7种数字调制信号。仿真结果表明,该方法复杂度较低,识别正确率有较大提高,尤其对于2ASK、4ASK、MPSK/MFSK及16QAM的识别,在信噪比较低的情况下,具有较好的识别效果。     

基于银纳米颗粒的HCPCFSERS传感系统优化设计

银纳米颗粒与光子晶体光纤、表面增强拉曼散射效应结合而成的PCF SERS传感器得到了科研界的广泛关注.而PCF结构、SERS基底的性能是传感器的重要影响因素.为了进一步提高SERS PCF传感器的性能,通过研究对比PCF和SERS基底结构参数对传感性能的影响,设计出适用于PCF SERS传感的空芯PCF以及SERS基底的结构参数.通过数值计算,设计的空芯PCF空气填充率为56.30%,当激发光波长785 nm时存在光子带隙,并能够实现单模传输.而半径为38 nm的银纳米球在间距为0.7 nm时能够产生最大的SERS增强因子.研究证明,设计的空芯PCF在785 nm输入波长下既能够基模传输激发光,又能够为SERS提供理想的活性面积,而且银纳米颗粒的形状、尺寸、间距对SERS性能影响严重,而且与入射波长有很强的依赖关系.     

客服场景下基于指纹识别技术的4A系统强制认证方式研究

首先针对现有技术方案及存在问题,分析了目前客服坐席人员身份认证方案的不足,提出了瘦终端应用场景和传统终端应用场景中基于指纹识别技术的强制认证方案及实现流程,最后,通过比较,总结了这种方案的优点,基于指纹识别技术的4A系统强制认证方式值得在客服强制认证中推广.     

集团客户WLAN建设方案研究

结合中国移动现网WLAN对集团客户WLAN建设方案进行了研究,通过分析集团客户对WLAN需求的特点并结合现网WLAN结构,对需求进行了归类,并给出每类需求的WLAN建设方案.     

W 波段回旋行波管高频结构设计和仿真*

对W 波段回旋行波管的高频结构的设计参数进行了分析计算与软件仿真,通过色散关系确定了磁场 取值,通过对返波振荡的分析确定了高频结构———周期衰减材料加载,通过对绝对不稳定性振荡的分析确定了工作 电流和横纵速度比的取值范围,最终得到了W 波段回旋行波管的工作参数。采用粒子模拟软件进行模拟计算,可以 得到155kW 的峰值功率输出和5.5GHz 的带宽,并给出了输出功率与回旋行波管各工作参数之间的关系曲线,进一 步证明了对返波振荡和绝对不稳定性振荡的分析与参数选取的合理性。实际加工的回旋行波管在测试中峰值功率 大于100kW,增益大于40dB,效率大于12%,3dB 带宽为4.1GHz。     

纳米颗粒透明分散体及其高性能有机无机复合材料

纳米颗粒分散是无机纳米材料在有机体系中应用的关键.本文提出了采用纳米颗粒液相分散体制备高度分散纳米透明有机无机复合材料的新方法,发明了超重力反应-萃取相转移方法制备纳米颗粒液相透明分散体技术,介绍了其制备原理和实施效果,以及其在纳米复合节能膜、纳米润滑油脂和高固含量光学材料等有机无机纳米复合材料中的最新研究进展.     

成核剂及其完善剂对聚乳酸结晶行为的影响

通过POM、DSC以及流变测试系统考察了成核剂(PPZn)及其完善剂(E61)对PLA结晶形貌及其结晶能力的影响.POM结果表明PPZn和E61对PLA的结晶形态的影响随两者含量的变化而变化.加入低含量的PPZn可诱导PLA得到一定完善程度的球晶,而较高含量的PPZn能够诱导PLA基体得到针状晶体.通过添加少量E61可使在PPZn较高含量下的PLA针状晶体转变为球晶.但更高含量E61的添加却使PPZn的成核作用受到抑制,再次生成针状晶体,且E61含量越高,抑制作用越明显.DSC和流变测试进一步证明PPZn可显著提高PLA的结晶能力、有效地缩短基体结晶时间,而E61的添加对PLA的结晶速率影响不大.     

分子动力学模拟研究点突变(Met108→Leu108)对树胶醛糖结合蛋白与配体作用的影响

为了研究点突变(Met108→Leu108)对树胶醛糖结合蛋白(ABP)与配体结合能力的影响,对ABP、ABP结合树胶醛糖复合物及ABP结合半乳糖复合物以及它们各自的突变体分别进行60 ns的分子动力学模拟.模拟结果表明,108号残基突变前后,电子等排体的两个氨基酸残基,使蛋白与配体间的范德华相互作用发生明显变化,同时导致蛋白的内部运动也发生变化,进而影响蛋白与配体的相互作用.进一步分析表明,突变前后的蛋白构象变化都趋向于两个结构域张开,而与配体的结合可减缓张开程度.