-
35751.全球防空反导雷达市场报告（2014-2018年）
[信息传输、软件和信息技术服务业,计算机、通信和其他电子设备制造业] [2014-12-20]
Radar is an object detection system that makes use of radio waves to ascertain the range altitude, direction, and speed of approaching and still objects. It is used to detect missiles, spacecraft, ships, aircraft, weather formations, and terrain. It is used as an early-warning device to spot an enemy's airborne systems and approaching missiles from great distances, and for surveillance, ground control interceptions, and long-range early warnings. It is mainly used by defense establishments.
关键词：雷达；物体检测系统；线电波；早期警告装置；机载系统；导弹逼近
-
35752.全球电网规模能源储存系统市场报告（2015-2019年）
[电力、热力、燃气及水生产和供应业,信息传输、软件和信息技术服务业] [2014-12-20]
A grid-scale energy storage system generally refers to technologies that are used for energy storage that can be utilized during power shortages, power blackouts, or during high demand for power supply. These technologies mainly include pumped-hydro storage systems, advanced batteries, flywheels, and other evolving technologies such as CAES. Grid-scale energy storage is a technique used in large-scale storage of electricity in a power grid. Such electricity storage is required when the amount of electricity generated is greater than the electricity demand. The surplus electricity saved in energy storage systems is supplied to customers when the demand is higher than the generation. Grid-scale energy storage is a mechanism of storing electricity during the off-peak period and supplying the stored electricity during the on-peak period.
关键词：网格级；能量；存储系统；能源技术；存储；泵浦水电；存储系统
-
35753.面向细粒度源代码变更的缺陷预测方法
[信息传输、软件和信息技术服务业] [2014-12-18]
软件在其生命周期中不断地发生变更,以适应需求和环境的变化.为了及时预测每次变更是否引入了缺陷,研究者们提出了面向软件源代码变更的缺陷预测方法.然而现有方法存在以下3点不足:(1)仅实现了较粗粒度(事务级和源文件级变更)的预测;(2)仅采用向量空间模型表征变更,没有充分挖掘蕴藏在软件库中的程序结构、自然语言语义以及历史等信息;(3)仅探讨较短时间范围内的预测,未考虑在长时间软件演化过程中由于新需求或人员重组等外界因素所带来的概念漂移问题.针对现有的不足,提出一种面向源代码变更的缺陷预测方法.该方法将细粒度(语句级)变更作为预测对象,从而有效降低了质量保证成本;采用程序静态分析和自然语言语义主题推断相结合的技术深入挖掘软件库,从变更的上下文、内容、时间以及人员4个方面构建特征集,从而揭示了变更易于引入缺陷的因素;采用特征熵差值矩阵分析了软件演化过程中概念漂移问题的特点,并通过一种伴随概念回顾的动态窗口学习机制实现了长时间的稳定预测.通过6个著名开源软件验证了该方法的有效性.
关键词：缺陷预测；软件演化；细粒度变更；概念漂移；成本有效性
-
35754.平行推理机制:一种隐式篇章关系检测方法
[信息传输、软件和信息技术服务业] [2014-12-18]
篇章是论元经过语义关联和结构化组织形成的自然语言文体.篇章分析研究的核心任务之一是解释论元的语义关系,其中,显式关系因具有直观线索而易于检测,目前检测精度高达90%;相对而言,隐式关系因缺乏直观线索而难于检测,目前精度仅约40%.针对这一问题,基于一种“论元平行则关系平行”的假设,并利用显式篇章关系易于检测的特点,通过平行论元的识别与平行关系的消歧,实现了一种显式关系平行推理隐式关系的隐式篇章关系检测方法.利用标准宾州篇章关系树库(Penn discourse Tree Bank,简称PDTB)对这一检测方法进行评测,结果显示,精确率提升达17.26%.
关键词：篇章；隐式篇章关系；关系检测；平行线索；篇章关系消歧
-
35755.带Mismatch算子的高阶π演算
[信息传输、软件和信息技术服务业] [2014-12-18]
主要研究带mismatch的高阶进程演算的公理化问题.首先,建立存在mismatch时高阶进程的开弱高阶互模拟理论,证明了等价关系、同余性等重要性质;其次,沿用线性的方法,构建得到带mismatch的有限进程上的公理系统;最后,基于对开弱高阶互模拟的刻画,证明了该公理系统的完备性定理.该工作为带mismatch的高阶进程上互模拟判定的有效算法的设计与实现,进而为相关的应用建模工作提供了理论借鉴.
关键词：公理化；互模拟；mismatch；线性；高阶；π演算；进程演算
-
35756.基于指向更新的优先权指针分析算法
[信息传输、软件和信息技术服务业] [2014-12-18]
指针分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础.在基于包含的指针分析算法研究的基础上,对Narse优先权约束评估算法中存在的冗余约束评估和优先权评估模型计算开销较大的问题进行分析,以指针的指向集更新信息确定约束评估的候选集,提出了基于指向更新的约束评估算法.采用约束语句间的解,引用依赖和标量依赖构建约束依赖图,通过依赖关系确定约束评估的优先权,提出了基于约束依赖图的优先权算法,简化了既有算法中复杂的优先权评估模型,进一步给出了优化后算法的整体框架.在基准测试集SPEC2000/SPEC 2006上进行实验,其结果表明,该算法与Narse优先权算法相比,在时间开销和存储开销上都有明显的性能提升.
关键词：指针分析；数据流分析；指向集；流不敏感
-
35757.一种基于移动用户位置的网络服务推荐方法
[信息传输、软件和信息技术服务业] [2014-12-18]
伴随着无线通信技术和智能移动终端的快速发展,基于位置的服务(location-based services,简称LBS)以其移动性、实用性、随时性和个性化的特点,在军事、交通、物流等诸多领域得到了广泛的应用,成为最具发展潜力的移动增值业务之一.在一个基于位置的网络服务推荐框架的基础上,给出了一种基于位置的移动用户偏好相似度计算方法,同时证明了其满足近邻相似测度的一般性质;然后,提出一种符合社会学概念的信任值计算方法.把它们应用于基于移动用户位置的网络服务推荐过程中,从而形成了一种基于移动用户位置的网络服务推荐方法.该方法有效地提高了网络服务推荐的准确性和可靠性,同时缓解了推荐过程中可能存在的数据稀疏性以及冷启动问题.最后,通过公开的MIT数据集验证了该推荐方法的准确度和可行性.
关键词：位置服务；个性化服务；相似度；推荐系统；协同过滤；信任关系
-
35758.传感网中的四锚点节点定位实解个数分析
[信息传输、软件和信息技术服务业] [2014-12-18]
针对物联网感知层调度问题,研究和分析三维空间基于四锚点节点定位实解个数的分类问题.利用不等式机器证明理论和研究成果以及不等式机器证明软件DISCOVERER,分析了四锚点定位在特定情形下的实解分类判别问题.首先给出定位问题的数学描述,将传统定位方法中存在的非线性方程组转化为不等式约束的多项式方程组;然后,利用不等式机器证明理论和工具初步探讨了方程组在部分参数固定情况下的解的分类,给出了这种情况下的解的完全分布.分析结果表明:空间四锚点定位存在多解问题,给出的多解分类判别条件对实际应用具有指导作用,对提高节点布局和精确信息感知具有参考价值.
关键词：传感网；四锚点；节点定位；实解个数
-
35759.使用事件自动机规约的C语言有界模型检测
[信息传输、软件和信息技术服务业] [2014-12-18]
提出使用事件自动机对C程序的安全属性进行规约,并给出了基于有界模型检测的形式化验证方法.事件自动机可以规约程序中基于事件的安全属性,且可以描述无限状态的安全属性.事件自动机将属性规约与C程序本身隔离,不会改变程序的结构.在事件自动机的基础上,提出了自动机可达树的概念.结合自动机可达树和有界模型检测技术,给出将事件自动机和C程序转化为可满足性模理论SMT(satisfiability modulo theory)模型的算法.最后,使用SMT求解器对生成的SMT模型求解,并根据求解结果给出反例路径分析算法.实例分析和实验结果表明,该方法可以有效验证软件系统中针对事件的属性规约.
关键词：事件自动机；可满足性模理论；有界模型检测；自动机可达树；安全关键软件
-
35760.一种采用混合切分法的报文分类算法
[信息传输、软件和信息技术服务业] [2014-12-18]
传统的基于几何区域分割的报文分类算法在空间切分时,通常只采用一种切分方法,并不会根据每个域的特点选取不同的对策.提出了一种采用混合切分法的报文分类算法HIC(hybrid intelligent cuttings).首先,按照IP前缀长度将规则集分组;然后,在每个分组中根据当前切分域的特点,分别对IP域和端口域采用比特位切分法和精确投影点切分法实现空间分解;最后,构建混合切分结构的决策树.仿真结果表明,HIC算法具有较好的规则集适应性,其时间性能与空间性能分别比代表算法Effi Cuts提高了46%和74%.
关键词：网络安全；服务质量；报文分类；决策树；空间分割
027-87841330