程序可疑模式发现方法研究

由于面向对象程序的动态执行特征,传统测试方法不能很好地描述和分析对象状态,这就影响了对面向对象程序进行故障定位的准确性.针对此问题,基于模式的概念和序列模式的方法,提出采用对象生存期行为模型来刻画对象行为特征,并基于此模型来定义程序行为模式;然后,基于程序行为模式设计了程序可疑模式的发现框架,包括数据准备过程、模式提取...     

多角度数据库活动监控技术研究

基于网络协议抓取的数据库活动监控是数据库安全深度防御的一种手段。针对用户数据库请求的内容与方式,设计了包括用户行为获取与潜在安全威胁检测的数据库活动监控器。根据异常攻击检测策略,提出了基于SQL语法结构和语义特点的单语句用户行为模型和基于SQL操作序列的多语句用户行为模型。在训练阶段,对SQL训练集进行学习以构建用户行为模式库。入侵检测引擎通过计算SQL间结构距离和多语句序列距离的模式匹配方法发现潜在的数据库攻击行为。对实际SQL请求的实验验证了该文提出的监控器体系结构、相关模型、行为模式挖掘和攻击匹配算法的可用性。     

采用LSTM模型的Android应用行为一致性检测

针对Android应用数目庞大、功能多样而难以准确验证应用实际类别的情况,对Andriod应用的网络行为进行分析研究,提出应用的行为一致性理论,并实现一种基于网络行为一致性验证的LSTM分类模型.通过构造不同场景事件组合来触发不同功能类别应用运行时的网络行为,提取有效的网络特征构建成网络事件行为时序序列,并设计带有特殊输入结构的LSTM循环神经网络模型,对网络事件行为时序序列中潜在的行为模式进行学习与建模.实验验证结果表明,Android应用样本具有行为一致性;所提出的LSTM网络模型能有效地学习与归纳不同类别应用的网络行为模式;最优模型的平均分类准确性可达92.58%,优于常见的面向Android应用的机器学习分类模型.     

面向监控视频的行为模式挖掘

行为模式挖掘技术是监控视频语义分析的重要组成,由于先验知识的缺乏与特征维数约束,难以准确定义参数化挖掘模型的结构复杂度,通过非参数化的无限高斯混合聚类运动特征得到原子行为模式,并估计其持续时间分布,使用局部特征维测试验证了挖掘模型的运动相似性假设。结果表明所得到的行为模式集准确刻画了场景的潜在运动语义,而通过行为中存在的时间多形态分布进一步发现了隐藏运动知识。     

基于UML图书馆管理系统的建模设计与实现

以图书馆管理系统的开发为背景,探讨了UML在软件体系结构建模中的应用。以用例图表达系统需求, 以设计类图、顺序图、活动图表达系统的结构逻辑及行为逻辑,并详细介绍了基于UML的图书馆管理系统的建模设计及实现过程。     

基于告警属性聚类的攻击场景关联规则挖掘方法研究

针对现有攻击场景重构方法中存在关联规则挖掘不充分、攻击场景链断裂的问题,以及安全设备的误告警影响攻击场景重构准确性的现状,提出一种基于告警属性聚类的攻击场景关联规则挖掘方法。该方法能够有效挖掘攻击场景关联规则,减少攻击链断裂,还原实际的多步攻击,更好地帮助安全管理员深入理解攻击者入侵行为并掌握攻击全貌。以真实网络中的安全设备的原始告警为数据源,首先,对原始告警数据进行预处理,实现告警数据的归一化。然后,通过构建告警时间序列,利用FFT和Pearson相关系数对误告警周期特性进行分析,生成误告警过滤规则。接着,提出一种基于动态时间阈值的告警属性聚类方法,通过告警属性相似性刻画告警间相似度,并根据告警发生的时间间隔结合动态时间阈值方法更新聚类时间,对属于同一攻击场景的告警进行聚类。最后,利用Apriori频繁项挖掘算法生成攻击场景序列模式,并对具有重复攻击步骤的攻击场景序列模式进行融合生成关联规则。在四川大学校园网真实环境中进行实验,结果表明所提方法可有效缓解攻击链断裂问题和误告警的影响,相较于对比方法可有效提升生成的攻击场景关联规则的完整性。     

