浅谈林德10000m~3/h制氧机粗氩净化系统技术改造

10000m~3/h制氧机组粗氩净化系统特别是经除氧后的冷却脱水效果差,使得过冷器和精氩塔因带水发生堵塞,为此,我们对粗氩净化系统进行了多次改造,使运行状况有明显改善。     

UML状态机模型形式化验证技术研究

系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题.为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对UML状态机模型进行动态语义验证的方法.对状态机模型进行形式化描述,根据定义的映射规则将图形信息映射成模型检查器可以读取的语言,分析待验证的性质内容,通过使用模型检查器得到验证结果.     

基于串匹配的源码抄袭检测技术研究

研究了基于字符串比较的代码抄袭检测技术,探讨了程序代码复制检测技术中代码预处理、标记串的生成及字符串比较等个关键问题.     

基于MQTT协议的海洋观测数据推送系统

为实现海洋观测数据的及时推送,设计了一种数据推送系统,目的是将各个观测船、浮标和水下观测网等采集到的海洋观测数据推送到手机客户端,并实现异常数据的报警。提出了一种基于MQTT协议的数据推送方案,在加密与验证方面对MQTT协议进行改进。此外,设计了安全认证机制与消息管理模块,保证了消息在传输中不被篡改或者丢失。测试结果证明,该方案安全性较高,服务权限设计合理,费用方面也具有较大的优势。     

轻钢增层结构的地震反应分析

根据现阶段大量出现的混凝土结构上加盖轻钢结构的结构形式特点,采用子结构方法分别对原有混凝土结构和加层钢结构的质量、刚度和阻尼矩阵进行叠加,进而运用实模态振型分解法求解结构地震反应,通过本文方法与Newmark时程法的比较研究表明,本文方法具有相当的精度。     

浅谈地板采暖常用塑料管材的选用

低温热水地板辐射供暖是一种新型、节能的采暖方式.对地板采暖常用的塑料管材的性能进行了分析比较.综合分析比较得出,PE-RT管材是性价比较好的地暖用管,具有较高的环保性能,修复方便可靠.     

铁基粉末冶金件前处理的研究

通过对铁基粉末冶金件的组织结构特性的研究，认为目前常用的封孔方法是这类工件在镀后一定时间内容易产生腐蚀以及镀层起皮的原因之一。因此，采用与常规处理方法不同的两步酸洗以及电化学启镀的化学镀前处理方法，并获得了结合力良好的镀层。     

语言资源建设与语言生活监测相关术语简介

语言监测是掌握语言国情的重要手段,语言资源建设是语言监测的基础。本文介绍了与语言资源建设和语言生活监测相关的术语。语言资源建设包括语言资源、语料、语料库和动态流通语料库;语言生活监测包括语言监测理论、语言监测方法、语言监测内容三方面。监测理论包括实态、稳态、动态;监测方法包括频次、频率、覆盖率,分布、使用率、通用率和频级、频位、频比等;监测内容包括字词调查、流行语、新词语。     

产业选择与金融后台服务区控制性详细规划的契合——以江苏昆山·花桥金融后台服务生态园为例

金融后台服务区的控制性详细规划编制存在较大的特殊性,必须针对具体门类企业的特征,提出与之相适应的规划,关键在于对产业不确定因素进行控制,因此产业选择是融后台服务区控制性详细规划的基础性研究,具有关键性作用。产业选择研究成果对规划的影响体现在:产业模式决定园区空间布局模式;具体产业特征和生产配套需求直接影响园区土地利用性质;产业交通模式是园区交通规划的内在决定因素;产业发展模式决定了园区人员构成,从而根据不同类型人员服务需求进行公共服务设施规划的布局。     

三排净原酒中常见金属离子及其酿造迁移规律

为研究三排净原酒中常见金属离子及其酿造迁移规律,利用电感耦合等离子体质谱结合基体匹配、直接进样法研究传统工艺和机械化工艺生产的三排净原酒;并结合湿法消解分析传统工艺原酒酿造过程物料中金属离子的含量变化。结果表明,常见金属离子在机械化工艺原酒中含量最低,离子总含量约为传统工艺原酒的7.95%~20.24%;传统工艺原酒中,普通酒及压排酒中金属离子总含量高于中段酒。蒸馏过程中,从酒醅转移到原酒中的金属离子含量极少,迁移率为0.0070%~0.0078%,金属离子因其非挥发性绝大部分留存在糟醅中。