基于静动力试验的铁路连续刚构-拱桥模型修正

为提升大跨度铁路连续刚构-拱桥有限元模型预测精度,同时针对传统有限元模型修正中只采用全局最优解而忽略可能更接近实际情况的局部最优解问题,提出一种基于距离机制的改进稳态遗传算法(DSSGA),利用实测静动力数据对其初始有限元模型进行模型修正。首先,介绍桥梁基本信息、初始有限元模型和静动力试验及其试验结果;其次,介绍DSSGA算法的理论以及其结合Kriging代理模型的基本修正流程,并通过测试函数验证DSS-GA算法的优化效果;最后,通过灵敏度分析选择待修正结构参数,利用拉丁超立方设计构建Kriging代理模型并检验其精度,利用静力位移、试验模态参数构造目标函数,对该桥进行模型修正。结果表明:与标准稳态遗传算法(SSGA)相比,DSSGA算法能够提供目标函数在搜索域的全局最优解和更多组局部最优解,有效避免SSGA算法角度机制所产生的解集不完整的局限性,且全局最优解的目标函数值更小,具有更高的搜索效率。经过模型修正,所有测点的位移相对误差控制在10%以内,频率相对误差控制在5%以内,修正后模型的预测精度大幅度提升。修正后的模型可作为该桥的基准有限元模型,用于后续桥梁健康监测与状态评估。

基于广义Beta小波稀疏域混合约束优化的地震去噪方法研究

地震随机噪声压制是鄂尔多斯盆地黄土塬、沙漠、戈壁滩等复杂地表区域低信噪比地震资料处理的一项重要任务.稀疏反演去噪是地震随机噪声压制的常用方法之一.ℓ_(1)范数和全变分(Total Variation,TV)正则化是稀疏变换域去噪方法中常用的两种正则化项.但是,ℓ_(1)范数是对ℓ_(0)范数的松弛,难以提供更稀疏的去噪结果;基于TV正则化项的方法容易引起阶梯状异常结果.因此,为了避免上述缺点,本文提出了一种基于广义Beta小波稀疏域混合范数优化的地震随机噪声压制方法和算法流程实现.首先利用广义Beta小波紧标架加快计算,获得具有更高局域化性的稀疏时频表示.其次是引入包括ℓp范数和TV正则化的混合约束项,克服单一正则化项的缺点.最后,利用鄂尔多斯盆地黄土塬区的合成地震数据、三维叠后地震数据和共反射点道集数据验证了本文去噪方法的有效性.结果表明:本文提出的去噪方法既能够有效抑制随机噪声、显著提高信噪比,让地震同相轴连续光滑;又能够准确保护有效信号,保持波组间的相对幅值,突出有利微小断层和含油气层的振幅形态.

矿用带式输送机卸载滚筒机架振动问题分析与改进研究

针对某煤炭企业带式输送机卸载滚筒机架振动问题,借助有限元仿真分析软件,开展了振动问题分析与改进工作。结果表明,卸载滚筒机架固有频率与工作频率较为接近是出现振动的主要原因。在卸载滚筒机架底部增加减震块之后降低了卸载滚筒机架前六阶固有频率,偏离其工作频率,改善了卸载滚筒机架振动问题,实现了带式输送机平稳可靠工作。

幕墙钢骨架及装饰钢构件的防腐处理措施

本文主要结合钢构件腐蚀机理以及常见表现,阐明钢构件腐蚀问题的危害影响。在此基础上,结合常用的防腐处理方法,幕墙钢骨架及装饰钢构件的防腐处理措施以及改进建议进行总结分析,以供参考。

基于问题框架的需求建模：一种本体制导的方法

在深入研究问题框架方法的基础上,抽取并构建了一个问题框架本体,以概念化基于问题框架的需求建模,设计了一个本体制导的基于问题框架方法的需求建模过程,为需求分析员提供建模指导并规范其建模活动.最后,通过案例展示整个本体制导的建模过程.

中国本土管理研究的回顾与展望