一种基于动态行为映射模型的shellcode检测方法

提出了一种基于动态模拟执行的shellcode分析与检测方法。该方法针对当前自修改和分段执行类shellcode的特点,建立动态行为映射模型严格刻画了shellcode模拟动态行为过程特征,给出了关于自修改和分段执行类shellcode的行为轨迹序列,然后设计了基于有限状态自动机的快速检测算法并实现了原型系统。实验结果表明,该方法能够有效检测当前自修改与分段执行类shellcode,并且与现有主流shellcode检测工具相比,可以达到较好的检测效果。     

一种需求驱动的服务行为适配方法

现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效.针对此问题,本文在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义.证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证.通过一个贯穿全文的实例分析表明了方法的可行性和有效性     

基于互助行为聚类的移动社交软件设计与实现

在分析当前社交网络应用的基础上,设计了一款基于互助行为聚类的移动社交软件,提出了一种基于互助行为的聚类算法。该社交软件包括移动客户端和后台服务端,移动客户端基于Android平台开发,后台服务端采用云服务的方式为客户端提供服务。所设计的聚类算法以直接互助行为为基础,采用朋友链的方式组成朋友圈并进行聚类。     

基于本体的建筑质量管理规范建模与检索研究

建筑工程质量管理规范条文是质量监控的主要知识源,规范条文的计算机建模与检索应用对于从管理角度支持工程质量监控,提高效率具有重要意义.论文在分析规范条文所蕴含的知识点基础之上,将条文知识分为约束和情景两类,并着重考虑情景信息的表达和利用.构建本体对规范条文情景信息进行建模,通过本体概念对条文情景信息进行语义标注,实现规范条文情景信息的语义表达;基于标注信息设计规范条文语义检索规则,实现基于本体的语义检索;最后,开发基于本体的规范条文检索原型系统,并介绍了系统的结构和功能.     

精密测试转台控制系统研究

以实际精密测试转台的设计实践为例,分析了控制系统的主要技术指标,并在实测对象特性的基础上抽象出了被控对象的数学模型,通过仿真和实际调试综合出了校正环节实际使用和仿真结果表明,完全满足控制的指标要求。     

Suggested closed-loop response characteristics for tanker in aerial refueling via mission-oriented evaluation

The flight control law design for tanker should ensure that the closed-loop response can meet the aerial refueling mission requirements. In order to reveal the movement characteristics of the tanker and the handling characteristics of the pilot in aerial refueling, the flight path capture and hold under gust disturbance task is designed as the demonstration maneuver mission to evaluate the flying qualities for tanker in aerial refueling task, which is based on the design requirements of maneuvering tasks used in mission-oriented flying qualities assessment. By analyzing the flight path tracking and holding requirements of the tanker in aerial refueling mission, the relevant parameters that reflect the response characteristics of the tanker in pitch and roll axes are put forward. The ground flight simulation test based on mission-oriented flight quality assessment is conducted, and the test pilot's assessment results based on Cooper-Harper rating and PIO scales are obtained for different flight control law configurations. The suggested requirements of the closed-loop response characteristics of the pitch and roll axes of the tanker are put forward, which can be specifications for the aerial refueling mode flight control design of tanker.     

异步环境中的服务接口兼容分析

基于异步协议兼容中的可同步条件，对异步消息通信环境中的服务交互进行接口兼容分析，提出一种异步环境下的接口兼容分析方法，通过这种方法，可以判定两个接口之间的异步交互行为是否是一致的，从而可以应用于接口的匹配问题和服务组合的设计时验证，保证最终获得的组合协议也满足可同步条件。     

