Terminal Problem Research Articles

A three-stage heuristic for optimizing container relocations in maritime container terminals

The Container Relocation Problem (CRP) is one of the most important optimization problems in maritime container terminals. The objective is to minimize the number of relocation operations for retrieving containers in a sequence. If the container to be retrieved next is not at the top of a stack, unproductive relocations have to be carried out. Due to the large number of containers handled by busy terminals, a slight reduction in relocation rates can result in significant savings in operating costs. Most of the existing heuristics make relocation decisions for the blocking containers one by one, based on simple indicators. In this article, we propose a Three-Stage Heuristic (3SH) that extends the decision horizon to multiple containers to achieve a higher-quality solution. Computational experiments are conducted on 3 sets of benchmark instances, and the results show that the proposed heuristic outperforms the state-of-the-art heuristics documented in the research literature.

An adaptive trajectory compression and feature preservation method for maritime traffic analysis

Ship trajectory data extracted from Automatic Identification System (AIS) has been extensively used for maritime traffic analysis. Yet the enormous volume of AIS data has come with substantial challenges related to storing, processing, analyzing, transmitting, and transferring. Trajectory compression techniques have been widely investigated to remedy the challenge. However, conventional compression techniques such as Douglas-Peucker (DP) algorithm mainly depend on line simplification algorithms, falling short in accurately identifying and preserving crucial information within trajectories. Moreover, using kinematic information from AIS data has posed difficulties associated with compression threshold determination. Hence, an adaptive method capable of considering multiple information from AIS is required. In this paper, a Top-Down Kinematic Compression (TDKC) algorithm aimed at adaptive trajectory compression and feature preservation is proposed. By incorporating time, position, speed, and course attributes from AIS data, TDKC exploits a Compression Binary Tree (CBT) method to address the recursion termination problem and determine the threshold automatically. A case study was conducted to evaluate the performance of TDKC using AIS data from Gulf of Finland, where a comparison with conventional algorithms and their improved versions based on specific performance evaluation metrics was involved. The results demonstrate TDKC's superiority in facilitating maritime traffic analysis.

Termination and Universal Termination Problems for Nondeterministic Quantum Programs

Verifying quantum programs has attracted a lot of interest in recent years. In this paper, we consider the following two categories of termination problems of quantum programs with nondeterminism, namely: (1) (termination) Is an input of a program terminating with probability one under all schedulers? If not, how can a scheduler be synthesized to evidence the nontermination? (2) (universal termination) Are all inputs terminating with probability one under their respective schedulers? If yes, a further question asks whether there is a scheduler that forces all inputs to be terminating with probability one together with how to synthesize it; otherwise, how can an input be provided to refute the universal termination? For the effective verification of the first category, we over-approximate the reachable set of quantum program states by the reachable subspace, whose algebraic structure is a linear space. On the other hand, we study the set of divergent states from which the program terminates with probability zero under some scheduler. The divergent set also has an explicit algebraic structure. Exploiting these explicit algebraic structures, we address the decision problem by a necessary and sufficient condition, i. e. the disjointness of the reachable subspace and the divergent set. Furthermore, the scheduler synthesis is completed in exponential time, whose bottleneck lies in computing the divergent set, reported for the first time. For the second category, we reduce the decision problem to the existence of invariant subspace, from which the program terminates with probability zero under all schedulers. The invariant subspace is characterized by linear equations and thus can be efficiently computed. The states on that invariant subspace are evidence of the nontermination. Furthermore, the scheduler synthesis is completed by seeking a pattern of finite schedulers that forces all inputs to be terminating with positive probability. The repetition of that pattern yields the desired universal scheduler that forces all inputs to be terminating with probability one. All the problems in the second category are shown, also for the first time, to be solved in polynomial time. Finally, we demonstrate the aforementioned methods via a running example — the quantum Bernoulli factory protocol.

Stages and main tasks of the century-long control theory and system identification development. Part VI. Model predictive control

