Search NASA⌕ Search

SEARCH · Search NASA

Results for “Cause identification”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 145 records · Page 8

Staphylococcus pseudintermedius 5'-nucleotidase suppresses canine phagocytic activity

Staphylococcus pseudintermedius is a major opportunistic bacterial pathogen and the leading cause of pyoderma in dogs. In canines it is also often associated with infections of the urinary system and wounds and occasionally infects people. Widespread antimicrobial resistance has made the development of alternative treatments a high priority. The development of a staphylococcal vaccine, however, has proven challenging. Identification of virulence factors that inhibit phagocytosis and avoid innate immunity may play a significant role in preventing or treating infection with S. pseudintermedius. In this study, we identified a putative 5'-nucleotidase provisionally named SpAdsA, a S. pseudintermedius cell- wall protein encoded by SpAdsA. SpAdsA shares approximately 52% identity with the orthologous protein of Staphylococcus aureus and 14.8% identity with that of Streptococcus suis type2. It catalyzes the dephosphorylation of adenosine triphosphate and attenuation of this enzyme with critical amino acid substitutions nearly eliminated its hydrolytic activity. Furthermore, exogenous adenosine inhibited phagocytosis of S. pseudintermedius by canine neutrophils and monocytes. Conversely, the addition of SpAdsA inhibitor or A2A adenosine receptor antagonist impaired the capacity of S. pseudintermedius to escape from killing by phagocytic cells. The neutralizing ability of canine antibody produced against SpAdsA-M was determined. Taken together, these results suggest that SpAdsA likely plays an important role in S. pseudintermedius virulence and that attenuated SpAdsA may be a good candidate for inclusion in a vaccine against S. pseudintermedius.

5'-nucleotidase↗

Chemical composition based machine learning model to predict defect formation in additive manufacturing

With a goal of exploiting additive manufacturing to improve the manufacturing of existing reactor materials, we developed a chemical composition-based machine learning model to predict the printability of any given alloy in laser powder bed fusion (L-PBF) using experimental data from peer-reviewed literature. We defined printability as the ability to avoid defects like cracking, balling, porosity, and lack of fusion, that are caused by thermal stresses (during solidification or liquation), molten pool disintegration into disconnected small beads or lack of heat input respectively. Our models predict the tendency of balling defect formation and porosity percentage for a given composition, under a given set of processing conditions. To predict the likelihood of balling defect, three models: a random forest classifier, a gradient boost regressor and a neural network were trained on a dataset containing both traditional alloys and high entropy alloys. The neural network model showed the highest accuracy of 92.3 % in predicting the balling defect formation. A random forest regressor, gradient boost regressor and neural network were trained and tested on a dataset of various alloys to predict porosity. The random forest regressor showed the best predictions with an R 2 score of 0.97. The models also revealed the relative importance of the input descriptors on defect-formation tendency. Of particular significance was the identification of carbon as an important element in determining the occurrence of balling and percent porosity in alloys like steel, as well as being moderately important to the percentage porosity in other alloys as well as steel. Manganese was also identified as a key descriptor for the percentage of porosity in steel and other alloys. Manganese’s low thermal conductivity and consistent presence in the dataset is the likely cause for its contribution. Carbon’s role is attributable to its relatively high specific heat and high melting temperature. In conclusion, our model serves as a swift, chemistry-based tool to design experiments and find modified compositions better suited for additive manufacturing.

36 MATERIALS SCIENCE↗

Drivers for the cracking of multilayer polyamide‐based backsheets in field photovoltaic modules: In‐depth degradation mapping analysis