冰箱压缩机加速寿命试验台的研制

根据技术要求,研制了一套适用于新型工质R600a的冰箱压缩机加速寿命试验台。文章阐述了试验台的基本构成、技术指标、工作原理及运行结论。近1年的使用表明,试验台工作正常,各项参数均满足要求。     

型钢混凝土(SRC)结构设计规程对比分析(Ⅱ)

着重对我国现有的两部型钢混凝土（SRC）结构规程《钢骨混凝土结构设计规程》（YB9082—97）及《型钢混凝土组合结构技术规程》（JGJ138—2001）中关于型钢混凝土（SRC）偏心受压构件、剪力墙和梁柱节点的承载能力计算理论和构造要求进行了对比分析，并结合型钢混凝土（SRC）偏心受压构件和梁柱节点承载能力的计算实例，对两部规程的应用方法和计算步骤作了详细的说明；还对两部规程中关于型钢混凝土构件的构造要求进行了比较分析。为两部型钢混凝土结构设计规程的实施应用提供参考。     

复合防火自保温外模板抗折性能试验研究

为研究复合防火自保温外模板的抗折性能,对6个复合防火自保温外模板试件进行抗折试验,分析试件的破坏形态、受力性能、抗折强度以及抗折强度与弹性模量之间的相关性。结果表明：复合防火自保温外模板的破坏形态均表现为底部跨中砂浆层开裂,裂缝方向垂直于模板纵轴线且贯穿整个宽度;各试件的荷载-跨中位移曲线变化规律基本一致,最大荷载、抗折强度和弹性模量的均值分别为846.34 N、2.59 MPa、5 125 MPa,满足相应规范的要求,具有良好的抗折性能;复合防火自保温外模板的抗折强度与弹性模量在0.01水平上,相关系数R=0.972 5,具有较强的线性相关性。     

玻璃钢夹砂管道在给水与排水工程中的应用

从应用的角度分析了玻璃钢夹砂管的主要特点，结合在大口径长距离输水和城市排水工程中的应用实践，指出了在给水与排水工程中玻璃钢夹砂管的应用条件、管型选择、材质检验方法，强调了管道基础与回填、管道支墩等方面与管材相适应的工程质量要求，并建议尽快制定玻璃钢夹砂管的管材标准、设计规范、施工规程以及质量验收标准。     

异步环境中的服务接口兼容分析

基于异步协议兼容中的可同步条件，对异步消息通信环境中的服务交互进行接口兼容分析，提出一种异步环境下的接口兼容分析方法，通过这种方法，可以判定两个接口之间的异步交互行为是否是一致的，从而可以应用于接口的匹配问题和服务组合的设计时验证，保证最终获得的组合协议也满足可同步条件。     

The specification and analysis of network embedded system

This paper proposes a formal method which is used to model and analyze network devices such as touters. It is based on an algebraic process called “ACSR-VP”, which enhances the original CCS algebraic process by incorporating the notions of time, resource requirements, dynamic prioritization, and synchronization. Therefore, although there are many formal methods to analyze the timed concurrency system, ACSR-VP, due to its prominent features, is best fit for analysis of a resource bounded real-time system. This paper extends ACSR-VP to EACSR-VP, which is more adaptive to the features of network devices and specializes in analyzing this kind of embedded system. EACSR-VP adds the notion of n-way communication which allows more than two processes to participate in synchronization. It also enhances value-passing capabilities which make for more flexible specifications. Finally, specifications, verification and analysis methods with EACSR-VP are introduced by a case study of router with multiple input queues.     

基于Q学习与CBL结合的机器人足球行为学习研究

提出了一种足球机器人基于Q学习与案例学习（CBL）相结合的自主学习机制。足球机器人通过给定的当前位置和奖赏信号,自己学习来实现特定的动作,为了降低学习时的计算复杂度,状态空间通过分段映射为不同的类别,根据其普遍性以及有限的所必须的计算机内存,采用神经网络的学习来执行其动作。