The “Generator” of Int-Soft Filters on Residuated Lattices

In this paper, we give the “generator” of int-soft filters and propose the notion of t-int-soft filters on residuated lattices. We study the properties of t-int-soft filters and obtain some commonalities (e.g., the extension property, quotient characteristics, and a triple of equivalent characteristics). We also use involution-int-soft filters as an example and show some basic properties of involution-int-soft filters. Finally, we investigate the relations among t-int-soft filters and give a simple method for judging their relations

Thoracoscopic Surgery for Glomus Tumor: An Uncommon Mediastinal Neoplasm and Iatrogenic Tracheal Rupture

Mediastinal glomus tumors are rarely recognized, and only seven cases have been reported in the literature. Here, we describe a rare mediastinal glomus tumor and review the characteristics of this rare clinical case. The patient was a 50-year-old female who presented with coughing for 3 months. Her chest computed tomography scan demonstrated a localized tumor in the posterior superior mediastinum. Intraoperatively, we found a longitudinal rupture of the membranous trachea above the carina. We completely resected the tumor and repaired the tracheal rupture under a thoracoscopy using a pedicled muscle flap. The tissue was diagnosed as a mediastinal glomus tumor according to its histological and immunophenotypic characteristics

Dynamic rolling horizon scheduling of waterborne AGVs for inter terminal transport

The demand for transport between terminals within port areas, known as inter terminal transport (ITT), is increasing. This paper proposes a dynamic rolling horizon scheduling strategy for ITT using waterborne Autonomous Guided Vessels (waterborne AGVs). The strategy is dynamic in that it can handle the dynamically arriving ITT requests and adapt transport schedules accordingly in real time. Specifically, every certain period of time, we formulate and solve a pick-up and delivery problem considering the dynamic vessel states, waterway network topology, and ITT requests over a future time horizon. In the dynamic setting, waterborne AGVs are allowed to divert from the previously scheduled destination. Moreover, the distances between terminals are not calculated simply as the Euclidean metric but based on the complex port waterway network, which complicates the dynamic problem even more. Time windows of ITT requests, capacity constraints of waterborne AGVs and load/unload service times at terminals are also taken into account. A waterborne ITT transport network in the Port of Rotterdam is constructed. Simulation results demonstrate the effectiveness of the proposed dynamic scheduling strategy.</p

Improved Algorithms for Calculating the Space-Charge Field in Vacuum Devices

The space-charge field (SCF) is a key factor in vacuum electronic devices, accelerators, free electron lasers and plasma systems, etc. The calculation of the SCF is very important since it has a great influence on the precision of numerical simulation results. However, calculating the SCF usually takes a lot of time, especially when the number of simulated particles is large. In this paper, we used a vectorization, parallelization and truncation method to optimize the calculation of the SCF based on the traditional calculation algorithms. To verify the validity of the optimized SCF calculation algorithm, it was applied in the performance simulation of a millimeter wave traveling wave tube. The results showed that the time cost was reduced by three orders compared with conventional treatment. The proposed algorithm also has great potential applications in free electron lasers, accelerators and plasma systems

Improved Algorithms for Calculating the Space-Charge Field in Vacuum Devices

The space-charge field (SCF) is a key factor in vacuum electronic devices, accelerators, free electron lasers and plasma systems, etc. The calculation of the SCF is very important since it has a great influence on the precision of numerical simulation results. However, calculating the SCF usually takes a lot of time, especially when the number of simulated particles is large. In this paper, we used a vectorization, parallelization and truncation method to optimize the calculation of the SCF based on the traditional calculation algorithms. To verify the validity of the optimized SCF calculation algorithm, it was applied in the performance simulation of a millimeter wave traveling wave tube. The results showed that the time cost was reduced by three orders compared with conventional treatment. The proposed algorithm also has great potential applications in free electron lasers, accelerators and plasma systems

Dynamic rolling horizon scheduling of waterborne AGVs for inter terminal transport

The demand for transport between terminals within port areas, known as inter terminal transport (ITT), is increasing. This paper proposes a dynamic rolling horizon scheduling strategy for ITT using waterborne Autonomous Guided Vessels (waterborne AGVs). The strategy is dynamic in that it can handle the dynamically arriving ITT requests and adapt transport schedules accordingly in real time. Specifically, every certain period of time, we formulate and solve a pick-up and delivery problem considering the dynamic vessel states, waterway network topology, and ITT requests over a future time horizon. In the dynamic setting, waterborne AGVs are allowed to divert from the previously scheduled destination. Moreover, the distances between terminals are not calculated simply as the Euclidean metric but based on the complex port waterway network, which complicates the dynamic problem even more. Time windows of ITT requests, capacity constraints of waterborne AGVs and load/unload service times at terminals are also taken into account. A waterborne ITT transport network in the Port of Rotterdam is constructed. Simulation results demonstrate the effectiveness of the proposed dynamic scheduling strategy.Accepted Author ManuscriptTransport Engineering and Logistic

Sensory Evaluation and Model Prediction of Vacuum-Packed Fresh Corn during Long-Term Storage

The postharvest shelf life of fresh corn largely depends on the packaging method and storage temperature. This study investigated the effect of vacuum packaging (VP) with high-barrier (HB) or ordinary (OR) nylon/nylon/polypropylene (PP) composite films and the impact of storage temperature (4, 25, and 38 &deg;C) on the shelf life of fresh corn. The sensory quality and color changes of the corn were evaluated, indicating a significant improvement in the glossiness (GL), sourness (SO), and color changes compared to corn packaged using OR films. The results showed that the HB films preserved corn freshness under refrigerated and normal temperature storage conditions, delaying color changes and SO development. A shelf-life model was established based on the Arrhenius equation. The predicted values of the corn at different temperatures were compared with the experimental data, indicating that the model could accurately predict the shelf life. The shelf life observed via sensory evaluation was more than 50% shorter than the results obtained by instrumental measurements. Therefore, sensory evaluation could be applied to determine shelf life and avoid food waste

Spirometra mansoni sparganosis identified by metagenomic next-generation sequencing: a case report

A 30-year-old male patient had a cyst on the left hip and progressive enlargement for more than 2 months. Combined blood tests, magnetic resonance imaging, and pathology findings, cysticercosis infection was suspected. However, the treatment for cysticercosis was ineffective. We conducted a metagenomic next-generation sequencing (mNGS) analysis on the formalin-fixed, paraffin-embedded specimen of the patient's surgically excised tissue, and the results suggested Spirometra mansoni, mNGS was further confirmed by polymerase chain reaction and phylogenetic analysis of cytochrome c oxidase subunit 1 (cox1) gene. Based on these results, we found that mNGS provided a better method of diagnosing parasitic infections