Abstract There is a lack of understanding on the root cause of cracking of photovoltaic (PV) backsheets due to the challenge of multilayer characterization and the complicated failure modes at the submodule level. In this work, the in‐depth degradation mapping of field‐exposed polyamide‐based (PA‐based) PV module backsheets was studied, with the major focus on the identification of underlying drivers for the through cracking (in between the solar cells). PV modules were retrieved from five different locations, comprising a variety of climates, including humid subtropical, hot‐summer Mediterranean, tropical savanna climate, and hot arid. A suite of microscale cross‐sectional characterizations, including chemical changes, fluorescence intensity, and modulus as a function of distance from the air surface of the backsheet, was performed. Results showed more advanced signs of degradation of the inner layer than the outer layer in the cracking region. Increases in the modulus were identified as the major indicator for the cracking. Moreover, a rudimentary test by immersion in acetic acid, which forms during photodegradation of the ethylene‐vinyl acetate copolymer (EVA) encapsulant, showed the first‐time direct evidence that acetic acid can largely accelerate the chemical degradation and facilitate the cracking of PA inner layer. This study suggests that the field cracking of PA‐based backsheet can be attributed to the combined effects of chemical degradation and physical reorganization (chemi‐crystallization) under cyclic thermomechanical stresses. Therefore, it is important to consider effects of local microclimates and interlayer infection to understand the heterogeneous nature of backsheet failures.

Lyu, Yadong↗

Identification and Quantification of Beta-Emitters in Waste Packages by Segmented Gamma-Scanning - 20114

A commonly applied method for the non-destructive characterization of the radioactive inventory of waste packages (e.g. 200-l drums) is segmented gamma-scanning. The gamma-emitting inventory is identified via their characteristic lines in the measured spectra. The corresponding net peak areas allow for quantification applying appropriate models. The identification and quantification of beta-emitters present in the waste package require further evaluation. While some of them emit gamma-rays, too, which can be used for identification and quantification, pure beta-emitters contribute to the gamma-spectra only by their Bremsstrahlung-spectra. {sup 32}P, {sup 90}Sr and {sup 90}Y are typical representatives of these isotopes. A method is developed for identification and quantification of these pure beta-emitters in radioactive waste packages. Origin of the procedure is the evaluation of the measured gamma-spectrum. After the identification of all lines present in the spectrum (characteristic gamma-lines, single- and double-escape-lines, X-ray-lines, annihilation peak etc.) this information is used together with calibration data of the detection system and further a-priori information like matrix composition, cross-section data from databases etc. to simulate the spectra without the Bremsstrahlung-components by an appropriate method. This may be Monte Carlo simulations or, like in our case, a computer code taking into account mathematical descriptions of the physical effects like photo effect, (multiple) Compton scattering, backscattering etc. and the attenuation effects of the waste matrix. In any case, the resulting spectrum must simulate the real spectrum without its Bremsstrahlung-component as good as possible. Subtracting the simulated from the measured spectrum then results in the Bremsstrahlung-components caused by the beta-emitters. Prior to evaluation, a set of Bremsstrahlung-spectra is calculated and stored for different beta-emitters in different matrices using the Bethe-Heitler equation. This data set can be extended for new conditions, if necessary, and is allocated in a data base for future application. Applying a non-linear optimization using the generalized reduced gradient method for comparing the calculated with the derived Bremsstrahlung-spectra results in the identification of the beta-emitter and a factor, which is proportional to its activity. The proportionality is determined by previous calibration measurements. The application of the method is demonstrated by measurements on a 200-l mock-up drum and a real waste package. (authors)

07 ISOTOPE AND RADIATION SOURCES↗

A Data-driven Phytotechnology Framework for Identification and Remediation of Leached-Metals-Contaminated Soil Near Coal Ash Impoundments

This project developed and evaluated advanced remote sensing and machine learning approaches to identify, monitor, and address environmental contamination associated with coal combustion residual (CCR) impoundments and landfills at coal-fired power plants. In Phase I, historical and multi-temporal Sentinel-2 satellite imagery, groundwater monitoring data, and environmental variables were integrated to detect vegetation stress potentially caused by toxic metal leaching from coal ash disposal sites. Multiple vegetation and biophysical indices were analyzed to determine their effectiveness in identifying abnormal vegetation growth patterns linked to contamination. Results from case studies conducted at coal ash–impacted power plant sites in North Carolina and Virginia demonstrated that satellite-based vegetation monitoring can serve as an effective early indicator of environmental stress associated with metals such as arsenic, cadmium, cobalt, lead, lithium, radium, and thallium.

01 COAL, LIGNITE, AND PEAT↗

Post-Event Fault Identification with Machine Learning for Protection System Validation

