Narrow Results

Space telescopes require large aperture primary mirrors to capture High Definition (HD) ground image while orbiting around the Earth. Fairing Volume of launch vehicles is limited and thus the size of monolithic mirror is limited to fairing size and solar panels are arranged within a petal formation in order to provide a greater power to volume ratio. This generates need for deployable mirrors for space use. This brings out a method for designing new deployment mechanism for segmented mirror. Details of mechanism folding strategy, design of components, FE simulations, realization and Lab model validation results are discussed in order to demonstrate the design using prototype.

The MSME sector is the most demanded, vibrant and dynamic sector which contributes highly to country’s manufacturing output, employment and exports. As this sector contains more than 80% of the total enterprises of the economy, its labor intensity is much higher than that of any other large enterprise. MSME is an important pillar of Indian economy as this sector is continuously contributing greatly to the growth and development of Indian economy by creating around 70 million employment, manufacturing more than 6000 products, contributing about 45% of manufacturing production and 40% from exports. Presently, the MSME sector is mostly dominated by microenterprises. This signifies that this sector is inviting and giving opportunities to new people for earning and being independent through its available schemes. Therefore, this paper is focused on the financial performance analysis of MSME sector.

China ranks first in the number of coal mines and coal production in the world, its geological conditions of coal storage and mining costs are inferior to other coal producing countries. However, China’s attention and mining enthusiasm for coal have not decreased at all. The concentration of coal production has been increasing, and the important role and strategic position of the main coal producing areas in the central and western regions have become more and more prominent. In particular, the number of coal mines and accidents in Southwest China ranks first in the country. Contrary to the dominant position of state-owned coal companies in other regions of the country, there are more private coal companies in Southwest China. Take Liupanshui (LPS) as an example, considering the analysis of its coal geological conditions, high-quality development, industrial structure, potential risks, accident types, accident time and other safety conditions, regardless of regional factors, the safety situation of coal mine in LPS is an epitome of the China’s private coal companies, which can be used for reference to improve the safety production situation in other regions.

This chapter introduces this book that describes the reality of women’s entrepreneurship in the Middle East while summarizing and reviewing each country presented in this book. All chapters have a similar structure in introducing the reader to the status of women’s entrepreneurship, historical frameworks, entrepreneurial ecosystems, and future perspectives. These have been based on the authors’ scientific analysis and recommendations based on the history, the current trends, and the country’s government entrepreneurship policy and strategies in supporting startups, growth, and development of women entrepreneurship toward the future.

In this paper, we survey recent work on the use of abduction as a knowledge-based reasoning technique for analyzing software specifications. We present a general overview of logical abduction and describe two abductive reasoning techniques, developed from the logic and expert system communities. We then focus on two applications of abduction in software engineering, namely, analysis and revision of specifications. Specifically, we discuss and illustrate, with examples, how the above two abductive reasoning techniques can be deployed to reason about specifications, detect errors, such as logical inconsistencies, provide diagnostic information about these errors, and identify (possible) changes to revise incorrect specifications. We then conclude with a discussion of open research issues.

Web services composition is an error-prone task and involves many aspects such as flow control, data exchange and communication between peers. All these make behavior analysis and verification of it significantly complicated. In this paper, we propose a new technique of composition analysis and verification by using CPNs, which is an extended version of Petri Nets, which have a sound mathematical semantics and a number of existing analysis tools. We provide transformation schemes of composition language into CPNs and a technique to analyze and verify effectively the nets to investigate several behavioral properties. Our transformation technique is essentially independent of the language describing composition. As an example, to show the effectiveness of our technique, we pick up BPEL and translate a specification written in it into CPNs.

The CMS computing model has been distributed since early in the experiment preparation. In order for the experiment to succeed, CMS needs to develop efficient distributed analysis techniques using grid services. CMS has an active program of development and deployment to ensure the experiment can perform analysis using a worldwide infrastructure of computing clusters already at the beginning of LHC operation. In this presentation the status, plans, and prospects for CMS analysis using the grid are outlined.

