Miracle-dz/UniFAR-FTUs huggingface dataset:
Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering

The integration of safety and security concerns in critical domains (e.g., Cyber-Physical Systems (CPSs)) is of utmost importance, and should be conducted in early design phases of system engineering process. Within a Model-Based System Engineering (MBSE) context, safety and security requirements cascade-down across models and views, thus contributing to the detailed missions, functions, and lastly, the architecture. Such enrichment process is often complex and lacks guidance to consistently breakdown high-level mission-centric system specifications into the detailed architecture. In particular, non-savvy safety and security engineers require support to facilitate integration and verification of stringent safety constraints and security exigencies. In this regard, we propose a multi-layered design approach that leverages existing techniques like Model-Driven Engineering (MDE) and formal methods, to facilitate integrated verification of high-level safety and security objectives that can be further specialized across different representations (i.e. mission, functional, and architectural) of the system. The overall approach is validated based upon a Connected Driving Vehicles (CDVs) case study, and using Eclipse Papyrus and Rodin as experimentation tools.
Computational Investigation of Suction in Taylor-Couette Pump

In the present paper, numerical simulation of a couette pump is performed to study the flow visualization and suction rate for different rotor configurations. Taylor vortices can be formed by subjecting a liquid to a shear stress within an annular space between a rotating cylinder (with blades or without blades) and a stationary bottom surface. The results are substantiated by FLUENT simulations for better understanding on the flow pattern of the fluid. The suction rate is higher in case of cylindrical rotor without blades.
Shorted annular patch antenna

A new type of annular patch antenna is presented. At variance of classical annular patch antenna the inner edge is shorted by a cylindrical conducting wall. Therefore this antenna radiates as a circular patch but has a smaller stored energy, which allows a larger bandwidth, and the feed point can be chosen to have an easy matching. © 1995 John Wiley & Sons. Inc.
Designing a support system for aerospace maintenance supply chains

Purpose - To develop a systems strategy for supply chain management in aerospace maintenance, repair and overhaul (MRO). Design/methodology/approach - A standard systems development methodology has been followed to produce a process model (i.e. the AMSCR model); an information model (i.e. business rules) and a computerised information management capability (i.e. automated optimisation). Findings - The proof of concept for this web-based MRO supply chain system has been established through collaboration with a sample of the different types of supply chain members. The proven benefits comprise new potential to minimise the stock holding costs of the whole supply chain whilst also minimising non-flying time of the aircraft that the supply chain supports. Research limitations/implications - The scale of change needed to successfully model and automate the supply chain is vast. This research is a limited-scale experiment intended to show the power of process analysis and automation, coupled with strategic use of management science techniques, to derive tangible business benefit. Practical implications - This type of system is now vital in an industry that has continuously decreasing profit margins; which in turn means pressure to reduce servicing times and increase the mean time between them. Originality/value - Original work has been conducted at several levels: process, information and automation. The proof-of-concept system has been applied to an aircraft MRO supply chain. This is an area of research that has been neglected, and as a result is not well served by current systems solutions. © Emerald Group Publishing Limited.
The Application of Functional Safety Standards on the Safety Management of a Chemical Process Tank

This paper describes a systematic way to apply the functional safety standards IEC 61508 and IEC 61511 on the safety management of a chemical process tank. After a short introduction of the basic principle of the functional safety philosophy the risk based determination of the safety integrity level (SIL) for a special liquid tank application is given. Then a safety instrumented system (SIS) suitable to the SIL-level 2 has been designed to fulfill the qualitative and quantitative requirements in the safety standards. The experience gained can be seen as a guidance for process and I&C engineers in industrial practice.
Healthcare resilience to natural hazards: an achievable target

The ever increasing number of natural hazards is affecting health and stretching healthcare facilities to their limits. Many healthcare facilities could not perform as were expected due to physical damage and inappropriate social performance. This themed issue aims to support decision makers, engineers and planners (in less exposed countries and countries with financial, awareness and expertise constraints but are at high risk) to identify the vulnerability of their existing facilities and ensure that new facilities are resilient enough to cope with the multiple adversities they face. The key messages it provides are existing healthcare facilities need to conduct resilience assessment to identify room for improvement; this assessment needs to inform planning and improvements.
An Ensemble of CNN-LSTMs for Temperatures Forecasting from Bangladesh Weather Dataset

