An approach to concurrent engineering

1998 ◽  
Vol 212 (1) ◽  
pp. 13-27 ◽  
Author(s):  
D T Pham ◽  
S S Dimov
Keyword(s):  
Carrying Capacity ◽  
Concurrent Engineering ◽  
Deductive Reasoning ◽  
Design Models ◽  
New Approach ◽  
Wide Range ◽  
Manufacturing Information ◽  
Form Features ◽  
The Given ◽  
Natural Way

This paper presents a new approach to concurrent engineering, focusing on simultaneous product design and process planning. The key elements in this approach are (a) a framework for structuring manufacturing information and maximizing the information-carrying capacity of the design models, (b) a procedure for intelligently mapping form features on to pertinent manufacturing considerations and (c) a procedure for utilizing the available manufacturing information about components already machined within the given manufacturing environment. The proposed approach provides a natural way for conveying manufacturing information to the designer. Its distinguishing feature is the application of a wide range of artificial intelligence techniques for knowledge acquisition and deductive reasoning.

FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS

2003 ◽  
Vol 13 (03) ◽  
pp. 365-376 ◽  
Author(s):  
FRÉDÉRIC GAVA
Keyword(s):  
Type Theory ◽  
Great Difficulty ◽  
Parallel Applications ◽  
Formal Proofs ◽  
Higher Order Logic ◽  
New Approach ◽  
Bulk Synchronous Parallel ◽  
Parallel Data ◽  
Wide Range ◽  
The Given

The Bulk Synchronous Parallel ML (BSML) is a functional language for BSP programming, a model of computing which allows parallel programs to be ported to a wide range of architectures. It is based on an extension of the ML language by parallel operations on a parallel data structure called parallel vector, which is given by intention. We present a new approach to certifying BSML programs in the context of type theory. Given a specification and a program, an incomplete proof of the specification (of which algorithmic contents corresponds to the given program) is built in the type theory, in which gaps would correspond to the proof obligation. This development demonstrates the usefulness of higher-order logic in the process of software certification of parallel applications. It also shows that the proof of rather complex parallel algorithms may be done with inductive types without great difficulty by using existing certified programs. This work has been implemented in the Coq Proof Assistant, applied on non-trivial examples and is the basis of a certified library of BSML programs.

Factors Affecting Molecular Self-Assembly and Its Mechanism

2012 ◽  
Vol 9 (1) ◽  
pp. 43 ◽  
Author(s):  
Hueyling Tan
Keyword(s):  
Self Assembly ◽  
Building Blocks ◽  
Molecular Engineering ◽  
Molecular Structures ◽  
Polymer Science ◽  
New Approach ◽  
Factors Affecting ◽  
Dna Structures ◽  
Self Assembling ◽  
Wide Range

Molecular self-assembly is ubiquitous in nature and has emerged as a new approach to produce new materials in chemistry, engineering, nanotechnology, polymer science and materials. Molecular self-assembly has been attracting increasing interest from the scientific community in recent years due to its importance in understanding biology and a variety of diseases at the molecular level. In the last few years, considerable advances have been made in the use ofpeptides as building blocks to produce biological materials for wide range of applications, including fabricating novel supra-molecular structures and scaffolding for tissue repair. The study ofbiological self-assembly systems represents a significant advancement in molecular engineering and is a rapidly growing scientific and engineering field that crosses the boundaries ofexisting disciplines. Many self-assembling systems are rangefrom bi- andtri-block copolymers to DNA structures as well as simple and complex proteins andpeptides. The ultimate goal is to harness molecular self-assembly such that design andcontrol ofbottom-up processes is achieved thereby enabling exploitation of structures developed at the meso- and macro-scopic scale for the purposes oflife and non-life science applications. Such aspirations can be achievedthrough understanding thefundamental principles behind the selforganisation and self-synthesis processes exhibited by biological systems.

Extraction of DNA from a Wide Range of Objects by Treatment with Ammonium Salts

2020 ◽  
Vol 36 (6) ◽  
pp. 98-106
Author(s):  
E.I. Levitin ◽  
B.V. Sviridov ◽  
O.V. Piksasova ◽  
T.E. Shustikova
Keyword(s):  
Dna Extraction ◽  
Dna Isolation ◽  
Tissue Samples ◽  
New Approach ◽  
Cell Wall Disruption ◽  
Wide Range ◽  
Low Salt ◽  
Mammalian Blood ◽  
Plasmid Extraction ◽  
Two Hybrid

Currently, simple, rapid, and efficient techniques for DNA isolation from a wide range of organisms are in demand in biotechnology and bioinformatics. A key (and often limiting) step is the cell wall disruption and subsequent DNA extraction from the disintegrated cells. We have developed a new approach to DNA isolation from organisms with robust cell walls. The protocol includes the following steps: treatment of cells or tissue samples with ammonium acetate followed by cell lysis in low-salt buffer with the addition of SDS. Further DNA extraction is carried out according to standard methods. This approach is efficient for high-molecular native DNA isolation from bacteria, ascomycetes, yeast, and mammalian blood; it is also useful for express analysis of environmental microbial isolates and for plasmid extraction for two-hybrid library screening. express method for DNA isolation; ammonium salt treatment (в русских ключевых такой порядок), osmotic breakage of cells This study was financially supported by the NRC "Kurchatov Institute"-GOSNIIGENETIKA Kurchatov Genomic Center.