The meanings given to the terms “algebra” and “analysis”, separately or jointly in expressions like “algebraic analysis”, have changed over time, even simultaneously being used with significant differentiating shades.

I will focus on the period between the publication, from 1751 on, of the Encyclopédie edited by Diderot and D’Alembert, and the publication from 1899 on, of the Encyklopädie der Mathematischen Wissenschaften mit Einschluss ihrer Anwendungen, driven by F. Klein. The latter was translated into French with slight additions, under the direction of J.Molk, from 1904 until 1915, when the process was interrupted by the Great War (1914-1918), which also marks the end of the period covered in this paper.

The traditional method of reliability assessment is established on the basis of large sample theory that requires a lot of field test samples and long test time. This is unable to endure many industry enterprises. Especially for CNC machine tools of this kind of high reliability, small sample size expensive equipment, Because of the large cost of test, the data we can get very few, Limited data may result in low confidence level of reliability assessment or not accurate estimate. So the traditional estimation method is special not and very high reliability of products. In this paper, taking a CNC machine as the research object, according to the reliability of the relevant mathematical theory, Application of weibull distribution test failure time distribution model parameters, And further calculate the reliability index, such as reliability, and effectiveness, MTBF, etc. Through experiments, it shows that proposed method is suitable for numerical control machine reliability assessment requirements.

Single-cell genomics technology is an exciting emerging area that holds the promise to revolutionize our understanding of diseases and associated biological processes. It allows us to explore processes active in bulk tissue samples, survey tissue complexity, characterize heterogeneous cell populations and explore the role of cellular heterogeneity and interactions in disease. To deal with these new experimental data, new computational methods, software, and data portals to analyze, integrate and interpret the complexity of the system are clearly needed. The many areas where new analytical methods are needed include: (1) computational methods to identify bona fide patterns of gene expression, mutations, or DNA methylation among single cells; (2) imaging of gene expression or in situ transcriptomic analysis to allow study of the spatial-temporal relationships of single cells in complex tissues; (3) new tools and methods to integrate multi-omics single cell data that can handle the sparsity associated with those data, and (4) new software packages and data portals to enable cloud/HPC deployment to both developers and non-informatics end-users. Here we briefly review the state-of-the-art single cell analysis methods, ranging from clustering to visualization, and discuss the future directions of single cell bioinformatics that overcomes the computational and technical challenges as well as promotes the wide-spread adoption in biomedical research labs.

In high-value manufacturing, production equipment is often calibrated on a regular basis to ensure it remains within the required absolute tolerance. However, this go/no go approach means that data relating to the rate of change of the condition of the asset is often lost or overlooked. This data can provide valuable insight into the current state of the machine, and provide estimates of when maintenance will be required to maintain the present level of performance. Analyzing the rate of decay of certain machine capabilities can assist with optimisation of maintenance schedules, allow the cost of replacement parts to be reduced or spread out, and give more reliable estimates of machine availability. The reasons for the loss of this data and a proposed design of a system to capture it are discussed here.

Transient electromagnetic interference (EMI) generated during the switching of dis-connector and circuit breakers in 500 kV substations may cause malfunction or damage to electronic equipment positioned nearby if appropriate immunity measures are not taken. After analyzing the results and waveform characteristics of EMI, the experimental result shows that the EMI in secondary circuit is mainly caused by switch and breaker operations, their waveform characteristic is damped oscillatory, and the intensity of wave should not be neglected. The results also show that the EMI due to switch operations is caused by the electric discharge in primary circuit, and the EMI due to breaker operations is caused by the inductor, contactor oscillate and electric discharge. The impact of the electric discharge of the breakers in primary circuit into the secondary circuit is negligible.

As the development of deep-processing of aquatic food, the increasing yields of canned aquatic products require a large demand of can making machinery. Edge forming of can lid is one of the key processes in the can-making procedure. To overcome the problems including high cost, high rejection rate, and low production efficiency, edge forming by stamping die was utilized. The stamping die is designed in this study, and the edge forming was simulated with spring back analysis. The quality of lid edge was predicted and the design of stamping die was verified.