拟动力试验软件及方法研究

拟动力实验方法是目前研究大型结构的抗震性能的主要实验手段。采用无条件稳定的隐式α-方法代替目前的条件稳定的显式方法,采用数值迭代控制方法进行拟动力实验研究。在此研究的基础上,开发通用的拟动力试验软件,使得进行实验的用户只需输入相关参数,而不用对软件内部进行了解及修改也能对不同类型的结构进行试验。     

利用SPSS软件对零售业务数据进行分析

随着零售业管理的不断发展,一方面,原先POS—MIS构架的信息系统已经不能满足企业决策层的需求,具有先进意识的领导者希望信息系统在操作层、管理层和决策层各个层面都能发挥出作用;另一方面,零售企业POS-MIS系统每天产生的大量数据中包含着很多商业机会,现代精确营销理念需要利用这些业务数据为企业经营决策做支持。基于这两方面,     

利用Wireshark软件进行信令分析

Wireshark软件是开源软件中应用最广的一种信令分析软件,支持众多的信令协议。PCAP文件格式是一种通用的封包存储格式,这个格式的文件可以被Wireshark软件直接读取。在分析PCAP文件格式的基础上,通过构建数据文件,可以利用Wireshark软件对已有的信令数据进行信令分析。分析结果可以用于科学研究和工程实践,避免了手工分解信令数据时的低效率,提高了工作的时效性。     

基于ANSYS/LS-DYNA的返回舱海面撞水动力研究

在理论分析刚形体垂直撞水动力特性的基础上,分别推导出基于von Karman理论和通用Wagner理论的圆球底返回舱撞水冲击过载公式.然后借助ANSYS/LS-DYNA动力显式程序中ALE算法的优势,进行返回舱海向垂直撞水动力数值仿真;针对数值仿真结果和理论分析预报结果的比较分析来验证数值仿真的可行性,同时给出数值计算弹性体模型垂直撞水的撞水冲击过载;结果表明:采用ANSYS/LS-DYNA的ALE算法可以有效地数值模拟返回舱撞水动力特性,为进一步控制返回舱海面回收以及数值分析撞水动力特性提供有力的技术支持,且大大节约了试验经费.     

运用Excel软件进行成本性态分析

成本性态分析是管理会计学特有的一种方法.Microsoft Excel软件具有较强的财务分析功能.本文就管理会计实务介绍运用Excel软件图表功能、统计分析工具、统计函数进行成本性态分析的具体操作.     

智能水表售水软件VB编程实现

本文给出了一款市面上应用的智能IC卡冷水表配套的售水软件系统的设计与实现,该软件系统具有账号管理、数据库维护、IC卡操作等功能、用户管理等功能,界面友好,具有良好的可靠性。     

基于容器技术的水文水动力模型软硬件适配方法

随着国产化软硬件系统的发展和普及,将现行的计算程序适配到国产硬件和操作系统上是科学研究和业务化应用的关键,亟待探索提出专业计算模型的软硬件适配方法。现有关于专业计算模型的软硬件适配方法存在缺乏通用性、硬件依赖性强等问题。鉴于此,系统解析了国产化适配需要解决的关键问题,并对比了现行的软件适配技术,筛选出容器技术作为水文水动力模型的国产适配技术。容器技术可将应用程序打包成独立的运行环境,摆脱对底层架构和操作系统的依赖。以水文水动力模型TELEMAC为例,详细说明了Docker镜像构成原理,并通过Dockerfile文件构建了TELEMAC镜像环境,开展了计算案例的验证。结果表明TELEMAC镜像能够安全运行在以鲲鹏920处理器为核心的openEuler和麒麟V10等国产软硬件平台上,且案例计算结果与标准结果相一致,模型计算效率高,实现了专业科学计算模型的国产化软硬件适配,该研究可为其他软件国产化适配提供参考借鉴。     

水下自航行器外形及水动力性能优化

研究水下自航行器(AUV) 外形及水动力性能优化的问题,为使得AUV具有较小航行阻力的同时拥有较大承载能力,需要不断进行AUV模型重建以及水动力结果分析,人工完成将会耗时很长,Isight多学科优化设计平台搭载常用的优化算法—NSGA-II遗传算法,整合Solidworks、Gambit、Fluent三大集成模块实现数据交换以进行AUV外形的建模、仿真并完成设计过程的自动化和智能的设计探索,确定最佳设计参数;仿真结果表明,最终优化后的AUV不仅减小了航行阻力并且拥有更大的承载能力;因此采用多学科优化软件Isight能够有效提高AUV外形及水动力性能优化的准确性和效率,提升其整体水动力性能。     

扑翼的非定常水动力特性数值研究

研究水下推进装置结构优化设计问题,建立了扑翼的简谐运动模型,根据有限体积法和非结构动网格技术,完成了对扑翼运动的非定常建模研究.通过计算得到了扑翼运动的水动力特性及流场的变化规律,提出了扑翼产生的涡的特点及其作用机制.计算结果表明:在简谐运动驱动下,扑翼运动能产生较大的推力,而产生的升力较小;扑翼运动过程中伴随着涡的生成和脱离,尾涡能有效地提高扑翼产生的推力,前沿涡能抑制推力的产生和延缓升力的下降趋势.以上研究为水下推进装置优化设计提供了参考依据.     

基于度量的嵌入式软件缺陷风险分析研究

