基于UML的敏捷建模方法研究

企业要想不断的适应社会的快速变化,必须在需求和技术不断变化的过程中实现快速的软件开发.UML作为一个有效的建模工具,可以对软件开发的过程进行可视化,敏捷建模是一种有效的、轻量的软件开发方法.基于UML的敏捷建模方法研究,将敏捷方法贯穿于整个系统分析建模过程中,通过创建简单内容,采用迭代、递增的方法建模,达到包容需求变化的目的,提高软件开发的质量和速度,为企业创造竞争优势.     

光寻址电位传感器及其应用

光寻址电位传感器(LAPS)是一种基于半导体光电效应的化学传感器,在稳定性、重复性、灵敏度、准确性和响应速度等方面具有优良的性能。介绍了LAPS的基本原理和测量方法,阐述了LAPS在细胞传感器、图像传感器、金属离子敏感薄膜传感器、气体传感器及生物医学领域中的应用,并对其存在问题和研究方向进行了总结和展望。     

一种构造代码安全性证明的方法

提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安全性证明可以自动产生.全部工作的细节已在证明辅助工具Coq中得以实现.     

BK-means:骨架初始解K-means

K-means是典型的启发式聚类算法,容易受到初始解的影响而无法获得高质量的聚类结果。骨架是近年来启发式算法设计的研究热点,它是指所有全局最优解中相同的部分,对于提高启发式算法性能具有重要意义。给出的骨架初始解K-means算法(BK-means)的基本思想是:首先利用K-means算法得到一组局部最优解(聚类结果),通过对局部最优解求交得到骨架簇。利用骨架簇构造骨架初始解及新的搜索空间。最后以骨架初始解引导K-means算法在新的搜索空间中搜索聚类结果。在15组仿真数据集和4组实际数据集上的实验结果表明,BK-means算法具有获得高内聚、高分离的聚类结果能力。     

分布式大规模监控视频存储系统THNVR

通过分析网络视频监控应用中的存储需求特点,提出了一种采用低成本SATA硬盘的高性能存储解决方案。该方案使用定长文件,并将结构化与非结构化数据分别存储和检索,彻底克服了传统解决方案中磁盘碎片导致存储性能下降的问题。该方案还采用了自适应的缓冲技术,对磁盘访问进行了有效的规整和调度,充分利用了磁盘的写入带宽。此外,该方案还实现了容错、扩展等重要功能。性能分析显示,该方案在普通计算机和SATA磁盘上能够同时记录256路D1或512路CIF视频数据流。     

Thermal Investigation for Solid Rocket Motor Nozzle Inserts Material

A time-resolved numerical computational approach, involving the combustion of double-base propellant is performed on thermal protection material for SRM nozzle. An implicit Navier-Stokes Solver is selected to simulate two-dimensional axial-symmetric unsteady turbulent flow of compressible fluid. The governing equations are discredited by using the finite Volume method. S-A turbulence model is employed. CFD scheme is implemented to investigate the temperature distribution causes at nozzle throat inserts comp...     

交通控制系统理论与关键技术影响分析

为了陈述清楚交通控制系统及其关键技术,通过对于交通系统特性的阐述,陈述了交通控制系统中的一些技术,结合控制系统中的闭环控制特性及其对非线性系统的控制作用,针对交通系统的鲁棒性,系统性和一定程度的自适应性,指出智能控制技术中的Agent控制在交通控制中的应用。该技术的引入,可以在一定程度上为交通问题解决提供一种新的思路和方式。     

炭黑/纳米Al2O3填充柔性压敏导电硅胶体系的研究

基于柔性触觉传感器中用到的压敏导电硅橡胶,研究添加纳米Al2O3对导电硅橡胶电特性的影响.从理论上研究纳米Al2O3改性的微观和宏观机理,并通过实验对添加不同量纳米Al2O3的压敏导电硅橡胶导电性、室温下的导电稳定性、压阻特性进行比较分析.实验结果表明:在炭黑浓度恒定的压敏导电硅橡胶中适量添加纳米Al2O3,可有效提高复合材料的导电性,稳定性,增大复合材料的压力敏感范围.     

一种高性能人造视网膜微刺激器的设计

微刺激器是人造视网膜系统的核心组成部分,其设计面临诸多挑战.设计了一个驱动4×4微电极阵列的人造视网膜微刺激器,通过采用内部计数和内部RAM策略,将传输数据量减小到1/16.通过采用宽摆幅共源共栅结构使微刺激器的输出阻抗和输出电压摆幅分别达到2～4兆欧姆和90%以上,提高了其生物环境适应性.通过引入电荷平衡机制,减小了失配引起的电荷积累,提高了人造视网膜长期工作的安全性.仿真结果验证了该微刺激器方案的正确性.     

圆锥裁剪BLOB的视频目标检测方法

真实场景的视频目标检测需要消除阴影、反射和鬼影等噪声的影响,以检测出运动目标和静止目标.为了实现系统性的视频目标检测,提出一种自适应圆锥裁剪联通块(TC-BLOB)榆测方法.基于BLOB知识,将3D颜色空间变换为"夹角-模差"2D空间后,定义一套圆锥裁剪规则划分出阴影BLOB和反射BLOB;再以一种持久化记忆PM方法判别出鬼影BLOB;最后改进双背景模型检测出静止目标和运动目标.采用不同环境视频进行实验的结果表明,文中方法足有效的,并有独立于后续跟踪的优点.