ALBERT

Description: Various space missions, including the Russian and Chinese interplanetary exploration collaboration in 2011 and the Phobos-Grunt space project to be relaunched by the Chinese in 2025, carry a soil preparation system (SOPSYS), which is an instrument used for scientific experiments. The design and manufacture of this precision instrument require stringent manufacturing processes and workflow of the highest quality, with every process in the project carefully monitored and controlled. All processes should be completed within the deadline so that the space project can be launched at the scheduled time. The colored Petri net (CPN) modeling method can describe a variety of resource types and execution logic, and it can be formally verified. Based on these advantages, we clearly describe the complex structure of the SPOSYS unit production process. In addition, we use critical time and the 6 sigma system to evaluate the availability and reliability of workflows, and we use elimination and simplification (ECRS) methods and constraint theory to improve the manufacturing process of the SOPSYS unit. We further provide optimization theories, methods, and insights for workflow management in time-sensitive and independent manufacturing systems.

Description: With the increasingly close relations between cities in China, it is of great significance to explore the regular characteristics of the intercity connection. Through Tencent’s population migration heat and Baidu map big data, this paper analyzes the regular characteristics of the relations between complex cities based on such index as the rich node propensity index, preference level index, and relative heat index and also investigates the influence of geographical proximity factors on the external relations of different cities. The research has the following results. Firstly, the relations between cities have obvious club characteristics. The rich nodes tend to connect with the rich nodes, while the nonrich nodes tend to connect with the nonrich nodes. Secondly, the connection between cities has the effect of hierarchical proximity, and cities mainly establish spatial connections with cities of the same level and adjacent level. Thirdly, the relations between cities also have the effect of geographical proximity, and the degree of influence of geographical proximity in low-level cities is greater than that in high-level cities. Fourthly, the external connection mode of high-level cities is to establish close contact with high-level cities adjacent to the level, with strong attraction to low-level cities adjacent to the location at the same time. The low-level cities are closely related to the high-level cities adjacent to the location and other cities of geographical proximity or adjacent level. This study helps to further understand the complex characteristics and laws of intercity connections and urban networks.

Description: A tuned mass damper inerter (TMDI) is a new class of passive control device based on the inclusion of an inerter mechanism into a conventional tuned mass damper (TMD). The inerter device provides inertial resisting forces to the controlled system, through relatively small masses, converting it in a mechanism with the potential to enhance the performance of passive energy dissipating systems. This work presents a study of an optimal TMDI design through an exhaustive search process. TMDI device design using the cited parameter selection methodology consists in the determination of the damper critical damping ratio, ζTMDI, and frequency ratio, υTMDI, which result in the minimum structural response of a multidegree of freedom structural system, considering predefined values for mass ratio (µ) and inertance ratio (β). The used optimization process examines all possible damping device design parameter combinations to select the set of values that results in the best device performance to reduce response parameters in a structure. Four different optimization processes are performed by independently minimizing four performance indices: J1 associated to the reduction of the structure’s maximum peak displacement, J2 calculates the minimal RMS value for the structure’s peak displacement, J3 seeks by the minimal peak interstorey drift, and JP determines the lowest value for a linear weighted combination of the abovementioned three indices. A numerical example is developed with the purpose of validating the proposed optimization procedure and to evaluate the benefits of using TMDI as controlling devices for structures under seismic excitation, by carrying out a comparative analysis to contrast the performance of the optimization alternatives developed, running up to 1968192 cases. The obtained results show that devices designed based on exhaustive search optimization produce peak displacement reductions of up to 35% and peak structure displacement RMS reductions of up to 30%.

