基于双流LSTM与自监督学习的 在线动作检测算法

在线动作检测对安防和人机交互等应用非常重要,该问题要求模型在动作刚开始时就能检测到,而不是等待整个事件完整结束。由于在线动作检测只能基于观测到的部分视频进行判断,因此相比动作识别和动作检测等任务,模型需要挖掘更多信息辅助决策。基于在线动作检测问题中常用的长短时记忆网络(LSTM)模型,构建双流LSTM模型(2S-LSTM),并将在图像领域中被广泛使用的自监督学习思想引入到在线动作检测问题中。首先,双流网络2S-LSTM模型分别对RGB流与光流的时序信息采用LSTM建模。同时基于自监督学习的思想构建出2个新型的损失函数——时序相似度损失与光流稳定损失用于模型的训练。实验表明,与过去的在线动作检测方法RED、TRN、IDN相比,本文的模型在TVSeries与THUMOS’14这2个数据集上都取得了较好的结果。     

网络入侵检测系统的应用研究

网络安全技术发展到今天,除了防火墙和杀毒系统的防护,入侵检测技术也成为抵御黑客攻击的有效方式。尽管入侵检测技术还在不断完善发展之中,但是入侵检测产品的市场已经越来越火,真正掀起了网络安全的第三股热潮。网络入侵检测系统(NIDS)的主要功能是检测,实现PDRR模型中的检测部分。除检测功能外,NIDS还有其它很多选项,增加了计算机系统和网络的安全性。NIDS处于检测层,检测防护部分阻止不了的入侵。防护层是在攻击者进行攻击前,先做好防护工作,而检测层就是攻击过程发生后检测以及响应。攻击都有一个过程,在一次攻击中,未达到破坏…     

基于过程挖掘的在线学习行为时序模式分析方法研究

在线学习行为的时序模式反映了在线学习行为随时间动态变化的规律，对于理解在线学习过程、设计有效的干预措施具有重要作用。目前，研究者主要采用滞后序列分析来探索在线学习行为的时序模式，但这种方法通常揭示不同在线学习行为之间的依赖性，由此推出在线学习行为时序模式不够准确，且难以对不同的时序模式进行量化比较。针对上述问题，文章将过程挖掘技术引入在线学习行为时序模式研究，提出了一个基于过程挖掘的在线学习行为时序模式分析方法，并据此开展了一项案例研究。研究发现：在一个主题单元期间，中途弃学者和持续学习者的在线学习行为时序模式并无显著差异，但是，在整个课程期间，持续学习者在时间与精力分配上与中途弃学者存在差异，表现出了更强的自我调节能力。     

分数计数器的实现方案

一、计数器是数字电路(或设备)中最常用的一种时序逻辑部件，它的主要功能是对数字脉冲信号进行计数，以及对某些系统进行顺序控制。计数器的状态图结构如图一所示。     

分数计数器的实现方案

一、计数器是数字电路(或设备)中最常用的一种时序逻辑部件，它的主要功能是对数字脉冲信号进行计数，以及对某些系统进行顺序控制。计数器的状态图结构如图一所示。     

一个基于安全模型的测试用例生成工具

在基于安全评估标准的安全数据库管理系统（Security Database Management System, SDBMS）的安全功能测评中,存在的困难问题之一就是缺乏合适的测试用例.而目前基于安全产品形式化规约的测试用例自动生成方法并不能完全适用于这种需要.因为包括SDBMS在内的大多数信息安全产品的系统规约并不能真实的反映现实系统的行为,系统中的操作除了要完成其预定的功能外,同时还必须满足安全产品安全策略的约束.本文采用了基于安全产品安全策略模型的测试用例自动生成方法,设计并实现了一个测试用例自动化生成工具——CaseBuilder.该工具可针对SDBMS快速生成能够满足产品安全策略测试要求的测试用例集.     

集装箱桥吊仿真训练系统中碰撞模型的建立与实现

碰撞模型是仿真系统中重要的也是关键的一部分 ,集装箱桥吊的高速化对碰撞检测的实时性提出了很高的要求 ,同时吊具模型的复杂性与集装箱桥吊装卸过程的特点增加了碰撞检测的难度。本文应用简化、高效的碰撞线检测方法较好地解决了桥吊仿真训练系统中的碰撞问题     

