基于QFD和TRIZ的可信软件技术冲突解决方法

为解决软件开发中的技术冲突及提高软件的可信性,提出了基于质量功能展开(QFD)和发明性问题解决理论(TRIZ)的可信软件技术冲突解决方法.首先构建可信软件规划质量屋,在软件开发过程中引入用户视角;其次,重点分析质量屋的技术特性自相关矩阵中呈负相关的技术特性,尝试用TRIZ的发明创新原理予以解决,获得多个可行的创新性解决...     

综合化航空电子系统可信软件技术

航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。     

基于静强度试验的有限元模型修正技术研究

基于静力响应的有限元模型修正技术广泛应用于工程结构的参数识别中,需要解决软件实现、基准数据与目标函数选取,以及参数的灵敏度分析等问题。利用位移响应信息对损伤位置确定的悬臂梁进行了损伤程度的精确识别,对于损伤位置不能确定的情况,通过引入应变约束条件实现了损伤位置与损伤程度的同时确定。作为实际工程算例,将飞机静强度试验得到的位移响应与内力响应作为基准数据,利用模型修正技术确定飞机方向舵有限元模型边界条件。算例比较了不同目标函数和约束条件对修正效果的影响,并通过增加内力响应信息进一步修正了根部约束参数,为计算分析提供了精确有限元模型。     

机上无线局域网用户行为分析

随着无线网络的普及,用户的上网行为分析已经成为各单位提高服务质量、增长收益的重要途径。概述了Web日志挖掘的相关概念、方法和步骤。针对机上无线局域网的用户访问行为,对用户访问日志进行预处理,由日志中的旅客座位信息所关联到的旅客基本信息来确定旅客类别,通过计算分析用户的访问兴趣度,最终得出不同类别旅客的访问兴趣分布。     

支线运输机概念设计的多目标优化方法

研究支线运输机概念设计的多目标优化问题，在飞行任务确定的约束条件下，以最大起飞重量、燃油重量、升阻比、航程为目标，给出了多目标优化设计的数学模型、优化方法和计算软件。基于MATLAB软件，利用了MATLAB的开放式的可扩展环境开发了用户优化工具箱，扩展了MATLAB优化工具箱的功能，适用于不同需要。     

基于信息融合的系统可靠性优化试验设计模型

分析了现今可靠性试验设计的不足,考虑两类风险(弃真风险、采伪风险)建立了基于信息融合的可靠性优化试验设计模型(ORTIF, optimization reliability test design modeling based on information fusion).分析了可靠性试验设计的需求、约束条件,基于子系统和系统验前分布是Beta分布,提出了可靠性系统中子系统层与系统层之间的信息融合技术.根据验后风险准则,给出弃真和采伪风险的定义.基于Matlab软件给出了最优试验方案数值计算的求解步骤.最后以液态火箭发动机为例,求解出满足约束条件的最优试验方案为(9,5,10,6,1),对应的最小试验费用为3326.9,并得出权值方案对试验方案的确定影响较大的结论.      

“悦·旅行”一个最懂你的旅行地推荐网站

http://www.yuelvxing.com如今,互联网上到处都是游记、攻略、旅游相关产品,信息复杂、冗长、重复且实用性欠佳。对一位用户来说,从找到一个适合自己的旅行地到实现旅行的过程需要花费很多功夫。提供专业、可信并且全面的旅游信息(吃、住、行、游、购、娱)已成为人们在旅游方面的强烈需     

新借款费用准则的主要变化及其应用效果

科学地确定借款费用应予资本化的资产范围和借款范围，是借款费用准则的一个核心问题。在对新旧借款费用会计准则进行对比分析的基础上，重点论述了修订后的《企业会计准则第17号——借款费用》在应予资本化的资产范围、借款范围、借款费用资本化金额的确定等方面的主要变化及其对企业业绩报告的影响，以帮助会计信息用户更深刻地理解企业相关报表信息。     