The article is devoted to one of the relatively new areas in the field of control theory and practice, called model predictive control. The ideas underlying it, the connection with the theory of optimal control and numerical methods for solving optimization problems are described. It should be noted that currently the number of problems solved and control systems developed within the framework of this approach has come out on top in comparison with all others. This is evidenced by numerous publications concerning the theory and practical application of control methods and algorithms using a predictive model. The main distinctive feature of this method is that the control is not synthesized in advance, but is calculated directly during the operation of the system, i.e. at the current time. This made it possible, with such control, to implement original feedback that ensures stabilization of the process when the model is inaccurate and there is uncertainty associated with existing disturbances and measurements. It describes how such feedback is organized based on current measurement data. In this case, there is no need to interpret somehow the nature of the disturbances and errors acting on the system. Much attention in the article is paid to the possibilities that are admitted with this method of control. The model predictive control method seems especially attractive for systems with discrete impulse processes that are well described with using cognitive maps. It is considered an example of cognitive modeling of evolutionary demographic processes in Ukraine and the possibility of control them using a predictive model, when the model contains unstable eigenvalues. When solving problems of predictive control, it is proposed to use trajectory models, which directly follow from the Cauchy formula, in particular for discrete systems, instead of a local description in the state space. This makes it possible to take into account, when solving predictive control problems, how well or poorly controlled, observable or identifiable the system is. Non-standard capabilities of this method with a trajectory description appear during terminal control on a sliding interval with a finite horizon. A number of original formulations of terminal control problems are presented in the article and some of their properties are described.

Problems of occurrence, termination and protection copyright for drafts of official documents

The authors consider the peculiarities of the legal regime of official documents and their drafts. The article proposes the concept of a work as an object of copyright, highlights the features of the work. The authors substantiate the reasons for the lack of legal protection in relation to information messages, works of folk art, official documents, state symbols and signs. Based on the study of legal doctrine and judicial practice, the authors identify the legal regimes of draft official documents, determine the conditions for the lawful use of such projects. The authors conclude that in the case of sending a draft official document to the authorized body, the object is doubled from the moment the project begins to be used. After the adoption of an official document by the authorized body, such a document is excluded from legal protection and is not recognized as an object of copyright. The authors note that the withdrawal of official documents from legal protection does not exclude the possibility of creating protected works on their basis, in particular, composite, derivative works (collections, translations, etc.), for which an independent copyright of compilers, translators and other persons arises.

Topological derivatives for shell structure optimization considering crash loadcases with material nonlinearities and large deformations

The topological derivatives for shell structures in dynamic loadcases, which are often used in lightweight designs, are developed. These sensitivities consider the highly nonlinear material behavior and large deformations of the structure. The aim of the investigation is the support of an efficient topology optimization for crashloaded structures. The considered functionals can in general be described by displacements, velocities and accelerations. In particular, the semi-analytical sensitivity calculations for the internal deformation energy and for single point displacements in arbitrary directions in the shell structure are presented. These functionals cover the most important functions for the development of crash structures. Using the material derivative in combination with the adjoint method, a terminal value problem has to be solved. Depending on whether first differentiation and then discretization in the time domain is performed or first discretization and then differentiation, a separate solution scheme for the adjoint is derived. Both schemes are presented in a comparable description. For the numerical evaluation of the topological derivatives, the basic equations for large deformed shell elements are included as well as a phenomenological material interpolation, which represents the tangential material behavior resulting from plastic strain and isotropic hardening. All assumptions made for the derivation are described in detail and their influences are discussed. The elaborated equations and the procedure for the calculation of the topological derivatives are applied, discussed and checked for plausibility on two clearly defined loading conditions for the internal deformation energy and single point displacements on different locations.

Intelligent diving guidance with terminal angle and velocity constraints via deep reinforcement learning

An adaptive guidance strategy that integrates optimal guidance and deep reinforcement learning to address a highly dynamic terminal guidance problem that entails meeting terminal position, angle, and velocity constraints. The proposed strategy leverages optimal guidance commands to accomplish position and angle control while introducing a deep reinforcement learning-based bias for the velocity constraint. In the training process, a dual-velocity state space is constructed to enhance the adaptability of the strategy to different guidance tasks, while training is optimized using the prediction-correction and expert knowledge to improve the training efficiency and optimality of the strategy. Simulations demonstrate that the proposed guidance strategy can achieve simultaneous control of terminal position, angle and velocity, and adapt to different guidance tasks.

Initial Value and Terminal Value Problems for Distributed Order Fractional Diffusion Equations

Initial Value and Terminal Value Problems for Distributed Order Fractional Diffusion Equations

On solving terminal approach and evasion problems for linear discrete-time systems under state constraints