针对中国本土管理研究是应注重"本土意义"还是"普世价值",是"构建理论"还是"指导实践"进行讨论,提出"实践本土化,理论全球化"。以此为基础,对比解释是在多文化下中国本土管理研究框定问题的有效选择,中国本土管理研究的研究方法应采用规范方法、全球语言。最后,寻找一般规律、全球思维与管理实践的融合、本土与国际的多元互动应是中国本土管理研究未来发展方向。

从交互情景出发的需求捕获方法及其支撑工具

需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交互序列,引入交互情景约束,以捕获隐式需求信息.文中构建了支持这个方法的需求描述元模型,提出以该元模型为基础的需求捕获过程.文中还构建了相应的支撑工具,提供各种需求元素的编辑、检测和验证手段,帮助需求提供者正确地表达需求信息.

信息物理融合系统的软件需求分析

计算过程与物理过程的融合使得信息物理融合系统(Cyber-Physical Systems,CPS)的软件需求分析成为一个具有挑战性的任务.首先,分析人员需要从用户所期望实现的物理实体变化出发,基于对物理实体性质的认识来推理分析软件需求;其次分析人员已不能将CPS中的软件看成一个整体去描述它的外部行为,而需要分析CPS所应包含的各个软件实体和物理实体,描述每个物理实体的性质和软件实体应具有的行为;还有计算过程与物理过程的融合也使得分析人员必须采取一种统一的方式来描述物理实体的性质和软件实体的行为,以方便用户需求的满足性验证.基于问题框架方法和面向目标方法,作者提出了一种适合于CPS的软件需求分析方法.该方法采用现象间的因果关系式这一具体形式来统一描述CPS中物理实体的性质和软件实体的需求,然后从用户所期望的物理现象出发,遵循面向目标的方法,将CPS软件需求的分析过程转化为建立满足用户需求的现象间因果关系链的过程,最后通过基于Alloy的目标现象可达性验证来检验用户需求的可满足性;并且用一个自适应巡航控制系统的案例来说明所提方法的可行性.

基于问题框架的武器装备体系需求建模研究

简要分析了国内外武器装备体系需求研究的现状,总结了武器装备体系需求特点,采用问题框架的需求工程方法,建立了武器装备体系需求的问题框架模型,给出了武器装备体系的需求建模方法,为构建我军一体化联合作战的武器装备体系做出了探索性的研究。

一种基于问题框架的视点表示模型

在多视点需求工程中,视点表示模型与视点需求信息的获取、描述密切相关,影响着后阶段视点一致性的检查和集成。鉴于需求工程领域的发展,该文提出了一种基于问题框架的视点表示模型,展示了该模型的特点及应用。实践表明,该模型具有实用性和可操作性。

基于CFN和篇章主题的概括型问答题的解答

相对于普通阅读理解,高考语文阅读理解难度更大,问句更加抽象,答案候选句的抽取除了注重与问句的相似性分析,还注重对材料内容以及作者的观点的概括归纳。因此该文提出了利用汉语框架网(Chinese FrameNet)抽取与问句语义相似的候选句的方法,通过识别篇章主题(段落主题句和作者观点句),生成与问句相关的内容要点以及作者的观点态度,最终选取top 6作为答案句。在近12年北京市高考真题上进行测试,召回率达到了68.69%,验证了该方法的有效性。

从用户需求到软件规约:一种问题变换的方法

研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变换方法.在深入研究问题框架方法的基础上,采用Hoare的通信顺序进程语言CSP及Lai的最弱环境演算符实现了整个问题图的变换,且导出的软件规格是具有高抽象粒度的程序代码模型,能够被FDR模型检测工具所验证.该工作为实现嵌入式软件开发从需求到软件代码、文档的自动转化及验证等奠定了理论基础.此外,把该理论与模型检测工具FDR联合起来会有助于提高嵌入式软件开发的效率和准确性.

武器装备需求问题框架及特性分析

