基于区块链技术的网络安全漏洞检测系统设计

为解决传统网络安全漏洞扫描受限,导致网络应用环境的安全性承载能力较差的问题,设计基于区块链技术的网络安全漏洞检测系统;利用网络爬虫模块抓取任务管理模块所需的待检测信息参量,按照漏洞数据所属的具体类别,将其分别反馈至XSS检测模块、SQL检测模块与CSRF检测模块之中;在此基础上,定义区块信息的实际交易格式,联合各项智能化合约,实现对系统功能需求的定向化分析,并完成相关用例图的构建;通过上述软、硬件设备基础,完成基于区块链技术的网络安全漏洞检测系统设计;对比实验结果显示,与C/S型网络漏洞检测系统相比,基于区块链技术检测系统的安全性等级划分条件更加细致,扫描web漏洞覆盖范围也更为广泛,有助于网络应用环境安全性承载能力的稳定提升.     

面向动用计划的车辆装备备件预测研究

针对动用计划下的车辆装备备件的消耗特点,研究了车辆装备维修备件消耗量和库存控制两个预测优化问题。考虑动用计划期内车辆装备的预防性维修和修复性维修,实现定时定程维修和自然随机故障维修下装备维修备件的消耗量的预测。在此基础上,根据备件库存检查方式的特点,建立基于定期检查策略的联合补货库存控制模型,根据模型的结构特点确定决策变量界限,并利用多类种群位置更新方式改进了果蝇优化算法。仿真结果表明,改进的果蝇优化算法具有良好的求解效率,本文所提出的优化方法可为车辆维修保障资源优化提供决策依据。     

基于场景元模型的软件产品线追踪方法

针对软件产品线需求追踪方法进行了研究,基于软件产品线领域需求分析、设计、实现三个阶段的信息传播,提出了一种基于场景元模型的多层次软件产品线追踪模型,完整描述了追踪信息变化的整体框架;建立了需求—用例追踪矩阵、用例—动作追踪矩阵、动作—构件追踪矩阵;根据矩阵运算,描述了具体追踪实现过程,通过一个ATM案例验证了该方法对于软件产品线领域需求获取以及需求变更等问题的解决有较好的效果。     

A functional approach for the formalization of the fixture design process

The design of machining fixtures is a highly complex process that relies on designer experience and his/her implicit knowledge to achieve a good design. In order to facilitate its automation by the development of a knowledge-based application, the explicit definition of the fixture design process and the knowledge involved is a prior and a fundamental task to undertake. Additionally, a fundamental and well-known engineering principle should be considered: the functional requirements and their associated constraints should be the first input to any design process. Considering these two main ideas, this paper presents the development undertaken to facilitate the automation of the fixture design process based on a functional approach.In this context, the MOKA methodology has been used to elicit fixtures knowledge. IDEF0 and UML have been used to represent the fixture design process. A methodology based on the function concept and aiming to formalize such design process is proposed. Fixture functional requirements have been defined and formalized. Functional fixtures elements have been used to create a functional design solution, the link of these elements with the functional requirements and with typical commercial fixture components has been defined via tables and rules mapping. And finally, a prototype knowledge-based application has been developed in order to make an initial validation of the proposed methodology.     

Atomic force microscopy study of biaxially oriented polypropylene films

Atomic force microscopy (AFM) uses a very sharp pointed mechanical probe to collect real-space morphological information of solid surfaces. AFM was used in this study to image the surface morphology of a biaxially oriented polypropylene film. The polymer film is characterized by a nanometer-scale, fiberlike network structure, which reflects the drawing process used during the fabrication of the film. AFM was used to study polymer-surface treatment to improve wettability by exposing the polymer to ozone with or without ultraviolet (UV) irradiation. Surface-morphology changes observed by AFM are the result of the surface oxidation induced by the treatment. Due to the topographic features of the polymer film, the fiberlike structure has been used to check the performance of the AFM tip. An AFM image is a mixture of the surface morphology and the shape of the AFM tip. Therefore, it is important to check the performance of a tip to ensure that the AFM image collected reflects the true surface features of the sample, rather than contamination on the AFM tip.     

阔克塔勒水电站水轮发电机组安装要点分析

水电站机械设备复杂,要求的安装精度较高,而水轮发电机组作为整个工程的核心,其安装质量直接关系到设备以后的运行效率。本文以阔克塔勒水电站水轮发电机组为例,对其安装步骤和工艺要点进行了说明,意在为类似工程提供参考。     

基于梯形模糊数的不确定性河道生态需水模型及其应用

将模糊数引入河道生态需水估算方法中,建立了模糊生态流速和模糊生态水力半径的概念。以抛物线型过水断面河道为例,在扩展原理的基础上,建立了流量与模糊生态流速、模糊生态水力半径的函数关系,提出了基于梯形模糊数的不确定性河道生态需水模型,设计了算法流程。以杜柯河壤塘站为例进行研究,计算并给出了其不确定性河道生态需水量的结果。最后利用Tennant法对所建模型的实用性进行了验证,并对计算结果的表达形式进行了分析。结果表明本文方法得到的结果更合理,效果更好。     

DRAMA: A framework for domain requirements analysis and modeling architectures in software product lines

One of the benefits of software product line approach is to improve time-to-market. The changes in market needs cause software requirements to be flexible in product lines. Whenever software requirements are changed, software architecture should be evolved to correspond with them. Therefore, domain architecture should be designed based on domain requirements. It is essential that there is traceability between requirements and architecture, and that the structure of architecture is derived from quality requirements. The purpose of this paper is to provide a framework for modeling domain architecture based on domain requirements within product lines. In particular, we focus on the traceable relationship between requirements and architectural structures. Our framework consists of processes, methods, and a supporting tool. It uses four basic concepts, namely, goal based domain requirements analysis, Analytical Hierarchy Process, Matrix technique, and architecture styles. Our approach is illustrated using HIS (Home Integration System) product line. Finally, industrial examples are used to validate DRAMA.     

基于领域工程方法的新一代ERP系统研究

针对当前ERP系统提高可重构性研发中存在的不足,本文按照领域工程的实施过程．对新一代ERP系统分别进行了需求分析、软件体系结构设计和应用系统实施方面的研究,重点分析领域内变化性需求的处理,最后提出了响应领域内变化性需求的实施策略。     

缺陷需求分析与管理模型

需求管理是软件过程改进的重要活动,需求缺陷管理是需求管理的重要组成部分,其目的在于检测、分析、解决和预防需求缺陷.从社会因素和技术因素两大方面分析了需求工程阶段缺陷产生的原因,对缺陷进行了分类.建立了需求(模型)缺陷列表、缺陷需求分析模型和基于需求缺陷管理的需求过程模型.指出需求缺陷列表所反映的需求分析过程的数量特征,能够为评估需求工程师能力、准确和全面地定义需求成熟度、研究需求演化波及效应、研究需求模型复杂度和需求缺陷分布规律提供必要数据和有益启示.