UML Statechart图中数据流的语义及验证

由于UML Statechart图缺乏精确的数据流语义,因而难以对UML Statechart图建模的工作流的数据流进行正确性验证．首先,UML Statechart图是基于状态转换的,为此选择标记转换系统（LTS）作为语义域,并用结构化操作语义（sos）分两步定义了UML Statechart图的数据流语义．然后,采用时序逻辑公式表示数据流所需满足的性质,同时给出了将UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性．     

单个控制场下开放量子系统的状态转移

研究了开放量子系统的状态转移问题. 利用刘维尔超算符将其矩阵动力学模型转换为向量形式. 给定一个耗散的量子系统的动力学模型,在一个随时变化的外部控制场中,以系统状态和目标状态的密度矩阵的误差平方作为性能指标,推导出改进的状态转移最优控制律. 在数值仿真实验中,我们研究了一个热浴中的自旋1/2粒子系统在单个外部控制场作用下的动力学特性. 在所提出的最优控制作用下,分别选择本征态、纯态和混合态作为系统的初始状态和目标状态.对此系统中状态转移的实验结果进行了性能对比分析.     

基于软件工程技术与过程的面向对象Web应用研究

本文介绍了基于软件工程的Web应用系统的体系结构,描述了Web应用系统面向对象方法、技术与软件开发过程。提出了一个面向对象Web应用软件工程过程模型,并对Web应用系统的建立问题进行了探讨。     

基于Bass模型的移动电话用户数扩散研究

扩散理论是传播理论的一个分支,产品扩散模型就是应用扩散理论来描述和预测社会系统中的创新扩散而建立的一系列数学分析模型。以Bass模型为理论基础,以历年移动电话用户数为数据基础,对移动电话用户数的扩散过程进行了参数估计,同时建立了移动电话用户数的扩散模型,并对移动电话用户数的扩散过程进行了预测和展望,从而为我国第三代移动通信标准3G的顺利扩散提供理论和实证支持。     

竞技《系统训练监控学》构建的理论原理及应用研究

摘要：对竞技表现能力变化过程的量化分析与评估是教练员客观了解训练效果、修正训练计划和科学控制训练进程的主要途径。通过文献资料法、逻辑分析法和实验法,以系统复杂性和复杂生物系统自组织理论为科学基础,从竞技训练系统认识的发展对训练监控的需求与逻辑定位,对《系统训练监控学》的理论原理进行了深入的研究与探讨,提出：训练监控的核心是对竞技能力目标训练各相关要素作用在训练过程中时序效应的评估与掌握,竞赛目标的状态经验定位是训练监控设计的逻辑依据,竞赛目标定态的时序生物效应,构成了监控的多学科多指标群系统,并对“内环境稳态”与“竞赛目标系统状态”的区别,进行了较为深入的理论分析。从理论和应用的角度发展了训练监控的科学思路,为竞技训练的科学控制提供了必须的科学认识基础。     

初探模型在体操中的应用

从控制论、系统论的观点来看,体操训练是一个典型的多变量非线性的大系统。为了对这种大系统进行分析与综合,寻求系统运行最优化的途径,应用模型愈来愈成为科研人员重视的方法。这种方法简单地说,第一步是建立模型,即根据对具体系统的物理分析或大量数据统计,逐步搞清系统的内部结构,弄清各分系统(或子系统)、各层次、各变量(或因素)之间在时间、空间相互作用和相互影响的关系,然后进行集结和简化,并同时舍去无关紧要的部分,有很多工作需要通过电子计算机进行,最后建立起初步模     

管理的系统原理在民办高校学生工作中的应用

管理的系统原理,就是把管理组织或管理过程视为一个系统,进行系统分析和系统优化,实现优化组织设计和优化管理的理论。高校学生工作管理就是一个系统,是由若干要素(思想政治教育、能力培养、专业知识、就业指导等)组成的、具有特定功能的处于一定环境中的有机集合体。如何在民办高校学生工作管理、总结中,对各种现象进行抽象和概括,建立起连接教学、学生管理、人才培养等内涵的完善系统,并不断优化,是本文主要探索的问题。     

