Electrical microgrids are deemed to be the future of modern power systems. Microgrids are sophisticated, decentralized, and self-sufficient small-scale power systems consisting of various resources ranging from wind turbines, solar photovoltaics, electric vehicles, smart energy storage, and complex communication infrastructure. However, renewable energy sources such as solar photovoltaics and wind-based generators are highly intermittent, and if not appropriately planned, they can compromise the stability of the grid. Formal methods can define and analyze the functionality and behavior of any system and show if the system design is correct before the actual system is implemented. Although formal methods have been around for many years, it is surprising that little to none are utilized in the design of safety-critical electrical power systems. Currently, in modeling microgrids, few to no attempts of formalization are being used to improve the design reliability and reduce system operating costs and time. This work demonstrates how complex systems such as microgrids can be modeled elegantly using a formal specification method. In this work, the Z state-based formal specification language (Z-Method) is used to model and verify microgrid designs. In this work, 3-interconnected microgrid systems with a high penetration level of solar and wind-based renewable energy sources with plugin hybrid electric vehicles (PHEV) as battery energy storage systems (BESS) are modeled using the Z-method. To the best of authors, the knowledge presented formal method is one of the first reported attempts in modeling microgrid communities using Software Engineering formalism.

The article obtains large deviation asymptotic for sub-critical communication networks modelled as signal-interference-noise-ratio(SINR) random networks. To achieve this, we define the empirical power measure and the empirical connectivity measure, as well as prove joint large deviation principles(LDPs) for the two empirical measures on two different scales. Using the joint LDPs, we prove an Asymptotic equipartition property(AEP) for wireless telecommunication Networks modelled as the subcritical SINR random networks. Further, we prove a Local Large deviation principle(LLDP) for the sub-critical SINR random network. From the LLDPs, we prove the large deviation principle, and a classical McMillan Theorem for the stochastic SINR model processes. Note that, the LDPs for the empirical measures of this stochastic SINR random network model were derived on spaces of measures equipped with the $\tau-$ topology, and the LLDPs were deduced in the space of SINR model process without any topological limitations. We motivate the study by describing a possible anomaly detection test for SINR random networks.

Objectives To develop and validate a prediction model for 28-day in-hospital mortality among adult patients critically ill with COVID-19 in the UK. Design Observational cohort study. Setting 287 adult critical care units in England, Wales and Northern Ireland, of which 260 admitted at least one eligible patient. Participants 10,933 patients with confirmed COVID-19 of whom 10,401 were eligible (excluding 532 patients with a duration of critical care less than 24 hours and 1 patient with unknown 28-day outcome): 8,666 development (March-April 2020) and 1,735 temporal validation (May-August 2020). Main outcome measures 28-day in-hospital mortality from start of critical care. Results Two models were developed using 14 patient level predictors selected from 30 candidate predictors, with and without adjustment for calendar time. In the temporal validation data, the model discrimination was maintained (c index 0.78) but calibration was poor, particularly for the model not adjusted for calendar time (ratio of observed to predicted mortality 0.74 versus 0.88 for the model adjusted for calendar time). Conclusions We developed and validated a prediction model for 28-day in-hospital mortality for patients critically ill with COVID-19. Although absolute predictions were inaccurate due to changing outcomes, the models will support risk-adjustment in analyses and monitoring changes in risk-adjusted outcome over time.

This study describes all the properties of high T_c cuprates by introducing rotating holes that are created by angular momentum conservations on a 2D CuO₂ surface, and which have a different mass from that of a normal hole because of the magnetic field energy induced by the rotation. This new particle called a macroscopic Boson describes the doping dependences of pseudo-gap temperature and the transition temperature at which an anomaly metal phase appears and describes the origin of the pseudo-gap. Furthermore, this study introduces a new model to handle many-body interactions, which results in a new statistic equation. This statistic equation describing many-body interactions accurately explains why high T_c cuprates have significantly high critical temperatures. Moreover a partition function of macroscopic Bosons describes all the properties of anomaly metal phase, which sufficiently agree with experiments, using the result from our previous study [1] that analytically describes the doping dependence of T_c. By introducing a macroscopic Boson and the new statistical model for many-body interactions, this study uncovered the mystery of high T_c cuprates, which have been a challenge for many researchers. An important point is that, in this study, pure analytical calculations are consistently conducted, which agree with experimental data well (i.e., they do not use numerical calculations or fitting methods but use many actual physical constants).