嵌入式高可信架构中基于静态模型的调度研究

为解决嵌入式高可信软件架构中的实时调度问题,分析了现有采用分区机制的安全系统中分区调度的不足,提出了一种基于固定周期分区的静态调度模型,并采用优先级位图算法建立了两级调度机制。为了保障分区中任务的实时性和正确性,对分区中任务采用静态优先级和最早时限优先调度(EDF)动态优先级两种调度策略,分别就其任务调度条件和可调度性进行了理论研究,针对复杂的动态优先级任务提出了一种可调度条件,并通过仿真实验进一步验证了此调度条件的正确性。     

基于故障率的测试性验证试验故障样本分配方案

现有的分层抽样算法中故障率数据不准确是导致测试性验证试验结果不可信的一个原因。为解决这个问题,提出了利用验前信息和Monte Carlo仿真相结合的方法计算故障率。首先考虑故障率的随机特性和量级范围,用Gamma分布来拟合故障率的概率分布,根据上下限分位点确定了Gamma分布中的超参数。然后利用舍取抽样得到了大量的服从Gamma分布的随机数,求平均值作为实际系统的故障率值。以此故障率数据进行分层抽样,得到的故障样本分配方案更合理,试验结果更可信。     

电力市场中Bertrand模型的复杂性分析

为了模拟电力市场中发电商采取不同策略的博弈行为,在考虑输电网约束条件下将动态Bertrand博弈模型引入电力市场,建立有限理性条件下的投资模型,并运用有限理性法和不完全信息法实现了投资模型由静态到动态的转化过程,求解了动态模型的价格均衡,并分析了均衡点的稳定状态,给出其经济解释。     

惯导测试与运动仿真试验设备软件接口技术探讨

分析了惯导测试与运动仿真试验设备(转台)的各种软件接口应用特性,介绍了根据转台控制系统需求及用户需求确定软件接口方案,给出了转台用软件接口的数据交换方法,探讨了转台控制系统软件接口的通用性、可维护性和可扩展性.     

用户选择行为及认知行为教育的自组织过程

本文在自组织理论的基础上,对情报用户的选择行为机理进行理论假说的抽象与建模,并概略地讨论了与用户选择行为密切相关的用户认知行为的教育问题。初步确定了该项研究中决定系统状态的三个趋向参数:δ,k 和 v。     

ECAP条件下纯铝的应变行为模拟研究

利用MSC.MARC软件对铸造常态纯Al在ECAP条件下的大变形行为进行了初步的模拟计算工作。通过模拟,可以确定以MARC来模拟材料的力学行为是可行的,关键是材料模型的设计;MARC的模拟结果是可信的。对直角ECAP模具的模拟结果表明,大的剪切应变主要发生在模具的直角拐角附近;且偏向于出料口;下直角处的剪切应变要明显大于他处;最大剪切变形量的连线与底面近似成 45°。     

基于用户的细粒度可控群体感知模型

综合分析了国内外群体感知机制的研究现状,提出了一种基于用户的细粒度可控的群体感知模型.该模型基于多成员组成的有机群组结构和事件处理机制,通过对用户的角色和任务分解来计算协作感知强度,构建高效的群组感知网络,避免产生和发送无效的感知信息.模型对授权用户的感知行为有良好的支持,同时还支持感知信息的订阅/撤销,对用户的感知信息提供过滤机制.     

DiverseAdaBoost-SVM分类方法及其在航空发动机故障诊断中的应用

 提出采用考虑到精度/差异权衡的SVM作为弱分类器的一种新的组合分类诊断方法——Diverse AdaBoost-SVM。该方法通过在一组具有适当精度的弱分类器中进一步选择具有较大差异性的弱分类器，对这些具有较大差异性的弱分类器进行组合，从而较好解决AdaBoost算法中存在的精度/差异权衡的难题；同时该方法也较好地解决了现有的AdaBoost方法存在的弱分类器本身参数选取困难问题及训练轮数T的合理选取问题。通过对基准数据库的测试及航空发动机故障样本的诊断，结果表明和其他方法相比，Diverse AdaBoost -SVM方法具有更好的泛化性能，更适合对分散程度较大、聚类性较差的航空发动机故障样本进行分类,也更适合对非对称故障样本集进行分类。     