通过对COSMIC-FFP模型的扩展优化提出了嵌入式软件系统度量的方法,从而解决了COSMIC-FFP模型不支持对含有复杂数学算法的嵌入式实时系统度量的问题,基于软件规模度量提出了软件缺陷度量的方法。通过对软件规模的准确度量和对软件缺陷风险的分析,发现软件项目过程风险管理的不足,达到降低软件项目过程风险的目的。     

基于机器学习的软件脆弱性分析方法综述

随着被披露脆弱性代码样本数量的不断增加和机器学习方法的广泛应用,基于机器学习的软件脆弱性分析逐渐成为信息安全领域的热点研究方向。首先,通过分析已有研究工作,提出了基于机器学习的软件脆弱性挖掘框架;然后,从程序分析角度对已有研究工作进行了分类综述;最后,对研究成果进行了对比分析,并分析了当前基于机器学习的脆弱性分析方法面临的挑战,展望了未来的发展方向。     

基于概率影响图的软件体系结构安全风险分析*

针对传统安全分析方法过于复杂的问题,提出将概率影响图引入体系结构的安全性风险分析中。该方法首先基于用例识别出系统功能故障,建立以系统安全性为目标节点的初级影响图;再对系统功能故障进行分解,确定各构件功能故障模式,并从构件内部失效及输入失效两方面进行考虑;最后根据这些事件的相关性建立从系统安全风险到构件失效的概率影响图,并开发了相应的基于概率影响图的辅助分析工具。     

证据理论在软件项目风险分析中的应用

软件项目由于其产品的智力密集性和项目的复杂性,在开发过程中,进行风险分析时不同于一般项目有很多客观的指标可供参考,更多地是借助于专家的意见,从而使得专家意见的综合成为软件项目风险分析中一个急需解决的问题。给出了一个基于证据理论的软件项目风险分析模型,通过引入模糊评语集及该集合上的模糊效用值,使用Dempster规则更好地融合各个专家的意见,从而得出了更加合理的风险概率和风险损失评价值。该方法强调了关键专家意见在决策中的重要性,较好地解决了分析结果过于依赖专家选择的问题,从而减少了风险因素量化的复杂性,为风险控制策略的制定提供了依据。并通过算例加以验证。     

基于复杂网络的软件测试路径聚类分析

为了在保证覆盖率的前提下,减少测试用例数量,提高测试效率,提出一种基于复杂网络的软件测试路径生成算法。首先提出软件系统加权复杂网络模型中节点权值的计算方法,建立了复杂网络模型,然后根据软件运行时的不确定性,建立函数调用的模糊相似矩阵,并利用相似矩阵结构分解算法对其进行变换,对测试路径进行聚类分析得到测试路径的划分。分析Linux的7个文件,经过聚类分析后平均节约了17.46%的测试路径。理论分析和实例证明,方法简单可行。     

基于软件体系结构的可靠性分析

近年来,软件体系结构（Software Architecture,SA）可靠性作为软件性能评估的关键因素,越来越受到关注。针对SA自身的特点及构件之间的关系,提出了SA的6种基本结构,给出了相应可靠性计算模型,证明了基本结构的完整性和讨论了基本结构的选择问题,并在此基础上描述了整个SA可靠性模型。与现有的许多SA可靠性分析和评估方法相比,提出的方法便于从运行效率和可靠性出发,选择更合实际的结构组成最终的SA,从而有利于指导软件体系结构的设计,更准确地估算SA的可靠性。     

可信软件分析与测试研究进展*

以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方法的缺点,重点对可信软件测试方法进行了分类总结和对比分析,同时给出了相应方法的测试工具;其次论述了可信软件的验证方法;最后进行了总结,并对今后可信软件分析和测试研究作出了展望。     

基于流量分析的软件升级漏洞自动检测方法

软件升级过程中,缺乏对升级信息或升级包的认证可能会导致基于中间人攻击的远程代码执行漏洞。为此,提出一种升级漏洞自动检测方法。该方法通过提取升级过程中的网络流量,对升级机制自动画像,将其与漏洞特征向量匹配,预判升级漏洞;在模拟验证环境中,利用画像信息实施中间人攻击,验证检测结果。基于该方法设计了升级漏洞自动分析与验证系统,对 184 个 Windows 应用软件样本进行测试,检测出 117个样本的升级漏洞,证明了本方法的有效性。     

基于会话关联的软件网络通信行为分析技术

针对软件网络通信过程,提出一种基于会话关联的逆向分析方法,该方法首先对软件产生的网络通信流量和软件执行的应用程序编程接口(API)序列分别进行会话还原,再对还原的会话进行会话关联,为软件网络行为分析中的基于网络流量的分析方法和基于执行轨迹的分析方法建立了直接映射。设计并实现了相关的会话关联系统,并在此系统上进行了函数调用链的提取,使针对软件网络通信过程的分析更快捷。     

基于偏差分析的航空装备软件费用控制方法

针对航空装备软件费用控制与管理问题,提出了一种基于偏差分析的费用控制策略,给出了重大偏差标准设定方法,将挣值管理引入到航空装备软件费用监控中,解决了软件费用与进度的控制问题。研究结果表明,基于挣值管理的方法可准确掌握项目费用和进度的实施情况,当费用或进度偏离计划时,能够及时发现项目研发中存在的问题并采取策略进行调整,有效实现了软件费用和进度的监控与管理。