A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

利用“协议机退缩”的通信协议形式检证

针对提高优先度通信协议检证时生成协议机状数庞大，使检证难以进行的问题，本文给邮了协议机的退缩检证法，通过将给定协我机的检证问题转换为若干个较小义机的相应检证问题，简化了协议形式检证的复杂性，利用退缩检验证法及已建立的检证系统，证明了假我信道错误时ＯＳＩ参照模型中会话层协议的主要部分，满足“无死锁”、“无传输错误”等性质。     

每天喝汽水能汽水使体重每年增加15磅

近日《美国临床营养学杂志》中的一篇科学论文指出：每天多喝一罐汽水，每年就能增加体重十五磅。大量证据显示，这些饮料的消耗量增加是越来越多人体重增加的主因。美国哈佛大学公共卫生学院助理教授胡丙长和他的同事们，研究了四十年间多份的标准相关性及科学检证都属严谨的营养学研究后，得出了以上结论。     

自然环境中混凝土内部温度响应规律

通过理论分析,推导出自然环境温度作用模型和混凝土内温度响应模型,同时,借助不同混凝土及不同深度的混凝土内温度试验,检证模型的合理性。研究结果表明:所建立的理论模型能够较准确地描述自然环境与混凝土内温度变化规律,计算曲线与实测结果有较好的一致性;由于混凝土自身热阻效应,混凝土内温度响应与自然环境温度表现出温度响应波幅、极值和滞后时间等方面的均有差异;低水灰比的混凝土内温度响应较敏感且响应幅值衰减较小,混凝土内温度响应幅值随距表层深度增加而减小。     

日立在沪建立JP1高科技实验室

日立信息系统有限公司近日宣布其在上海设立的“日立高科技开放实验室”正式投入运营。随着IT业务迅猛发展，IT系统运行管理已成为企业用户生存与发展的关键，为提高项目导入效率、降低运营风险、减少后期维护成本本培养软件管理人才，日立在上海成立了JP1高科技开放实验室，该实验室可实现：在项目导入前，模拟用户真实运行环境，进行项目仿真和检证测试；为合作伙伴及用户提供JP1技术培训，帮助其进行应用开发，并培养高级软件技术和系统运行管理人才。     

活性污泥法有机物去除动力学的研究

本文用人工污水进行活性污泥法分批式反应器试验,研究BOD、COD和葡萄糖的去除情况,发现有机物的去除过程中同时存在着吸取分解过程和再污染过程。在此基础上提出有机物去除动力学关系式,并通过试验检证所提出关系式的正确性。     

卤化物掺杂对Y-Ba-Cu-O超导体性能的影响

我们分别用BaF_2,BaCl_2及YF_3来部分取代BaCO_3及Y_2O_3,制备出一系列含卤族元素的超导体。并用调整F(Cl)的含量的方法,探求了与超导机制相关的信息;对掺F高T_C超导体的T_C变化现象作了检证。 报导了氯化物掺杂对YBa_2CU_3O_(7-δ)超导电性影响的初步研究结果。     

四氧嘧啶制作大鼠糖尿病模型——剂量探讨与方法改进

目前制备动物糖尿病模型中 ,以化学药物或手术切除胰腺为最常见。化学药物又以四氧嘧啶(ＡＬＬｏｘａｎ ,ＡＬＸ)为常用 ,ＡＬＸ复制的糖尿病模型是目前研究人类糖尿病较好的方法 ,我们在实验鼠身上对不同剂量ＡＬＸ的反应进行了初步探讨并在制作方法上做了一些改进。1　动物及动物实验室实验动物为二级Ｗｉｓｔａｒ大鼠 70只 ,70～ 80日龄 ,体重 16 5～ 2 80ｇ ,雌雄兼用 ,中山医科大学动物部提供 ,动物合格证号 :粤检证字 98Ａ0 18,医动字第2 6 98Ａ0 0 1,将大鼠按体重用随机区组法分三组。正常对照组、剂量 1组和剂量 2组 ,每组动物 2 0…     

逆向O2O模式消费者使用意愿研究 ——基于消费价值理论和理性行为理论的视角

逆向O2O是继传统网络购物模式后,最新兴起的基于移动电子商务的网络购物模式。尝试运用消费价值理论和消费者理性行为理论,探讨智能手机用户在移动商务环境下对逆向O2O消费模式的使用意愿。釆用Cronbach's a系数和因子分析方法对测量结果的信度和效度进行检验,运用结构方程模型进行研究假设的检证。实证分析结果表明:功能价值、情感价值、新奇价值、情境价值对使用态度有正向影响;社会价值对使用态度影响不显著;新奇价值对男性消费者的使用态度有显著的正向影响,而情感价值和情境价值直接影响女性消费者的使用态度。     

咈哢衍生物的极谱研究 Ⅱ、取代基对2,6,7—三羟基,9—苯基咈哢极谱半波电位的影响

Hammett 公式最初是在化学动力学中引用的,在1952—1954年间 Jaft Kai-de,Matoya mat 和 Imato Zamm,Grabo vski,Tiroufletde,Matoya mat 和 Imato Zamm,Grabo vski,Tirouflet和其他一些研究者,各自独立地得出结论:Hammett 公式也适用于芳香族极谱还原过程,并用它解释半波电位受取代基影响而发生移动的现象。如用公式表示这种关系,则如下:△E_(1/2)=ρ_Rσ_XZaman 曾用40种不同系列的苯衍生物(具有极谱活性基团),来检证过这个公式。     

