Towards Ontology-Based Program Analysis

Program analysis is fundamental for program optimizations, debugging, and many other tasks. But developing program analyses has been a challenging and error-prone process for general users. Declarative program analysis has shown the promise to dramatically improve the productivity in the development of program analyses. Current declarative program analysis is however subject to some major limitations in supporting cooperations among analysis tools, guiding program optimizations, and often requires much effort for repeated program preprocessing. In this work, we advocate the integration of ontology into declarative program analysis. As a way to standardize the definitions of concepts in a domain and the representation of the knowledge in the domain, ontology offers a promising way to address the limitations of current declarative program analysis. We develop a prototype framework named PATO for conducting program analysis upon ontology-based program representation. Experiments on six program analyses confirm the potential of ontology for complementing existing declarative program analysis. It supports multiple analyses without separate program preprocessing, promotes cooperative Liveness analysis between two compilers, and effectively guides a data placement optimization for Graphic Processing Units (GPU)

Test-Time Adaptation for Nighttime Color-Thermal Semantic Segmentation

The ability to scene understanding in adverse visual conditions, e.g., nighttime, has sparked active research for RGB-Thermal (RGB-T) semantic segmentation. However, it is essentially hampered by two critical problems: 1) the day-night gap of RGB images is larger than that of thermal images, and 2) the class-wise performance of RGB images at night is not consistently higher or lower than that of thermal images. we propose the first test-time adaptation (TTA) framework, dubbed Night-TTA, to address the problems for nighttime RGBT semantic segmentation without access to the source (daytime) data during adaptation. Our method enjoys three key technical parts. Firstly, as one modality (e.g., RGB) suffers from a larger domain gap than that of the other (e.g., thermal), Imaging Heterogeneity Refinement (IHR) employs an interaction branch on the basis of RGB and thermal branches to prevent cross-modal discrepancy and performance degradation. Then, Class Aware Refinement (CAR) is introduced to obtain reliable ensemble logits based on pixel-level distribution aggregation of the three branches. In addition, we also design a specific learning scheme for our TTA framework, which enables the ensemble logits and three student logits to collaboratively learn to improve the quality of predictions during the testing phase of our Night TTA. Extensive experiments show that our method achieves state-of-the-art (SoTA) performance with a 13.07% boost in mIoU

Diamond Deposition on Graphite in Hydrogen Microwave Plasma

Hydrogen plasma etching of graphite generates radicals that can be used for diamond synthesis by chemical vapor deposition (CVD). We studied the etching of polycrystalline graphite by a hydrogen microwave plasma, growth of diamond particles of the non-seeded graphite substrates, and characterized the diamond morphology, grain size distribution, growth rate, and phase purity. The graphite substrates served simultaneously as a carbon source, this being the specific feature of the process. A disorder of the graphite surface structure reduces as the result of the etching as revealed with Raman spectroscopy. The diamond growth rate of 3 – 5 µm/h was achieved, the quality of the produced diamond grains improving with growth time due to inherently nonstationary graphite etching process

Tryptophan-based carbon dots as fluorescent probe for detection of Pb2+ and Fe3+ ions

A Probe for metal ions based on carbon dots (CDs) has been prepared. A one-step method has been developed to synthesize the probe using tryptophan as the recognizing group. The synthesized probe has been evaluated for metal ions’ detection. The results show increase in fluorescence in the presence of Pb2+, over other 14 metal ions, illustrating the selective and sensitive detection of Pb2+

The relationship between internal and external factors about the outpatients’ choice of hospital: A cross‐sectional study from Jiaxing City, China

Abstract Background and Aims Exploring the mechanism influencing the choice of hospital among patients is important to render better care to them. The main purpose of this study is to evaluate the relationship between outpatients’ different internal factors (sociodemographic and psychological characteristics) and different external factors (provider characteristics) regarding their choice of hospital. Methods The data obtained via questionnaire was analyzed with a linear regression model to verify the relationship between outpatients’ internal and external factors. In addition, for external factors, we built a score reflecting a comprehensive hospital's “hard power” (diagnosis and treatment technology and expertise, i.e., to say, the curative capability) and “soft power” (whether the environment for seeing a doctor is convenient and cheap, etc.) factors which influence the choice of outpatients, and the factors were given different points and weighted according to the option's order of the questionnaire. Results We did not see evidence that internal factors such as gender, age, birthplace, and having or not having medical insurance had an effect on the comprehensive external factors of the hospital's choice (p > 0.05). However, statistically significant differences were found (p < 0.001) that outpatients who usually resided near Jiaxing valued hospitals’ “hard power” to a greater extent than did outpatients who lived in Jiaxing city, otherwise, “soft power” was prioritized. Similarly, outpatients who recognized themselves as having serious diseases valued hospitals’ “hard power” to a greater extent than those with moderate or minor diseases, otherwise, “soft power” was prioritized (p = 0.03). Conclusion By enhancing the hospital's “soft power,” the managers of small hospitals could attract different outpatients from large hospitals, such as outpatients with minor or moderate diseases. Moreover, the regional health service organizations should promote the building of first‐ and second‐level hospitals near cities to retain more outpatients and to achieve outpatients’ diversion from large tertiary hospitals

