Influences of Form and Function on the Acceptability of Projective Prepositions in Swedish

Abstract

Projective prepositions express the relation between two objects by referring to a direction in space and have traditionally been regarded as expressing purely geometric relations. Recent studies have shown that the appropriateness of English and Spanish projectives also depends on functional relations between objects. This study investigates if the acceptability of the Swedish projectives över, under, ovanför and nedanför are influenced by functional factors as well, and whether över and under are differentially influenced by function than ovanför and nedanför, as has been shown for their English cognates. It also investigates how the shape and parts of the related objects influence their functional interaction, and thereby the acceptability of the prepositions. This is done with respect to the predictions of the AVS-model, a model of the perceptual processes underlying the apprehension of projectives, which takes both the geometric and the functional relation between objects into account. It was found that acceptability judgments about the prepositions are influenced by function as their corresponding English and Spanish prepositions. The acceptability of över was more sensitive to function than ovanför, whereas under and nedanför were not differentially influenced by function, as has been shown for Spanish. It was further found that the shape and parts of both of the related objects influence acceptability regions associated with the prepositions in predictable ways, as functional interactions between objects largely depend on their parts. The results finally show that the AVS-model needs to be further developed in order to account for the form and function of the located object.     

航空发动机机载健康管理系统设计方法

为解决航空发动机机载健康管理系统正向设计流程不清晰、设计需求不明确、需求设计对应及追溯不规范的问题，在对 比国内外现有健康管理功能架构体系的基础上，结合正向设计中需求捕获、需求分析和功能分配，研究了由上到下的航空发动机 健康管理系统正向设计基本流程，开发了航空发动机健康管理正向设计流程平台，实现了机载功能架构的设计。引入基于模型的 系统工程思想，采用面向对象的工程设计思路，建立功能目标量化、功能描述、模块定义等图形化设计方法，验证了该设计方法在 硬件设计中的可用性。通过研究航空发动机机载健康管理系统设计方法并分析机载功能组成，建立了可扩展的流程平台，基于模 型设计方法建立了可用的硬件设计模型，可为航空发动机机载健康管理系统设计提供参考。     

LYAPUNOV-TYPE STABILIZATION FOR NONLINEAR UNCERTAIN SYSTEMS AND NONLINEAR H~∞ CONTROL

ＬＹＡＰＵＮＯＶ┐ＴＹＰＥＳＴＡＢＩＬＩＺＡＴＩＯＮＦＯＲＮＯＮＬＩＮＥＡＲＵＮＣＥＲＴＡＩＮＳＹＳＴＥＭＳＡＮＤＮＯＮＬＩＮＥＡＲＨ∞ＣＯＮＴＲＯＬＦｅｉＳｈｕｍｉｎ（ＲｅｓｅａｒｃｈＩｎｓｔｉｔｕｔｅｏｆＡｕｔｏｍａｔｉｏｎ，ＳｏｕｔｈｅａｓｔＵ...     

Methane pyrolysis in preparation of pyrolytic carbon: Thermodynamic and kinetic analysis by density functional theory

The density functional theory has been successfully applied in analyzing pyrolytic carbon deposition by methane pyrolysis from the view of thermodynamics and kinetics based on a total number of 39 elementary reactions. M06-2X/def2-TZVP level was employed to optimize species structures and locate the transition states. The enthalpy changes and Gibbs free energy changes of all the reactions in the temperature range of 298.15–1800 K were derived with optimized species. Results show that the reacting temperature should be above 1200 K based on the equilibrium constant analysis, which is consistent with the typical reaction temperature adopted in experiments. Potential energy surface profiles report that radical attacking reactions have lower energy barriers than those direct decomposition reactions, especially hydrogen radical attacking reactions. The energy barriers of the first steps, dehydrogenations of methane and ethylene, are 272.4 kJ·mol⁻¹ and 288.9 kJ·mol⁻¹ at 1200 K, which are very close to the experimental activation energy for methane pyrolysis. The most favorable decomposition reaction path is the path of hydrogen radical attacking reactions. The highest energy barrier of the path at 1200 K is 185.7 kJ·mol⁻¹ presented by the C–H bond breaking in ethynyl attacked by hydrogen radical.     