Weather forecasts are prevalent worldwide to conjecture events, like temperature, rain, wind, humidity, etc. Weather influences agriculture and even a country’s economy. As Bangladesh is an agricultural country, weather forecasting is imperative for this country. Many studies have addressed that climate change affects agricultural production. Diverse studies have been proposed for weather forecasting but there are very few studies on weather forecasting of Bangladesh. Therefore, the goal of this research is to develop a weather forecasting system for Bangladesh’s weather. In this paper, we propose an ensemble model that comprises two popular deep learning-based methods: Convolutional Neural Networks (CNN) along with Long Short-Term Memory (LSTM) to forecast the temperature of Bangladesh. Our model has demonstrated a 0.49 Mean squared error (MSE) and a 0.53 Mean absolute error (MAE). Our proposed model can be used as an effective temperature forecasting system for a variety of consumers.
Assessment of Metabolic Dysfunction in Sepsis in a Retrospective Single-Centre Cohort

Objective Our primary aim was to assess selected metabolic dysfunction parameters, both independently and as a complement to the SOFA score, as predictors of short-term mortality in patients with infection admitted to the intensive care unit (ICU). Methods We retrospectively enrolled all consecutive adult patients admitted to the eight ICUs of Lille University Hospital, between January 2015 and September 2016, with suspected or confirmed infection. We selected seven routinely measured biological and clinical parameters of metabolic dysfunction (maximal arterial lactatemia, minimal and maximal temperature, minimal and maximal glycaemia, cholesterolemia, and triglyceridemia), in addition to age and the Charlson's comorbidity score. All parameters and SOFA scores were recorded within 24 h of admission. Results We included 956 patients with infection, among which 295 (30.9%) died within 90 days. Among the seven metabolic parameters investigated, only maximal lactatemia was associated with higher risk of 90-day hospital mortality in SOFA-adjusted analyses (SOFA-adjusted OR, 1.17; 95%CI, 1.10 to 1.25; p < 0.001). Age and the Charlson's comorbidity score were also statistically associated with a poor prognosis in SOFA-adjusted analyses. We were thus able to develop a metabolic failure, age, and comorbidity assessment (MACA) score based on scales of lactatemia, age, and the Charlson's score, intended for use in combination with the SOFA score. Conclusions The maximal lactatemia level within 24 h of ICU admission is the best predictor of short-term mortality among seven measures of metabolic dysfunction. Our combined “SOFA + MACA” score could facilitate early detection of patients likely to develop severe infections. Its accuracy requires further evaluation.
Modified harmony search algorithm and neural networks for concrete mix proportion design

This study proposes a new methodology with harmony search (HS) algorithm and neural networks (NNs) for concrete mix proportioning. The basic procedure for the methodology consists of four steps: (1) constructing a database of mix designs; (2) establishing appropriate models for strength and workability; (3) optimizing mix proportion using the modified HS algorithm; and (4) refining the mixture using NNs. The proposed methodology could be a useful decision-making tool for concrete mix design.
Applications of Cannabis Sativa L. in Food and Its Therapeutic Potential: From a Prohibited Drug to a Nutritional Supplement

Hemp (Cannabis sativa L.) is a herbaceous anemophilous plant that belongs to the Cannabinaceae family. The cannabis seed (hemp) has long been utilized as a food source and is commercially important as an edible oil source. In this review, the positive and negative health effects of cannabis, the relationship between cannabis and various diseases, and the use of cannabis in various food products have been discussed. In addition, the scientific literature on the potential use of cannabis and its derivatives as a dietary supplement for the prevention and treatment of inflammatory and chronic degenerative diseases in animals and humans has been reviewed. Cannabis is being developed as a key ingredient in a variety of food items, including bakery, confectionery, beverages, dairy, fruits, vegetables, and meat. Hemp seeds are high in readily digestible proteins, lipids, polyunsaturated fatty acids (PUFA), insoluble fiber, carbs, and favorable omega-6 PUFA acid to omega-3 PUFA ratio and have high nutritional value. The antioxidants of cannabis, such as polyphenols, help with anxiety, oxidative stress, and the risk of chronic illnesses, including cancer, neurological disorders, digestive problems, and skin diseases. Cannabis has been shown to have negative health impacts on the respiratory system, driving, and psychomotor functions, and the reproductive system. Overall, the purpose of this research is to stimulate more in-depth research on cannabis’s adaptation in various foods and for the treatment of chronic illnesses.
A Novel Dispersionless Comb Gain Equalizer for Fiber-Optical Parametric Amplifier

In this article, we propose a novel superstructure fiber Bragg grating (SFBG)-based comb gain equalizer for fiber-optical parametric amplifiers (FOPAs). The target spectrum of the gain equalizer is obtained by two steps. Initially, we calculate the spectrum according to the inverse of the gain spectrum of the FOPA. Then we apply a channel-by-channel windowing method to shape each channel and adopt a Gaussian hypergeometric function to describe the rising and descending edges of each channel. The SFBG is finally synthesized with layer-peeling inverse scattering technique. Using the designed SFBG, the gain variation of the FOPA is flattened to be within ±0.4 dB for 16 ITU channels and the best channel isolation is as high as 35 dB. It should be pointed out that the proposed method could also be used to design gain equalizers for other optical amplifiers.
Co-creation and the new landscapes of design