Description: Controlling and maintaining the orientation of the balloon-borne gondola for high-altitude flight is a prerequisite for ensuring the pointing control of observation instruments. When the balloon-borne gondola is flying in the stratosphere of the atmosphere, the existing external interferences will be converted into the coupling moment to the azimuth control system. Meanwhile, those uncertain factors and the frictional nonlinearity of the control system will also cause a certain magnitude of coupling moment. The existence of such coupling moment largely impacts on the accuracy and stability of the orientation control for the angular momentum exchange devices of the balloon-borne gondola. To address such an issue, this paper proposes and implements a novel type of integrated decoupler device. With this decoupler adopted, the aziDmuth control system could sense the existence of coupling torque and azimuth fluctuations quickly and suppress the influences of external interference, uncertain factors, and system structure nonlinearity on the azimuth control effectively, thereby improving the control accuracy of the azimuth control system. Both simulations and experiments are conducted to verify the effectiveness of the proposed device. The results show that the integration of the decoupler and the controller of the azimuth control system provide the azimuth control of the balloon-borne gondola with high accuracy and stability. Such a decoupler device design has a broad potential and could not only be used for balloon-borne gondola control but also could be applied onto other control systems using angular momentum exchange devices as actuators.

Description: Gates are important operating facilities and resources in civil airports. It is a core task in the airport operation management to select reasonable gates for inbound and outbound flights. We present a continuous time formulation with second-order cone programming (SOCP) for the gate assignment problem which allocates flights to available gates to optimize both the transfer time of passengers and the robustness of the airport operations schedules. The problem is formulated as a mixed integer nonlinear program, and then, the quadratic objective that minimizes the walking distance of transferring passengers is linearized, and the objective that minimizes the variance of idle time at the gates is transformed to a second-order cone constraint with a linear objective function. Then, a Lagrangian relaxation algorithm is developed by exploiting the problem structure. Computational tests are carried out to illustrate the efficiency of the model and the algorithms. It is shown that the continuous time formulation is more efficient than the existing model, and the Lagrangian relaxation algorithm can obtain better solutions faster than a commercial solver.

Description: This paper studies the global stability of a discrete-time pathogen dynamic model with both cell-mediated and antibody immune responses. Both latently and actively infected cells are incorporated into the model. We discretize the continuous-time model by using the nonstandard finite difference (NSFD) method. We establish that NSFD preserves the nonnegativity and boundedness of the solutions of the model. We derive four threshold parameters which govern the existence and stability of the steady states. We establish by using the Lyapunov method, the global stability of the five steady states of the model. We illustrate our theoretical results by using numerical simulations.

Description: Using standard techniques from geometric quantization, we rederive the integral product of functions on ℝ2 (non-Euclidian) which was introduced by Pierre Bieliavsky as a contribution to the area of strict quantization. More specifically, by pairing the nontransverse real polarization on the pair groupoid ℝ2×ℝ¯2, we obtain the well-defined integral transform. Together with a convolution of functions, which is a natural deformation of the usual convolution of functions on the pair groupoid, this readily defines the Bieliavsky product on a subset of L2ℝ2.

Description: In this paper, we present a survey of the inverse eigenvalue problem for a Laplacian equation based on available Cauchy data on a known part Γ0 and a homogeneous Dirichlet condition on an unknown part Γ0 of the boundary of a bounded domain, Ω⊂ℝN. We consider variations in the eigenvalues and propose a conformal mapping tool to reconstruct a part of the boundary curve of the two-dimensional bounded domain based on the Cauchy data of a holomorphic function that maps the unit disk onto the unknown domain. The boundary values of this holomorphic function are obtained by solving a nonlocal differential Bessel equation. Then, the unknown boundary is obtained as the image of the boundary of the unit disk by solving an ill-posed Cauchy problem for holomorphic functions via a regularized power expansion. The Cauchy data were restricted to a nonvanishing function and to the normal derivatives without zeros. We prove the existence and uniqueness of the holomorphic function being considered and use the fixed-point method to numerically analyze the results of convergence. We’ll calculate the eigenvalues and compare the result with the shape obtained via minimization functional method, as developed in a previous study. Further, we’ll observe via simulations the shape of Γ and if it preserves its properties with varying the eigenvalues.

Description: Generating relations involving the special functions have already proved their important role in mathematics and other fields of sciences. In this paper, we aim to provide some presumably new generating relations in connection with the generalized multi-index Bessel–Maitland function Jνjm,qλjm,γ.. The main results presented here, being very general, can yield a number of particular or equivalent identities, some of which are explicitly demonstrated.