一种GBN与SR相结合的ARQ协议的Pr／T网描述与验证

提出了一种退后Ｎ帧（ＧＢＮ）与选择性重发（ＳＲ）策略相结合的自动重发请求（ＡＲＱ）协议，它的特点是接收方窗口大小为ｆ，即具有能容纳ｆ个码字的接收缓冲器Ｂ’和有ｆ位的移位寄存器ＲＥＧ。并给出了该协议的谓词／变迁Ｐｅｔｒｉ网（Ｐｒ／Ｔ网）描述和验证，说明了协议无死锁，数据传输不会丢失、重复或失序。     

橡胶挤出过程的能量平衡研究及测试

首先介绍了橡胶挤出过程中的能量平衡问题,并在橡胶挤出过程能量测试平台上对挤出系统中各种能量的分布及消耗进行了测试。通过分析测试数据,验证了挤出过程中的能量平衡理论,进而对挤出性能进行评价,从而为优化挤出机性能提供依据。     

关于卡尔费休法在电子烟烟油水分检测中的应用研究

目前,随着人们对生活品质要求越来越高,电子烟作为可替代传统卷烟的戒烟产品,逐渐被人们所欢迎。由于电子烟烟雾是通过雾化后而产生,烟油内水含量对烟品质有很大的影响,因此需要对其进行准确把控。为有效检测其中的水含量,借鉴其他行业检测水分的方法,对卡尔费休法检测烟油水分含量进行了研究。实验证明,与传统检测方法相比,卡尔费休法简单、高效,为电子烟烟油品质检测提供了新的方法。     

浅谈CFG桩的应用

随着工程建设的飞速发展,地基处理方式也日趋多样化,复合地基由于其充分利用桩间土和桩共同作用的特有优势和相对低廉的工程造价得到了越来越广泛的应用。本工程应用CFG桩和水泥旋喷桩桩复合地基,充分发挥了CFG桩的高承载力性能和水泥旋喷桩的抗变形性能,通过褥垫层形成CFG桩复合地基共同承担上部荷载,文章将对CFG桩的应用进行探讨。     

教育管理添翅膀

管理系统显雏形 早在1985年,原国家教委就提出要在我国建立“国家教育管理信息系统”。经过近十年的工作,教育管理信息系统已建成由六个级别组成的系统:中央级、省级、地市级、县级、普通高校级和其它学校级。中央级(教育部)的网络建设己完成,它与省级之间已能通过网络连接来互通信息。其它各级之间的网络互连工作正在进行。     

2-氧代环己烷基磺酸盐的合成

[目的]2-氧代环己烷基磺酸盐是合成N-(2-三氟甲基-4-氯苯基)-2-氧代环己烷基磺酰胺(L-13)的重要中间体,为了进一步提高其收率和纯度,研究了2-氧代环己烷基磺酸盐合成的反应条件。同时研究了用五氧化二磷与硫酸反应制备三氧化硫的条件。[结果]合成2-氧代环己烷基磺酸盐的最佳投料摩尔比是三氧化硫∶二氧六环∶环己酮为1∶1.1∶1.1,最佳反应温度-15~-20℃,最佳反应时间为4 h,溶剂的用量是三氧化硫∶二氯乙烷为1 g∶5.06 mL。在后处理过程中用氢氧化钙除掉硫酸,经碱中和生成的磺酸钾盐的质量要好于磺酸钠盐。[结论]投料比、反应温度、溶剂用量和后处理方法对2-氧代环己烷基磺酸盐的收率和品质影响很大,磺酸钾盐的收率可达71.2%,其能够满足L-13的合成要求。     

浅谈工程造价控制中的问题及对策

笔者谈讨了工程项目设计概算、施工图预算和竣工决算"三算"评审中存在的问题,并提出了相应的对策和建议,以供参考。     

校园活动广播平台

设计这个校园活动广播平台的主要目的就是为了能激发大学校园中的"宅男""宅女"们和对某方面特别感兴趣的学生们,走出宿舍,敢于参与、积极参与多种多样的活动和竞赛,尝试各种各样的可能性.该平台是一款基于B/S架构的Web应用系统,主要功能有注册、登录和活动,其中活动部分主要分为三个大模块,分别是学校活动、学院活动和社团活动.在各个活动前期,在负责活动宣传的人员设计好宣传海报之后,由后台人员上传该次活动,同学们可以在该平台上阅读有关信息并且参与报名.     

纳米TiO2/玉米淀粉复合涂膜对圣女果保鲜效果的研究

通过高效分散剂和超声波分散技术,将纳米TiO2 均匀分散在玉米淀粉涂膜液中,对圣女果进行涂膜处理,探讨其对贮藏过程中果实失重率、可溶性固形物含量、硬度、腐烂率、VC 含量及总酸含量变化的影响,以研究纳米TiO2/ 玉米淀粉复合涂膜液对圣女果涂膜保鲜的效果。结果表明：随着复合涂膜液中纳米TiO2 用量的增加,圣女果的失重率、可溶性固形物含量和腐烂率是先减小后增大,而硬度、VC 含量和总酸含量则呈现先增大后减小的变化规律。纳米TiO2 用量为0.025%(m/m,以玉米淀粉的质量为基准)时的保鲜效果最好,涂膜后的圣女果在室温(25℃)贮藏11d,其失重率、可溶性固形物含量、腐烂率分别比对照组降低了28.6%、12.7%、78.8%,硬度、VC 含量、总酸含量分别是对照组的1.33、1.12、1.34 倍。说明纳米TiO2 在水果涂膜保鲜方面具有一定的应用前景。     

基于归结反演的Petri网推理新方法

本文首先在命题逻辑的库所／变迁网模型中，提出四种新的证明目标例题成立的推理算法，即求包含为迁的Ｔ－不变量并同时求出变迁发生序列的算法，它们都源于归结反演系统中的改进策略。