Designers have been moving increasingly closer to the future users of what they design and the next new thing in the changing landscape of design research has become co-designing with your users. But co-designing is actually not new at all, having taken distinctly different paths in the US and in Europe. The evolution in design research from a user-centred approach to co-designing is changing the roles of the designer, the researcher and the person formerly known as the ‘user’. The implications of this shift for the education of designers and researchers are enormous. The evolution in design research from a user-centred approach to co-designing is changing the landscape of design practice as well, creating new domains of collective creativity. It is hoped that this evolution will support a transformation toward more sustainable ways of living in the future.
Efectos térmicos y trampa en los transistores AlGaN/GaN HEMT

Traps effects (due to the presence of surface-state densities and deep-levels) in AlGaN/GaN HEMT devices cause slow current transients referred as gate-lag and drain-lag effects that become a cause of so called current collapse. Current collapse is a reversible reduction of drain-current when both the gate and drain voltages are changed abruptly. This effect cause important deviation between DC and dynamic I/V characteristics that limits the output power of the device at high frequencies. In addition, traps state depends on thermal and illumination conditions of the device. Energy from the illumination and temperature supports the electrons captured in traps states to overcome the energy-barrier to the conduction band. In order to improve the device performance and reliability, understanding the current collapse effects is critical, and it must be taken into account when an accurate large-signal dynamic model is needed. In this paper, drain-current collapse due to gate-lag and drain-lag effects as well as the effects of temperature on traps state are characterised based on pulsed measurements technique.
Flexible development and test system for 11 kW wind turbine

This paper describes a flexible development platform used to implement and test different control strategies for an 11 kW wind energy conversion system capable of working in both grid-connection and stand-alone operation modes. A dSPACE prototyper is used to implement the control and provide a high degree of flexibility allowing code development in Simulink. A back-to-back power conversion configuration is chosen where the generator converter uses standard flux vector control to control the speed of the shaft while the grid-side converter uses a standard PWM active rectifier control strategy implemented in the dSPACE controller. An on-line maximum power-tracking algorithm is also implemented. The design of the LCL filter and current controller is described. The flexibility of this development platform allowed relative complex control strategies to be implemented and tested in a short time.
Role of the tumor immune microenvironment in tumor immunotherapy

Tumor immunotherapy is considered to be a novel and promising therapy for tumors and it has recently become a hot research topic. The clinical success of tumor immunotherapy has been notable, but it has been less than totally satisfactory because tumor immunotherapy has performed poorly in numerous patients although it has shown appreciable efficacy in some patients. A minority of patients demonstrate durable responses but the majority of patients do not respond to tumor immunotherapy as the tumor immune microenvironment is different in different patients for different tumor types. The success of tumor immunotherapy may be affected by the heterogeneity of the tumor immune microenvironment and its components, as these vary widely during neoplastic progression. The deepening of research and the development of technology have improved our understanding of the complexity and heterogeneity of the tumor immune microenvironment and its components, and their effects on response to tumor immunotherapy. Therefore, investigating the tumor immune microenvironment and its components and elucidating their association with tumor immunotherapy should improve the ability to study, predict and guide immunotherapeutic responsiveness, and uncover new therapeutic targets.
Multichip Packaging Design for VLSI-Based Systems

