基于混合搜索的含逻辑“与”“或”的RM优化算法

相对于标准约束优化问题,广义约束优化问题（或称析取优化问题）的等式或不等式约束条件中不仅包含逻辑“与”关系,还含有逻辑“或”关系.单调速率（RM）优化问题是广义约束优化问题的一个重要应用.目前RM优化问题已有的解法包括函数变换、混合整数规划、线性规划搜索等算法.随着任务数的增多,这些算法的求解时间较长.提出一种基于线性规划的深度广度混合搜索算法（LPHS）,将广义约束优化问题拆分成若干子问题,建立线性规划搜索树,合理选择搜索顺序,利用动态剪枝算法减小子问题的规模,最终求得最优解.实验结果表明,LPHS算法比其他方法有明显的效率提升.研究成果与计算机基础理论中的可满足性模理论的研究相结合,有助于提高可满足性模理论问题的求解效率,促进该理论在程序验证、符号执行等领域的进一步应用.     

一种支持语义互操作的Web服务注册管理机制

随着互联网中Web服务的急剧增长,大量服务资源已呈分布异构状态,仅仅靠单纯的语义信息已经不能满足Web服务的动态集成和随需而变.尽管网络通信协议、基于XML的各种信息交换协议基本解决了网络信息资源之间互连和互通的问题,但自治异构的Web服务之间的互操作问题还有待解决.针对以上问题,基于国际标准ISO/IEC 19763-3:MFBOR,构建了一种语义互操作性Web服务注册管理框架,并提出了Web服务的2种语义互操作能力,初步实现了Web服务资源由“孤岛性”向“互操作性”的转变.     

隐蔽信道新型分类方法与威胁限制策略

隐蔽信道是指恶意通信双方通过修改共享资源的数值、特性或状态等属性,来编码和传递信息的信道.共享资源的选取,由隐蔽信道的类型与具体通信场景所决定.早期,存储隐蔽信道和时间隐蔽信道主要存在于传统操作系统、网络和数据库等信息系统中.近年来,研究重点逐渐拓展到了3类新型隐蔽信道,分别为混合隐蔽信道、行为隐蔽信道和气隙隐蔽信道.对近年来国内外隐蔽信道研究工作进行了系统的梳理、分析和总结.首先,阐述隐蔽信道的相关定义、发展历史、关键要素和分析工作.然后,根据隐蔽信道共享资源的类型以及信道特征,提出新的隐蔽信道分类体系.首次从发送方、接收方、共享资源、编码机制、同步机制、评价指标和限制方法这7个方面,对近年来新型隐蔽信道攻击技术进行系统的分析和归纳,旨在为后续隐蔽信道分析和限制等研究工作提供有益的参考.进而,讨论了面向隐蔽信道类型的威胁限制技术,为设计面向一类隐蔽信道的限制策略提供研究思路.最后,总结了隐蔽信道中存在的问题和挑战.     

新型整流桥串并联切换直流融冰装置

我国南方地区冬季气温低湿度大,在远距离传输的高压输电线路上经常出现区域覆冰问题,覆冰严重时会造成杆塔倒塌等电力事故。文中研究的新型整流桥串并联切换直流融冰装置即用于解决输电线路覆冰问题,可避免造成大面积供电中断。文中基于常规十二脉动直流融冰装置,通过原理分析、参数设计和仿真验证,提出一种新型直流融冰拓扑,可以同时满足导线融冰的大电流和地线融冰的高电压需求。相较于常规十二脉动直流融冰装置,采用新型直流融冰拓扑可以选用一半容量的换流变压器和一半通态平均电流的晶闸管,显著降低设备投资成本;且在大电流输出模式下可以有效减小注入系统的谐波电流,从而减小接入点的系统电压畸变,改善直流融冰装置投入运行时的系统电压质量。     

溶胶-凝胶法和共沉淀法制备的K/Mn/Fe复合氧化物催化剂在CO加氢反应中的对比研究

比较了溶胶-凝胶法和共沉淀法引入钾或锰助剂对Fe催化剂的CO加氢反应性能的影响,结果显示,制备方法的改变基本没有影响钾助剂在提高催化剂低碳烯烃选择性方面的性能,锰助剂的作用则因制备方法的不同而异,与共沉淀法相比,溶胶-凝胶法引入的锰助剂不能有效改善催化剂的低碳烯烃选择性;进一步的H2 TPR对比研究表明:以溶胶-凝胶法引入的锰助剂不能有效改善催化剂的初始还原性能,从而导致其无法提高催化剂的低碳烯烃选择性。     

硫脲添加对电沉积法制备的多孔泡沫铁材料结构和性能的影响

多孔铁材料不但具有金属铁的磁学特性,还具有质轻、比表面积大、可压缩等特点,是一类在微波和电磁学领域有广泛应用前景的新材料。与固相法、液相法相比,电沉积铁具有操作流程短、能耗低、对环境污染较小等优势。以氯化亚铁、柠檬酸铵为原料,加入不同量的硫脲作为添加剂,用电沉积方法制备多孔铁材料。通过恒电流法、SEM等方式探究硫脲添加对电沉积铁的电化学作用的影响。结果表明,硫脲添加能够显著抑制析氢反应,提高阴极电流效率并细化镀层晶粒,改善镀层均匀性。通过电沉积配方优化,获得了比表面积为0.7994 m2/g的多孔铁材料。     

利用C#实现GSM模块的短信群发功能

通过GSM模块实现手机短信的自动发送是现今信息管理系统的重要功能,要实现中文短信的发送需要了解PDU格式的定义与SMS的工作步骤。利用C#语言通过对AT指令的调用讲述如何实现短信群发功能,给出了短信发送的主要步骤和核心代码。     

激光粒度测量中扇形SSPD的数据采集与处理

根据扇形自扫描光电二极管阵列 -SSPD的工作原理及信号特点 ,提出了一种计算机控制的数据采集与处理方法 ,包括串行微弱信号的放大、时序的配合、微机接口电路及非线性修正等内容 ,可以以较高的精度实时采集到SSPD各环的峰值。可应用于激光粒度的测量与其它空间光能量分布的探测中     

氰酸酯树脂／环氧树脂共混物的结构与性能研究

采用原位红外光谱法确定了氰酸酯树脂(CE)/环氧树脂(EP)体系的共固化反应机理,研究了非催化条件下EP含量对产物结构的影响,并且研究了不同配比的CE/EP共混物的结构与性能之间的关系.研究表明,随EP含量的增加,产物中恶唑烷酮含量增加,相应浇注体的冲击性能有明显提高,但弯曲性能略有下降;凝胶点测试表明,EP可以有效促进CE的固化反应.     

弱网系统STATCOM直流偏磁问题试验研究

链式静止同步补偿器(STATCOM)在工程应用中存在低次谐波含量严重超标的现象,针对该问题进行理论研究和建模分析,研究发现STATCOM连接于弱电网会引发稳定性问题,引入直流分量的正反馈,直流电流注入并网变压器会造成变压器偏磁,导致并网电流中存在大量低次谐波。为了解决该问题,提出了在控制策略中引入电流隔直控制环,可有效抑制STATCOM并网电流的直流分量。最后,基于上述理论研究分析,在实际工程应用中加入了上述电流隔直控制环,试验结果表明了所提控制策略的正确性。