Analysis of Feature Models Using Alloy: A Survey

Feature Models (FMs) are a mechanism to model variability among a family of closely related software products, i.e. a software product line (SPL). Analysis of FMs using formal methods can reveal defects in the specification such as inconsistencies that cause the product line to have no valid products. A popular framework used in research for FM analysis is Alloy, a light-weight formal modeling notation equipped with an efficient model finder. Several works in the literature have proposed different strategies to encode and analyze FMs using Alloy. However, there is little discussion on the relative merits of each proposal, making it difficult to select the most suitable encoding for a specific analysis need. In this paper, we describe and compare those strategies according to various criteria such as the expressivity of the FM notation or the efficiency of the analysis. This survey is the first comparative study of research targeted towards using Alloy for FM analysis. This review aims to identify all the best practices on the use of Alloy, as a part of a framework for the automated extraction and analysis of rich FMs from natural language requirement specifications.Comment: In Proceedings FMSPLE 2016, arXiv:1603.0857

(R1507) Mathematical Modeling and Analysis of Seqiahr Model: Impact of Quarantine and Isolation on COVID-19

At the moment in time, an outbreak of COVID-19 is transmitting on from human to human. Different parts have different quality of life (e.g., India compared to Russia), which implies the impact varies in each part of the world. Although clinical vaccines are available to cure, the question is how to minimize the spread without considering the vaccine. In this paper, via a mathematical model, the transmission dynamics of novel coronavirus with quarantine and isolation facilities have been proposed. The examination of the proposed model is set in motion with the boundedness and positivity of the solution, sole disease-free equilibrium, and local stability. Then, the condition for the existence of sole endemic equilibrium and its local stability has established. In addition, the global stability of the endemic equilibrium for a special case has been investigated. Further, it has shown that the system undergoes a transcritical bifurcation. A threshold analysis has also performed to examine the effect of quarantine on transmission dynamics. Lastly, numerical simulations are giving hand support to theoretical results

Computerized and Electronic Controls in Food Packaging

The focus of food packaging is to contain food in a cost-effective way that satisfies industry requirements and consumer desires, maintains food safety and minimizes environmental impact. Currently, with the increasing demand of the consumers the major concern of food packaging industry is on efficiency of the plant process, productivity, quality as well as safety. It becomes necessary for companies to discover ways to improve their productivity in terms of maintaining safety, using sustainable materials in packaging, implementing flexible and standardized technology, and maintaining good quality of foods. Thus, to achieve the required demands, automation and upgradation of the packaging machinery is necessary and this has been accepted because these changes are robust, flexible, reconfigurable, preserve the quality of the food and are efficient. Due to limitation of feasibility study and research in food packaging, most of the studies focus on trends in food packaging materials (smart packaging). Thus, this review focused on advancement in food packaging machines, involvement of softwares in controlling the working of various machines for example open modular architecture control (OMAC), Programmable Logic Controller (PLC), Field bus Technology etc. The automated machines include drive system, sensors, actuators etc. So, the knowledge about these techniques will result in enhancing the efficiency of packaging and productivity of food products

IN SILICO DESIGN AND MOLECULAR DOCKING STUDIES OF SOME 1, 2-BENZISOXAZOLE DERIVATIVES FOR THEIR ANALGESIC AND ANTI-INFLAMMATORY ACTIVITY

Objective: In silico design and molecular docking of 1,2-benzisoxazole derivatives for their analgesic and anti-inflammatory activity using computational methods.Methods: In silico molecular properties of 1,2-benzisoxazole derivatives were predicted using various software's such as Chemsketch, Molinspiration, PASS and Schrodinger to select compounds having optimum drug-likeness, molecular descriptors resembling those of standard drugs and not violating the ‘Lipinski rule of 5'. Molecular docking was performed on active site of nicotinic acetylcholine receptor (PDB: 2KSR) for analgesic activity and COX-2 (PDB: 6COX) for anti-inflammatory activity using Schrodinger under maestro molecular modelling environment.Results: From the results of molecular docking studies of 1,2-benzisoxazole derivatives, all the compounds showed good binding interactions with Nicotinic acetylcholine receptor and COX-2. Compounds 4a and 4c showed highest binding scores (-7.46 and-7.21 respectively) with nicotinic acetylcholine receptor and exhibited maximum analgesic activity. Compound 4a showed highest binding score (-7.8) with COX-2 and exhibited maximum anti-inflammatory activity.Conclusion: All the derivatives of 1,2-benzisoxazole showed good analgesic and anti-inflammatory activity as predicted using molecular docking on respective receptors

Architecture and Design of National Digital Identity Platforms

The importance of ‘National Digital Identity’ to provision public services to the citizens of a country and inclusive growth is fairly established. It is recognized as part of the UN sustainable digital goals (SDG) and various researchers have looked into the impact and relevance of such systems. Despite that not more than 5% of the countries globally are having comprehensive digital identity systems. Several such projects are facing major difficulties and implementation hurdles globally. There are cases where such projects have been abandoned. Countries such as India have implemented their national digital identity project as a platform with almost complete population coverage and most public services linked to it. This research analyses the architecture and design of such a digital identity platform through the lens of architectural leverage and generativity using the design science and General Morphological Analysis (GMA) approach. The learning’s are relevant for policy makers and technology designers to incorporate in their national digital identity initiatives

