基于计算解语义的逻辑程序测试和调试框架

逻辑程序开发过程中需要花费大量的时间用以程序调试,原因之一是调试通常包含大量的用户交互.减少对调试过程不必要的调用能够提高软件开发的效率.程序测试中得到的由同一个错误引发的多个症状是引发对调试过程不必要调用的因素之一.给出了一种逻辑程序测试和调试框架,其中测试用例的生成、症状的发现和调试(包括诊断和改错)交叉进行,由同一个错误引发的症状只有一个可引发调试过程执行,并以此方式避免了对调试过程不必要的调用.然后,利用一种基于约束的Prolog计算解语义,该框架被实例化为一种Prolog程序的测试和调试算法,本实例表明了该算法的应用.     

一种并行多目标遗传邻域搜索算法

现有的多目标遗传算法在解决大规模多目标生产调度问题时虽然有效,但往往非常耗时,难以应用于实际.为了提高求解效率,提出了一种并行多目标遗传邻域搜索算法来求解Pareto边界.该算法将多目标遗传算法的进化方向划分为若干范围,然后同时对每个进化方向的范围使用多目标遗传邻域搜索算法,并行地搜索各方向范围内的Pareto边界;在各进化方向范围内进化的子种群会定期交流各自进化成果.多目标遗传邻域搜索算法的并行化在不增加求解时间的前提下,提高了求解精度,加快了算法的收敛速度.仿真实验结果验证了算法的可行性与有效性.     

引入信息预处理的多状态二进制改进算法

针对多状态二进制防碰撞算法通讯数据存在冗余的情况,引入信息预处理与阅读器部分接收机制。在识别过程只处理冲突位,阅读器只接收并记录标签部分数据,尽量避免数据重复发送与接收,状态标志根据不同指令做变化,减少交互次数,从而降低通讯数据量。采用Java进行算法模拟仿真,结果表明,在碰撞位不连续,碰撞位冲突率低于25%时,算法在减少通讯量方面,具有明显优势。若不计入预处理过程,该算法在任何碰撞位冲突率下通讯数据量都有较大优势。     

一种基于堆栈存储的RFID防冲突算法

针对现有几种基于二进制搜索法的RFID防冲突算法没有同时考虑识别次数和传输位数这两方面性能,通过改进读写器识别电子标签过程中的步骤和减少读写器发送指令的位数,提出了基于堆栈的RFID动态减位防冲突算法。该算法利用堆栈记忆存储功能避免每次从树型根部识别,从而减少识别次数;并采用适当协议进一步缩减必需的指令信息位。仿真结果表明该算法在识别次数和传输位数方面相比其它几种二进制搜索法都有很大降低,在次数效率和位数效率性能上亦有较大提高,故该算法在识别完成时间和能量消耗方面相应得到较大改善。     

交换机系统割接方案

在全国电力系统的语音调度专网通信系统中,由于系统发展的需要,经常涉及到电话交换机的移机及割接。由于调度通信系统的重要性及特殊性,在交换机移机及割接过程中要保持通信的畅通,不能中断。在一些核心的大局的割接过程中,在业务复杂繁多的情况下,如何保证通信不中断,做到平滑、无缝的割接,是许多大局都面临的问题。详细介绍一种调度交换机割接并移机的方案,可以提供一些这方面的参考。     

大型受端立体化电网结构研究

以辽宁省500kV及以上电网规划工程为依托,针对辽宁省电网“负荷密度大、容量大、结构密集、外受电源比例大、短路容量大”的特点,提出了辽宁省大型受端立体化双环网的建设方案,并重点论述了辽宁省大型立体化受端电网的构建思路、基本原则和结构研究。     

信息安全风险管理的EPDCA模型

分析了目前几种比较典型的信息安全管理模型存在的不足,提出了信息安全风险管理模型EPDCA,论述了该模型的理论依据、模型构成和模型中的各个组成内容的主要功能.研究结果表明:该模型具有良好的动态性、循环性和可行性,能够实现信息安全风险管理的全过程控制.     

冬青树叶表面的红外光谱特征

用红外衰减全反射技术(ATR)研究了各生长期和不同环境中冬青树叶表面的红外光谱特征.当用黑色塑料袋套在冬青枝条上48 h后,树叶表面的水分有所增加,其它成分变化甚微.当用透明塑料袋套在枝条上48 h后,树叶表面酯类物质的特征峰1 730、1 682 cm-1增加,且峰强度相当.当冬青叶片与甲苯气体接触48 h后,叶片反面酯类物质的特征峰(1 730、1 168、1 039 cm-1)有所减少.同样,叶片正面的酯类物质(1 730、1 168、1 039 cm-1)也有所减少.扫描电镜能谱也证实了叶片反面酯类物质确有减少.     

基于有限状态机的电网多源时空数据的区块链追溯方法研究

电网基础数据类型多、变化关系复杂,地理空间、时间周期跨度大,数据追溯困难,该文提出基于区块链技术的电网多源数据追溯方法。根据电网基础数据时空分布及数据流变动性特点,建立了基于区块链的多源数据追溯架构,研究了数据追溯依赖关系及溯源路径结构。提出了基于有限状态机模型的数据溯源的路径结构分析图,及路径构建算法,研究了多源时空数据区块的平行追溯方式。构建了基于有限状态机溯源路径的电网多源时空数据追溯优化流程,研究了多层次溯源数据区块时空序列关联性。工程实例表明,基于区块链、有限状态机可高效灵活追溯电网基础多源时空数据的完整可信分布序列。     

演绎城市新景观生态走廊闵行七莘路景观绿地的改建与营造设计

1项目背景七莘路位于上海闵行区西北,是连接七宝镇和莘庄镇的交通要道,与莘松高速、318国道、R4地铁相交,沿道路两侧有地铁广场、绿化休闲母亲林等重要节点,道路周边以大型的居住区和商业区为主。闵行区将其规划定位为符合上海国际型大都市要求的城市景观生态走廊,藉此塑造城市新形象,以传承文化、表达现在和展望未来,创造舒适的现代城区环境、宜人的居住环境和浓郁的绿色生态环境。