Power system protection devices have transitioned over the past few decades from mechanical to analog devices, then to solid state and finally digital. Relays and their associated critical network of equipment have significantly increased in complexity. Even internally, relays have gained significant intricacy, with relatively simple overcurrent or differential functions now being assisted by a myriad of other functions. This is necessary as the grid becomes more complex, but it brings increased difficulty in monitoring and upkeep. Misoperation caused by accidental improper relay settings or deliberate malicious actions is a constant challenge faced by all utilities. These improper settings can be difficult to identify and may require exhaustive post-mortem analysis, typically after a major outage event has already occurred. A mechanism is needed for monitoring the behavior of protection systems to validate that their performance falls within expectations. Relays that fail to isolate a fault or trip when there is no system disturbance can be flagged for settings review in situations where this behavior may not have been noticed due to manual restoration or backup protection operations. This work presents a concept for a machine learning (ML) system capable of validating the performance of protection systems by identifying fault events and characterizing protection system responses based solely on available current and voltage measurements. As a first step in its development, an experimental dataset is generated, and a random forest model is implemented with high accuracy in distinguishing four power system scenarios.

24 - POWER TRANSMISSION AND DISTRIBUTION↗

JTAG-based PLC memory acquisition framework for industrial control systems

In industrial control systems (ICS), programmable logic controllers (PLC) are the embedded devices that directly control and monitor critical industrial infrastructure processes such as nuclear plants and power grid stations. Cyberattacks often target PLCs to sabotage a physical process. A memory forensic analysis of a suspect PLC can answer questions about an attack, including compromised firmware and manipulation of PLC control logic code and I/O devices. Given physical access to a PLC, collecting forensic information from the PLC memory at the hardware-level is risky and challenging. It may cause the PLC to crash or hang since PLCs have proprietary, legacy hardware with heterogeneous architecture. This paper addresses this research problem and proposes a novel JTAG (Joint Test Action Group)-based framework, Kyros, for reliable PLC memory acquisition. Kyros systematically creates a JTAG profile of a PLC through hardware assessment, JTAG pins identification, memory map creation, and optimizing acquisition parameters. It also facilitates the community of interest (such as ICS owners, operators, and vendors) to develop the JTAG profiles of PLCs. Further, we present a case study of Kyros implementation over Allen-Bradley 1756-A10/B to help understand the framework's application on a real-world PLC used in industry settings. The sample PLC memory dumps are shared with the research community to facilitate further research.

Rais, Muhammad Haris↗

Identification of hot water end-use process of electric water heaters from energy measurements

This paper presents an algorithm for the identification of parameters for a stochastic hot water end-use process that drives a homogeneous population of thermostatically controlled electric water heaters (EWH). Usually, only metered interval consumption data (kWh) is collected and the hot water end-use process is unobservable to utility and aggregators. However, the availability of EWHs for demand response (DR) is closely coupled with the hot water end-use process. In this context, the hot water end-use process is modeled as a two-state Markov chain (Use / No use), which causes the thermostatic ON-OFF switching process to behave as a Markov renewal process (MRP). A set of first passage-time problems is developed to obtain the moments of the transition probability densities of the MRP. These problems are addressed by establishing a system of coupled partial differential equations characterizing the temperature evolution of the EWH population. A key quantity in the methodology for estimating the parameters is the total time an EWH is ON within a period of interest. It is referred to as the total busy time. Total busy time in this approach is a random variable for which analytical expressions of the moments are developed as a function of the metered window length. The latter expressions become the basis of a hot water demand model identification algorithm which is validated using agent-based simulations of EWHs.

42 ENGINEERING↗

Using Systems Theoretic Process Analysis and Causal Analysis to Map and Manage Organizational Information to Enable Digitalization and Information Automation

The overarching goal of this Light Water Reactor Sustainability Program–supported research and development project is to provide planning tools and comprehensive guidance to utilities considering or undertaking full nuclear plant modernization. The results of this research will provide the nuclear industry with a comprehensive and usable solution, including guidance, lessons learned, methods, and planning tools. This research is currently working to provide guidance on digitalization and information automation to enable the evolution of data to information, insight, and action—thereby allowing utilities to operate safely and cost-competitively with all other electrical generation sources. Light Water Reactor Sustainability Program researchers have also recently started investigating how human and technology integration principles, information automation, and digitalization enable data evolution. These researchers are currently in the process of validating the use of System-Theoretic Process Analysis to define high-level safety constraints in the United States Nuclear Regulatory Commission’s problem identification and resolution process (i.e., a plant compliance information gathering activity). The next step in this research, which is described in the following sections of this report, is to map out data evolution in a use case to identify inefficiencies in another aspect of plant compliance information gathering and communication activities—event investigations and root cause analyses.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

