摘要：指针程序的分析一直是研究热点。本文提出一种基于形状图逻辑的形状分析方法,其中形状分析采用形状图来表达程序中指针的指向和相等关系,并用形状图逻辑来进行推理。形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。首先介绍所提出的形状图和形状图逻辑;然后在此基础之上,设计一种基于形状图逻辑的形状分析方法。

摘要：视网膜层边界的形态变化是眼部视网膜疾病出现的重要标志,光学相干断层扫描(optical coherence tomography,OCT)图像可以捕捉其细微变化,基于OCT图像的视网膜层边界分割能够辅助相关疾病的临床判断.在OCT图像中,由于视网膜层边界的形态变化多样,其中与边界相关的关键信息如上下文信息和显著性边界信息等对层边界的判断和分割至关重要.然而已有分割方法缺乏对以上信息的考虑,导致边界不完整和不连续.针对以上问题,提出一种“由粗到细”的基于端到端深度神经网络和图搜索(graph search,GS)的OCT图像视网膜层边界分割方法,避免了非端到端方法中普遍存在的“断层”现象.在粗分割阶段,提出一种端到端的深度神经网络—注意力全局残差网络(attention global residual network,AGR-Net),以更充分和有效的方式提取上述关键信息.具体地,首先设计一个全局特征模块(global feature module,GFM),通过从图像的4个方向扫描以捕获OCT图像的全局上下文信息;其次,进一步将通道注意力模块(channel attention module,CAM)与全局特征模块串行组合并嵌入到主干网络中,以实现视网膜层及其边界的上下文信息的显著性建模,有效解决OCT图像中由于视网膜层形变和信息提取不充分所导致的误分割问题.在细分割阶段,采用图搜索算法去除AGR-Net粗分割结果中的孤立区域或和孔洞等,保持边界的固定拓扑结构和连续平滑,以实现整体分割结果的进一步优化,为医学临床的诊断提供更完整的参考.最后,在两个公开数据集上从不同的角度对所提出的方法进行性能评估,并与最新方法进行比较.对比实验结果也表明所提方法在分割精度和稳定性方面均优于现有方法.

摘要：话务工作是通信领域的前端服务,话务训练是提高话务员服务水平的根本途径。电话号码背记是话务员必须进行的基本技能训练科目,其熟练程度直接影响话务员接转电话的服务质量。传统的话务员训练方法单一,主要是通过文字材料进行"硬性"背记训练,参训人员依靠文字材料采取死记硬背的方式加强训练效果,训练过程单调枯燥,训练效果不佳。因此开发一种寓训于乐、轻松有趣的训练系统,对于提高训练人员的注意力,提高训练效率是非常必要的。本文基于AJAX异步通信技术,后台采用***框架来设计运行逻辑以及数据库存储读取;前台利用JQuery来进行异步通信获取数据并利用JQuery强大的动画功能设计出具有很强娱乐效果的话务员训练考核系统。该系统在实际应用中获得了良好的评价。

摘要：当前基于现场可编程门阵列(FPGA)的动态部分可重构设计已经成为实现硬件加速的最热门方法之一,但分区的方法直接影响可重构区域面积和重配置时间。因此,研究将可重构系统划分为许多可重构模块(RMs),并分配到FPGA上的可重构区域(RRs)的方法具有重要意义。在分析和评价现有分区技术的重构时间和区域面积利用率的基础上,提出了一种新的动态部分可重构方案。该方法基于图形聚类算法对分区过程进行优化,自动寻找最优分区方案,并在重配置过程中实现了可重构区域之间走线的动态连接,最终实现重构时间和区域面积的同时优化,与Vipin算法方案相比,该设计方案的重配置时间减少了约10%,可重构面积减少了约18.5%。

摘要：城市供水系统对居民生活质量起着关键作用,因此对城市供水管网的建设、管理也提出了更高的要求。项目通过对科伦坡南部供水管网进行升级改造,收集项目区域内的地理信息和用户信息等相关数据,分类、归集到GIS数据库中,在施工过程中对相关数据同步更新,建立起完善的GIS数据库。为项目规划、设计、施工和无收益水管理工作提供参数。通过GIS系统对数据库进行综合管理,使供水管理水平进一步提升,提高工作效率,促进供水企业的可持续发展。

摘要：【目的】以米曲霉(Aspergillus oryzae)M-4对己烯雌酚(Diethylstilbestrol,DES)的降解率为响应值,对其降解条件进行优化。【方法】采用Plackett-Burman法对培养基组分和降解条件筛选显著性影响因素,并通过Box-Bohnken设计试验优化降解条件。【结果】最优培养基配方为:蛋白胨1.3%,CaCl_2 0.045%,葡萄糖0.5%,K_2HPO_4 0.15%,KH_2PO_4 0.05%,NaCl 0.05%,Tween 80 0.2%,DES质量浓度44 mg/L;最优培养条件为:初始p H 7.5,种龄72 h,转速140 r/min,培养温度28°C,培养时间72 h。【结论】在最优条件下菌株M-4对DES降解率为83.89%,比优化前(60.98%)提高1.38倍,差异极显著(P<0.01)。

摘要：基于FPGA芯片,设计实现了一种上电复位状态机。在电路内部产生一系列的复位信号,控制配置存储单元SRAM的数据、地址以及电源,使其在不同阶段保持合适的电压,帮助SRAM在上电过程中顺利完成初始化,提高FPGA芯片启动的稳定性。

摘要：装箱是FPGA工具设计流程中关键的一步,是综合、工艺映射和布局的桥梁,在很大程度上影响了电路的速度和功耗。基于千万门级FPGA xc5vlx20tff323-2器件,对XST综合工具综合后的网表进行装箱,并把装箱结果转换为XDL格式文件,使用Xilinx工具验证其正确性。