The paper is devoted to elaboration of polyhedral techniques for solving two control problems for linear discrete-time systems with uncertainties under state constraints, namely, the terminal approach problem and the terminal evasion one. Such problems arise in systems with two controls, where the aim of the first is to steer the trajectory onto a given terminal set at a given instant without violating the state constraints, the aim of the other is opposite. It is assumed that the terminal set is a parallelepiped, the controls are bounded by parallelotope-valued constraints, and the state constraints are given in the form of so-called zones. We present techniques for solving both problems basing on polyhedral (parallelotope-valued or parallelepiped-valued) tubes. The techniques for solving the approach problem were proposed by the author earlier, but here additional properties of them are investigated. In particular, for the case without state constraints, guaranteed estimates are found for the trajectory that ensure that it is inside the tube. Convenient sufficient conditions are given to guarantee the obtaining of nondegenerate cross-sections during the calculations. For the evasion problem, a common solution scheme is considered, and then polyhedral techniques are proposed. The whole parametric families of external and internal polyhedral estimates for the solvability tubes for both problems are presented and compared. An illustrative example is given.

Learning-Based Autonomous Channel Access in the Presence of Hidden Terminals

We consider the problem of autonomous channel access (AutoCA), where a group of terminals tries to discover a communication strategy with an access point (AP) via a common wireless channel in a distributed fashion. Due to the irregular topology and the limited communication range of terminals, a practical challenge for AutoCA is the hidden terminal problem, which is notorious in wireless networks for deteriorating throughput and delay performances. To meet the challenge, this paper presents a new multi-agent deep reinforcement learning paradigm, dubbed MADRL-HT, tailored for AutoCA in the presence of hidden terminals. MADRL-HT exploits topological insights and transforms the observation space of each terminal into a scalable form independent of the number of terminals. To compensate for the partial observability, we put forth a look-back mechanism such that the terminals can infer behaviors of their hidden terminals from the carrier-sensed channel states as well as feedback from the AP. A window-based global reward function is proposed, whereby the terminals are instructed to maximize the system throughput while balancing the terminals' transmission opportunities over the course of learning. Considering short-packet machine-type communications, extensive numerical experiments verified the superior performance of our solution benchmarked against the legacy carrier-sense multiple access with collision avoidance (CSMA/CA) protocol.

MVR Delay: A Queueing Based Routing Model for C-V2X Mode 4 in VANET’s

During the last few years, the demand for vehicular ad-hoc networks (VANET) has gained great attraction in the intelligent transport system. The VANET architecture includes several critical features, such as distributed networking and the rapidly changing network topology. Due to the significant characteristics of road safety, it has gained a great deal of interest in industry and academia to enhance the safety of the road transport system. Efficient message exchange between vehicles and roadside units is a tedious task in VANET. Several techniques have been introduced to improve communication, but efficient packet delivery and delay reduction are challenging issues. Currently, the VANET technique has evolved as a “vehicle-to-everything (V2X)” communication standard. In addition, the 3GPP standards have introduced a new communication standard as an alternative to the IEEE 802.11p system. In this new release of 3GPP, two new communication modes are introduced, mode 3 and mode 4. Mode 3 requires a cellular infrastructure, whereas mode 4 can operate without cellular coverage. In this work, we focus on C-V2X mode 4 communications and present a novel routing scheme to deal with hidden terminal problems. The proposed approach generates a virtual queueing model in which efficient channel selection is performed so that packet collision and interference can be reduced by maximizing the distance in the virtual queue model. The experimental results demonstrate that the average performance of the proposed approach is obtained as 0.9383, 0.09 s, and 0.0617 in terms of packet delivery, end-to-end delay, and packet drop rate, respectively.

Distributionally robust chance-constrained optimization for the integrated berth allocation and quay crane assignment problem

In this paper, we are the first to propose a distributionally robust chance-constrained (DRCC) optimization model for the integrated berth allocation and quay crane assignment problem (BACAP) in container terminals. In contrast to the classical deterministic BACAP model, we consider the arrival time to be uncertain due to the frequent arrival delays in ports. We then impose a chance constraint that the service time must start after the uncertain arrival time with a probability of at least 1−ϵ, where 1−ϵ represents the target service level in container terminals (ϵ represents the target risk tolerance of the port manager). Under the moment-based ambiguity set, we reformulate the DRCC model into a mixed integer semi-definite programming (MISDP) model. Additionally, we develop an efficient decomposition branch-and-bound algorithm to solve the MISDP model and obtain the exact solution. Fortunately, a special case of the DRCC model arises when the mean and covariance utilized in the ambiguity set are precise, allowing for the transformation of the DRCC model into a mixed integer programming (MIP) model. This conversion significantly reduces the complexity of the problem. Impressively, the solving time of the MISDP model with the decomposition branch-and-bound algorithm is comparable to that of the transformed MIP model. The numerical results show that our model can achieve a schedule with high service at low cost. Meanwhile, we have made an intriguing discovery that the correlation between the target risk tolerance and the actual service level can be depicted as a staircase function regardless of the datasets. This finding offers crucial insights for port management, enabling them to strike a balance between the cost and actual service level by determining an appropriate target service level.