道路平面线形设计对象模型

以计算几何，微分几何，数据结构理论为基础，动用面向对象技术思想，探寻了道路平面线形设计的特点，分析了现有国内道路软件平面设计对象模型的局限性，提出了道路线形平面设计对象模型。本模型首先建立道路中心线设计对象模型，然后以此为依托，利用平面法向曲线原理，运用层次分析法，建立了中央分隔带模型，边线模型，机非分隔带模型，交通岛模型，雨水口模型等。     

一个新的线性规划通用神经网络模型

指出了现有模型存在的局限性，为构造了一种新的神经网络模型用于求解一般线性规划问题，避免了现有网络模型的不足，该模型是线性规划的通用模型，具有全局渐近稳定性，能够惟一地收敛到问题的全局最优解，模拟计算表明了新模型的有效性。     

工业科技投入计量模型研究

阐述了建立工业科技投入计量模型的重要性，探索了建立工业科技投入计量模型的方法论，并应用多元回归分析方法建立了工业科技投入计量模型，所建立的模型考虑了影响工业科技投入的主要因素，由于计量模型只需要横截面的经济指标作为自变量，因此，模型具有很大的实用价值，江苏省工业科技投入的实际数据验证了模型的有效性。     

基于IBIS模型的高速数字I／O缓冲器的瞬态行为建模

引入了一种基于最新版本的IBIS模型给出的信息构造高速数字I／O缓冲器的瞬态行为模型的方法，阐述了从IBIS建模数据中得到这种瞬时状态转换行为模型的过程，同时获得了建模所需要的充分条件，与相应的晶体管级模型相比，该方法在获得了更高仿真精度的同时，提高了具有大量同步开关器件芯片互连的仿真速度，最后，为了验证模型的有效性，给出了该模型和晶体管级模型（SPICE模型）模拟结果的比较。     

小颗粒非均匀初始孔隙率脱硫模型研究

在晶粒模型的基础上，提出了一种晶粒模型的改进模型．改进后的模型考虑了颗粒内部初始孔隙率的非均匀性及其影响，给出了初始孔隙率非均匀模型的数学描述，并对改进前后的两种模型分别进行了数值计算。计算结果表明，改进模型的结果与实验数据更加符合，验证了改进模型的正确性。     

Benard花纹的格子BGK模拟

建立了用于模拟二维Ｂｅｎａｒｄ对流现象的格子ＢＧＫ模型，该模型要求粒子撞过程不仅满足质量和动量守恒，而且满足能量守恒，结合二迭加ＦＨＰ模型和三迭加ＨＰＰ模型，确定了此模型的平衡态形式，导出了此模型对应的宏观质量，动量和能量方程，用该模型成功地模拟了二维Ｂｅｎａｒｄ花纹。     

闪速炉的仿人模糊质量控制模型

在闪速熔炼过程模糊质量模型的基础上，进一步提出了闪速炉仿人模糊质量控制模型，即利用Takagi-Sugeno-Kang(TSK)模糊模型建立闪速熔炼炉产品质量的控制模型，并对控制模型进行了结构辨识和模型参数调整，在此基础上，针对闪速炉的运行状况，分别建立了静态和动态质量控制模型，仿真结果表明：动态质量控制模型要优于静态模型，在生产现场经过2个月的控制模型离线指导操作工操作，质量指标能够稳定地控制在指定的范围内，证实了动态模糊质量控制模型的有效性。     

智能决策支持系统中的模型库及其管理系统

给出了模型、模型章及模型库管理系统的基本概念，介绍了模型的常用分类，阐述了模型的表示方法，对模型的生成进行了分类及详细的探讨，最后指出了模型系统的发展方向。     

面向网络交互设计的扩展CSG模型构造

针对网络虚拟设计中三维模型数据流量大，实时交互难的关键问题，提出了一种扩展CSG模型以减少数据传输流量．首先建立了模型的形体表征及操作结构，并对传统CSG树进行语法扩充以构造操作历程树，从而将产品模型分离为表现模型和表示模型等几部分．表现模型完成网络前端的交互设计，表示模型作为加工制造工程的模型重构基础，两者通过核心模型联系并集成，从而提出了一种基于扩展CSG模型的全新网络设计模式．然后基于ACIS几何引擎，开发了相应软件系统，并结合具体产品设计的应用验证表明，该模式提供了一种开展网络设计的可行途径．     

基于深度学习轻量化的改进SSD煤矸快速分选模型

针对SSD目标检测模型参数量大、运行速率低的问题，在SSD模型的基础上提出一种新的煤矸快速识别模型DSR-SSD.应用深度可分离卷积代替主干特征提取网络中的普通卷积，减少了模型的计算量；将RFB模块融入到SSD模型中，提高了模型的特征提取能力.经验证，DSR-SSD模型的识别速率为113.99帧/s、精确率为95.17%.将DSR-SSD与SSD,Faster-RCNN,YOLOv3三种模型对比，发现DSR-SSD模型与SSD模型相比，精确率提高了2.29%,识别速率提高了60.89%;同时，DSR-SSD模型的精确率比Faster-RCNN模型高2.86%,比YOLOv3模型高2.71%,识别速率分别是Faster-RCNN模型和YOLOv3模型的14.90倍和3.65倍，证明了DSR-SSD模型性能优越.