简介：船舶自动识别系统（AIS）数据具有海量性、时空性和小记录频繁更新等特性。面向海量AIS数据,提出了一种基于分布式集群的AIS数据存储方法。该方法对AIS数据存储索引结构进行了设计,通过对时间维按月切分,以及对空间范围聚类切分,构造了索引时空立方体,从而提升了时空查询效率。讨论了索引分片和副本设计与数据安全性和系统服务可靠性的关系,分析了时空立方体性能,并针对索引分片与副本数对索引性能的影响,进行了理论分析和试验验证。

简介：随着计算机及软件系统逐步渗透到社会生活的方方面面，对软件可靠性、安全性和保密性的要求也越来越高．本文阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约方法，以及演绎证明和模型检测等形式验证方法。

简介：随着4G网络覆盖的不断完善,用户规模的不断扩大,“高业务”和“高负荷”将成为4G网络的问题点.本文对高负荷场景的优化方法进行了研究和论证,在充分利用现网硬件资源的同时,使小区实现负荷均衡,有效提升网络质量和用户感知.通过论证覆盖优化、参数优化及算法优化手段在LTE网络高负荷下的有效性,总结优化经验,促进网优工作高效开展.

简介：贴片机是SMT生产线中的核心设备，其生产效率的高低将制约着整条生产线的产出，因此提高其生产效率是具有十分重要的意义。相比较于高速机，多功能贴片机Program优化的原则更为复杂，制约的条件也更多，本文着重探讨了多功能贴片机Program方法与技巧，以供相关技术人员参考。

简介：Oracle数据库在各领域中应用广泛,数据库的访问性能受到重视。论述了数据库性能优化在系统设计阶段的重要性,分析了Oracle数据库性能调整中SQL语句处理的过程。通过共享语句、访问路径、表连接和干预执行计划等优化方法,研究了SQL语句的运行机制、优化要素,并给出实际应用。

简介：SMT生产线要达到最大的产量，必须要考虑生产线的效率。贴片机是SMT生产线中的关键设备，因此提高贴片机的生产效率具有十分重要的意义。本文以松下贴片机为例，介绍了贴片机程序优化软件的设计与开发中的思想、方法和经验，希望对从事CAM软件研究的工程人员有一定帮助。

简介：电子科学技术的不断更新发展在给人们的日常生活带来极大便利和帮助的同时,也为不法分子提供了许多高科技的犯罪手段。针对其犯罪手段,南通市公安局采用了电子数据取证现场勘验的方法,这对迅速破获案件、搜集获取犯罪证据提供了很大的帮助,能为公安局快速抓获犯罪嫌疑人提供帮助。文章介绍了电子数据取证现场勘验的流程、原则,分析了电子数据取证在公安局办案中的困难及发展现状,并提供了一些建议。

简介：新型锥形挤出技术可为生产带有无卤阻燃（HFFR）材料的接入光缆提供有利条件。最近几年已开发出几种有效的架空接入光缆和室内HFFR光缆，它们的设计一般都含有HFFR材料。业已发现，锥形挤出方法用于这些剪切敏感材料非常优越。对基于不同填充物／阻燃系统的几种材料，已获得良好的结果。

简介：针对传统瀑布式测试不再适用于迭代式软件开发,探索式测试有效却复用性差的问题,提出了在测试设计阶段采用质量属性、用户场景和业务逻辑（QUB）设计方法框架进行探索式测试,并结合思维导图进行测试设计.应用实例表明,该测试方法为快速迭代开发模式下的系统测试提供了-种新思路,有利于提高迭代开发测试的效率与质量.

简介：在现代的社会中,随着信息技术的不断发展,通信也成为了人们生活中不可缺少的一部分,而通信信号的自动识别是通信信号处理中一项非常重要的研究内容。在信号处理技术不断发展的同时通信信号的调制方式也在发生着改变,而且对通信信号的自动识别提出了加高的要求,基于此,本文对通信信号的自动识别方法进行了详细的分析和研究,希望能够实现的通信信号的持续发展。