A Unified Approach to H∞ Control of Singular Markovian Jump Systems

2013 ◽  
Vol 135 (6) ◽  
Author(s):  
Guoliang Wang ◽  
Hongyi Li
Keyword(s):  
Transition Probability ◽  
Markovian Jump Systems ◽  
Linear Matrix ◽  
Markovian Jump ◽  
New Approach ◽  
Control Approach ◽  
Singular Markovian Jump Systems ◽  
Jump Systems ◽  
Bounded Uncertainties ◽  
The Given

This paper considers the H∞ control problem for a class of singular Markovian jump systems (SMJSs), where the jumping signal is not always available. The main contribution of this paper introduces a new approach to a mode-independent (MI) H∞ controller by exploiting the nonfragile method. Based on the given method, a unified control approach establishing a direct connection between mode-dependent (MD) and mode-independent controllers is presented, where both existence conditions are given in terms of linear matrix inequalities. Moreover, another three cases of transition probability rate matrix (TRPM) with elementwise bounded uncertainties, being partially unknown and to be designed are analyzed, respectively. Numerical examples are used to demonstrate the effectiveness of the proposed methods.

scholarly journals Optimising the AR Engraved Structure on Light-Guide Facets for a Wide Range of Wavelengths

Optics ◽  
2020 ◽  
Vol 2 (1) ◽  
pp. 25-42
Author(s):  
Ioseph Gurwich ◽  
Yakov Greenberg ◽  
Kobi Harush ◽  
Yarden Tzabari
Keyword(s):  
Theoretical Analysis ◽  
Light Guide ◽  
Spectral Band ◽  
Angular Range ◽  
The Past ◽  
Input And Output ◽  
Wide Range ◽  
The Given ◽  
Theoretical Results ◽  
Shape And Size

The present study is aimed at designing anti-reflective (AR) engraving on the input–output surfaces of a rectangular light-guide. We estimate AR efficiency, by the transmittance level in the angular range, determined by the light-guide. Using nano-engraving, we achieve a uniform high transmission over a wide range of wavelengths. In the past, we used smoothed conical pins or indentations on the faces of light-guide crystal as the engraved structure. Here, we widen the class of pins under consideration, following the physical model developed in the previous paper. We analyze the smoothed pyramidal pins with different base shapes. The possible effect of randomization of the pins parameters is also examined. The results obtained demonstrate optimized engraved structure with parameters depending on the required spectral range and facet format. The predicted level of transmittance is close to 99%, and its flatness (estimated by the standard deviation) in the required wavelengths range is 0.2%. The theoretical analysis and numerical calculations indicate that the obtained results demonstrate the best transmission (reflection) we can expect for a facet with the given shape and size for the required spectral band. The approach is equally useful for any other form and of the facet. We also discuss a simple way of comparing experimental and theoretical results for a light-guide with the designed input and output features. In this study, as well as in our previous work, we restrict ourselves to rectangular facets. We also consider the limitations on maximal transmission produced by the size and shape of the light-guide facets. The theoretical analysis is performed for an infinite structure and serves as an upper bound on the transmittance for smaller-size apertures.

Study of Temperature Effect on Servovalve-Controlled Fuel Metering Unit

2015 ◽  
Vol 137 (6) ◽  
Author(s):  
Bin Wang ◽  
Haocen Zhao ◽  
Ling Yu ◽  
Zhifeng Ye
Keyword(s):  
Steady State ◽  
Temperature Variation ◽  
Dynamic Characteristics ◽  
Numerical Study ◽  
Step Response ◽  
Fuel Temperature ◽  
Wide Range ◽  
Fuel Rate ◽  
Testing Condition ◽  
The Given

It is usual that fuel system of an aero-engine operates within a wide range of temperatures. As a result, this can have effect on both the characteristics and precision of fuel metering unit (FMU), even on the performance and safety of the whole engine. This paper provides theoretical analysis of the effect that fluctuation of fuel temperature has on the controllability of FMU and clarifies the drawbacks of the pure mathematical models considering fuel temperature variation for FMU. Taking the electrohydraulic servovalve-controlled FMU as the numerical study, simulation in AMESim is carried out by thermal hydraulic model under the temperatures ranged from −10 to 60 °C to confirm the effectiveness and precision of the model on the basis of steady-state and dynamic characteristics of FMU. Meanwhile, the FMU testing workbench with temperature adjustment device employing the fuel cooler and heater is established to conduct an experiment of the fuel temperature characteristics. Results show that the experiment matches well with the simulation with a relative error no more than 5% and that 0–50 °C fuel temperature variation produces up to 5.2% decrease in fuel rate. In addition, step response increases with the fuel temperature. Fuel temperature has no virtual impact on the steady-state and dynamic characteristics of FMU under the testing condition in this paper, implying that FMU can operate normally in the given temperature range.

