Search

In recent years, with the rapid development of China's air transport industry and the change in market consumption structure, service quality has become one of the important factors affecting airline revenue. How to formulate a reasonable pricing strategy and maintain competitiveness in the fierce market competition has become an urgent problem for airlines. First, the impact factor of service quality level in the traditional pricing model is introduced and a static price competition model for multi-oligopoly airlines based on service quality is established in this paper. And then, a dynamic pricing model based on service quality of the multi-oligopoly airlines is established. The model incorporates the weight factor of service quality impact, which is used to indicate the weight of the service quality level in the process of airline dynamic pricing. The research results show that the service quality level of airlines has an indispensable influence on its development. Airlines should improve service quality as soon as possible to enhance market competitiveness and achieve sustainable development. [ABSTRACT FROM AUTHOR]

This paper addresses the problem of energy management of mixed criticality applications in a multi-core partitioned architecture. Instead of focusing on new scheduling algorithms to adjust frequency in order to save energy, we propose a partition to CPU allocation that takes into account not only the different frequencies at which the CPU can operate but the level of criticality of the partitions. The goal is to provide a set of pre-calculated allocations, called profiles, so at run time the system can switch to different modes depending on the battery level. These profiles achieve different levels of energy saving and performance applying different strategies. We also present a comparison in terms of energy saving of the most used bin-packing algorithms for partition allocation. As this is an heuristic, it is not possible to ensure that our results involve the minimum energy consumption. For this reason, we also provide a comparison with a exact method, such as constraint programming. [ABSTRACT FROM AUTHOR]

The normal studies on air traffic departure scheduling problem (DSP) mainly deal with an independent airport in which the departure traffic is not affected by surrounded airports, which, however, is not a consistent case. In reality, there still exist cases where several commercial airports are closely located and one of them possesses a higher priority. During the peak hours, the departure activities of the lower-priority airports are usually required to give way to those of higher-priority airport. These giving-way requirements can inflict a set of changes on the modeling of departure scheduling problem with respect to the lower-priority airports. To the best of our knowledge, studies on DSP under this condition are scarce. Accordingly, this paper develops a bi-objective integer programming model to address the flight departure scheduling of the partly-restricted (e.g., lower-priority) one among several adjacent airports. An adapted tabu search algorithm is designed to solve the current problem. It is demonstrated from the case study of Tianjin Binhai International Airport in China that the proposed method can obviously improve the operation efficiency, while still realizing superior equity and regularity among restricted flows. [ABSTRACT FROM AUTHOR]

Recently the integrated modular avionics (IMA) architecture has been widely adopted by the avionics industry due to its strong partition mechanism. Although the IMA architecture can achieve effective cost reduction and reliability enhancement in the development of avionics systems, it results in a complex allocation and scheduling problem. All partitions in an IMA system should be integrated together according to a proper schedule such that their deadlines will be met even under the worst case situations. In order to help provide a proper scheduling table for all partitions in IMA systems, we study the schedulability of independent partitions on a multiprocessor platform in this paper. We firstly present an exact formulation to calculate the maximum scaling factor and determine whether all partitions are schedulable on a limited number of processors. Then with a Game Theory analogy, we design an approximation algorithm to solve the scheduling problem of partitions, by allowing each partition to optimize its own schedule according to the allocations of the others. Finally, simulation experiments are conducted to show the efficiency and reliability of the approach proposed in terms of time consumption and acceptance ratio. [ABSTRACT FROM AUTHOR]

As the basic carrier of air flight operation, air route network (ARN) is of great significance to the smooth operation of flights. However, the waypoint is a core part of the route, so it is an important topic to identify influential waypoints in ARN. In this paper, a method to identify the influence of the node in ARN based on an improved entropy weight (IEW) method is proposed. Then, centrality measures including degree, closeness, betweenness and eigenvector as the multi-attribute of ARN in IEW application. IEW method is used to aggregate the multi-attribute to obtain the evaluation of the influence of each waypoint. To demonstrate the effectiveness of the IEW method, three real ARNs are selected to conduct several experiments with susceptible infected recovered (SIR) model. The results show the efficiency and practicability of the proposed method. [ABSTRACT FROM AUTHOR]

