二维限定Voronoi网格剖分细化算法

给出了限定点、限定线在Voronoi网格中存在的充要条件,提出了二维限定Voronoi网格细化算法,通过设置初始检测带,然后细分检测带来实现限定Voronoi网格的剖分;同时证明了该算法对于任意平面线段图输入限定条件的收敛性.对于生成的限定Voronoi网格,给出了尺寸控制和质量控制算法,并对其时间复杂度进行了分析.最后通过实例验证了文中算法的有效性.     

一种基于协议分析的可信信道评估方法

目前，对可信信道的评估大多局限于经验的评测，缺乏理论支持，存在着极大的不确定性和不完备性．对此基于通用安全标准CC（Common Criteria）给出了具有一定通用性和可重用性的可信信道评估框架，在此评估框架中应用了形式化的验证方法，提出了把经验分析和形式化验证相结合的评估方法．同时在对SSH的评估中对Cord演算作了适应性的扩展．     

XBRL在银行业非现场监管中的应用

随着中国银行业改革和国际化进程的快速发展,非现场监管在银行业监管体系中的地位日益突出,而将 XBRL作为监管数据的表达和传输标准,并建立基于XBRL的监管数据采集系统是提升银行业非现场监管水平的重要手段。探讨了银行业非现场监管采用XBRL的诸多益处,并提出了通过建立联合工作组,按照规范化流程开发 XBRL分类标准等应用XBRL的若干建议,还建立了一个基于XBRL的银行业非现场监管信息系统的高层体系结构。     

高校考勤管理软件开发中若干技术问题

主要论述高校考勤管理软件的产生、设计中遇到的技术问题以及解决这些问题过程中用到的关键技术。根据具体的使用需求，该软件大体上分为数据提取、数据挖掘、数据管理这三个部分。     

超声挤出制备聚丙烯/纳米碳酸钙复合材料及其结晶和分散形态

采用超声挤出制备了聚丙烯/纳米碳酸钙(PPCA s)复合材料,考察了加入纳米碳酸钙前后的结构演变和结晶行为的变化。结果表明,超声辐照能促进n-C aCO3粒子在聚合物基体中的分散,使其分散尺寸减小,分布更均匀。由于纳米粒子的成核效应,PPAC s的结晶温度和结晶度都有所提高,施加超声使结晶温度又有所提高,使结晶度相对于未施加超声辐照的纳米复合材料的低。     

UML的一个应用软件建模实例

以图书馆管理系统项目的开发为背景，探讨了UML在图书馆管理系统中的应用问题，在对系统进行需求分析的基础上，采用CASE建模工具构建了系统的用户需求模型、对象结构模型、行为模型和实现模型。     

车牌识别系统研究与实现

车牌识别(LPR)系统是智能交通系统中的重要组成部分,该系统分为车牌定位、字符切分和字符识别3个模块。文中基于数学形态学方法和边缘特征分析来进行车牌定位,接着进行二值化、引入多指标联合评价函数判断反色等处理,然后基于连通体分析的方法切分字符。实验表明该系统设计方法是可行的。     

一种基于多相带通结构的信道化滤波器算法

针对信道化滤波器要求运算速度快、消耗资源多、难以实时处理的突出问题，从多相滤波器，信道化滤波器的结构、原理和运算效率分析出发，推导了一种基于多相带通结构的信道化滤波器算法模型。这种算法将现有多相结构信道化滤波器模型中的低通设计改为带通设计，实现了复数乘法运算全部集中在带通滤波环节当中，并采用协调分级DFT算法的实现方案，大幅度节省了硬件资源，提高了运算效率，实现了信道化滤波器在通用FP—GA和DSP芯片中的实时处理，硬件仿真结果验证了算法模型的正确性和有效性。     

基于移动代理的气田安全信息无线监控系统

移动代理是集计算机技术、网络技术和分布式数据库技术为一体的高新技术,将其应用到气田安全信息无线监控系统中,能够方便地为用户随时随地获取安全信息,并适时作出决策.本文主要介绍了移动代理技术的概念、气田安全信息监控平台的基本构架、服务器端和移动端软件开发的关键技术以及应用前景.     

基于Linux的高速网络包捕获技术研究

论文首先分析了Linux数据包捕获机制,指出了在高速流量的网络环境中,频繁的网卡中断是系统接受数据包能力瓶颈。然后讨论了基于Linux系统中采用中断和轮询相结合的数据包捕获技术NAPI。测试实验结果证明了NAPI技术能有效地提高数据包捕获效率。