Multifunctional NaLnF4@MOF-Ln Nanocomposites with Dual-Mode Luminescence for Drug Delivery and Cell Imaging

Multifunctional nanomaterials for bioprobe and drug carrier have drawn great attention for their applications in the early monitoring the progression and treatment of cancers. In this work, we have developed new multifunctional water-soluble NaLnF4@MOF-Ln nanocomposites with dual-mode luminescence, which is based on stokes luminescent mesoporous lanthanide metal&ndash;organic frameworks (MOFs-Y:Eu3+) and anti-stokes luminescent NaYF4:Tm3+/Yb3+ nanoparticles. The fluorescence mechanism and dynamics are investigated and the applications of these nanocomposites as bioprobes and drug carriers in the cancer imaging and treatment are explored. Our results demonstrate that these nanocomposites with the excellent two-color emission show great potential in drug delivery, cancer cell imaging, and treatment, which are attributed to the unique spatial structure and good biocompatibility characteristics of NaLnF4@MOF-Ln nanocomposites

Tryptophan-based carbon dots as fluorescent probe for detection of Pb²⁺ and Fe³⁺ ions

1270-1274A Probe for metal ions based on carbon dots (CDs) has been prepared. A one-step method has been developed to synthesize the probe using tryptophan as the recognizing group. The synthesized probe has been evaluated for metal ions’ detection. The results show increase in fluorescence in the presence of Pb2+, over other 14 metal ions, illustrating the selective and sensitive detection of Pb2+

Electrochemical and Capacitive Properties of Carbon Dots/Reduced Graphene Oxide Supercapacitors

There is much recent interest in graphene-based composite electrode materials because of their excellent mechanical strengths, high electron mobilities, and large specific surface areas. These materials are good candidates for applications in supercapacitors. In this work, a new graphene-based electrode material for supercapacitors was fabricated by anchoring carbon dots (CDs) on reduced graphene oxide (rGO). The capacitive properties of electrodes in aqueous electrolytes were systematically studied by galvanostatic charge-discharge measurements, cyclic voltammetry, and electrochemical impedance spectroscopy. The capacitance of rGO was improved when an appropriate amount of CDs were added to the material. The CD/rGO electrode exhibited a good reversibility, excellent rate capability, fast charge transfer, and high specific capacitance in 1 M H2SO4. Its capacitance was as high as 211.9 F/g at a current density of 0.5 A/g. This capacitance was 74.3% higher than that of a pristine rGO electrode (121.6 F/g), and the capacitance of the CD/rGO electrode retained 92.8% of its original value after 1000 cycles at a CDs-to-rGO ratio of 5:1

Experimental Analysis on the Thermal Management of Lithium-Ion Batteries Based on Phase Change Materials

Temperature is an important factor affecting the working efficiency and service life of lithium-ion battery (LIB). This study carried out the experiments on the thermal performances of Sanyo ternary and Sony LiFePO4 batteries under different working conditions including extreme conditions, natural convection cooling and phase change material (PCM) cooling. The results showed that PCM could absorb some heat during the charging and discharging process, effectively reduce the temperature and keep the capacity stable. The average highest temperature of Sanyo LIB under PCM cooling was about 54.4 &deg;C and decreased about 12.3 &deg;C compared with natural convection in the 2 C charging and discharging cycles. It was found that the addition of heat dissipation fins could reduce the surface temperature, but the effect was not obvious. In addition, the charge and discharge cycles of the two kinds of LIBs were compared at the discharge rates of 1 C and 2 C. Compared with natural convection cooling, the highest temperature of Sanyo LIB with PCM cooling decreased about 4.7 &deg;C and 12.8 &deg;C for 1 C and 2 C discharging respectively, and the temperature of Sony LIB highest decreased about 1.1 &deg;C and 2 &deg;C