Effects of Langmuir Kinetics of Two-Lane Totally Asymmetric Exclusion Processes in Protein Traffic

In this paper, we study a two-lane totally asymmetric simple exclusion process (TASEP) coupled with random attachment and detachment of particles (Langmuir kinetics) in both lanes under open boundary conditions. Our model can describe the directed motion of molecular motors, attachment and detachment of motors, and free inter-lane transition of motors between filaments. In this paper, we focus on some finite-size effects of the system because normally the sizes of most real systems are finite and small (e.g., size $\leq 10,000$). A special finite-size effect of the two-lane system has been observed, which is that the density wall moves left first and then move towards the right with the increase of the lane-changing rate. We called it the jumping effect. We find that increasing attachment and detachment rates will weaken the jumping effect. We also confirmed that when the size of the two-lane system is large enough, the jumping effect disappears, and the two-lane system has a similar density profile to a single-lane TASEP coupled with Langmuir kinetics. Increasing lane-changing rates has little effect on density and current after the density reaches maximum. Also, lane-changing rate has no effect on density profiles of a two-lane TASEP coupled with Langmuir kinetics at a large attachment/detachment rate and/or a large system size. Mean-field approximation is presented and it agrees with our Monte Carlo simulations.Comment: 15 pages, 8 figures. To be published in IJMP

DeepFuzzer: Accelerated Deep Greybox Fuzzing

Fuzzing is one of the most effective vulnerability detection techniques, widely used in practice. However, the performance of fuzzers may be limited by their inability to pass complicated checks, inappropriate mutation frequency, arbitrary mutation strategy, or the variability of the environment. In this paper, we present DeepFuzzer, an enhanced greybox fuzzer with qualified seed generation, balanced seed selection, and hybrid seed mutation. First, we use symbolic execution in a lightweight approach to generate qualified initial seeds which then guide the fuzzer through complex checks. Second, we apply a statistical seed selection algorithm to balance the mutation frequency between different seeds. Further, we develop a hybrid mutation strategy. The random and restricted mutation strategies are combined to maintain a dynamic balance between global exploration and deep search. We evaluate DeepFuzzer on the widely used benchmark Google fuzzer-test-suite which consists of real-world programs. Compared with AFL, AFLFast, FairFuzz, QSYM, and MOPT in the 24-hour experiment, DeepFuzzer discovers 30%, 240%, 102%, 147%, and 257% more unique crashes, executes 40%, 36%, 36%, 98%, and 15% more paths, and covers 37%, 34%, 34%, 101%, and 11% more branches, respectively. Furthermore, we present the practice of fuzzing a message middleware from Huawei with DeepFuzzer, and 9 new vulnerabilities are reported

Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design

Cyber-physical systems (CPSs) are built from, and depend upon, the seamless integration of software and hardware components. The most important challenge in CPS design and verification is to design CPS to be reliable in a variety of uncertainties, i.e., unanticipated and rapidly evolving environments and disturbances. The costs, delays and reliability of the designed CPS are highly dependent on software-hardware partitioning in the design. The key challenges in partitioning CPSs is that it is difficult to formalize reliability characterization in the same way as the uncertain cost and time delay. In this paper, we propose a new CPS design paradigm for reliability assurance while coping with uncertainty. To be specific, we develop an uncertain programming model for partitioning based on the uncertainty theory, to support the assured reliability. The uncertainty effect of the cost and delay time of components to be implemented can be modeled by the uncertainty variables with uncertainty distributions, and the reliability characterization is recursively derived. We convert the uncertain programming model and customize an improved heuristic to solve the converted model. Experiment results on some benchmarks and random graphs show that the uncertain method produces the design with higher reliability. Besides, in order to demonstrate the effectiveness of our model for in coping with uncertainty in design stage, we apply this uncertain framework and existing deterministic models in the design process of a sub-system that is used in real world subway control. The system implemented based on the uncertain model works better than the result of deterministic models. The proposed design paradigm has the potential to be generalized to the design of CPSs for greater assurances of safety and security under a variety of uncertainties