High-temperature thermal contact resistance (TCR) plays an important role in heat-pipe-cooled thermal protection structures due to the existence of contact interface between the embedded heat pipe and the heat resistive structure, and the reduction mechanism of thermal contact resistance is of special interests in the design of such structures. The present paper proposed a finite element model of the high-temperature thermal contact resistance based on the multi-point contact model with the consideration of temperature-dependent material properties, heat radiation through the cavities at the interface and the effect of thermal interface material (TIM), and the geometry parameters of the finite element model are determined by simple surface roughness test and experimental data fitting. The experimental results of high-temperature thermal contact resistance between superalloy GH600 and C/C composite material are employed to validate the present finite element model. The effect of the crucial parameters on the thermal contact resistance with and without TIM are also investigated with the proposed finite element model. [ABSTRACT FROM AUTHOR]

An effective evaluation of transportation network efficiency could offer guidance for the optimal control of urban traffic. Based on the introduction and related mathematical analysis of three quantitative evaluation methods for transportation network efficiency, this paper compares the information measured by them, including network structure, traffic demand, travel choice behavior and other factors which affect network efficiency. Accordingly, the applicability of various evaluation methods is discussed. Through analyzing different transportation network examples it is obtained that Q-H method could reflect the influence of network structure, traffic demand and user route choice behavior on transportation network efficiency well. In addition, the transportation network efficiency measured by this method and Braess’s Paradox can be explained with each other, which indicates a better evaluation of the real operation condition of transportation network. Through the analysis of the network efficiency calculated by Q-H method, it can also be drawn that a specific appropriate demand is existed to a given transportation network. Meanwhile, under the fixed demand, both the critical network structure that guarantees the stability and the basic operation of the network and a specific network structure contributing to the largest value of the transportation network efficiency can be identified. [ABSTRACT FROM AUTHOR]

Contact-free palm-vein recognition is one of the most challenging and promising areas in hand biometrics. In view of the existing problems in contact-free palm-vein imaging, including projection transformation, uneven illumination and difficulty in extracting exact ROIs, this paper presents a novel recognition approach for contact-free palm-vein recognition that performs feature extraction and matching on all vein textures distributed over the palm surface, including finger veins and palm veins, to minimize the loss of feature information. First, a hierarchical enhancement algorithm, which combines a DOG filter and histogram equalization, is adopted to alleviate uneven illumination and to highlight vein textures. Second, RootSIFT, a more stable local invariant feature extraction method in comparison to SIFT, is adopted to overcome the projection transformation in contact-free mode. Subsequently, a novel hierarchical mismatching removal algorithm based on neighborhood searching and LBP histograms is adopted to improve the accuracy of feature matching. Finally, we rigorously evaluated the proposed approach using two different databases and obtained 0.996% and 3.112% Equal Error Rates (EERs), respectively, which demonstrate the effectiveness of the proposed approach. [ABSTRACT FROM AUTHOR]

With the development of medical imaging modalities and image processing algorithms, there arises a need for methods of their comprehensive quantitative evaluation. In particular, this concerns the algorithms for vessel tracking and segmentation in magnetic resonance angiography images. The problem can be approached by using synthetic images, where true geometry of vessels is known. This paper presents a framework for computer modeling of MRA imaging and the results of its validation. A new model incorporates blood flow simulation within MR signal computation kernel. The proposed solution is unique, especially with respect to the interface between flow and image formation processes. Furthermore it utilizes the concept of particle tracing. The particles reflect the flow of fluid they are immersed in and they are assigned magnetization vectors with temporal evolution controlled by MR physics. Such an approach ensures flexibility as the designed simulator is able to reconstruct flow profiles of any type. The proposed model is validated in a series of experiments with physical and digital flow phantoms. The synthesized 3D images contain various features (including artifacts) characteristic for the time-of-flight protocol and exhibit remarkable correlation with the data acquired in a real MR scanner. The obtained results support the primary goal of the conducted research, i.e. establishing a reference technique for a quantified validation of MR angiography image processing algorithms. [ABSTRACT FROM AUTHOR]