数据挖掘技术在体育比赛技战术分析中的应用研究

马尔科夫过程模型已经广泛地应用于系统可靠性评价中。基于马尔科夫模型系统关键因素分析方法被讨论,重点讨论了状态转移概率和状态可靠性灵敏度分析两种途径。给出系统可靠性差分概念后,提出了通过状态转移概率和状态可靠性增量分析系统可靠性差分的方法,具体分析了各个增量的选择条件。在上述讨论的基础上,给出系统关键因素数据挖掘算法。为了展示和验证算法的可行性和正确性,对乒乓球比赛制胜关进因素进行分析,实验结果表明提出的算法具有正确性和可行性。     

基于CA的城市扩展动态模拟与预测

城市扩展动态过程的模拟与预测可以为区域发展、城市规划和管理等提供决策依据。传统的各种城市模型不能完整地表示城市动态过程的时空信息和时空关系,通常将空间抽象为均质平原或简单功能区,将时间作为一个变量纳入方程,缺乏对城市动态系统的直接模拟。细胞自动机 (Cellular Automata)是一种“自下而上”的动态模拟建模框架,具有模拟复杂系统时空演化过程的能力。本文将标准CA模型的四元组进行了扩展以满足GIS环境下的城市扩展动态模拟的要求,建立了土地持续利用动态模拟模型。运用此模型对包头市城市扩展进行了比较成功的模拟和对未来 15年城市发展趋势进行了预测。     

一种基于僵尸机状态转换的僵尸网络监测方法

目前互联网上发生的大规模网络攻击事件,大多都与僵尸网络攻击有关。僵尸病毒的感染开始于一个外部网络与内部网络的通信过程。通过对通信过程研究分析,基于系统开发平台Window和Visual C++(vc6.0),对一个潜在的用户从被感染到成为僵尸机,进一步扩散支点形成僵尸网络全部变化过程进行模拟,设计出检测系统。实验证明检测系统具有较好的扩展性,能对Phabot传播扩散过程中的各个状态进行有效捕获,在网络中主要网络节点布置该系统完全可以监测僵尸病毒的传播。     

基于GAN序列的卫星数据接收系统故障定位

现有的卫星数据接收系统故障定位方法受困于专家知识的难以获取。提出一种基于生成对抗网络(GAN)序列的故障定位方法GANseq。利用故障传播特性,将接收系统分解为M个信号处理单元(SPU),形成一个按照信号处理顺序排列的SPU序列;将故障定位问题转化为有序排列的M个异常检测子问题,其中第m个子问题为对前m个SPU的联合状态的异常检测;然后针对每个子问题采用基于GAN的状态参数检测模型,进而形成GAN序列;综合分析该序列在所有子问题上的检测结果以定位故障SPU。利用实际接收系统进行的实验证明所提出的GANseq不仅从数据驱动的角度完成了故障定位,而且在总体上降低了虚警率,并提高了定位精度。     

北京市城市化与第三产业互动发展偏差的协调优化分析

城市化进程和第三产业的发展是一个互动发展的过程。基于城市化与第三产业互动机制的原理,本文构建了区域城市化与第三产业协调发展系统的评价模型,并对北京市进行实证研究。研究结果表明:目前北京市城市化与第三产业发展基本还处于较低水平的耦合阶段。GM(1,N)分析表明,北京市城市化与第三产业协调发展的主要制约因素是城市化建设滞后,但这实际上是由低效益的传统第三产业的过度膨胀所引起的,因此,调整、规范传统第三产业,仍然是北京今后促进整个经济协调发展的主要突破口。     

英语非规约隐性否定与合作原则

非规约隐性否定是指那些不是由词或语句的约定意义而得出的否定合义.对这类否定的真正理解需要依靠交际双方所共有的背景知识,以及听话人的逻辑推理能力.本文首先分析了语境因素在非规约隐性否定的推导中所起的作用,随后进一步指出非规约隐性否定的推导还需要结合Grice的合作原则及会话含义的推理模式,阐述了非规约隐性否定的逻辑推理过程是语境因素和合作原则共同作用的过程.