A Data-Driven Framework for Power System Event Type Identification via Safe Semi-Supervised Techniques

Herein this paper investigates the use of phasor measurement unit (PMU) data with deep learning techniques to construct real-time event identification models for transmission networks. Increasing penetration of distributed energy resources represents a great opportunity to achieve decarbonization, as well as challenges in systematic situational awareness. When high-resolution PMU data and sufficient manually recorded event labels are available, the power event identification problem is defined as a statistical classification problem that can be solved by numerous cutting-edge classifiers. However, in real grids, collecting tremendous high-quality event labels is quite expensive. Utilities frequently have a large number of event records without in-depth details (i.e., unlabeled events). To bridge this gap, we propose a novel semi-supervised learning-based method to improve the performance of event classifiers trained with a limited number of labeled events by exploiting the information from massive unlabeled events. In other words, compared to existing data-driven methods, our method requires only a small portion of labeled data to achieve a similar level of accuracy. Meanwhile, this work discusses and addresses the performance degradation caused by class distribution mismatch between the training set and the real applications. Based on the proposed safe learning mechanism, our model does not directly use all unlabeled events during model training, but selectively uses them through a comprehensive evaluation procedure. Numerical studies on a sizable PMU dataset have been used to validate the performance of the proposed method.

42 ENGINEERING↗

Identification and mitigation of memory block timing issue in ITk ABCStar during ASIC production

The ABCStar is a mixed-signal front-end readout ASIC for the strips sensor portion of the ATLAS ITk detector being developed as part of the High-Luminosity LHC upgrade. In pre-production testing, a subtle design flaw was uncovered in the ABCStar that was reducing wafer yields in some manufactured lots from the expected 90% to as low as 2%. The root cause was determined to be a timing issue in the logic synthesized to control previously silicon proven memory blocks re-used for this ASIC. The solutions proposed included manufacturing process changes by the wafer foundry, changes to the operating parameters for the ABCStar in the detector, and the possibility that a redesign might be required. The two mitigation efforts were undertaken in parallel, with the process modification route a less desirable solution since already manufactured wafers would need to be scrapped in favour of the new ones. Based on a knowledge of the existing process, and testing done on the worst performing wafers, it was proposed that raising the core operating voltage of the ABCStar from 1.20V to 1.25V could address the timing issue by sufficiently speeding up its transistors. An extensive testing program that included the effects of temperature and radiation expected over the lifetime of the ITk detector was conducted to validate that approach. Those tests and studies proved that even the worst performing wafers would have yields over 80% with the 1.25V core voltage, and neither the modified process nor redesign would be required for ensuring reliable operation of the ITk. Based on testing, a further timing mitigation was implemented to provide an additional margin of reliability by increasing the duty cycle of the clock to the ABCStar. Testing of all ABCStar wafers has been completed and the production of the detector modules using these ASICs is now well underway as a result of the efforts detailed herein.

FOS: Physical sciences↗

Genomic analysis and identification of a novel superantigen, SargEY, in Staphylococcus argenteus isolated from atopic dermatitis lesions

During surveillance of Staphylococcus aureus in lesions from patients with atopic dermatitis (AD), we isolated Staphylococcus argenteus, a species registered in 2011 as a new member of the genus Staphylococcus and previously considered a lineage of S. aureus. Genome sequence comparisons between S. argenteus isolates and representative S. aureus clinical isolates from various origins revealed that the S. argenteus genome from AD patients closely resembles that of S. aureus causing skin infections. We previously reported that 17%–22% of S. aureus isolated from skin infections produce staphylococcal enterotoxin Y (SEY), which predominantly induces T-cell proliferation via the T-cell receptor (TCR) Vα pathway. Complete genome sequencing of S. argenteus isolates revealed a gene encoding a protein similar to superantigen SEY, designated as SargEY, on its chromosome. Population structure analysis of S. argenteus revealed that these isolates are ST2250 lineage, which was the only lineage positive for the SEY-like gene among S. argenteus. Recombinant SargEY demonstrated immunological cross-reactivity with anti-SEY serum. SargEY could induce proliferation of human CD4 + and CD8 + T cells, as well as production of TNF-α and IFN-γ. SargEY showed emetic activity in a marmoset monkey model. S arg EY and SET (a phylogenetically close but uncharacterized SE) revealed their dependency on TCR Vα in inducing human T-cell proliferation. Additionally, TCR sequencing revealed other previously undescribed Vα repertoires induced by SEH. S arg EY and SEY may play roles in exacerbating the respective toxin-producing strains in AD.