With the high accident rate of civil aviation, medical resource inventory becomes more important for emergency management at the airport. Meanwhile, medical products usually are time-sensitive and short lifetime. Moreover, we find that the optimal medical resource inventory depends on multiple factors such as different risk preferences, the material shelf life and so on. Thus, it becomes very complex in a real-life environment. According to this situation, we construct medical resource inventory decision model for emergency preparation at the airport. Our model is formulated in such a way as to simultaneously consider uncertain demand, stochastic occurrence time and different risk preferences. For solving this problem, a new programming is developed. Finally, a numerical example is presented to illustrate the proposed method. The results show that it is effective for determining the optimal medical resource inventory for emergency preparation with uncertain demand and stochastic occurrence time under considering different risk preferences at the airport. [ABSTRACT FROM AUTHOR]

Mollusk shells are an ideal model system for understanding the morpho-elastic basis of morphological evolution of invertebrates’ exoskeletons. During the formation of the shell, the mantle tissue secretes proteins and minerals that calcify to form a new incremental layer of the exoskeleton. Most of the existing literature on the morphology of mollusks is descriptive. The mathematical understanding of the underlying coupling between pre-existing shell morphology, de novo surface deposition and morpho-elastic volume growth is at a nascent stage, primarily limited to reduced geometric representations. Here, we propose a general, three-dimensional computational framework coupling pre-existing morphology, incremental surface growth by accretion, and morpho-elastic volume growth. We exercise this framework by applying it to explain the stepwise morphogenesis of seashells during growth: new material surfaces are laid down by accretive growth on the mantle whose form is determined by its morpho-elastic growth. Calcification of the newest surfaces extends the shell as well as creates a new scaffold that constrains the next growth step. We study the effects of surface and volumetric growth rates, and of previously deposited shell geometries on the resulting modes of mantle deformation, and therefore of the developing shell’s morphology. Connections are made to a range of complex shells ornamentations. [ABSTRACT FROM AUTHOR]

The development of CAAC began in the early days of 1949. From a comparatively less popular means of transport to the world's second largest by volume, this means of transport has undergone major and minor changes in the last 70 years. It is not known whether there are significant laws in the process of development. For this reason, we analyze the statistical indicators of the development of civil aviation transport and select representative indicators, namely, the total turnover of transport, the number of routes, the number of aircraft, the number of transport aircraft, and the number of domestic city connections. At the same time, the life cycle theory is introduced, and the typical growth curve model is used to fit the data. It is found that the evolution life cycle of civil aviation in China can be divided into three stages: the first life cycle stage from 1950 to 1981, the second from 1982 to 2003, and the third from 2004 to 2017. Each life cycle follows the growth characteristics of occurrence, growth and maturity, and each life cycle has a time range of approximately 30 years. At present, China's civil aviation industry is in the period of rapid growth in the third life cycle. This industry is expected to reach maturity in approximately 2026 and then to begin to grow slowly. Relevant departments can adopt corresponding development strategies to guide the smooth development of civil aviation in accordance with the growth law of the development and evolution life cycle of civil aviation in China. [ABSTRACT FROM AUTHOR]

The purpose of the current study was to examine the relationship between expertise, performance, and gaze behavior in a complex error-detection cockpit task. Twenty-four pilots and 26 non-pilots viewed video-clips from a pilot’s viewpoint and were asked to detect malfunctions in the cockpit instrument panel. Compared to non-pilots, pilots detected more malfunctioning instruments, had shorter dwell times on the instruments, made more transitions, visited task-relevant areas more often, and dwelled longer on the areas between the instruments. These results provide evidence for three theories that explain underlying processes for expert performance: The long-term working memory theory, the information-reduction hypothesis, and the holistic model of image perception. In addition, the results for generic attentional skills indicated a higher capability to switch between global and local information processing in pilots compared to non-pilots. Taken together, the results suggest that gaze behavior as well as other generic skills may provide important information concerning underlying processes that can explain successful performance during flight in expert pilots. [ABSTRACT FROM AUTHOR]