The objective of this paper is to research the impact of electrical and physical parameters that characterize the complementary MOSFET transistors (NMOS and PMOS transistors) in the CMOS inverter for static mode of operation. In addition to this, the paper also aims at exploring the directives that are to be followed during the design phase of the CMOS inverters that enable designers to design the CMOS inverters with the best possible performance, depending on operation conditions. The CMOS inverter designed with the best possible features also enables the designing of the CMOS logic circuits with the best possible performance, according to the operation conditions and designers’ requirements.

In general, a superconductor has zero resistance, although it requires significant refrigeration or high pressures with high manufacturing costs, which prevents it into practical applications. In other words, solving these issues implies main superconducting researches. To solve these problems, this paper describes a new type of superconductivity, which is independent for temperatures and which operates without pressures. The principles of the presented system are as follows:First a voltage source, a current source and a load are connected in series. Then, the voltage of the voltage source is adjusted to balance the voltage of the load. Under this condition, the balance of the two voltages provides a zero voltage between the taps of the current source and the generated current from the voltage source becomes zero because of the internal infinite resistance of the current source. As a result, the electric powers generated by the two sources are zero, and therefore, the load cannot generate Joule heating because of energy conservation. However, the current from the current source (not the voltage source) is not zero; therefore, we can predict that the resistance of the load must be zero. As a theory, we derived a new electric field and transient attractive force, which result in a very short coherence of an electron pair because there is not the Coulomb repulsive force due to the existence of the above transient attractive force. Note that both the forces are derived by the Poisson equation, which implies that they cannot be compatible. Therefore, the pair combination energy from spins becomes extremely strong, which is not destroyed by the normal heat energy. Moreover, every center-of-mass motion of electron pair results in the Bose-Einstein condensation and the macroscopic wave function, which produces the London equation (i.e., the Meissner effect). Moreover, by introducing the equivalent circuit, this paper conducted numerical calculations. As a result, we could derive numerically zero resistance and responses for additional static magnetic fields as a discharged current, which implies the Meissner effect. Note that this paper has prepared Appendix section, which provides a guide to reproduce actual experiments and preliminary experimental results. These results in the Appendix indicate the zero resistances and Meissner effects.

Finding out how cells with the same genome change fates in differentiation commitment is a challenge of biology. We used MCF-7 breast cancer cells treated with the ErbB2 ligand heregulin (HRG), which induces differentiation, to address if and how the constitutive pericentromere-associated domains (PADs) may be involved in this process. PAD-specific repressive heterochromatin (H3K9me3) and active euchromatin (H3K4me3) marking, centromere (CENPA) labelling, qPCR, acridine-orange-DNA structural test, and microscopic image analysis were applied. We found a two-step DNA unfolding, at 15-20 min and 60 min after HRG treatment, coinciding with bi-phasic activation of the early response genes (c-FOS family) and two steps of critical phase transition which were revealed in transcriptome studies. In control, the distribution of PAD number and size displays a power-law scaling with a boundary at the nucleolus. PADs’ clustering correlates with centromere numbers. 15 min after HRG treatment, the unravelling of PADs occurs, coinciding with the first step of euchromatin unfolding. The second step is associated with transcription of long-non-coding-RNA from satellite III DNA. We hypothesize that splitting of the PAD clusters under the critical size threshold of the silencing domain abrupts position effect variegation. It allows the first genome transcription avalanche to occur, starting differentiation commitment.

This research explores the predictive capabilities of autonomous driving systems by integrating human factor considerations within the context of safety-critical events. Recognizing the significance of human behaviors in influencing driving dynamics, the study employs advanced modeling techniques to enhance the accuracy of predictions in scenarios that demand heightened safety measures. Traditional rule-based systems and monotonic logic often fall short in addressing the complexities of safety-critical events. To overcome these limitations, the research proposes the application of non-monotonic logic, allowing for flexible and adaptive reasoning that accommodates exceptions and context-specific information.The study emphasizes the importance of incorporating individual differences among drivers, such as risk-taking tendencies, reaction times, decision-making processes, and driving styles. By considering these human factors, the research aims to develop realistic and accurate autonomous driving models that capture the nuances of real-world driving scenarios, especially in safety-critical situations. The predictive model takes into account both internal and external factors, enabling the autonomous system to anticipate and respond effectively to unforeseen events.The primary goal is to provide autonomous vehicles with the capability to make plausible inferences, handle conflicting data, and adapt their behavior in real-time during safety-critical events. The proposed model integrates personalized cognitive agents for each driver, incorporating their unique preferences, characteristics, and needs. This personalized approach aims to optimize the safety and efficiency of autonomous driving, contributing to the ongoing evolution of intelligent transportation systems.In conclusion, this research contributes to advancing the field of autonomous driving by introducing a predictive model that leverages human factor considerations to enhance safety in safety-critical events. The incorporation of non-monotonic logic and individualized cognitive agents signifies a comprehensive approach to address the challenges associated with predicting autonomous driving behavior, paving the way for safer and more reliable autonomous vehicles in dynamic and unpredictable environments.

