"管道-过滤器"软件体系结构风格的形式化

许多软件系统是从体系结构的设计开始的,然而这些体系结构的设计是非形式化的。为了使软件体系结构的设计有更科学的理论基础,一个合适的形式化系统是必不可少的。而且形式化也是研究体系结构其它方面（如：软件体系结构的演化、描述语言、重用等）的最根本的基础。文章用Ｚ语言＾「４」形式化符号系统实现了“管道－过滤器”这一常用的软件体系结构风格的形式化。     

新戊二醇合成工艺研究

对新戊二醇的缩合歧化工艺进行了改进,缩合反应采用碱性缓冲盐作催化剂,同时优化了反应条件,新戊二醇合成收串高达96%以上;创新性地选取低碳醇类溶剂溶解新戊二醇而不溶解甲酸钠,有效地解决了甲酸钠与新戊二醇分离困难的问题,同时大大减少了新戊二醇的损失;在减压脱水工段,增加了吸收塔以回收水蒸汽夹带的新戊二醇,新戊二醇总收率达到88%以上.     

排水管道结构性修复用内支架有限元计算及试验研究

现有的排水管道非开挖修复技术并不能解决破损管道结构承载能力下降的问题。为解决此问题,本文主要研究了一种用于排水管道结构性修复的管道内支架,该型内支架采用开合管片的设计,使其与原管道结构共同受力。通过拼装结构设计,简化修复工艺。经有限元计算及荷载试验验证,该型管道内支架能有效增强破损管道的承载能力,为需要结构补强的管道修复提供参考依据。     

高并发高可用零售O2O交易系统的架构设计与业务实现

近些年电子商务高速发展,传统零售业受到巨大冲击,转型O2O为大势所趋。零售O2O融合了线上线下交易场景,需要一个高并发高可用的系统支撑。本文针对零售O2O交易系统,分别从系统架构设计和业务逻辑实现2方面,研究并提出一系列高并发、高可用策略。从架构设计的角度,提出并介绍分层解耦、集群负载均衡、混合数据存储、静态化分离的策略;从业务实现的角度,提出并介绍订单库存分区缓存、订单事务降级、库存一致性、请求限号排队的策略。实验证明,这些策略可以有效提升系统的并发性、可用性,具有重要实践参考价值。     

高功率微波无人机反制系统研究

针对不依赖遥控和导航的无人机及机群的反制需求和传统硬杀伤武器反应速度慢、费效比高等问题,研制了高功率微波无人机反制系统,该系统主要由脉冲调制器、脉冲磁控管、大功率传输波导系统及辐射天线等组成。本文简述了系统的设计方案,包括系统的组成和各分机的参数设计。辐射测试和效能试验结果表明：系统脉冲等效辐射功率达到20 GW,能够满足200 m空域内无人机及机群反制需求。系统工作不依赖于无人机的控制和导航方式,同时具备攻击速度快、费效比低、受天气影响小的特点。     

液体压力计的修理

我院于2006年6月15日～6月16日接受了实验室国家认可委员会对我院的监督评审,经过两天的评审,目前评审工作已顺利结束。     

基于熔池动态特征的金属激光熔化沉积形状精度演化行为研究

针对金属激光熔化沉积成形质量影响机制与过程特征不明确所导致的质量可靠性与效果重复性较低、自适应控制困难等问题,采用同轴实时监测的方法,对不同金属激光熔化沉积工艺条件下的熔池动态特征进行监测,揭示不同熔池动态特征对形状精度演化行为的影响机制。以典型沉积工艺为研究对象,单道单层沉积中熔池几何轮廓和边缘熔融过渡区域面积与沉积层表面质量和宽度稳定性直接相关;单道多层堆积中的熔池几何轮廓与尾部特征对薄壁件壁厚变化有重要影响;多道单层搭接中熔池宽度的累加与粉末利用率的变化导致了传统搭接模型最优搭接率下表面搭接质量的下降;单道多层偏移堆积中的熔池塌陷与沉积层两端熔池面积可直接反应极限偏移与两端倾斜的演化过程。结果表明,通过熔池动态特征可以揭示金属激光熔化沉积中关键形状精度的演化行为,并建立新的形状精度模型,为后续激光熔化沉积工艺路径设计及实时反馈优化提供重要支持。     

大数据在高校学生学习行为模式挖掘中的应用

随着大数据时代的到来,人们的生活和工作被海量的数据包围,同时又产生各种信息.大数据在收集、存储和使用过程中也将面临诸多安全风险.本文主要探讨大数据信息安全问题的同时,介绍了大数据相关技术,并分析适合挖掘学习行为模式的技术.     

一个分布式入侵检测系统模型的设计

首先提出了一个旨在提高分布式入侵检测系统的扩充性和适应性的设计模型,然后分析本模型的特点,最后对模型的3个组成部分:探测代理、系统控制决策中心和控制策略执行代理给出了详细的描述.     

端口扫描与反扫描技术

本文首先分析网络端口扫描的技术基础,然后从实现的角度分析了各种端口扫描的实现方法,最后给出了一个反端口扫描的实用解决方案.