针对武器装备需求内涵模糊的问题,建立武器装备需求问题框架并分析需求的相关本质特性。提取武器装备需求的关键影响要素,提出武器装备需求问题框架——包括需求关键影响要素、影响要素属性、影响要素之间的关系;采用高阶逻辑的规则,分析了武器装备需求及需求映像的特性,包括武器装备需求充分性、前提合理性、实现可行性、必要性和层次性,以及武器装备需求映像充分性、必要性和指导性。以假定的一个城市导弹防御系统的需求研究为例检验了方法的可行性和有效性。

问题框架方法的可靠性关注点及系统可靠性增强模式

软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程中,通过扩展问题的边界和精化机器的规格说明,为增强系统的可靠性提供支持.文中还展示了作者开发的一个支持系统可靠性分析的支撑工具,用于帮助需求分析者识别问题的可靠性需求,并正确地使用可靠性增强模式.最后,文章结合一个银行账户管理问题的案例展示了文中工作的可行性.

多视点需求工程中视点一致性定义的研究

视点一致性是多视点需求工程中的核心,如何合理有效地定义视点的一致性,直接影响到视点一致性的检查和不一致的管理.介绍视点一致性定义的相关研究,从形式上将视点一致性的定义分为3种类型.基于问题框架的方法标识和表示视点的方式,可导致视点不一致的相关因素进行了分析,且从内容和形式两方面讨论视点一致性的定义,及其相关性质.

一种模型驱动的软件需求分析方法及技术支持

模型驱动工程(model-driven engineering,简称MDE)已成为软件工程领域的研究热点之一,它的核心基础是模型驱动架构(model-driven architecture,简称MDA)。本文在深入研究问题框架方法的基础上,结合模型驱动架构理论提出并开发了一种面向问题的领域和需求模型变换技术及辅助支持工具,并且通过一个案例研究来展示该技术的实际应用过程。结果表明,所开发的计算机辅助软件工程工具既实现了模型的可视化变换,又实现了需求文本的同步自动变换,从而增强了工具在实际使用时的交互性和易理解性。

教育游戏承载学习内容的独特性及其设计探究

教育游戏作为一种媒体形式是信息技术发展的必然,像其它媒体一样,也有其自己的特点。就教育游戏所承载学习内容来说,是有其独特性和局限性的。文章认为,可以从教育游戏的内外因两个方面来探讨其对教学内容选取和设计的要求。并结合"设计框架问题"的探究式学习方式,探讨游戏化学习方式下学习内容及其设计特点——"任务化"地融入内容问题、"完整性"地充实单元问题、"动姿化"地呈现基本问题。

一种基于问题框架的软件密集型系统增量需求问题求解方法

软件密集型系统的增量需求是在原有需求基础之上,以增量、迭代的方式提出的新需求.在增量需求分析及求解过程中,如何在复用现有解决方案的基础上诱导出增量需求的解决方案,如何验证增量需求解决方案的正确性,如何评估增量需求解决方案的潜在风险,就成了必须解决的重要问题.文中把增量需求解决方案的求解问题视为一个典型的软件开发问题———增量需求问题,并据此提出一种基于软件开发问题框架的增量需求问题求解方法.该方法采用增量、迭代的方式求解增量需求的解决方案,把解决方案的验证问题转换成可满足问题进行求解,同时复用特定关注点知识评估解决方案的潜在风险以支持后续的设计决策.文中通过一个基于科技助老系统的案例研究,展示了应用该方法求解增量需求解决方案的过程,验证了方法的有效性.

决策中的框架效应再探

框架效应是指对相同决策任务不同方式的描述会影响决策者对备择选项的认知,大量研究已证实了框架效应的存在。本研究采用经典的"海难"问题,进一步探讨了决策任务中的框架效应。结果发现,在生命问题和财产问题中均没有发现框架效应的存在。在面对生命问题时,总体上人们倾向于冒险;在面对财产问题时,总体上倾向于保守。另外在面对生命问题时,女生比男生更倾向于冒险。

武器装备体系保障军事需求问题框架研究

面向体系作战提出武器装备体系保障军事需求的概念,建立了需求问题框架,深入剖析了需求问题的本质。针对体系保障3个层次的问题,分析了其需求特性。最后,提出了体系保障军事需求分析方法,对分析思路进行了深入研究的基础上,建立了需求分析框架。