Legal Certainty Against Termination of Government Goods/Services Procurement Contracts By Acts of Government Administration, Commitment Making Officials

Problems in unilateral contract termination by Commitment Making Officials in Government Procurement of Goods/Services. There are no express provisions in the laws and regulations or Presidential Regulations. The consequence that arises is that terminating the contract creates legal uncertainty. This dissertation analyzes the implementation of terminating contracts for the procurement of government goods/services by acts of government administration and analyzes and finds legal certainty for terminating contracts for the procurement of goods/services if there is a dispute between the Commitment Making Official and the provider of goods/services, the Commitment Making Official. The research method used in this research is normative juridical with research specifications namely analytical descriptive. The results research show that the implementation of terminating contracts for the procurement of government goods/services by the actions of the government administration officials who made the commitment resulted in the emergence of legal uncertainty. Based on Article 93 paragraph 1 of Presidential Regulation Number 4 of 2015 concerning the Second Amendment to Presidential Regulation Number 54 of 2010, the legal consequences of contract termination do not yet reflect the principle of proportionality, because the determination of sanctions is only unilateral, borne by the Service Provider. Meanwhile, the determination of sanctions against Service Users if the PPK commits an error/negligence is not clearly regulated either in the contract agreed upon by the parties, or regulated in the provisions of statutory regulations.

ME-MAC Protocol for MAC Layer in MANET to Overcome HET Problem

Medium Access layer in Mobile Adhoc Network is responsible of transmission of packet through the wireless medium, while transmitting the packet all nodes has to intellect the medium before sending the packet. Every node can able to transmit the packet when the medium if free otherwise the nodes have to wait until the medium becomes free. Some cases the transmission range of the node can be idle but due to Hidden and Exposed node, the node could not be sending the packet to other nodes. Node has to wait unnecessarily event the transmission medium is free. This research article proposed the Mutual Exclusion MAC protocol for avoiding hidden and exposed terminal problem in MANET. The proposed protocol is implemented with the support of Network simulator 3 and results are compared with the existing different protocol proposed for the MAC layer with the parameter and better results shown.

A numerical method for solutions of tempered fractional differential equations

The main objective of this paper is to develop a technique for approximating the numerical solution of certain class of tempered fractional differential equations. The proposed technique is based on the Newton–Cotes quadrature formula, and it is established by using generalized Lagrange interpolation polynomials. The product integration technique is used to develop a formula for the left and right-sided tempered fractional integrals. Next, by using these formulas, a method is developed for solving a general class of tempered fractional differential equations. Furthermore, three distinct classes of initial value problems and one of the terminal value problems for tempered fractional differential equations are taken into consideration and each class is illustrated by a numerical experiment to demonstrate the validity and effectiveness of the proposed methodology. Moreover, upper bound of error in the numerical approximations have been provided.

Early termination of a judge's powers as a measure of legal responsibility: problems of legal regulation and law enforcement