Long-range interactions are relevant for a large variety of quantum systems in quantum optics and condensed matter physics. In particular, the control of quantum-optical platforms promises to gain deep insights in quantum-critical properties induced by the long-range nature of interactions. From a theoretical perspective, long-range interactions are notoriously complicated to treat. Here, we give an overview of recent advancements to investigate quantum magnets with long-range interactions focusing on two techniques based on Monte Carlo integration. First, the method of perturbative continuous unitary transformations where classical Monte Carlo integration is applied within the embedding scheme of white graphs. This linked-cluster expansion allows to extract high-order series expansions of energies and observables in the thermodynamic limit. Second, stochastic series expansion quantum Monte Carlo which enables calculations on large finite systems. Finite-size scaling can then be used to determine physical properties of the infinite system. In recent years, both techniques have been applied successfully to one- and two-dimensional quantum magnets involving long-range Ising, XY, and Heisenberg interactions on various bipartite and non-bipartite lattices. Here, we summarise the obtained quantum-critical properties including critical exponents for all these systems in a coherent way. Further, we review how long-range interactions are used to study quantum phase transitions above the upper critical dimension and the scaling techniques to extract these quantum critical properties from the numerical calculations.

The goods and services produced by forest vegetation ecosystem are the driving force for the rapid, high-quality and sustainable development of human society. In history, with the increase of population and economic development, there is an increasing demand for the quantity and variety of forest vegetation ecosystem products and services in a country or a region. To meet the demands, most of the original forest has become farmland, plantation and grass and crops land. As a result, the plant water relationship changed from equilibrium to non-equilibrium, which easily led to soil drought, soil degradation and vegetation decline in dry years or waste of soil water in rainy years in most of water-limited regions. In order to solve the question and realize the sustainable utilization of soil water resources and the high-quality sustainable development of forest, it is necessary to apply the limit theory of plant utilization of soil water resources and the vegetation carrying capacity theory in the critical period of plant-water relationship regulation to adjust the relationship between plant growth and soil moisture to obtain the maximum yield and benefit and realize high-quality and sustainable development.

The mind-body problem is the central issue in both of philosophy and life science for several centuries. To date, there is still no conclusive theory to interpret the relation between the mind and the body, even just the mind alone. Here, we promote a novel model, a derived mathematic equation called the entropic system equation, to describe the innate characters of the mind and the mechanism of the mind-body coupling phenomenon. As the semi-open thermodynamic systems far from equilibrium, the living organisms could be logically considered as an entropic system. In the living organisms or the entropic systems, there also are three essential existing elements including mass, energy and information, in which the mind and the body are hypothetically coupled by free energy and entropic force.

Background: This study addresses the burgeoning impact of Large Language Models (LLMs) such as ChatGPT on the integrity of online examinations and seeks to demonstrate latent and advanced LLM reasoning capabilities. The research devises an iterative self-reflective strategy for invoking critical thinking and higher-order reasoning in LLMs based on multimodal exam questions using visuals and text. Methods: The proposed strategy was demonstrated and evaluated on real exam questions by subject experts and the performance of ChatGPT (GPT-4) with vision was estimated on an additional dataset of 600 text descriptions of multimodal exam questions, focusing on its response to complex, visual, and textual prompts. Results: The results indicate that latent multi-hop reasoning capabilities can be invoked using the proposed self-reflective strategy, which can effectively steer ChatGPT towards correct answers by integrating critical thinking from each modality into the final response. Meanwhile, ChatGPT demonstrated considerable proficiency in being able to answer multimodal exam questions across 12 subjects. Conclusions: This work challenges findings from recent studies which claim that existing LLMs are unable to reason on complex multimodal tasks, and therefore this study underscores the need for enhanced online exam security measures like proctoring software, that can mitigate the potential misuse of AI technologies in educational settings.