Bouncing Universe with Quintom Matter

The bouncing universe provides a possible solution to the Big Bang singularity problem. In this paper we study the bouncing solution in the universe dominated by the Quintom matter with an equation of state (EoS) crossing the cosmological constant boundary. We will show explicitly the analytical and numerical bouncing solutions in three types of models for the Quintom matter with an phenomenological EoS, the two scalar fields and a scalar field with a modified Born-Infeld action.Comment: 7 pages, 5 figure

Simulation Research on Very-Low-Level γ Ray Radiation Field Scattering Radiation

In order to build a very-low-level γ ray radiation field and its magnitude transfer system，the scattering contribution caused by different mechanical device structure is researched based on the experimental conditions of the Jinping underground laboratory in China. In this research，the Monte Carlo model of the irradiation device，the magnitude transfer detector，and the internal transmission structure of the shielding box were built in the MCNP5 software. After that，the scattering contribution caused by three spatial variables: the emission angle of the irradiation device，the distance between the detector and the edge of the shielding box，and the distance between the source and the detector，was simulated，and the appropriate device design and layout scheme were obtained. The emission angle of 20°，30° and 40° were used in this research. The energy deposition in sensitive area (with/without the shielding box) was recorded under three different distances between the source and the detector. Three locations of the irradiation device were designed to analyze the change of energy deposition caused by the change of locations. The energy deposition in sensitive area was simulated under more distances between the source and the detector. According to the data，the increase in energy deposition with the emission angle of 20° is less than that caused by the emission angle of 30° and 40°，and the increase in energy deposition is less when the irradiation device is far from the edge of the shielding box. In this research，energy deposition caused by scattering radiation under various irradiation conditions were obtained and analyzed，the device design and layout in the radiation field were optimized，and the idea for establishing an extremely-low-background radiation field was provided

A String-Inspired Quintom Model Of Dark Energy

We propose in this paper a quintom model of dark energy with a single scalar field $\phi$ given by the lagrangian ${\cal L}=-V(\phi)\sqrt{1-\alpha^\prime\nabla_{\mu}\phi\nabla^{\mu}\phi +\beta^\prime \phi\Box\phi}$. In the limit of $\beta^\prime\to$0 our model reduces to the effective low energy lagrangian of tachyon considered in the literature. We study the cosmological evolution of this model, and show explicitly the behaviors of the equation of state crossing the cosmological constant boundary.Comment: 6 pages, 4 figures, accepted by PL

Preliminary study of improving immune tolerance in vivo of bioprosthetic heart valves through a novel antigenic removal method

The durability of bioprosthetic heart valves is always compromised by the inherent antigenicity of biomaterials. Decellularization has been a promising approach to reducing the immunogenicity of biological valves. However, current methods are insufficient in eliminating all immunogenicity from the biomaterials, necessitating the exploration of novel techniques. In this study, we investigated using a novel detergent, fatty alcohol polyoxyethylene ether sodium sulfate (AES), to remove antigens from bovine pericardium. Our results demonstrated that AES treatment achieved a higher pericardial antigen removal rate than traditional detergent treatments while preserving the mechanical properties and biocompatibility of the biomaterials. Moreover, we observed excellent immune tolerance in the in vivo rat model. Overall, our findings suggest that AES treatment is a promising method for preparing biological valves with ideal clinical application prospects

Oscillating Quintom and the Recurrent Universe

Current observations seem to mildly favor an evolving dark energy with the equation of state getting across -1. This form of dark energy, dubbed Quintom, is studied phenomenologically in this paper with an oscillating equation of state. We find oscillating Quintom can unify the early inflation and current acceleration of the universe, leading to oscillations of the Hubble constant and a recurring universe. Our oscillating Quintom would not lead to a big crunch nor big rip. The scale factor keeps increasing from one period to another and leads naturally to a highly flat universe. The universe in this model recurs itself and we are only staying among one of the epochs, in which sense the coincidence problem is reconciled.Comment: PLB published versio