Visualization Service Model for Job Scheduling

2011 ◽  
Vol 282-283 ◽  
pp. 683-686
Author(s):  
Yong Ling Yu ◽  
Tao Guan ◽  
Jin Fa Shi
Keyword(s):  
Enterprise Resource Planning ◽  
Optimization Algorithm ◽  
Optimization Model ◽  
Job Scheduling ◽  
Resource Planning ◽  
Information Services ◽  
Production Data ◽  
Service Model ◽  
New Approach ◽  
Manufacturing Information

With the expansion of manufacturing information services, visualization service in enterprise resource planning has recently become a hot topic. In this paper, we propose a new approach for job scheduling visualization service and a model of visualization service constructed from the share of production data and job scheduling information. Moreover, the optimization model of visualization service is given. At last, we discuss the optimization algorithm for this model.

Combo separability criteria and lower bound on concurrence

2021 ◽  
Author(s):  
Zangi Sultan ◽  
Jiansheng Wu ◽  
Cong-Feng Qiao
Keyword(s):  
Lower Bound ◽  
Correlation Matrix ◽  
Density Operator ◽  
Singular Values ◽  
Quantum Information Theory ◽  
Separability Criteria ◽  
The Given ◽  
Ky Fan ◽  
Natural Way ◽  
Extract Information

Abstract Detection and quantification of entanglement are extremely important in quantum information theory. We can extract information by using the spectrum or singular values of the density operator. The correlation matrix norm deals with the concept of quantum entanglement in a mathematically natural way. In this work, we use Ky Fan norm of the Bloch matrix to investigate the disentanglement of quantum states. Our separability criterion not only unifies some well-known criteria but also leads to a better lower bound on concurrence. We explain with an example how the entanglement of the given state is missed by existing criteria but can be detected by our criterion. The proposed lower bound on concurrence also has advantages over some investigated bounds.

New Approach for Versatile Self Piercing Riveting: Joining System and Auxiliary Part

2021 ◽  
Vol 883 ◽  
pp. 3-10
Author(s):  
Fabian Kappe ◽  
Mathias Bobbert ◽  
Gerson Meschut
Keyword(s):  
Boundary Conditions ◽  
Research Work ◽  
High Load ◽  
Continuous Increase ◽  
New Approach ◽  
Load Bearing ◽  
Mechanical Joining ◽  
Wide Range ◽  
Riveting Process

The increasing use of multi-material constructions lead to a continuous increase in the use of mechanical joining techniques due to the wide range of joining possibilities as well as the high load-bearing capacities of the joints. Nevertheless, the currently rigid tool systems are not able to react to changing boundary conditions, like changing the material-geometry-combination. Therefore research work is crucial with regard to versatile joining systems. In this paper, a new approach for a versatile self-piercing riveting process considering the joining system as well as the auxiliary joining part is presented.

scholarly journals Interfacial Adhesion and Mechanical Properties of PET Fabric/PVC Composites Enhanced by SiO2/Tributyl Citrate Hybrid Sizing

Nanomaterials ◽  
2018 ◽  
Vol 8 (11) ◽  
pp. 898
Author(s):  
Dandan Pu ◽  
Fuyao Liu ◽  
Yubing Dong ◽  
Qingqing Ni ◽  
Yaqin Fu
Keyword(s):  
Interfacial Adhesion ◽  
Ethylene Terephthalate ◽  
Sio2 Nanoparticles ◽  
New Approach ◽  
Pet Fabric ◽  
Poly Ethylene Terephthalate ◽  
Wide Range ◽  
Peeling Strength ◽  
Poly Ethylene

Poly(ethylene terephthalate) (PET) fabric-reinforced polyvinyl chloride (PVC) composites have a wide range of applications, but the interface bonding of PET fabric/PVC composites has remained a challenge. In this work, a new in-situ SiO2/tributyl citrate sizing agent was synthesized according to the principle of “similar compatibility.” The developed sizing agent was used as a PET surface modifier to enhance the interfacial performance of PET fabric/PVC composites. The morphology and structure of the PET filaments, the wettability and tensile properties of the PET fabric, the interfacial adhesion, and the tensile and tearing properties of the PET fabric/PVC composites were investigated. Experimental results showed that many SiO2 nanoparticles were scattered on the surface of the modified PET filaments. Moreover, the surface roughness of the modified PET filaments remarkably increased in comparison with that of the untreated PET filaments. The contact angle of the modified PET filaments was also smaller than that of the untreated ones. The peeling strength of the modified PET fabrics/PVC composites was 0.663 N/mm, which increased by 62.50% in comparison with the peeling strength of the untreated ones (0.408 N/mm). This work provides a new approach to the surface modification of PET and improves the properties of PET fabric/PVC composites.

Sign in / Sign up

Export Citation Format

Share Document