建立山区小水电站工程地面控制网的有效方法

控制测量工作在山区水电工程建设中起着重要的作用。本文结合自己的测量经验,介绍了用GPS与电磁波测距导线联合建立小型水电站工程地面控制网的几种有效的方法。     

从三网融合趋势看电信运营商的转型

十一五"规划提出"加强宽带通信网、数字电视网和下一代互联网等信息基础设施建设,推进三网融合".文章阐述了国际上"三网融合"的现状,分析了"三网融合"的可能性,提出中国电信运营商应该抓住机遇,尽快实现从单一运营商向综合信息服务商转型.     

Design and validation of wireless acceleration sensor network for structural health monitoring

0IntroductionCivil engineeringstructures suffer damages caused byenvironmental loads,fatigue,caustic effect and materialaging;thus,their strength reduces inevitably during theservice time.In order to assess these damages and makeappropriate decisions to keep the structures in good ser-vice,itis essential toimplement a damage detectionstrat-egy,and the process is referred to as structural healthmonitoring(SHM)[1].In an SHMsystem,a set of sen-sors are mountedinstructuresto measurethe structure…     

基于深度强化学习的无人机自组网路由算法

针对无人机自组网节点密度大、拓扑变换频繁,导致移动自组网复杂的问题,提出了一种基于深度强化学习(deep-reinforcement learning, DRL)的分布式无人机自组网路由算法。利用DRL感知学习无人机特征,使节点不断与环境交互、探索学习最优行动(路由)策略;通过存储经验知识,维护端到端路由,赋予无人机网络智能化重构和快速修复的能力,从而提高路径的稳定性,降低路由建立和维护开销,增强网络的鲁棒性能。仿真结果表明,提出的算法具有较好的收敛性能;在路由修复时间、端到端时延,以及网络适应性、扩展性方面都优于传统的路由算法。     

基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。     

网壳结构基于性能的动力失效判定准则

基于性能的设计思想,文章提出了一种网壳结构震后是否发生动力失效的判定准则。按常规设计的网壳结构遭遇地震后,保留残余应变的状态并作为初始状态重新进行常规设计,如果此时网壳结构已不能满足初始设计时所要求的各项性能,则认为网壳结构已发生动力失效;进而将网壳结构的动力失效形式分为Ⅱ类,该文提出的准则用于判定第Ⅱ类动力失效,称为第Ⅱ类失效准则;算例分析表明,该准则判别结果明确,便于工程实践的应用。     

关于随机序列的若干强大数定律

设{,ξ1ξ,…,nξ,n≥1}是一随机序列,且{nξ,n≥1}<.ξ利用鞅差序列几乎处处收敛定理,给出受控随机序列的若干强大数定律.     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

异构时空数据的转换机制研究

目前时空模型难以兼顾时空语义表达与计算机实现困难的现状,形成不同部门、不同应用、不同时期的时空数据在语义、模型、结构等方面的差异,阻碍了时空数据之间的相互转换,限制了历史数据在预测预报等领域重要作用的发挥.在总结时空数据模型特点的基础上,试图以一个崭新的视角分析时空模型的发展历程;在此基础上,采用图论这一通用数据结构与数学描述方法.构建具有完备性的时空数据描述模型;探讨由此引发的异构时空数据的转换机制.最后,在异构时空模型之间的转换机制中分析了该模型的特点.     

基于改进的朴素贝叶斯文本分类研究

文本分类(Text Categorization,TC)指的是把一个自然语言文本,根据其主题归入到预先定义好的类别中的过程.文本分类是自然语言处理的一个基础性工作,也是近年来人们研究的热点话题.针对朴素贝叶斯算法在小样本集分类效果不高的原因进行了分析,对其进行了改进和调整,提出了基于改进的朴素贝叶斯文本分类方法,试验结果表明,该方法取得了更好的效果.