保护法提高超支化聚缩水甘油的羟基反应率

利用聚缩水甘油的大量末端羟基,将氟碳链接入聚缩水甘油中,得到全氟端基超支化聚合物．采用保护法对聚缩水甘油的外部羟基保护,使内部羟基接上氟端基;然后对外部羟基解保护,接上氟端基,得到最终产物．利用红外、核磁对各合成步骤和最终产物进行了表征．实验结果表明,外部羟基先保护后去保护的多步合成方法中的羟基转化率显著高于氟端基直接和聚缩水甘油反应的一步法．保护法将聚缩水甘油内外部羟基区别开,使其分剐参加反应,提高了羟基反应率．     

自动定理证明中带有等词的连接法

连接法是一种较新的自动定理证明的方法.该文讨论了带有等词的连接法,给出了形式化的定义,证明了带有等词的逻辑公式是eq有效的当且仅当它有互补复合例的规范矩阵的定理,并设计了带有等词的连接法的有关算法.     

自助IC卡缴费终端应用系统设计

讨论一个自助IC卡缴费终端应用系统,采用了Client／Server结构、CDMA的通信方式。该系统采用3DES算法对交易信息加密保证交易的保密性,通过对交易信息进行MAC校验保证交易的防篡改,对重要交易信息进行数字签名保证交易不可抵赖性。系统作为城市收费一卡通系统的客户端,极大方便市民通过自助Ic卡缴费终端实时缴费、查询账单、获取相关缴费信息。     

基于Unix/Linux环境的进程实验项目研究

根据Unix的守护进程(Deamon)思想,以及基于TCP的网络编程技术,给出一个关于多进程控制的实验项目的设计.     

金属-末端元素多重键配合物的中文译名

金属-末端元素多重键配合物是一类在结构和性质上都颇为重要的化合物,但至今尚无简洁统一的中文译名。考虑到中文化学术语的音译和意译原则,建议将其译为金属X独配合物(X为配位元素名)。     

应用非线性干扰观测器的反推终端滑模飞行控制

针对飞机机动飞行时模型非线性、气动参数和力矩干扰不确定性的特点,提出一种基于非线性干扰观测 器的反推终端滑模控制方案. 该方案利用非线性干扰观测器逼近系统不确定性,取消了不确定性上界已知条件. 反 推设计过程中结合动态面控制设计虚拟控制律,能避免计算复杂性问题,通过引入快速终端滑模控制策略,提高了 系统收敛速度和稳态跟踪精度. 采用Lyapunov 稳定性理论证明了闭环系统所有信号一致终结有界. 对某战斗机进 行6 自由度机动飞行仿真,验证了该控制方案的有效性.     

集装箱码头同贝同步装卸作业的序列优化模型

同贝同步装卸是集装箱码头提高装卸作业效率和资源利用率的有效途径和方法.其调度的复杂性体现在需要同时决策装、卸船两类集装箱在受堆场翻箱约束和舱口盖限制情况下的作业序列.针对该问题的柔性准备时间、成组调度和优先顺序约束等特点,本文建立了同贝同步装卸作业的整数规划模型.为求解模型,设计了基于遗传算法和贪婪规则的混合求解算法.最后,通过将算例实验结果与不考虑翻箱和舱口盖限制的简单下界进行比较,验证了模型与算法的有效性,说明所建立的模型有利于提高集装箱码头的装卸作业效率.     

基于堆场混合堆存的集装箱码头装船顺序优化模型

为提高集装箱码头同贝同步装卸中岸桥与场桥作业效率,降低集卡空驶,提出了一种新的码头堆场堆存方法,即进出口集装箱混合堆存策略.以最小化场桥装卸作业的移动时间及翻箱时间为目标,建立出口集装箱装船顺序优化模型,通过优化出口集装箱装船顺序,增加场桥双循环次数,提高岸桥作业效率.设计了求解模型的启发式算法,并利用算例验证了模型和算法的有效性,分析了不同堆场布局的影响.结果表明,混合堆存策略能有效提高场桥的作业效率,本文构建的模型为提高岸桥同贝同步装卸效率提供了依据.     

脉冲力末端修正追踪制导律稳定性分析

脉冲力控制的离散性和弹体动力学的连续性使得脉冲力控制制导控制系统成为难于分析的混杂控制系统。鉴于此,建立了脉冲力控制弹体和制导回路动力学模型,通过将脉冲力控制制导系统等价为幅值式脉冲调制(amplitude pulse frequency modulator,APF-M)系统,解决了脉冲力控制制导回路的变周期离散化建模问题。进一步利用滑模理论分析了制导回路的稳定性,得出脉冲冲量、喷管点火等待时间及重力对制导回路稳定性的影响。提出了偏置阈值法进行重力补偿,并对脉冲力控制制导回路进行了仿真分析。仿真结果验证了偏置阈值法重力补偿的有效性,并得出加大脉冲冲量,减小喷管点火等待时间能有效减缓失调角发散的结论。     

基于图像熵分类的移动终端数字水印算法

本文围绕移动终端多媒体数据版权保护问题,针对移动终端处理能力弱和内存小的特点,采用基于图像熵分类的方法设计码书;同时在水印嵌入过程,优先将水印信息嵌入于复杂度较高的纹理区域,以提高嵌入水印后的图像质量,并采用等均值等方差最近邻码字搜索算法代替传统搜索算法以缩短编码时间。实验证明,本算法在提高码书质量的同时,能有效的减少码书训练时间;并对JPEG压缩、剪切、小角度旋转等图像攻击具有较强的鲁棒性。