The intrinsic factors (IF) influencing visual attention performance (VAP) might cause potential human errors, such as “error/mistake”, “forgetting” and “omission”. It is a key issue to develop a systematic assessment of IF in order to distinguish the levels of VAP. Motivated by the Stimulus-Response (S-R) model, we take an interactive cancellation test—Neuron Type Test (NTT)—to explore the IF and present the corresponding systematic assessment. The main contributions of this work include three elements: a) modeling the IF on account of attention span, attention stability, distribution-shift of attention with measurable parameters by combining the psychological and statistical concepts; b) proposing quantitative analysis methods for assessing the IF via its computational representation—intrinsic qualities (IQ)—in the sense of computational model; and c) clustering the IQ of air traffic control (ATC) students in the feature space of interest. The response sequences of participants collected with the NTT system are characterized by three parameters: Hurst exponent, normalized number of decisions (NNoD) and error rate of decisions (ERD). The K-means clustering is applied to partition the feature space constructed from practical data of VAP. For the distinguishable clusters, the statistical inference is utilized to refine the assessment of IF. Our comprehensive analysis shows that the IQ can be classified into four levels, i.e., excellent, good, moderate and unqualified, which has a potential application in selecting air traffic controllers subject to reducing the risk of the inadequacy of attention performances in aviation safety management. [ABSTRACT FROM AUTHOR]

NASA’s periodic selection of astronauts is a highly selective process accepting applications from the general population, wherein the mechanics of selection are not made public. This research was an effort to determine if biases (specifically age) exist in the process and, if so, at which points they might manifest. Two sets of analyses were conducted. The first utilized data requested via the Freedom of Information Act (FOIA) on NASA astronaut applicants for the 2009 and 2013 selection years. Using a series of multinomial and logistic regressions, the data were analyzed to uncover whether age of the applicants linearly or nonlinearly affected their likelihood of receiving an invitation, as well as their likelihood of being selected into the astronaut program. The second used public data on age at selection and age at other career milestones for every astronaut selected from 1959 to 2013 to analyze trends in age over time using ordinary least-squares (OLS) regression and Pearson’s correlation. The results for the FOIA data revealed a nonlinear relationship between age and receiving an interview, as well as age and selection into the astronaut program, but the most striking observation was the loss of age diversity at each stage of selection. Applicants younger or older than approximately 40 years were significantly less likely to receive invitations for interviews and were significantly less likely to be selected as an astronaut. Analysis of the public-source data for all selections since the beginning of the astronaut program revealed significant age trends over time including a gradual increase in selectee age and decreased tenure at NASA after last flight, with average age at retirement steady over the entire history of the astronaut program at approximately 48 years. [ABSTRACT FROM AUTHOR]

We present an agent based model of the Air Traffic Management socio-technical complex system aiming at modeling the interactions between aircraft and air traffic controllers at a tactical level. The core of the model is given by the conflict detection and resolution module and by the directs module. Directs are flight shortcuts that are given by air controllers to speed up the passage of an aircraft within a certain airspace and therefore to facilitate airline operations. Conflicts between flight trajectories can occur for two main reasons: either the planning of the flight trajectory was not sufficiently detailed to rule out all potential conflicts or unforeseen events during the flight require modifications of the flight plan that can conflict with other flight trajectories. Our model performs a local conflict detection and resolution procedure. Once a flight trajectory has been made conflict-free, the model searches for possible improvements of the system efficiency by issuing directs. We give an example of model calibration based on real data. We then provide an illustration of the capability of our model in generating scenario simulations able to give insights about the air traffic management system. We show that the calibrated model is able to reproduce the existence of a geographical localization of air traffic controllers’ operations. Finally, we use the model to investigate the relationship between directs and conflict resolutions (i) in the presence of perfect forecast ability of controllers, and (ii) in the presence of some degree of uncertainty in flight trajectory forecast. [ABSTRACT FROM AUTHOR]