The introduction of many VLSI devices into system designs is placing new requirements on the packaging technologies that are used to interconnect devices and assemble systems. These requirements include the assembly of high pin out (up to 500 I/O's) devices, the ability to sustain synchronous system operation at frequencies up to 100 MHz, and cooling at thermal loads greater than 1 W/cm2. A new packaging technology is described that will overcome many of the limitations of conventional packaging. The new technology has the capability for assembling devices with more than 200 I/O's, a maximum signal lead length less than 20 cm, a power and ground lead inductance less than 0.1 nH, a signal lead capacitance less than 20 pF, and a cooling capability greater than 1 W/cm2. The substrate for the proposed new packaging technology is a silicon wafer. The power and ground are distributed by means of copper planes on either side of the substrate. Two signal layers are positioned above the power plane using a polyimide dielectric material. The signal leads are a minimum of 10 µm wide. With 10-µm-thick polymer, the line capacitance is ~ 1 pF/cm. Copper metallization is · used to achieve a resistance of 10 \Omega /cm for the minimum width signal leads with 2-µm-thick conductors. Devices are attached to the interconnection substrate by means of solder. The solder technology was chosen because it is repairable, provides a low-inductance (< 1 nH) connection between chip and substrate, and enables I/O pads to be positioned over the area of the chip. The matched thermal expansion coefficient between the substrate and chip results in a mechanically stable solder attachment. This new packaging technology has been demonstrated by means of a prototype vehicle. Three chips from the WE®32100 chip set: CPU, memory management unit (MMU), and math accelerator unit (MAU), have been flip-chip bonded and interconnected together on a 1.3 x 3.0-cm substrate. The chips have been spaced 500 µm apart. The assembly has been bonded to a metal heat sink using a compliant adhesive layer to minimize stresses in the silicon substrate. The chip-to-heat sink thermal resistance for the assembly is 5°C/W (junction to case). A 160 I/O multilayer printed wiring board package has been used to fan out from the edge of the substrate to pins on a 100-mil grid. Wire bonds electrically connect the substrate to the package and provide for chip backside grounding. A protective cover completes the package assembly. In summary, significant improvements in system performance can be achieved with the new multichip technology. Compared to conventional packaging, a factor of 3 improvement in system operating frequency is expected when IC's are designed specifically for the technology. Additionally, system size and power dissipation can be reduced by a factor of seven and 30 percent, respectively.
Fast and Accurate Evaluation of Cooling in Data Centers

Cooling is a major component in the enormous energy consumption in data centers. Accurate evaluation of cooling inside a data center forms the backbone of all the attempts for improving cooling efficiency. Models based on computational fluid dynamics (CFD) are typically used for accurate evaluation, but have a drawback of high computation time. This paper presents a novel thermal predictor to evaluate data center cooling in seconds. The key idea is to extract information from a single instance of CFD simulation using metrics called as influence indices to build the fast thermal predictor. Then, this predictor can evaluate the cooling for altered operation of data center with comparable accuracy in seconds without the need for repetitive CFD simulations. This paper demonstrates the accuracy of the thermal predictor by comparing with CFD simulations for a sample, but realistic data center. The fast thermal predictor then successfully passed more challenging tests in a real production data center and proved its practical utility. The results of the thermal predictor compared with measurements carried out in the production data center are also presented. This fast thermal predictor is an important milestone in the development of a method for model-based real time control of data center cooling.
An automatic COLREGs-compliant obstacle avoidance system for an unmanned surface vehicle

Unmanned surface vehicles are becoming increasingly vital tools in a variety of maritime applications. Unfortunately, their usability is severely constrained by the lack of a reliable obstacle detection and avoidance system. In this article, one such experimental platform is proposed, which performs obstacle detection, risk assessment and path planning (avoidance) tasks autonomously in an integrated manner. The detection system is based on a vision-LIDAR (light detection and ranging) system, whereas a heuristic path planner is utilised. A unique property of the path planner is its compliance with the marine collision regulations. It is demonstrated through hardware-in-the-loop simulations that the proposed system can be useful for both uninhabited and manned vessels.
Evaluation of the impact of a large cyclic load on the LILCO power system using time simulation and frequency domain techniques

This paper describes a time and frequency domain approach for evaluation of impact of a large cyclic load on the Long Island Lighting Company (LILCO) power system. The frequency of the cyclic load had a range of 0.3 to 7.5 Hz, with peak-to-peak power variation as large as 20 MW. The frequency domain analysis revealed system resonances which are responsible for large responses in cases where the frequency of the cyclic load coincided with the resonant frequencies. >
Comparative Research of Residents′ Satisfaction Level Between Green Building-Certified Apartment Complexes and General Apartment Complexes in Korea

Abstract As international considerations concerning the environment increase, various concrete efforts have been attempted, and in response to this, KGBCC (Korean Green Building Certification Criteria) was developed and has operated since 2002. The objective of this study is to research residents′ understanding regarding KGBCC and conduct comparative research on residents′ satisfaction level and the cause of dissatisfaction concerning KGBCC assessment standards, based on KGBCC-certified apartment complex and general apartment complex. For the research, a questionnaire regarding the awareness of the KGBCC, satisfaction level, and cause of dissatisfaction were conducted with residents of a KGBCC-certified apartment complex and a general apartment complex in the Samsan district, Incheon. The survey results were compared and analyzed, and improvements to the KGBCC are suggested.
Analysis of Iris Recognition Algorithms

Iris recognition has been increasingly used with very satisfactory results. Presently, the challenge consists in unconstraint the image capturing conditions and enables its application to domains where the subjects’ cooperation is not expectable (e.g. criminal/terrorist seeks, missing children). In this type of use, due to variations in the image capturing distance and in the lighting conditions that determine the size of the subjects’ pupil, the area correspondent To the iris in the captured images will be highly varying too. In order to compensate this variation, common iris recognition proposals translate the segmented iris image to a double dimensionless pseudo-polar coordinate system, in a process known as the normalization stage, which can be regarded as a sampling of the original data with the inherent possibility of aliasing. In this paper we analyze the relationship between the size of the captured iris image and the overall recognition’s accuracy. Further, we identify the threshold for the sampling rate of the iris normalization process above which the error rates significantly increase.