数字电路板故障诊断方法

介绍了数字电路故障诊断向量测试法中功能测试和在线测试的具体方法。结合现代武器系统数字电路板的检测和诊断需要,分别阐述了数字组合和时序电路板、数模混合电路板及微处理器电路板的故障诊断策略及步骤。举例说明了故障诊断方法在数字电路板自动测试系统中的应用。     

目标机动条件下的定点伴飞控制方法研究

对目标机动条件下的定点伴飞控制进行了研究。根据相对运动关系,建立适于伴飞模式的相对运动方程,将目标机动大小作为未知量加入相对运动方程,构建不确定系统。用LQR和Lyapunov法结合的方式设计相应定点伴飞控制律。理论证明了在目标机动时该控制律仍能实现系统的渐近稳定。仿真结果验证了该控制律的有效性。     

Modeling and control for cooperative transport of a slung fluid container using quadrotors

In this paper, dynamic modeling and control problem for transfer of a sloshing liquid container suspended through rigid massless links from a team of quadrotors are investigated. By the proposed solution, pose of the slung container and fluid sloshing modes are stabilized appropriately. Dynamics of the container-liquid-quadrotors system is modeled by Euler-Lagrange method. Fluid slosh dynamics is included using multi-mass-spring model. According to derived model, a proper control law is designed for a system with three or more quadrotors. Implementing the proposed control law, quadrotors can control pose of the container, directions of the links and liquid sloshing modes simultaneously. Stability of closed loop system of tracking errors and sloshing modes are demonstrated using a theory of singularly perturbed systems and Lyapunov stability theorem. Also, the capability of the proposed feedback control laws in solving a formerly organized transport problem of a liquid filled container has been demonstrated in simulations. Moreover, priority of the proposed control scheme to an existing slung load controller in the literature is demonstrated.     

基于模型的系统工程方法在载人航天任务中的应用探讨

针对基于文档的航天任务设计中设计数据分散、一致性差、跟踪难度大等问题,引入了基于模型的系统工程(MBSE)方法。首先,介绍了MBSE方法理念,即通过构建图形化的模型来支持系统的需求捕获、设计、分析、验证和确认等全生命周期活动。然后,给出了MBSE方法的一般工作流程,即先构建系统的需求模型,用于指导功能模型、物理架构模型等的构建,按照事先制定好的逻辑规则建立模型间的关系,依靠模型间的关系实现设计过程中的关联性分析、参数查询等工作。最后,应用MBSE方法于载人飞船交会对接任务中。结果表明,此方法改善了人员沟通,提高了设计效率,降低了设计风险,可为MBSE方法在航天任务设计中的进一步应用提供参考。     

基于保障活动流程的装备群保障规模预测模型

为解决研制阶段装备群保障规模预测的问题,建立了基于保障活动流程的装备群保障规模预测模型.模型从装备群的使用任务入手,以研制阶段保障性分析和保障系统建模数据为输入,通过分析资源在保障活动中被占用或被消耗的定量关系,从占用型资源和消耗型资源两方面分别提供了由功能分析框图中各层保障活动的流程汇总保障活动资源需求的方法,对保障资源数量进行计算,进而依据这些资源的重量与体积参数预测装备群的保障规模.给出了某型机群保障规模预测的算例,验证了模型的合理性与工程适用性,能够为研制阶段装备保障的改进、系统部署性分析提供理论指导与技术支持.      

电子飞控飞机的飞行品质适航验证

FAA AC25-7A中的飞行品质评定方法 (HQRM)能够对使用电子飞控系统的民用运输机进行飞行品质评估。分析了HQRM评估程序以及相关适航要求,根据某民用飞机飞控系统功能危险分析,针对单侧升降舵卡阻这一典型故障,提出了在该失效状态下的模拟器飞行品质评估试验程序,分别给出了HQRM和相应军用标准评估方法,对军民评估方法的差异性和一致性进行了分析。研究结果对采用电子飞控系统的现代飞机的飞行品质适航验证具有工程参考意义。