Tree indiscernibilities, revisited

We give definitions that distinguish between two notions of indiscernibility for a set \{a_\eta \mid \eta \in \W\} that saw original use in \cite{sh90}, which we name \textit{\s-} and \textit{\n-indiscernibility}. Using these definitions and detailed proofs, we prove \s- and \n-modeling theorems and give applications of these theorems. In particular, we verify a step in the argument that TP is equivalent to TP$_1$ or TP$_2$ that has not seen explication in the literature. In the Appendix, we exposit the proofs of \citep[{App. 2.6, 2.7}]{sh90}, expanding on the details.Comment: submitte

Predictors of Successful Trial without Catheter for Postoperative Urinary Retention Following Non-Urological Surgery

Purpose To investigate the success rate of trial without catheter (TWOC) for postoperative urinary retention (POUR) after non-urological surgery and to determine predictors of successful TWOC. Methods A total of 104 patients who underwent non-urological surgery and were referred to the department of urology for POUR were included in this retrospective study. All eligible patients underwent indwelling catheterization as an initial treatment and then TWOC was performed 3 to 7 days later. POUR was defined as micturition difficulty with greater than 400 mL of postvoid residual (PVR) urine volume measured by catheterization after non-urological surgery. Successful TWOC was defined as voiding with less than 100 mL of PVR urine volume. Predictive factors were identified by multivariate regression analysis. All definitions corresponded to recommendations of the International Continence Society. Results The mean age of the patients was 65.2 (range, 23 to 92) years. There were 45 male and 59 female patients. Intraoperative indwelling catheterization was performed in 69 (66.3%) patients. Mean duration of indwelling catheterization for POUR was 5.0 (range, 3.0 to 7.0) days and 83 (79.8%) patients received medication with an alpha-blocker. A successful TWOC was observed in 70 (67.4%) patients. The mean age of the patients with failure of TWOC was significantly higher than that of the patients with successful TWOC. The percentages of female patients, spinal surgery, and prone position during surgery in patients with unsuccessful TWOC were higher than in those with successful TWOC. In the multivariate logistic regression analysis, age and location of surgery (spine vs. non-spine) were the independent predictors of successful TWOC for POUR. Conclusions Our data suggest that older age and spinal surgery may be important risk factors for failure of TWOC for POUR after non-urological surgery. Thus, adequate prevention measures may be necessary for POUR after non-urological surgery, especially in patients with these risk factors

Clinical risk factors associated with the development of wheezing in children less than 2 years of age who required hospitalization for viral lower respiratory tract infections

PurposeWheezing following viral lower respiratory tract infections (LRTIs) in children <2 years of age is an important risk factor for the development of asthma later in life; however, not all children with viral LRTIs develop wheezing. This study investigated risk factors for the development of wheezing during viral LRTIs requiring hospitalization.MethodsThe study included 142 children <2 years of age hospitalized for LRTIs with at least one virus identified as the cause and classified them into children diagnosed with LRTIs with wheezing (n=70) and those diagnosed with LRTIs without wheezing (n=72).ResultsThere were no significant differences in the viruses detected between the two groups. Multivariate logistic regression analysis showed that, after adjusting for potentially confounding variables including sex and age, the development of wheezing was strongly associated with parental history of allergic diseases (adjusted odds ratio [aOR], 20.19; 95% confidence interval [CI], 3.22-126.48), past history of allergic diseases (aOR, 13.95; 95% CI, 1.34-145.06), past history of hospitalization for respiratory illnesses (aOR, 21.36; 95% CI, 3.77-120.88), exposure to secondhand smoke at home (aOR, 14.45; 95% CI, 4.74-44.07), and total eosinophil count (aOR, 1.01; 95% CI, 1.01-1.02).ConclusionPast and parental history of allergic diseases, past history of hospitalization for respiratory illnesses, exposure to secondhand smoke at home, and total eosinophil count were closely associated with the development of wheezing in children <2 years of age who required hospitalization for viral LRTIs. Clinicians should take these factors into consideration when treating, counseling, and monitoring young children admitted for viral LRTIs

Modeling and Implementation of Probability-Based Underwater Docking Assessment Index

The goal of underwater docking is to safely insert an autonomous underwater vehicle (AUV) into the docking sleeve of a docking station (DS). However, AUVs frequently experience disturbances in their operating environment under motional constraints owing to their shapes, which can significantly impede successful docking missions. Therefore, it is essential to develop an assessment method and corresponding index representing feasibility. In this study, we suggest a new assessment method and a probability-based assessment index to assess the underwater docking process, considering aforementioned motional constraints. The assessment is made for both the position and heading angle of the AUV, with the results presented in probabilistic figures. These figures are used to estimate the assessment index, which represents the probability of successful docking. The final decision on whether to dock or not can be made based on this index. When the index exceeds a predefined threshold, it indicates that the current docking process is reliable, and the docking will be successful. The suggested assessment method and the index were validated through tests conducted in various underwater environments. The results show that the probability-based index estimated through the proposed method can be grounds for successful docking

Design and Motion Simulation of an Underwater Glider in the Vertical Plane

Net buoyancy, as the main power source for the motion of an underwater glider, is affected by the pump or bladder that the glider adopts to change its buoyancy force in water. In this study, a new underwater glider that can dive to a depth of 400 m at a cruising speed of 2 knots, which is faster than conventional underwater gliders and is less affected by sea currents, is investigated. The UG resisting 400 m pressure on the buoyancy engine and achieving 2 knots’ speed was designed and constructed. For this UG, its steady-state attitude was studied according to the variance of the buoyancy center and the center of gravity with the buoyancy engine influenced by the displacement of the movable mass block. In motion simulation of the UG, the attitude of the UG under different displacement conditions was simulated in Simulink according to the displacements of the piston and the movable mass block. To validate the simulation performance, a UG was constructed and experiments were conducted. The simulation and experimental results were compared to show the reliability of the simulation results under limited conditions