59 BASIC BIOLOGICAL SCIENCES↗

On Projection of Safe Operation for Grid-Following Inverters - Grid Parameter Estimation

This work investigates the projection of safe operation for grid-following inverters using a reference model. This work applies recursive-least square and model reference adaptive estimation techniques to estimate the unknown grid parameters. The estimated grid parameters are used in a dynamic reference model to project the safe operation of the inverter. This work also demonstrates that the controller nonlinearity and parameter variations can cause unsafe operations, such as unexpected instability at low power levels, namely hidden mode of instability. This instability issue in the nominal operating range may occur for given control parameters in a weak-grid condition. The dynamic reference model for PQ-controlled inverters is applied to analyze this instability issue using the estimated grid parameters. Both adaptive identification techniques can estimate the unknown parameters accurately, and the dynamic reference model can safeguard inverters from an unsafe operation, i.e., hidden instability, by examining the incoming new power setpoints before engaging them to the local controller. The findings are experimentally verified using a small-scale two-level 208 V, 5 kVA inverter feeding a 12 kW NHR 9410 power grid emulator.

Hossen, Tareq↗

A Reactive Inkjet Printing Process for Fabricating Biodegradable Conductive Zinc Structures

A novel reactive inkjet printing (RIJ) process for fabricating environmentally benign, conductive zinc structures on biodegradable substrates is reported. A precursor consisting of oxidized zinc microparticles is formulated into a viscous ink for high‐resolution, high‐repeatability screen printing. A single RIJ process is performed to selectively dispense an acid‐based oxide etching agent onto the screen‐printed zinc ink to significantly improve its electrical conductivity, up to 4 × 10 4 S m −1 . The RIJ process enables precise control of the amount of deposited etching agent, allowing control of conductivity and avoiding damage caused by excessive acid exposure. The RIJ process deposits the etching agent selectively on the screen‐printed, water‐soluble zinc patterns, thus preserving the print fidelity by avoiding ink smearing that can occur when using a blanket treatment such as submersion. A printed biodegradable antenna with a minimum feature size of 500 μm for use with a batteryless radio frequency identification (RFID) chip is fabricated as demonstration. Due to the higher ink conductivity and improved pattern fidelity, the antenna fabricated by the RIJ process shows a ≈2.2× increase in reading distance compared with a similar antenna that is screen printed and activated using a drop‐casting process.

Sui, Yongkun↗

The essential effector SCRE1 in Ustilaginoidea virens suppresses rice immunity via a small peptide region

Summary The biotrophic fungal pathogen Ustilaginoidea virens causes rice false smut, a newly emerging plant disease that has become epidemic worldwide in recent years. The U. virens genome encodes many putative effector proteins that, based on the study of other pathosystems, could play an essential role in fungal virulence. However, few studies have been reported on virulence functions of individual U. virens effectors. Here, we report our identification and characterization of the secreted cysteine‐rich protein SCRE1, which is an essential virulence effector in U. virens . When SCRE1 was heterologously expressed in Magnaporthe oryzae , the protein was secreted and translocated into plant cells during infection. SCRE1 suppresses the immunity‐associated hypersensitive response in the nonhost plant Nicotiana benthamiana . Induced expression of SCRE1 in rice also inhibits pattern‐triggered immunity and enhances disease susceptibility to rice bacterial and fungal pathogens. The immunosuppressive activity is localized to a small peptide region that contains an important ‘cysteine‐proline‐alanine‐arginine‐serine’ motif. Furthermore, the scre1 knockout mutant generated using the CRISPR/Cas9 system is attenuated in U. virens virulence to rice, which is greatly complemented by the full‐length SCRE1 gene. Collectively, this study indicates that the effector SCRE1 is able to inhibit host immunity and is required for full virulence of U. virens .

