压力分散型锚索抗滑桩在文物保护工程中的应用

彬县大佛寺是丝绸古道上佛教兴盛时期的重要建筑之一,由于各方面因为,大佛寺明镜台台基存在滑坡及沉降问题,严重威胁文物建筑的整体稳定性.综合考虑多方面因素,提出采用压力分散型锚索与抗滑桩相结合的治理办法.采用有限元方法对加固前后效果的对比模拟分析,表明该方案对文物建筑抢险加固效果明显,为类似保护抢险工程提供了一定的参考价值...     

基于赋时有色Petri网的Web组合服务建模

面向Web服务的业务流程执行语言I3PEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务。基于有色赋时Pctri网,提出了从13PEI描述的Wcb组合服务流程到有色赋时Pctri网模型的转换方法。在转换过程中考虑了I3PEL活动的执行方式和执行环境,如时间、环境属性等,给出了更为精确的模型,为更好地使用工具和现有方法验证和测试Wcb组合服务莫定了基础。并给出了这种转换方法的应用实例。     

基于Web的企业人才数据库研究和应用

管理员后台管理、权限审核、动态呈现等技术,为技术人员选拔及人才统计提供数据基础,促进了企业的信息化建设。     

一种有效的图像口令身份认证方案

分析和比较一次性口令和图像口令的相关技术,指出在开放网络环境下进行身份认证时,图像口令存在的缺陷,并论证采用一次性口令弥补该缺陷的可行性和可靠性。基于一次性口令产生的会话密钥,设计一种有效的图像口令身份认证方案。该方案提高口令的安全性,能够防止窥探攻击和重放攻击。类似技术被应用于更加灵活的实际环境中,并增强了应用系统的安全性。     

Web服务安全关键技术研究综述

Web服务是一个新的分布式计算模型,是Web上数据和信息集成的有效机制。Web服务安全是制约Web曲服务发展的关键问题之一。Web服务安全的实质就是运用WS-Security和其它规范结合XML安全技术保障SOAP通信的安全。本文介绍了Web服务的基本概念,阐述了传统Web安全技术并指出了它们的不足,重点分析了当前Web服务安全的核心技术,包括XML签名、XML加密、SAML、WS-Security等,指出存在的问题,总结了目前Web安全的现状及其面临的挑战。     

移动办公系统开发技术的选择及其架构设计

本文介绍了如何选择移动办公系统开发技术。并利用相关技术设计移动办公系统的方法。     

基于开放编译的面向对象程序静态分析器*

采用反射和开放编译技术,设计并实现了一个面向对象程序静态分析器,对开放编译器OpenC++进行了扩展与改进。通过实验研究表明,该程序静态分析器可以得到全面的系统依赖信息,可以有效地辅助程序理解。     

一种BPEL流程数据竞争检测方法

对使用业务流程执行语言(BPEL)组织流程中存在的数据竞争问题进行了研究,根据BPEL特性提出了一个静态分析和动态监控相结合的有效检测方法.实验结果表明,该方法能够准确检测出流程中存在的数据竞争,提高了流程的可靠性.     

基于CNN-LSTM双流融合网络的危险行为识别

针对目前人体危险行为识别过程中由于时空特征挖掘不充分导致精度不够的问题,对传统双流卷积模型进行改进,提出了一种基于CNN-LSTM的双流卷积危险行为识别模型。该模型将CNN网络与LSTM网络并联,其中CNN网络作为空间流,将人体骨架空间运动姿态分为静态与动态特征进行分别提取,两者融合作为空间流的输出;在时间流中采用改进的可滑动长短时记忆网络,以增加人体骨架时序特征的提取能力;最后将两个分支进行时空融合,利用Softmax对危险动作做出分类识别。在公开的NTU-RGB+D数据集和Kinetics数据集上的实验结果表明,改进后模型的平均跨角度（Cross view,CV）精度达到92.5%,平均跨视角（Cross subject,CS）精度为87.9%。所提方法优于改进前及其他方法,可以有效地对人体危险动作做出识别,同时对于模糊动作也有较好的区分效果。     

基于条件时序生成对抗网络的楼宇空调负荷场景生成方法

电力系统运行与规划中需重点关注到楼宇空调负荷的不确定性,可将楼宇空调负荷变化的不确性场景转化为多个确定性场景的场景生成问题。提出了楼宇空调负荷场景生成问题的基本分析框架,深入分析了楼宇空调负荷的用能特征,挖掘了楼宇空调负荷用能时序序列数据所蕴含的动静态特征。将楼宇空调负荷数据的动静态特征作为条件监督项,将无监督对抗训练与监督训练相结合,设计了联合训练损失函数与全局优化损失函数,并在此基础上提出了一种基于条件时序生成对抗网络(time series generative adversarial nets,TimeGAN)的楼宇空调负荷场景生成方法。最后,通过算例验证了所提方法的可行性与有效性。研究成果对提高楼宇空调负荷主动参与电力系统的运行规划有积极的意义。