一类超线性算子的正不动点的存在唯一性及应用

研究了一类超线性齐次算子的正不动点的存在唯一性问题.利用全序集的性质讨论了超线性齐次算子的性质,基于这些性质,通过分析方法得到了抽象空间中超线性齐次算子的一个新的正不动点的存在唯一性定理.利用本文所获得的结果,研究了一类超线性Hammerstein型积分方程正解的存在唯一问题,获得了此类积分方程存在唯一正解的充分条件,并给出了解的表示.     

SDN南向通道的安全性研究

软件定义网络(SDN)技术分离了网络的控制平面和数据平面,有效地解决了网络安全管理和控制问题,然而SDN自身安全性也尚有诸多问题需要解决.本文在分析SDN架构及其安全性的基础上,针对南向通道安全进行了研究,并基于OTR协议给出了一种安全解决方法.该方法具有前向安全性、安全认证等特性,对于SDN环境中的安全身份认证、密钥安全保存以及SDN组件隐蔽保护等问题提供了较好的解决方案.     

电站锅炉高温辐射式过热器超温变形的研究

针对北京第一热电厂超高压锅炉辐射式过热器的严重超温变形问题，通过理论计算与技术分析以及试验研究，分析了超温变形的主要原因，提出了技术改进方案。     

转杯纺纱器输棉管道的实验研究

针对输棉管道的几何形状以及输棉管道与纺纱杯间的空间位置关系研究了纺纱杯中纤维状态的影响，找出了气流纺纱机输棉管道的最佳几何参数值，为抽气式转杯纺纱器的整体设计和生产实际提供了一定的实验依据．     

基于数据中心架构的房产测绘成果管理系统的设计与研究

当前城市发展速度越来越快,给房产测绘成果的管理及应用带来了工作量成倍增加、成果利用效率低、易出差错以及管理缺乏透明度等问题.针对现有房产测绘成果管理中存在的问题,以MapGIS数据中心集成开发平台[1]为平台,在数据仓库[1]和功能仓库插件技术[1]基础上对房产测绘成果管理系统进行了设计和实现,本文简要介绍了该系统设计...     

Coupled simulation of BES-CFD and performance assessment of energy recovery ventilation system for office model

Thermal comfort and indoor air quality as well as the energy efficiency have been recognized as essential parts of sustainable building assessment. This work aims to analyze the energy conservation of the heat recovery ventilator and to investigate the effect of the air supply arrangement. Three types of mixing ventilation are chosen for the analysis of coupling ANSYS/FLUENT (a computational fluid dynamics (CFD) program) with TRNSYS (a building energy simulation (BES) software). The adoption of mutual complementary boundary conditions for CFD and BES provides more accurate and complete information of indoor air distribution and thermal performance in buildings. A typical office-space situated in a middle storey is chosen for the analysis. The office-space is equipped with air-conditioners on the ceiling. A heat recovery ventilation system directly supplies fresh air to the office space. Its thermal performance and indoor air distribution predicted by the coupled method are compared under three types of ventilation system. When the supply and return openings for ventilation are arranged on the ceiling, there is no critical difference between the predictions of the coupled method and BES on the energy consumption of HVAC because PID control is adopted for the supply air temperature of the occupied zone. On the other hand, approximately 21% discrepancy for the heat recovery estimation in the maximum between the simulated results of coupled method and BES-only can be obviously found in the floor air supply ventilation case. The discrepancy emphasizes the necessity of coupling CFD with BES when vertical air temperature gradient exists. Our future target is to estimate the optimum design of heat recovery ventilation system to control CO₂ concentration by adjusting flow rate of fresh air.     

CIM环境下CAPP的研究与实践

通过对我国ＣＩＭＳＭＲ中的两个集成化ＣＡＰＰ系统──ＮＰＵＲＣＡＰ和ＦＡ－ＣＡＰＰ进行对比，对基于特征的零件模型、ＣＡＤ／ＣＡＰＰ／ＣＡＭ集成、ＣＡＰＰ同其它ＣＩＭ子系统的集成、工艺决策专家系统、工艺决策方法、工艺知识表示、工艺知识库技术等问题进行了研究，同时，提出了加工元（ＭＥ）概念，并把该概念用于零件的工艺性分析，以实现面向制造的设计（ＤＦＭ）和工艺决策的模型化、算法化．此外，也对工艺过程的动态优化问题进行了初步研究，为并行工程（ＣＥ）下的ＣＡＰＰ集成化研究提供基础．     

图像传感器数据采集与显示系统设计研究

随着智能小区门禁系统视频监控与远程控制功能的发展,高清图像传感器应用日益普及,为安全监控提供高质量图像。研究以现场可编程门阵列(FPGA)为核心的图像采集、显示与控制系统,作为门禁系统的核心电路,对FPGA配置OV3640控制寄存器方法进行了设计,并使用行场与像素脉冲来控制同步采集传感器输出的视频数据,图像实时显示在液晶显示屏上。调试结果表明:传感器配置方法及实时采集算法可行,能够满足高清图像拍摄与显示功能。更多还原     

基于短信模块的环境参数检测系统设计

基于手机网络的环境数据传输方法具有网络覆盖广、可靠、无需组网等优点,有较大的应用价值和前景。为满足环境参数的远距离无线检测的需求,设计了一种基于短信模块的环境参数检测系统,实现了环境参数的采集、短信发送等功能,并通过串口连接上位机,配合上位机软件作为远程环境参数的征询端使用。对所设计软硬件的测试结果表明,该系统能较好地完成环境参数的采集和短信发送,实现环境参数的手机网络采集功能。     

不确定时滞广义系统的鲁棒H∞控制

讨论一类含有参数不确定性和外部干扰的线性广义时滞系统的鲁棒H∞控制问题．假设不确定性是范数有界且所考虑的系统事先没有假设是正则和无脉冲,采用线性矩阵不等式处理方法,经状态反馈控制器,得到了闭环系统是正则、无脉冲和稳定的时滞相关充分性条件,并且满足一定的H∞性能指标,所得的结论可由线性矩阵不等式（LMI）问题求解．最后给出的实际算例验证了该设计方法的有效性．