Load Balancing in Cloud Computing using Observers Algorithm with Dynamic Weight Table

Cloud computing is emerging technology which is a new standard of large scale distributed computing and parallel computing. It provides shared resources, information, software packages and other resources as per client requirements at specific time. As cloud computing is growing rapidly and more users are attracted towards utility computing, better and fast service needs to be provided. For better management of available good load balancing techniques are required. So load balancing in cloud becoming more interested area of research. And through better load balancing in cloud, performance is increased and user gets better services. Here in this paper we have discussed many different load balancing techniques used to solve the issue in cloud computing environment

EFFECT OF POROSITY ON THE MECHANICAL STRENGTH OF COMPOSITE MATERIALS

Fiber reinforced plastics are the combination of a reinforcement fiber in a thermoset polymer resin matrix, where the reinforcement has an aspect ratio that enables the transfer of loads between fibers, and the fibers are chemically bonded to the resin matrix. FRP are used more and more for primary structures in Commercial ,industrial, aerospace and marine structures Mainly to reduce the weight and increases the strength. The strength of FRP reduce for various reason .among them presence of porosity is one of major factor. This paper describes the work performed by experimentally to analysis the effect of porosity on inter laminar shear strength(ILSS) properties of composite. The raw materials used in this study are epoxy resin with high strength carbon fibre & epoxy with glass fibre in the form of prepreg

CHANGES IN SERUM TESTOSTERONE LEVELS IN MALES WITH PREDIABETES UNDERGOING METFORMIN THERAPY: A TERTIARY CARE HOSPITAL STUDY.

Introduction:  Hypogonadism is a commonly encountered condition observed in individuals presenting with both diabetes and prediabetes. Metformin, a pharmacological agent classified as an insulin sensitizer, has received regulatory approval as a therapeutic intervention for individuals who have received a diagnosis of prediabetes. The objective of this investigation is to assess the potential influence of metformin on serum testosterone concentrations in males who have been diagnosed with prediabetes. Materials and Methods:  The study comprised a cohort of 50 male individuals diagnosed with prediabetes. The participants were stratified into two distinct cohorts - Category A, comprising individuals with a baseline serum testosterone level exceeding 300 ng/dl, and Category B, consisting of individuals with a baseline serum testosterone level below 300 ng/dl. The patient's testosterone levels were reassessed following a 3-month course of metformin therapy.  Result:  Substantial improvement in serum testosterone levels was observed among prediabetic men in the hypogonadal group. Both cohorts of participants exhibited amelioration in the manifestation of erectile dysfunction.  Conclusion: Metformin therapy in males with prediabetes has been shown to contribute to the enhancement of testosterone levels.  Recommendation:  According to this study, metformin therapy may be an option for prediabetic men with baseline blood testosterone levels < 300 ng/dl. The improvement in blood testosterone levels and erectile dysfunction symptoms imply that metformin may help prediabetics manage hypogonadism. When contemplating metformin therapy for prediabetes, doctors should examine the patient's risk factors, health, and treatment goals. Further research and clinical studies may reveal metformin's long-term efficacy and safety in treating hypogonadism in this population

Abnormal uterine bleeding: a critical analysis of two diagnostic methods

Background: Abnormal Uterine Bleeding (AUB) is one of the most common reasons for women to seek gynaecology   consultation. The underlying causes in AUB are many and identifying the exact cause can be a real challenge to the treating gynaecologists. Objectives of current study are to study the common etiology of AUB and to study and correlate the diagnoses of Trans Vaginal Sonography (TVS) and Diagnostic Hysteroscopy (DH) with histopathology diagnosis.Methods: One hundred and thirteen women with AUB were enrolled and evaluated by conventional TVS and DH. The findings were correlated with histopathology diagnosis. The sensitivity, specificity and positive and negative predictive value of TVS and DH were calculated after comparison with final histopathology diagnosis.Results: Fibroids and polyps were the two commonest structural lesions in AUB. For submucosal fibroids, the sensitivity and specificity of DH was found to be 92% and 99% respectively while that of TVS was found to be 85 % and 100 % respectively. For polyps, the sensitivity and specificity of DH was found to be 91% and 98 % respectively and that of TVS was 68% and 93 % respectively. The coefficient of correlation for DH was better than that of TVS.Conclusions: Fibroids and polyps are the two commonest structural lesions causing AUB in the women of reproductive age group.  TVS has a role as primary screening method for the initial work-up AUB before resorting to invasive procedure such as hysteroscopy

Application of Bradford\u27s Law of Scattering and obsolescence in the Literature of Chemistry: A study based on doctoral theses

The proposed study tries to investigate citation pattern of Chemistry theses submitted to Central library Tripura University. The study considered only those theses submitted to Shodhganga, the Indian ETD initiative. Hence data were collected from 20 theses constituting 6214 citations during 2007 to 2016. Bardford’s law is used to find out the core journals in the field of Chemistry. The rank list of journals showed “Phytochemistry” is the most cited journal. The dataset of the study did not follow the Bradford’s law. However, the dataset follow the Leimkuhler’s model. Half life of Chemistry journals is found to be 12.6 years. The results revealed from the study will assist the researchers in the area of Chemistry in improved understanding the characteristics of the field; it will aid librarians in selection of documents and collection development of the library; it will help the policy makers in decision making