Research on developing mathematical and simulative models to evaluate performance of signalized arterials is still ongoing. In this paper, an integrated model (IM) based on Rakha vehicle dynamics and LWR model is proposed. The IM which imitates actuated performance measurement in signalized arterials is described using continuous timed Petri net with variable speeds (VCPN). This enables systematic discretized description of platoon movement from an upstream signalized intersection towards a downstream signalized intersection. The integration is based on the notion that speed and travel time characteristics in a link can be provided using Rakha model. This will assist the LWR to estimate arrival profiles of vehicles at downstream intersection. One immediate benefit of the model is that platoon arrival profile obtained from the IM can be directly manipulated to estimate queues and delays at the target intersection using input-output analysis without considering the effect of shockwaves. This is less tedious as compared to analysing the LWR model through tracing trajectory of shockwave. Besides, time parameters of a platoon could be estimated for self-scheduling control approach from a cycle to cycle basis. The proposed IM is applied to a test intersection where simulated queues and average delays from the IM are compared with the platoon dispersion model (PDM) implemented in TRANSYT, cell transmission model (CTM) and HCM2000 for both under-saturated and oversaturated situations. The comparisons yielded acceptable and reasonable results, thus ascertained the feasibility and validity of the model.
Circuit intricacy, speed, low-offset voltage, and resolution are essential factors for high-speed applications like analog-to-digital converters (ADCs). The comparator circuit with preamplifier increases the power dissipation, as it requires higher amount of currents than the latch circuitry. In this research, a novel topology of dynamic latch comparator is illustrated, which is able to provide high speed, low offset, and high resolution. Moreover, the circuit is able to reduce the power dissipation as the topology is based on latch circuitry. The cross-coupled circuit mechanism with the regenerative latch is employed for enhancing the dynamic latch comparator performance. In addition, input-tracking phase is used to reduce the offset voltage. The Monte-Carlo simulation results for the designed comparator in 0.18 μm CMOS process show that the equivalent input-referred offset voltage is 720 μV with 3.44 mV standard deviation. The simulated result shows that the designed comparator has 8-bit resolution and dissipates 158.5 μW of power under 1.8 V supply while operating with a clock frequency of 50 MHz. In addition, the proposed dynamic latch comparator has a layout size of 148.80 μm × 59.70 μm.
Cable-stayed bridges are one of the most popular types of long-span bridges. The structural behaviour of cable-stayed bridges is sensitive to the load distribution between the girder, pylons, and cables. The determination of pretensioning cable stresses is critical in the cable-stayed bridge design procedure. By finding the optimum stresses in cables, the load and moment distribution of the bridge can be improved. In recent years, different research works have studied iterative and modern methods to find optimum stresses of cables. However, most of the proposed methods have limitations in optimising the structural performance of cable-stayed bridges. This paper presents a multiconstraint optimisation method to specify the optimum cable forces in cable-stayed bridges. The proposed optimisation method produces less bending moments and stresses in the bridge members and requires shorter simulation time than other proposed methods. The results of comparative study show that the proposed method is more successful in restricting the deck and pylon displacements and providing uniform deck moment distribution than unit load method (ULM). The final design of cable-stayed bridges can be optimised considerably through proposed multiconstraint optimisation method.
The generalized nonlinear Klien-Gordon equation plays an important role in quantum mechanics. In this paper, a new three-time level implicit approach based on cubic trigonometric B-spline is presented for the approximate solution of this equation with Dirichlet boundary conditions. The usual finite difference approach is used to discretize the time derivative while cubic trigonometric B-spline is applied as an interpolating function in the space dimension. Several examples are discussed to exhibit the feasibility and capability of the approach. The absolute errors and L∞ error norms are also computed at different times to assess the performance of the proposed approach and the results were found to be in good agreement with known solutions and with existing schemes in literature.
The usual practice of using a control chart to monitor a process is to take samples from the process with fixed sampling interval (FSI). In this paper, a synthetic X control chart with the variable sampling interval (VSI) feature is proposed for monitoring changes in the process mean. The VSI synthetic X chart integrates the VSI X chart and the VSI conforming run length (CRL) chart. The proposed VSI synthetic X chart is evaluated using the average time to signal (ATS) criterion. The optimal charting parameters of the proposed chart are obtained by minimizing the out-of-control ATS for a desired shift. Comparisons between the VSI synthetic X chart and the existing X, synthetic X, VSI X and EWMA X charts, in terms of ATS, are made. The ATS results show that the VSI synthetic X chart outperforms the other X type charts for detecting moderate and large shifts. An illustrative example is also presented to explain the application of the VSI synthetic X chart.
Quarter vehicle model is the simplest representation of a vehicle that belongs to lumped-mass vehicle models. It is widely used in vehicle and suspension analyses, particularly those related to ride dynamics. However, as much as its common adoption, it is also commonly accepted without quantification that this model is not as accurate as many higher-degree-of-freedom models due to its simplicity and limited degrees of freedom. This study investigates the trade-off between simplicity and accuracy within the context of quarter vehicle model by determining the effect of adding various modeling details on model accuracy. In the study, road input detail, tire detail, suspension stiffness detail and suspension damping detail were factored in, and several enhanced models were compared to the base model to assess the significance of these details. The results clearly indicated that these details do have effect on simulated vehicle response, but to various extents. In particular, road input detail and suspension damping detail have the most significance and are worth being added to quarter vehicle model, as the inclusion of these details changed the response quite fundamentally. Overall, when it comes to lumped-mass vehicle modeling, it is reasonable to say that model accuracy depends not just on the number of degrees of freedom employed, but also on the contributions from various modeling details.
In this paper, we introduce the R package gendist that computes the probability density function, the cumulative distribution function, the quantile function and generates random values for several generated probability distribution models including the mixture model, the composite model, the folded model, the skewed symmetric model and the arc tan model. These models are extensively used in the literature and the R functions provided here are flexible enough to accommodate various univariate distributions found in other R packages. We also show its applications in graphing, estimation, simulation and risk measurements.
An efficient simulation technique was proposed to examine the thermal-fluid structure interaction in the effects of solder temperature on pin through-hole during wave soldering. This study investigated the capillary flow behavior as well as the displacement, temperature distribution, and von Mises stress of a pin passed through a solder material. A single pin through-hole connector mounted on a printed circuit board (PCB) was simulated using a 3D model solved by FLUENT. The ABAQUS solver was employed to analyze the pin structure at solder temperatures of 456.15 K (183(°)C) < T < 643.15 K (370(°)C). Both solvers were coupled by the real time coupling software and mesh-based parallel code coupling interface during analysis. In addition, an experiment was conducted to measure the temperature difference (ΔT) between the top and the bottom of the pin. Analysis results showed that an increase in temperature increased the structural displacement and the von Mises stress. Filling time exhibited a quadratic relationship to the increment of temperature. The deformation of pin showed a linear correlation to the temperature. The ΔT obtained from the simulation and the experimental method were validated. This study elucidates and clearly illustrates wave soldering for engineers in the PCB assembly industry.
We extend the path lifting property in homotopy theory for topological spaces to bitopological semigroups and we show and prove its role in the C(ℵ)-fibration property. We give and prove the relationship between the C(ℵ)-fibration property and an approximate fibration property. Furthermore, we study the pullback maps for C(ℵ)-fibrations.
Numerical investigation has been carried out on heat transfer and friction factor characteristics of copper-water nanofluid flow in a constant heat-fluxed tube with the existence of new configuration of vortex generator using Computational Fluid Dynamics (CFD) simulation. Two types of swirl flow generator: Classical twisted tape (CTT) and Parabolic-cut twisted tape (PCT) with a different twist ratio (y = 2.93, 3.91 and 4.89) and different cut depth (w = 0.5, 1.0 and 1.5 cm) with 2% and 4% volume concentration of CuO nanofluid were used for simulation. The effect of different parameters such as flow Reynolds number, twist ratio, cut depth and nanofluid were considered. The results show that the enhancement of heat transfer rate and the friction factor induced by the Classical (CTT) and Parabolic-cut (PCT) inserts increases with twist ratio and cut depth decreases. The results also revealed that the heat transfer enhancement increases with an increase in the volume fraction of the CuO nanoparticle. Furthermore, the twisted tape with twist ratio (y = 2.93) and cut depth w = 0.5 cm offered 10% enhancement of the average Nusselt number with significant increases in friction factor than those of Classical twisted tape.
In this paper, a novel design approach for a phase to sinusoid amplitude converter (PSAC) has been investigated. Two segments have been used to approximate the first sine quadrant. A first linear segment is used to fit the region near the zero point, while a second fourth-order parabolic segment is used to approximate the rest of the sine curve. The phase sample, where the polynomial changed, was chosen in such a way as to achieve the maximum spurious free dynamic range (SFDR). The invented direct digital frequency synthesizer (DDFS) has been encoded in VHDL and post simulation was carried out. The synthesized architecture exhibits a promising result of 90 dBc SFDR. The targeted structure is expected to show advantages for perceptible reduction of hardware resources and power consumption as well as high clock speeds.
Rattleback is a canoe-shaped object, already known from ancient times, exhibiting a nontrivial rotational behaviour. Although its shape looks symmetric, its kinematic behaviour seems to be asymmetric. When spun in one direction it normally rotates, but when it is spun in the other direction it stops rotating and oscillates until it finally starts rotating in the other direction. It has already been reported that those oscillations demonstrate chaotic characteristics. In this paper, rattleback's chaotic dynamics are studied by applying Kane's model for different sets of (experimentally decided) parameters, which correspond to three different experimental prototypes made of wax, gypsum, and lead-solder. The emerging chaotic behaviour in all three cases has been studied and evaluated by the related time-series analysis and the calculation of the strange attractors' invariant parameters.
In this paper, a numerical method for the solution of a strongly coupled reaction-diffusion system, with suitable initial and Neumann boundary conditions, by using cubic B-spline collocation scheme on a uniform grid is presented. The scheme is based on the usual finite difference scheme to discretize the time derivative while cubic B-spline is used as an interpolation function in the space dimension. The scheme is shown to be unconditionally stable using the von Neumann method. The accuracy of the proposed scheme is demonstrated by applying it on a test problem. The performance of this scheme is shown by computing L∞ and L2 error norms for different time levels. The numerical results are found to be in good agreement with known exact solutions.
One of the major flow phenomena associated with low Reynolds number flow is the formation of separation bubbles on an airfoil's surface. NACA4415 airfoil is commonly used in wind turbines and UAV applications. The stall characteristics are gradual compared to thin airfoils. The primary criterion set for this work is the capture of laminar separation bubble. Flow is simulated for a Reynolds number of 120,000. The numerical analysis carried out shows the advantages and disadvantages of a few turbulence models. The turbulence models tested were: one equation Spallart Allmars (S-A), two equation SST K-ω, three equation Intermittency (γ) SST, k-kl-ω and finally, the four equation transition γ-Reθ SST. However, the variation in flow physics differs between these turbulence models. Procedure to establish the accuracy of the simulation, in accord with previous experimental results, has been discussed in detail.
Experimental design focuses on describing or explaining the multifactorial interactions that are hypothesized to reflect the variation. The design introduces conditions that may directly affect the variation, where particular conditions are purposely selected for observation. Combinatorial design theory deals with the existence, construction and properties of systems of finite sets whose arrangements satisfy generalized concepts of balance and/or symmetry. In this work, borrowing the concept of "balance" in combinatorial design theory, a novel method for multifactorial bio-chemical experiments design is proposed, where balanced templates in combinational design are used to select the conditions for observation. Balanced experimental data that covers all the influencing factors of experiments can be obtianed for further processing, such as training set for machine learning models. Finally, a software based on the proposed method is developed for designing experiments with covering influencing factors a certain number of times.
The aim of the present paper is to investigate coefficient estimates, Fekete-Szegő inequality, and upper bound of third Hankel determinant for some families of starlike and convex functions of reciprocal order.
A numerical investigation of incompressible and transient flow around circular pipe has been carried out at different five gap phases. Flow equations such as Navier-Stokes and continuity equations have been solved using finite volume method. Unsteady horizontal velocity and kinetic energy square root profiles are plotted using different turbulence models and their sensitivity is checked against published experimental results. Flow parameters such as horizontal velocity under pipe, pressure coefficient, wall shear stress, drag coefficient, and lift coefficient are studied and presented graphically to investigate the flow behavior around an immovable pipe and scoured bed.
Due to the budgetary deadlines and time to market constraints, it is essential to prioritize software requirements. The outcome of requirements prioritization is an ordering of requirements which need to be considered first during the software development process. To achieve a high quality software system, both functional and nonfunctional requirements must be taken into consideration during the prioritization process. Although several requirements prioritization methods have been proposed so far, no particular method or approach is presented to consider both functional and nonfunctional requirements during the prioritization stage. In this paper, we propose an approach which aims to integrate the process of prioritizing functional and nonfunctional requirements. The outcome of applying the proposed approach produces two separate prioritized lists of functional and non-functional requirements. The effectiveness of the proposed approach has been evaluated through an empirical experiment aimed at comparing the approach with the two state-of-the-art-based approaches, analytic hierarchy process (AHP) and hybrid assessment method (HAM). Results show that our proposed approach outperforms AHP and HAM in terms of actual time-consumption while preserving the quality of the results obtained by our proposed approach at a high level of agreement in comparison with the results produced by the other two approaches.
A new iterative scheme has been constructed for finding minimal solution of a rational matrix equation of the form X + A*X (-1) A = I. The new method is inversion-free per computing step. The convergence of the method has been studied and tested via numerical experiments.
Security-mediated cryptography was first introduced by Boneh et al. in 2001. The main motivation behind security-mediated cryptography was the capability to allow instant revocation of a user's secret key by necessitating the cooperation of a security mediator in any given transaction. Subsequently in 2003, Boneh et al. showed how to convert a RSA-based security-mediated encryption scheme from a traditional public key setting to an identity-based one, where certificates would no longer be required. Following these two pioneering papers, other cryptographic primitives that utilize a security-mediated approach began to surface. However, the security-mediated identity-based identification scheme (SM-IBI) was not introduced until Chin et al. in 2013 with a scheme built on bilinear pairings. In this paper, we improve on the efficiency results for SM-IBI schemes by proposing two schemes that are pairing-free and are based on well-studied complexity assumptions: the RSA and discrete logarithm assumptions.