硫杂杯芳烃-金属离子的新型配位化合物

选择性分离贵金属、放射金属、碱金属等金属离子是重要研究方向之一。硫杂杯芳烃是一类由硫原子桥链苯酚单元构成的大环化合物。作为第三代超分子材料,硫杂杯芳烃反应位点丰富,上边缘、下边缘以及桥链的硫原子上都有进行功能化的可能性,而功能化后硫杂杯芳烃能够表现出与金属离子优异的配位性能,从而达到选择性分离金属离子的目的。本文介绍了硫杂杯芳烃的合成历史、自身结构特点以及配位机理。在此基础上分析了在硫杂杯芳烃的上缘、下缘引入酯基、酰胺、亚胺/胺等官能团后与碱金属、碱土金属、放射金属、贵金属离子等的配位情况,总结了硫杂杯芳烃自身构型、杯环的大小、溶剂类型等对其配位性能的影响,并深入分析了与金属离子的不同配位机理。本文可以为开发高效选择性分离提取各种金属离子的技术提供理论依据。     

大学计算机基础课程教学模式改革的研究

大学计算机基础课程是高校非计算机专业的一门公共基础课。它着力培养学生运用计算机技术分析问题、解决问题的意识和能力;培养学生的系统思维能力,提高大学生的信息素养。该文分析了目前大学计算机基础课程教学的存在的主要问题,针对问题,提出了一些改革性的建议。     

CFG桩复合地基静载检测方法探讨

某大型低层建筑群采用CFG桩进行地基处理.本文应用JGJ106-2003<建筑基桩检测技术规范>中的静载检测方法,对经CFG桩处理的粉质黏土地基承载力进行检测.通过对检测过程和成果的分析总结,对规程规定方法中有关预载、级差超限、加荷控制、卸载观测等方面不明确之处进行了探讨.     

“国资云”政策解读及给运营商网络运维带来的影响和启示

在《关于加快推进国有企业数字化转型工作的通知》要求下,"国资云"风潮渐起。而具有央企属性的运营商,无疑将成为"国资云"市场上的中坚力量。那么对于运营商而言,如何将后端的运维支撑更好地对外服务于"国资云",就变得尤为重要。本文通过一系列分析,论证网络运维需向5个方面转型,以更好适配"国资云"的发展需要:一是打造网络运维产品化,二是构建云上安全体系,三是构建运维平台能力,四是构建预测和回溯机制,五是加强人才转型。     

一种基于UML的实时工作流建模方法研究

实时系统由于其业务对时间要求的特殊性,使得传统工作流技术难以满足其需求.在传统工作流的基础上,针对实时系统提出了实时工作流的概念,并建立了实时工作流元模型.与传统的工作流相比,主要对工作流的时间约束和异常处理进行了考虑.在活动上扩展了启动时间和执行时间,在工作流过程上扩展了执行时间,在并发活动上扩展了并发时间约束等,此外,元模型中还考虑了活动的超时异常以及应用程序和活动之间的执行关系.为了能够利用实时工作流元模型进行实时工作流建模,通过扩展UML定义了一种实时工作流描述语言,并分别从设计要求、定义技术和profile三个方面对实时工作流描述语言进行了阐述,给出了实时工作流的建模规则.最后结合船舶指控系统的具体实例,对建模方法进行了说明.     

利用反向投影的flash场景自适应视频编码算法

针对闪光造成的光照变化会导致视频帧之间巨大的强度差异问题,提出利用反向投影的flash场景自适应视频编码算法;根据直方图差异提取闪光和非闪光帧,相应地为每个帧分配适当的编码类型,并在加权预测(WP)参数集确定中采用运动向量导数,通过反向投影保证flash场景的全局一致性;实验结果显示,提出的算法在Lena、Peppers、Building、Baboon、Nestling 5个视频上的峰值信噪比(PSNR)值分别可高达32.31 dB、34.14 dB、34.76 dB、34.94 dB、35.05 dB,非常接近原始图像的PSNR;相比其他几种加权预测算法,提出的算法在PSNR及计算复杂度方面均获得了更加优越的编码性能。     

改进的验证正确性ACTL性质的限界模型检测方法

近些年来,基于SAT的限界模型检测方法作为基于BDD的限界模型检测方法的一种有效补充,已经得到了一定的发展。其中,大部分的研究成果都集中在了使用该方法来进行系统查错方面,而在正确性性质的验证上一直难有突破,原因在于正确性性质的验证依赖于一个完备上界,而这个完备上界在限界模型检测方法中很难实现。对传统限界模型检测中的编码方式进行相应改变,就能够在一定程度上解决这一问题,进行正确性性质的验证。在此基础上对该编码方法进行改进,从而提高它的求解效率,扩大其应用领域。     

VC++系列讲座(一)

本系列讲座的目的是帮助读者学习VC++,达到入门和提高。讲座共分五讲:第一讲学习VC++相关的基础知识;第二讲介绍MFC的基础类和消息机制;第三讲设计多文档界面应用;第四讲对话框应用;第五讲VC++的高级的编程。     

VC＋＋系列讲座（二）：MFC入门

第二讲 MFC入门 本讲将介绍MFC的知识,介绍MFC常用的类和宏,重点学习MFC的消息机制。 一、VC++的核心—MFC 类库是一个可以在应用中使用的相互关联的C++类的集合。微软基础类库(MFC:Microsoft Foundation Class)是微软为Windows程序员提供的一个面向对象的Windows编程接口,它大大简化了Windows编程工作。该层次结构包容了Windows API中的用户界面部分,并使你能够很容易地以面向对象的方式建立Windows应用程序。这种层次结构适用于所有版本的Windows,并彼此兼容。 基础类库的核心是以C++形式封装了大部分的Windows API。类库表示窗口、对话框、设备上下文、公共GDI对象如画笔、调色板、控制框和其他标准的Windows部件。这些类     

考虑岩土体应变软化效应的边坡稳定性分析方法

大多数岩土材料均具有应变软化特性,若视岩土材料为理想弹塑性,基于岩土材料峰值强度的边坡稳定性分析往往会高估边坡的稳定安全系数,可能会导致边坡偏于危险;而材料参数取残余强度时,计算的安全系数又较实际偏小,其分析结果偏于保守。笔者提出的考虑岩土体应变软化效应的边坡稳定性分析方法,可较好地解决该问题,同时可以模拟边(滑)坡的渐进破坏特征。