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

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

基于银纳米颗粒的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性能影响严重,而且与入射波长有很强的依赖关系.     

电磁搅拌作用下激光熔池电磁场、温度场和流场的数值模拟

建立了描述电磁搅拌辅助激光熔凝过程的电磁场和流场的三维数学模型,采用有限元和有限体积结合的方法实现激光熔池中电磁场与温度场及流场的耦合模拟分析,研究了电磁场对激光熔池流场与温度场的影响。结果表明,电磁力在水平面上呈周向分布,切向电磁力的大小从熔池边缘到中心递减;在旋转磁场的作用下,熔池内温度略有降低,温度梯度减小;熔池内液体趋向旋转运动,速度场分布与电磁力相似;熔池纵向环流增加,使熔池内的熔体对流加剧,有利于传热,加快冷却;激励电流大小对电磁场和熔池流场有明显影响。为激光加工提供理论参考。     

视频内容安全保障新方法探索与实践——视频基因管控系统

在网络安全形势日趋严峻的今天,互联网视频网站、广播电视网络等视频播出系统遭受网络攻击已经成为现实.提出了一种可在传输线路上实时保障视频内容安全的新方法——视频基因管控系统,可部署在播出系统出口线路上,作为独立、隐形的视频内容安检闸门,确保广电前端网络或互联网视频网站被恶意攻击并控制时,违规内容仍无法输出到网络上.系统还可部署在承载网的传输线路上,为多屏融合情形下的碎片化视频内容监管、内容版权保护提供基于传输线路的实时解决方法.     

面向融合网络的广电双向接入网入侵检测系统

针对广电接入网边界缺乏安全防护措施的现状,提出一种面向融合网络的广电接入网入侵检测系统,并实例化为SunGnet703,可检测并实时阻断进出接入网边界的各类网络攻击.系统具有“非配合”部署、高可靠性运行、“隐形”确保自身安全、全维数据分析4个特点,可为广电接入网边界提供一种简便易行的安全防护方法和实际系统.     

电磁搅拌辅助钛合金激光沉积修复的电磁场模拟与验证

利用自行研制的电磁搅拌装置辅助钛合金激光沉积修复,通过有限元软件ANSYS进行数值模拟,并与试验相结合,研究了钛合金激光熔池内磁-电-力的相互作用关系。结果表明,在旋转磁场的作用下,激光熔池内的液体表面磁感应强度与激励电流成正比,与频率成反比;激光熔池受到径向力和切向力的作用,但是前者较小,可以忽略不计,液体横截面上电磁力密度最大值与激励电流成正比。在旋转磁场的作用下激光沉积修复件表面两侧凸起且修复层内部组织/片层长径比减小。     

三环己基锡吡啶酸甲酯的合成、结构、热稳定性及其量子化学计算研究

利用吡啶-3-甲酸与Cy3SnOH反应合成了[(C5H4N)COOSnCy3]n,经元素分析、1H NMR、IR和X-射线衍射表征分子结构。在该配合物的结构中,中心Sn原子呈现五配位畸变三角双锥构型,并通过分子间的N→Sn配位形成一维链状线型聚合物,分子链间的C-H…O氢键作用将配合物分子组装成三维超分子网络结构。利用量子化学G03W软件,在LANL2DZ基组对配合物的稳定性、前沿分子轨道组成及能量进行研究。热重分析表明该化合物在273℃开始发生分解。     

扑热息痛在Nafion-石墨烯-纳米金复合膜修饰电极上的电化学行为

利用Nafion,石墨烯(GS)和纳米金(AuNs)的N,N-二甲基甲酰胺(DMF)分散液制备了一种新型纳米复合膜修饰碳糊电极(CPE),建立了一种测定扑热息痛(PCT)的新方法。采用扫描电镜(SCE)对修饰电极进行了表征;利用循环伏安法(CV)研究了PCT在修饰电极上的电化学行为。利用微分脉冲溶出伏安法(DPSV)优化了测定PCT的试验条件。结果表明:PCT在Nafion/GS/AuNs修饰电极上于0.43V处出现了一灵敏的氧化峰(Epa),其电极过程受扩散控制。同时利用氧化峰可以进行微量PCT的检测,其峰电流(ip)与PCT浓度(c)在0.5～10μmol/L和10～900μmol/L范围内均呈良好的线性关系,相关系数分别为0.9968和0.9973,检出限(S/N=3)为0.1μmol/L。复合膜修饰电极稳定性较好,可用于实际药品中扑热息痛的含量的快速检测。     

双酚A在壳聚糖石墨烯复合膜电化学传感器上的电化学行为及测定

采用hummers法制备了石墨烯,以碳糊电极为基底电极采用滴涂法制备了壳聚糖石墨烯复合膜电化学传感器(CTS/GR/CPE),并利用循环伏安法和线性扫描溶出伏安法研究了双酚A在电化学传感器上的电化学行为。在pH 7.4的磷酸盐缓冲液中,于-0.1V富集180s后,该电化学传感器对双酚A具有良好的电催化作用,于0.564V处有一灵敏的氧化峰,线性范围为1.00×10-6～7.00×10-5mol/L和7.00×10-5～1.00×10-3mol/L,检出限(S/N=3)为1.00×10-7mol/L。方法用于塑料制品中溶出双酚A的测定,回收率为96.4%～100.5%。     

ZnO/CdS复合材料的合成与可见光催化性能

采用喷雾辅助气相沉积法在水热法合成的ZnO纳米线上沉积CdS纳米颗粒。采用X射线衍射仪（XRD）、激光拉曼仪（Raman）、扫描电镜（SEM）、透射电镜（TEM）、X射线光电子能谱分析谱（XPS）和紫外可见漫反射光谱等测试手段对复合光催化剂进行表征。结果表明,3~10 nm的CdS纳米粒子修饰在直径约为100 nm ZnO纳米线的表面。XPS和Raman表明复合材料中ZnO和CdS之间存在化学相互作用。可见光催化降解罗丹明B实验结果表明ZnO/CdS复合材料的催化性能优于单相CdS或ZnO,沉积时间为30 s合成的ZnO/CdS速率常数分别是CdS和ZnO的2.91和4.03倍,且具有较高的稳定性。ZnO/CdS复合材料光催化性能增强的可能原因为光吸收范围的拓展和光生载流子分离效率的提高。