关于CFD验证确认中的不确定度和真值估算

本文回顾了CFD验证、确认中不确定度的概念和研究方法,CFD的不确定度尚无表达式可以使用。本文也讨论了现在正在进行的实验验证,对各个参加验证的软件,如何作出定量的精度评价也缺乏原则。针对这些情况,我们在不改变不确定度定义的前提下,对不确定度作了新的解读,即不确定度可解读为计算值或实验值与真值准确到前n位,从而可给出不确定度的表达式和真值估算的原则。并根据大样本数据的统计理论,对真值认为接近数学期望,从而给出准确到n位真值的计算方法。这个方法,可用于计算结果的检验,例如当模型一定时,可用此法寻求计算方法的真值,对算法进行检验;如算法一定模型改变时,也可用于检验模型的可靠性。利用这种方法,在没有实验结果的情况下,也可评价各计算软件的质量。这个方法当然也可以运用处理实验数据。因为CFD中计算模型是人为建立的,虽然可以检验它的解是否正确,但与物理情况是否一致,并未得到回答。因此,开展实验验证是必需的。     

一种利用栅格光源特征编码的室内定位技术

目前,几种主流的室内定位技术分别存在定位精度低、设备成本高、易受环境干扰等一种或多种缺点,基于可见光通信的室内定位技术成为了研究热点。不同于主流的室内定位技术,提出了一种利用栅格光源特征编码的室内定位方案,先使光源照射区被划分为栅格,再用光源闪烁传递栅格特征信息,用户端接收闪烁光信号,对其解码实现定位。利用的编码方式结构巧妙,可以有效避免误读,同时相邻栅格编码相似度高,有利于跨栅格定位。在实验室中,以普通投影仪生成栅格光源,以市售安卓智能手机为用户终端,在较理想条件下的测试表明,该方案在动态和静态情况下均可确定用户位置,定位精度达到半个栅格,定位准确率达到100%。     

用户星中继终端在轨应用策略

在介绍在轨用户星中继终端的分类、功能和使用现状的基础上,重点对用户星中继终端多约束条件进行了梳理分析。为缓解常态化应急测控带来的资源紧张矛盾,提出了用户星中继终端在轨应用策略,即Ka/S模式下影随测控,小S模式下定时捕获。针对Ka+小S模式下实现影随测控的可行性问题,利用STK(Satellite Tool Kit,卫星开发工具包)软件进行了仿真计算分析,结果表明:为实现影随测控,满足测控快速响应需要,要求星载S频段中继测控天线对中继卫星的覆盖范围,应大于星载中继数传天线对中继卫星的覆盖范围。     

北斗高精度高可信PPP-RTK服务基本框架

北斗高精度高可信定位是实现无人系统自动驾驶的重要基础。近年来发展的实时动态精密单点定位（PPP-RTK）技术，融合了网络RTK和PPP的技术优势，逐渐成为学术和工业界关注的焦点。PPP-RTK以状态域改正信息为核心，可同时提供精准可信的时空信息服务，因而获得了自动驾驶等高生命安全领域应用的一致青睐。然而，目前国内外对PPP-RTK技术的研究主要聚焦于高精度技术，在高可信方面尚未形成可行的理论基础和服务框架。针对此，以PPP-RTK高精度定位理论体系为基础，探讨了北斗/GNSS PPP-RTK高精度高可信服务的用户需求、基本概念、理论方法与技术框架，同时给出了部分关键技术的代表性解决思路，为北斗/GNSS高精度高可信PPP-RTK技术体系和服务架构的建立奠定基础。