The objective of this study was to conduct a systematic review and meta-analysis of teamwork interventions that were carried out with the purpose of improving teamwork and team performance, using controlled experimental designs. A literature search returned 16,849 unique articles. The meta-analysis was ultimately conducted on 51 articles, comprising 72 (k) unique interventions, 194 effect sizes, and 8439 participants, using a random effects model. Positive and significant medium-sized effects were found for teamwork interventions on both teamwork and team performance. Moderator analyses were also conducted, which generally revealed positive and significant effects with respect to several sample, intervention, and measurement characteristics. Implications for effective teamwork interventions as well as considerations for future research are discussed. [ABSTRACT FROM AUTHOR]

In recent years, many researchers have addressed the issue of making Unmanned Aerial Vehicles (UAVs) more and more autonomous. In this context, the state estimation of the vehicle position is a fundamental necessity for any application involving autonomy. However, the problem of position estimation could not be solved in some scenarios, even when a GPS signal is available, for instance, an application requiring performing precision manoeuvres in a complex environment. Therefore, some additional sensory information should be integrated into the system in order to improve accuracy and robustness. In this work, a novel vision-based simultaneous localization and mapping (SLAM) method with application to unmanned aerial vehicles is proposed. One of the contributions of this work is to design and develop a novel technique for estimating features depth which is based on a stochastic technique of triangulation. In the proposed method the camera is mounted over a servo-controlled gimbal that counteracts the changes in attitude of the quadcopter. Due to the above assumption, the overall problem is simplified and it is focused on the position estimation of the aerial vehicle. Also, the tracking process of visual features is made easier due to the stabilized video. Another contribution of this work is to demonstrate that the integration of very noisy GPS measurements into the system for an initial short period of time is enough to initialize the metric scale. The performance of this proposed method is validated by means of experiments with real data carried out in unstructured outdoor environments. A comparative study shows that, when compared with related methods, the proposed approach performs better in terms of accuracy and computational time. [ABSTRACT FROM AUTHOR]

We propose a new meta-heuristic algorithm named Levy flights multi-verse optimizer (LFMVO), which incorporates Levy flights into multi-verse optimizer (MVO) algorithm to solve numerical and engineering optimization problems. The Original MVO easily falls into stagnation when wormholes stochastically re-span a number of universes (solutions) around the best universe achieved over the course of iterations. Since Levy flights are superior in exploring unknown, large-scale search space, they are integrated into the previous best universe to force MVO out of stagnation. We test this method on three sets of 23 well-known benchmark test functions and an NP complete problem of test scheduling for Network-on-Chip (NoC). Experimental results prove that the proposed LFMVO is more competitive than its peers in both the quality of the resulting solutions and convergence speed. [ABSTRACT FROM AUTHOR]

In order to verify the real-time reliability of unmanned aerial vehicle (UAV) flight control system and comply with the airworthiness certification standard, we proposed a model-based integration framework for modeling and verification of time property. Combining with the advantages of MARTE, this framework uses class diagram to create the static model of software system, and utilizes state chart to create the dynamic model. In term of the defined transformation rules, the MARTE model could be transformed to formal integrated model, and the different part of the model could also be verified by using existing formal tools. For the real-time specifications of software system, we also proposed a generating algorithm for temporal logic formula, which could automatically extract real-time property from time-sensitive live sequence chart (TLSC). Finally, we modeled the simplified flight control system of UAV to check its real-time property. The results showed that the framework could be used to create the system model, as well as precisely analyze and verify the real-time reliability of UAV flight control system. [ABSTRACT FROM AUTHOR]