Zhang, Nan↗

Line confusion in spectroscopic surveys and its possible effects: shifts in Baryon Acoustic Oscillations position

ABSTRACT Roman Space Telescope will survey about 17 million emission-line galaxies over a range of redshifts. Its main targets are Hα emission-line galaxies at low redshifts (z < 2) and [O iii] emission-line galaxies at high redshifts (z > 2). The Roman Space Telescope will estimate the redshift of these galaxies with single-line identification. This suggests that other emission-line galaxies may be misidentified as the main targets. In particular, it is hard to distinguish between the H β and [O iii] lines as the two lines are close in wavelength and hence the photometric information may not be sufficient to separate them reliably. Misidentifying H β emitter as [O iii] emitter will cause a shift in the inferred radial position of the galaxy by approximately 90 Mpc h−1. This length-scale is similar to the Baryon Acoustic Oscillation (BAO) scale and could shift and broaden the BAO peak, possibly introduce errors in determining the BAO peak position. We qualitatively describe the effect of this new systematic and further quantify it with a light-cone simulation with emission-line galaxies. Our results show a systematic shift in the recovered isotropic BAO positions that depends on the percentage of interlopers (percentage of ${\rm H}\,\beta$) in the sample. The systematic shift can be as large as $0.1{-}0.3\,\mathrm{ per}\,\mathrm{ cent} \, {\rm x}\, {{\%}}{\rm H}\,\beta$ for analysis performed at redshifts z = 1.3−1.9.

79 ASTRONOMY AND ASTROPHYSICS↗

Global Explainability of A Deep Abstaining Classifier for Cancer Pathology Reports

We present a global explainability method to characterize sources of errors in a real-world multitask deep abstaining classifier (DAC), in the context of cancer histology prediction. Our multitask classifier, currently deployed for automated annotation of cancer pathology reports from NCI-SEER registries, was trained and evaluated on 1.04 million hand-annotated samples and makes simultaneous predictions of cancer site, subsite, histology, laterality, and behavior for each report. The DAC framework enables the model to abstain on ambiguous reports and confusing classes to achieve the target accuracy on the retained (non-abstained) samples, but at the cost of decreased coverage. Requiring 97% accuracy on the histology task caused our model to retain only 22% of all samples, mostly the less ambiguous and common classes. Local explainability with the GradInp technique provided a computationally efficient way of obtaining contextual reasoning for hundreds of thousands of individual predictions. Our method, involving dimensionality reduction of approximately 13000 aggregated local explanations (ALE), offers a tractable path to true global explainability. It enabled identification of sources of errors in histology classification, globally, as hierarchical complexity among classes, label noise, insufficient information, and conflicting evidence. This suggests several strategies for iterative improvement of our DAC, including well-designed exclusion criteria, focused annotation, and reduced penalties for errors involving hierarchically related classes.

59 BASIC BIOLOGICAL SCIENCES↗

Identification of a Covalent Molecular Inhibitor of Anti-apoptotic BFL-1 by Disulfide Tethering

The BCL-2 family is composed of anti- and pro-apoptotic members that respectively protect or disrupt mitochondrial integrity. Anti-apoptotic overexpression can promote oncogenesis by trapping the BCL-2 homology 3 (BH3) “killer domains” of pro-apoptotic proteins in a surface groove, blocking apoptosis. Groove inhibitors, such as the relatively large BCL-2 drug venetoclax (868 Da), have emerged as cancer therapies. BFL-1 remains an undrugged oncogenic protein and can cause venetoclax resistance. Having identified a unique C55 residue in the BFL-1 groove, we performed a disulfide tethering screen to determine if C55 reactivity could enable smaller molecules to block BFL-1's BH3-binding functionality. We found that a disulfide-bearing N-acetyltryptophan analog (304 Da adduct) effectively targeted BFL-1 C55 and reversed BFL-1-mediated suppression of mitochondrial apoptosis. Structural analyses implicated the conserved leucine-binding pocket of BFL-1 as the interaction site, resulting in conformational remodeling. Thus, therapeutic targeting of BFL-1 may be achievable through the design of small, cysteine-reactive drugs.

59 BASIC BIOLOGICAL SCIENCES↗