简介：SMT生产线要达到最大的产量，必须要考虑生产线的效率。贴片机是SMT生产线中的关键设备，因此提高贴片机的生产效率具有十分重要的意义。本文以松下贴片机为例，介绍了贴片机程序优化软件的设计与开发中的思想、方法和经验，希望对从事CAM软件研究的工程人员有一定帮助。

简介：视频业务逐渐成为继语音业务之后的基础业务，本文基于U-vMOS评价体系，研究手机视频感知质量及体验评估，基于路测和SEQ数据，通过建模研究手机视频体验建网方法。

简介：统一和明确的格式化消息处理流程是规范系统/平台间消息一致性、确保平台间互操作性的依据.借鉴模块化流程设计方法和体系结构设计方法,分析了数据链消息应用功能业务实现过程,提出了一种格式化消息处理流程建模方法,描述了建模步骤、流程模块划分算法及规范化描述,为实际工程中构建数据链消息处理流程提供理论与技术支持.

简介：为了对大规模军事知识资源分类管理,提出了一种基于知识地图的文本分类(KMTC)方法。将知识地图划分成层次社区结构,构建了知识地图的社区结构树,社区结构树的节点具有主题聚集属性,可作为文本按主题分类的依据;基于知识单元进行文本特征向量提取,并引入复杂网络的度中心度概念,计算文本对应的特征向量值。与传统文本分类方法相比,将收集整理的军事领域文本作为训练文本集合进行试验验证,提高了文本分类准确性。

简介：能源测试的误差主要来源于装置误差、环境误差、人员误差、方法误差四个方面,能源测试涉及设备广,测试项目种类多,具体测试中会遇到各式各样的问题,本文就误差理论学习和能源测试实践,对一些常见问题做简要阐述。

简介：管制指令语义理解对场面冲突判断至关重要,为了避免因管制员失误导致的场面冲突问题,需采用自动语音识别和自然语言处理技术在第一时间提取管制指令并进行理解。以无线电陆空通话规则及其基本语法理论为基础,设计了一种管制指令结构化模板。为了更细致地理解管制指令中动词与其他词之间的关系,基于格语法理论构建了管制指令语义网,并建立了动词-论元-关系三元组。该模板可用于解析实际管制指令,从而实现计算机自动理解管制指令功能。为了将管制语音转化为结构化管制指令,采用了自动语音识别和自然语言处理技术。试验结果表明,该模板可用于计算机对管制指令的自动理解。

简介：介绍了比较性漏电指数的测试方法.

简介：国内商业银行IT审计势在必行90年代末期至今,国内商业银行一直在持续的进行信息系统建设,90%以上的商业银行都已经应用信息系统来实现对客户的服务.根据相关统计数据,针对国内商业银行,硬件网络平台已经实现了100%的应用;软件应用已经覆盖了80%以上的商业银行业务;部分商业银行在管理信息化方面也陆续的完成信贷管理、财务管理等管理信息系统的建设.随着商业银行信息化建设的进一步完善,商业银行对IT系统的依赖也越来越强.

简介：为了进一步了解模式识别的方法并提高其在图像处理中应用的精度,使图像获得良好的处理效果,本文以模式识别作为主要研究内容,通过对模式识别的概念和过程进行分析,进而对模式识别的各种方法在图像处理中的相关应用展开了深入研究。

简介：摘要随着我国经济发展速度越来越快，电力资源作为人们生活中必不可少的内容，其需求量也逐渐增加，这样的社会背景下，供电企业的整体发展处于一个十分良好的时期。但通过对目前我国的供电企业发展现状来看，在电力营销环节的管理工作还存在一定的不足，有些问题的影响范围比较广，对于供电企业的发展带来一定的负面影响。本文主要对供电企业的电力营销管理方法进行分析，提出合理化的解决措施。