Some level of uncertainty is unavoidable in acquiring the mass, geometry parameters and stability derivatives of an aerial vehicle. In certain instances tiny perturbations of these could potentially cause considerable variations in flight characteristics. This research considers the impact of varying these parameters altogether. This is a generalization of examining the effects of particular parameters on selected modes present in existing literature. Conventional autopilot designs commonly assume that each flight channel is independent and develop single-input single-output (SISO) controllers for every one, that are utilized in parallel for actual flight. It is demonstrated that an attitude controller built like this can function flawlessly on separate nominal cases, but can become unstable with a perturbation no more than 2%. Two robust multi-input multi-output (MIMO) design strategies, specifically loop-shaping and μ-synthesis are outlined as potential substitutes and are observed to handle large parametric changes of 30% while preserving decent performance. Duplicating the loop-shaping procedure for the outer loop, a complete flight control system is formed. It is confirmed through software-in-the-loop (SIL) verifications utilizing blade element theory (BET) that the autopilot is capable of navigation and landing exposed to high parametric variations and powerful winds. [ABSTRACT FROM AUTHOR]

Following centuries of exploitation, basking sharks (Cetorhinus maximus) are considered by IUCN as Endangered in the Northeast Atlantic, where they have now been substantially protected for over two decades. However, the present size of this population remains unknown. We investigated the use of photo-identification of individuals’ dorsal fins, combined with mark-recapture methodology, to investigate the size of populations of basking shark within the west coast of Scotland. From a total of 921 encounters photographed between 2004 and 2011, 710 sharks were found to be individually identifiable based on dorsal fin damage and natural features. Of these, only 41 individuals were re-sighted, most commonly both within days of, and close to the site of, the initial encounter. A smaller number were re-sighted after longer periods of up to two years. A comparison of the distinguishing features of individuals on first recording and subsequent re-sighting showed that in almost all cases these features remained little changed, suggesting the low re-sighting rate was not due to a loss of distinguishing features. Because of the low number of re-sighting we were not able to produce reliable estimates for the long-term regional population. However, for one 50 km diameter study area between the islands of Mull, Coll and Tiree, we were able to generate closed-population estimates for 6–9 day periods in 2010 of 985 (95% CI = 494–1683), and in 2011 of 201 (95% CI = 143–340). For the same 2011 period an open-population model generated a similar estimate of 213 (95% CI = 111–317). Otherwise the low rate and temporal patterning of re-sightings support the view that such local basking shark populations are temporary, dynamic groupings of individuals drawn from a much larger regional population than previously supposed. The study demonstrated the feasibility and limitations of photo-identification as a non-invasive technique for identifying individual basking sharks. [ABSTRACT FROM AUTHOR]

In this work, we have carried out the influence of temperature dependent viscosity on thin film flow of a magnetohydrodynamic (MHD) third grade fluid past a vertical belt. The governing coupled non-linear differential equations with appropriate boundary conditions are solved analytically by using Adomian Decomposition Method (ADM). In order to make comparison, the governing problem has also been solved by using Optimal Homotopy Asymptotic Method (OHAM). The physical characteristics of the problem have been well discussed in graphs for several parameter of interest. [ABSTRACT FROM AUTHOR]

Feature detection and matching are crucial for robust and reliable image registration. Although many methods have been developed, they commonly focus on only one class of image features. The methods that combine two or more classes of features are still novel and significant. In this work, methods for feature detection and matching are proposed. A Mexican hat function-based operator is used for image feature detection, including the local area detection and the feature point detection. For the local area detection, we use the Mexican hat operator for image filtering, and then the zero-crossing points are extracted and merged into the area borders. For the feature point detection, the Mexican hat operator is performed in scale space to get the key points. After the feature detection, an image registration is achieved by using the two classes of image features. The feature points are grouped according to a standardized region that contains correspondence to the local area, precise registration is achieved eventually by the grouped points. An image transformation matrix is estimated by the feature points in a region and then the best one is chosen through competition of a set of the transformation matrices. This strategy has been named the Grouped Sample Consensus (GCS). The GCS has also ability for removing the outliers effectively. The experimental results show that the proposed algorithm has high registration accuracy and small computational volume. [ABSTRACT FROM AUTHOR]