A formal approach using SysML for capturing functional requirements in avionics domain

In this work, a Model-Based Systems Engineering approach based on SysML is proposed. This approach is used for the capture and the definition of functional requirements in avionics domain. The motivation of this work is triple: guide the capture of functional requirements, validate these functional requirements through functional simulation, and verify efficiently the consistency of these functional requirements. The proposed approach is decomposed into several steps that are detailed to go from conceptual model of avionics domain to a formal functional model that can be simulated in its operating context. To achieve this work, a subset of SysML has been used as an intermediate modelling language to ensure progressive transformation that can be understood and agreed by system stakeholders. Formal concepts are introduced to ensure theoretical consistency of the approach. In addition, transformation rules are defined and the mappings between concepts of ARP4754A civil aircraft guidelines and SysML are formalized through meta-model. The resulting formalization enables engineers to perform functional simulation of the top-level functional architecture extracted from operational scenarios. Finally, the approach has been tested on an industrial avionics system called the Onboard Maintenance System.     

From space medicine to preventive and personalized health care on earth

The experience of human spaceflight has taught us that aging can be modulated, accelerated and decelerated. This is also confirmed by a number of experiments on animal models. However in order to be effective in managing aging and maintaining quality of life, a new approach needs to be adopted, one that many today call functional medicine or anti-aging medicine that in its essence is very similar to the medical approach provided to the astronauts by space agencies. Space medicine therefore can become a vehicle for the promotion of a new way of doing medicine on Earth.     

Science rational for MIERS/IRI collaboration

In this paper, we will shortly highlight some of the aspects that COST Action 296 on Mitigation of Ionospheric Effects on Radio Systems (MIERS) and International Reference Ionosphere (IRI) have in common in an attempt to define science rationale for collaboration between these two international projects.     

设计性基础素描思维方式与工业设计创新

本文从基础素描的设计性思维导入入手，分析了设计性思维活动在基础素描中的应用原理及设计性基础素描思维方式对工业设计创新的影响和作用。     

凝胶点官能度是重均官能度,还是数均官能度

Flory和Stockmayer等的凝胶化理论用重均官能度表示凝胶点或凝胶生成的临界条件,虽已有50多年的历史,并为各国学者所公认,但从分析凝胶点定义的物理意义出发,只要用简单的数学分析,即可证明用重均官能度而不用数均官能度表示凝胶点,与反应程度定义的物理意义和Flory的两个基本假设不符。凝胶化理论新概念用数均官能度表示凝胶点,则不存在不符的问题。     

Doppler characteristics of HF spread Doppler clutter recorded at Alice Springs,Australia

Mean night-time peak power, Doppler shift and Doppler width of spread Doppler clutter (SDC) received by a high frequency backscatter radar located at Alice Springs, Australia from 2000 to 2018 is presented as a function of azimuth, sunspot number, time of year and frequency. The sampled region covers 90 degrees from West to North and includes the northern and southern equatorial anomalies.SDC peak power diminished across all azimuths during the winter solstice from around May to August (local winter) coinciding with the global decrease in F layer density due to the annual non-seasonal F2 anomaly but was generally constant during the equinoxes. In contrast, SDC Doppler width and inbound Doppler shift both increased during the equinoxes and exhibited azimuthal dependence related to the eastward equatorial plasma drift.SDC peak power increased with increasing sunspot number with frequency dependence during winter but not summer. Inbound Doppler shift and Doppler width increased with increasing sunspot number during equinox but not solstice with a strong dependence on azimuth and a weak dependence on frequency.     

Inverse identification of constitutive parameters of Ti2AlNb intermetallic alloys based on cooperative particle swarm optimization

Ti₂AlNb intermetallic alloy is a relatively newly developed high-temperature-resistant structural material, which is expected to replace nickel-based super alloys for thermally and mechanically stressed components in aeronautic and automotive engines due to its excellent mechanical properties and high strength retention at elevated temperature. The aim of this work is to present a fast and reliable methodology of inverse identification of constitutive model parameters directly from cutting experiments. FE-machining simulations implemented with a modified Johnson-Cook (TANH) constitutive model are performed to establish the robust link between observables and constitutive parameters. A series of orthogonal cutting experiments with varied cutting parameters is carried out to allow an exact comparison to the 2D FE-simulations. A cooperative particle swarm optimization algorithm is developed and implemented into the Matlab programs to identify the enormous constitutive parameters. Results show that the simulation observables (i.e., cutting forces, chip morphologies, cutting temperature) implemented with the identified optimal material constants have high consistency with those obtained from experiments, which illustrates that the FE-machining models using the identified parameters obtained from the proposed methodology could be predicted in a close agreement to the experiments. Considering the wide range of the applied unknown parameters number, the proposed inverse methodology of identifying constitutive equations shows excellent prospect, and it can be used for other newly developed metal materials.     

硅烷偶联剂在防热涂料中的应用前景分析北大核心CSCD

硅烷偶联剂作为一种重要的处理剂,广泛应用于涂料、橡胶、塑料等领域。本文综述了硅烷偶联剂的结构特点和作用机理,介绍了硅烷偶联剂在常用涂料领域的几种典型应用,主要包括基体树脂增容、颜填料表面改性、涂层与基材连接,讨论了不同使用条件下影响硅烷偶联剂效果的因素,并对硅烷偶联剂在防热涂料中应用的发展趋势进行了展望。     

现代对策论研究

对策论是研究斗争局势中冲突问题的数学理论,笔者长期以来在此领域进行了大量的研究探讨,本文概要介绍了主要工作。     

CDAS 自动化监控管理系统

指令与数据获取站监控管理系统吸取了国内外先进的集散控制系统的优点,综合运用了现代计算机管理先进技术。文章介绍了该监控管理系统的方案、系统功能模块、系统结构和应用软件的设计,实现了系统管理的高效自动化,确保系统运行的可靠、安全。