The subject of the study is the theoretical, legislative and practical application problems of the early termination of a judge as a measure of legal responsibility. According to the authors' opinion there are several problems: the lack of scientific and legislative unity on the issue of the sectoral nature of this measure; the unsystematic, uncoordinated nature of legislation and law enforcement practice; the apparent discrepancy of the Law of the Russian Federation “On the Status of Judges in the Russian Federation” (hereinafter - the Status of Judges) which regulates the grounds and procedure for the early termination of the powers of a judge and the practice of its application to the fundamental principles of legal responsibility.The aim of this article is to make recommendations aimed at improving the legal regulation and practice of such a legal liability measure as early termination of the power of the judge.The methodology. The main method of research is the general scientific dialectical method of cognition, using universal scientific methods: analysis and synthesis, induction and deduction, formal-logical and systemic. The specific scientific methods are applied: the formal legal method, the methods of legal modelling and the methods of forecasting.Main results and field of application. The authors concluded that the early termination of a power of judge, for whatever reason, is related to his or her illegal behaviour. It should be explicitly recognized as a measure of legal responsibility in the Status of Judges. It is necessary that the legal grounds for judge early termination meet the requirements of legal certainty. The application of this measure is based on the fundamental principles of legal responsibility: justice, humanism, legal equality, proportionality of the sanction to the degree of social danger of the act committed, individualization of the punishment, etc. The Status of Judges and the Regulation on the functioning of the qualification collegium of Judges should be supplemented by legal provisions governing the procedure for applying to a judge early termination as a measure of legal liability that does not involve the commission of a disciplinary offence. A fair, public and adversarial procedure must be used to ensure that judges in the high and medium courts can terminated early. The rules for this procedure must be laid down in federal constitutional law.Conclusions. The implementation of such proposals would lead to the formation of legislation and the law enforcement practice, consistent with the main principles of legal responsibility and the basic provisions of its theory. It would guarantee the fairness and predictability of decisions towards judges. Ultimately it would ensure an appropriate balance between the independence of judges and their accountability for gross and systematic violations incompatible with the status of judges.

Physical and Data Link Layer Performance Enhancement in MANET to Overcome Hidden -Exposed Node Problem and Packet Loss Due to Buffer Overflow

In order to improve the performance of the MANET , the lower layers of MANET protocol stack has to improve the performance to overcome the hidden and expose node problem in the Physical layer and better buffer management scheme to be included in the data link layer .MAC layer in MANET ,Some cases the transmission range of the node can be idle but due to Hidden and Exposed node , the node could not be send the packet to other nodes. Node has to wait unnecessarily event the transmission medium is free. In case of more traffic in the MANET can leads to overflow in the buffer which causes the packet loss in the transmission. If any packet missed on the transmission the source node has to retransmit to the destination. This research article proposed the Mutual Exclusion MAC protocol for avoiding hidden and exposed terminal problem in MANET and active buffer management algorithm named Intelligent better buffer management (IBM) algorithm which improves the MANET nodes buffers to avoid packet loss . The proposed protocol is implemented with the support of Network simulator 3 and results are compared with the existing different protocol proposed for the MAC layer with the parameter and buffer management schemes and results shown the enhanced results shown.

Local discovery in Bayesian networks by information-connecting

<p>Local discovery plays an important role in Bayesian networks (BNs), mainly addressing PC (parents and children) discovery and MB (Markov boundary) discovery. In this paper, we considered the problem of large local discovery. First, we focused on an assumption about conditional independence (CI) tests: We explained why it was unreasonable to assume all CI tests were reliable in large local discovery, studied how the power and reliability of CI tests changed with the data size and the number of degrees of freedom, and then modified the assumption about CI tests in a more reasonable way. Second, we concentrated on improving local discovery algorithms: We posed the problem of premature termination of the forward search, analyze why it arose frequently in large local discovery when implementing the existing local discovery algorithms, put forward an idea of preventing the premature termination of forward search called information connection (IC), and used IC to build a novel algorithm called ICPC; the theoretical basis of ICPC was detailedly presented. In addition, a more steady incremental algorithm as the subroutine of ICPC was proposed. Third, the way of breaking ties among equal associations was considered and optimized. Finally, we conducted a benchmarking study by means of six synthetic BNs from various domains. The experimental results revealed the applicability and superiority of ICPC in solving the problem of premature termination of the forward search that arose frequently in large local discovery.</p>

On the nonlocal hybrid $ ({\mathsf{k}}, {\rm{\mathsf{φ}}}) $-Hilfer inverse problem with delay and anticipation

<p>This paper focused on establishing results regarding the existence of solutions for a class of nonlocal terminal value problems involving hybrid implicit nonlinear fractional differential equations with the $ ({\mathsf{k}}, {\rm{\mathsf{φ}}}) $-Hilfer fractional derivative, which includes both finite delay and anticipation arguments. Our analysis was based on the Banach fixed point technique, and the Schauder and Krasnoselskii fixed point theorems. Moreover, illustrative examples were considered to support our new results.</p>

New regularization and error estimate on terminal value problem for elliptic equations

New regularization and error estimate on terminal value problem for elliptic equations