Design of Fully Automatic Specification Selection System for Resistance Welding Equipment

A system for fully automatic selection of welding specifications in resistance welding equipment has been developed to address the problem of workers frequently choosing the wrong specifications during manual welding of multiple parts on a single machine in automobile factories. The system incorporates an automatic recognition system for different workpiece materials using the added machine fixture,visual detection system for nuts and bolts,and secondary graphical confirmation to ensure the correctness of specification calling. This system achieves reliable,fully automatic selection of welding specifications in resistance welding equipment and has shown significant effects in improving welding quality for massproduced workpieces,while solving the problem of specification calling errors that can occur with traditional methods involving process charts and code adjustments. This system is particularly suitable for promoting applications in manual welding of multiple parts on a single machine in automobile factories,ensuring correct specification calling and welding quality.

SHADOWING,EXPANSIVENESS AND SPECIFICATION FOR C^1-CONSERVATIVE SYSTEMS

We prove that a Cl-generic volume-preserving dynamical system （diffeomor- phism or flow） has the shadowing property or is expansive or has the weak specification property if and only if it is Anosov. Finally, as in [10, 27], we prove that the Cl-robustness, within the volume-preserving context, of the expansiveness property and the weak specifica- tion property, imply that the dynamical system （diffeomorphism or flow） is Anosov.

Conversion of Object Oriented System into Software Product Line with Delta Modeling Abstract Behavioral Specification

This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system with high level of variety and supports SPL development with delta modeling. The case study of this thesis is a digital library system called Library Automation and Digital Archive (LONTAR). Originally, LONTAR only uses SOAP-based web service. With ABS, LONTAR will be converted into SPL and implement another web service called REST. The motivation of this conversion of LONTAR from object oriented into SPL is because it is easier to develop system with ABS than using regular object oriented. Product definition in ABS is relatively easier than creating a new subclass and do customization to make it works well.

A Z Specification for Employment Clerical System

Z has become recognized as a very effective formal specification language in improving the quality of software and ensuring the cost effectiveness of the development process. This paper presents part of a case study of Z notations, ClericalTemps, which is an agency that provides a clerical help to its clients.

Basic regulatory science behind drug substance and drug product specifications of monoclonal antibodies and other protein therapeutics

In this review,we focus on providing basics and examples for each component of the protein therapeutic specifications to interested pharmacists and biopharmaceutical scientists with a goal to strengthen understanding in regulatory science and compliance.Pharmaceutical specifications comprise a list of important quality attributes for testing,references to use for test procedures,and appropriate acceptance criteria for the tests,and they are set up to ensure that when a drug product is administered to a patient,its intended therapeutic benefits and safety can be rendered appropriately.Conformance of drug substance or drug product to the specifications is achieved by testing an article according to the listed tests and analytical methods and obtaining test results that meet the acceptance criteria.Quality attributes are chosen to be tested based on their quality risk,and consideration should be given to the merit of the analytical methods which are associated with the acceptance criteria of the specifications.Acceptance criteria are set forth primarily based on efficacy and safety profiles,with an increasing attention noted for patient-centric specifications.Discussed in this work are related guidelines that support the biopharmaceutical specification setting,how to set the acceptance criteria,and examples of the quality attributes and the analytical methods from 60 articles and 23 pharmacopeial monographs.Outlooks are also explored on process analytical technologies and other orthogonal tools which are on-trend in biopharmaceutical characterization and quality control.

Fuzzy-Model-Based Finite Frequency Fault Detection Filtering Design for Two-Dimensional Nonlinear Systems

This article studies the fault detection filtering design problem for Roesser type two-dimensional(2-D)nonlinear systems described by uncertain 2-D Takagi-Sugeno(T-S)fuzzy models.Firstly,fuzzy Lyapunov functions are constructed and the 2-D Fourier transform is exploited,based on which a finite frequency fault detection filtering design method is proposed such that a residual signal is generated with robustness to external disturbances and sensitivity to faults.It has been shown that the utilization of available frequency spectrum information of faults and disturbances makes the proposed filtering design method more general and less conservative compared with a conventional nonfrequency based filtering design approach.Then,with the proposed evaluation function and its threshold,a novel mixed finite frequency H_(∞)/H_(-)fault detection algorithm is developed,based on which the fault can be immediately detected once the evaluation function exceeds the threshold.Finally,it is verified with simulation studies that the proposed method is effective and less conservative than conventional non-frequency and/or common Lyapunov function based filtering design methods.

Specification of manual lactation traditional Chinese medicine technology

Acute mastitis is one of the common diseases of postpartum lactating women,also known as lactational mastitis,which can occur during breastfeeding,especially in the postpartum 3–4 weeks.Acute mastitis can lead to the cessation of breastfeeding.Improving breastfeeding behavior and extending breastfeeding duration have become a global strategy to promote maternal and child health.Manual lactation traditional Chinese medicine technology is one of the important measures to improve the rate of breastfeeding,which can solve the problems of breast swelling,pain,and reduction of milk production.This article introduces the definition,indications,standard operating procedures,precautions,and treatment of adverse events of manual lactation in traditional Chinese medicine technology,so as to provide more comprehensive guidance for clinical workers to carry out manual lactation operations.

Coherence cube enhancement based on local histogram specification

Coherence analysis is a powerful tool in seismic interpretation for imaging geological discontinuities such as faults and fractures. However, subtle faults or fractures of one stratum are difficult to be distinguished on coherence sections （time slices or profiles） due to interferences from adjacent strata, especially these with strong reflectivity. In this paper, we propose a coherence enhancement method which applies local histogram specification （LHS） techniques to enhance subtle faults or fractures in the coherence cubes. Unlike the traditional histogram specification （HS） algorithm, our method processes 3D coherence data without discretization. This method partitions a coherence cube into many sub-blocks and self-adaptively specifies the target distribution in each block based on the whole distribution of the coherence cube. Furthermore, the neighboring blocks are partially overlapped to reduce the edge effect. Applications to real datasets show that the new method enhances the details of subtle faults and fractures noticeably.

渐近平均伪轨跟踪性质、弱specification性质和分布混沌

证明了有渐近平均伪轨跟踪性质的非平凡紧致动力系统具有一致分布混沌或者按序列分布混沌。此外,在具有渐近平均伪轨跟踪性质系统中的分布混沌在测度中心是一致和稠密的,即有一个不可数的一致分布混沌集是由这样的点组成,它们的轨道闭包包含测度中心。作为一个推论,具有弱specification性质的系统也有类似的结果。

关于弱Specification性质的一个注记

该文证明具有弱specification性质的系统在其测度中心的限制系统也具有弱specification性质,并且其逆不真.作为推论得到在未有满射的假设下,弱specification性质蕴含渐近平均跟踪性质.最后证明具有弱specification性质的满射系统是一致分布混沌的.

Study on specifications of farmland shelterbelt net in Northeastern Plain of China

s: The farmland shelterbelts in Northeastern Plain of China have formed relatively complete net system. The func-tions of shelterbelt net in omnibearing wind check and prevention of frostbite as well as the field of integrated climate effect within shelterbelt net were analyzed, through located observation of meteorological factors. Within the shelterbelt net, the area with more than 10% efficiency of omnibearing wind check was determined as benefited area. The analysis of yield and quality of crops indicated that the sheltering range of shelterbelt net was 25 times tree height. The mature heights of the various varieties of poplar composed the shelterbelts were determined according to their height growth. Based on the comprehensive analysis above, the suitable size of farmland shelterbelt net in Northeastern Plain of China was decided to be 400 m×400 m.

弱Specification和逆极限空间上移位映射(英文)

对度量空间上连续自映射引进弱Ｓｐｅｃｉｆｉｃａｔｉｏｎ概念，研究了它与浑沌和拓扑熵的联系，此外还讨论了逆极限空间上移位映射的弱Ｓｐｅｃｉｆｉｃａｔｉｏｎ性质。

Gamma oscillations and their role in orchestrating balance and communication following stroke

Induced brain oscillations in the gamma range have recently garnered attention due to their reported neuroprotective effects in the treatment of Alzheimer’s disease.This method differs from pharmacological approaches by tapping into the neuronal population dynamics that underlie the homeostatic processes in the brain that are crucial for the recovery of function.Recently,induced gamma-range oscillations have been used to improve cerebral blood flow,motor function,and synaptic plasticity in a mouse model of focal stroke,highlighting the broad potential of recruiting intrinsic recovery processes for the treatment of neurological conditions.Addressing open questions,such as the frequency specificity of the benefits,will shed light on the intrinsic processes involved and allow clinicians to optimize recovery after stroke.

连续映射的弱specification性质与混沌

specification性质是一种重要的动力性质,对连续的区间映射和树映射,该性质与拓扑混合等价。对紧致度量空间,满足POTP性质的拓扑混合映射具有specification性质。文章对紧致度量空间上连续自映射,研究了弱specification性质与各种混沌之间的关系,证明了具有弱specification性质的系统是Li-Yorke意义下混沌的,是Ruelle-Takens意义下混沌的,是处处混沌的,并且具有性质P。

Remote Control of Unitary Air Conditioner Based on Manufacturing Message Specification

Traditional air conditioner used to be in local control mode. However, with the development of modern information technology, the control of air conditioner will have to support many more functions. As a first step in such a development, we have implemented a remote monitoring system of unitary air conditioners, using the manufacturing message specification (MMS). MMS is an OSI application protocol designed for the remote control and monitoring of real devices. The functions supported are those that an operator would do normally at the console of the unitary air conditioner. Due to the accomplishment of UMCS (Unitary air conditioner MMS Control System), there will be a leap of the application of MMS and the control technology of unitary air conditioner.

Decomposition-Based Visual Function Specification and Auto-Generation of Function

On the software module, this paper proposes a visual specification language(VSL). Based on decomposition, the language imitates men's thinking procedure that decomposes aproblem into smaller ones, then independently solves the results of every small problem to get theresult of original problem (decomposition and synthesis). Besides, the language mixes visual withspecification. With computer supporting, we can implement the software module automatically. It willgreatly improve the quality of software and raise the efficiency of software development. Thesimple definition of VSL, the principle of auto-generation, an example and the future research areintroduced.

Application of jet main region specification model in CFD simulation for room air movement analysis

This paper analyzes the applications of four air terminal device（ATD）models（i.e.,the basic model,the box model,the N-point momentum model,the jet main region specification model）in computational fluid dynamics（CFD）simulation and their performance in case study.A full-scale experiment is performed in an environment chamber,and the measured air velocity and temperature fields are compared with the simulation results by using four ATD models.The velocity and temperature fields are measured by an omni-directional thermo-anemometer system.It demonstrates that the basic model and the box model are not applicable to complicated air terminal devices.At the occupant area,the relative errors between simulated and measured air velocities are less than 20% based on the N-point momentum model and the jet main region specification model.Around the ATD zone,the relative error between the numerical and measured air velocity based on the jet main region specification model is less than 15%.The jet main region specification model is proved to be an applicable approach and a more accurate way to study the airflow pattern around the ATD with complicated geometry.

弱Specification性质与不变概率测度

对紧致度量空间上连续自映射,研究了弱Specification性质与不变概率测度之间的关系,证明了具有弱Specification性质的系统一定存在f:X→X的不变概率测度m,使得Suppm=X,并且f:X→X有满测度中心,即M(f)=X.

Autologous cord blood vs individualized supplements in autistic spectrum disorder:CORDUS study results

BACKGROUND Cellular therapies have started an important new therapeutic direction in autistic spectrum disorder(ASD),and the ample diversity of ASD pathophysiology and the different types of cell therapies prompt an equally ample effort to employ clinical studies for studying the ASD causes and cell therapies.Stem cells have yielded so far mixed results in clinical trials,and at patient level the results varied from impressive to no improvement.In this context we have administered autologous cord blood(ACB)and a non-placebo,material intervention repre-sented by an individualized combination of supplements(ICS)to ASD children.METHODS CORDUS clinical study is a crossover study in which both oral ICS and intravenous ACB were sequentially administered to 56 children;ACB was infused as an inpatient procedure.Treatment efficacy was evaluated pre-treatment and post-treatment at 6 months by an independent psychotherapist with Autism Treatment Evaluation Checklist,Quantitative Checklist for Autism in Toddlers and a 16-item comparative table score,after interviewing the children’s parents and therapists.Before and after each intervention participants had a set of blood tests including inflammatory,metabolic and oxidative markers,and the neuronal specific enolase.RESULTS No serious adverse reactions were noted during and after cord blood or supplement administration.ACB improved evaluation scores in 78%of children with age 3–7-years(n=28),but was much less effective in kids older than 8 years or with body weight of more than 35 kg(n=28;only 11%of children improved scores).ICS yielded better results than ACB in 5 cases out of 28,while in 23 kids ACB brought more improvement than ICS(P<0.05);high initial levels of inflammation and ferritin were associated with no improvement.Ample individual differences were noted in children's progress,and statistically significant improvements were seen after ACB on areas such as verbalization and social interaction,but not on irritability or aggressive behavior.CONCLUSION ACB has superior efficacy to ICS in ASD;high inflammation,ferritin,age and body weight predict less improvement;more clinical studies are needed for studying ACB efficacy in ASD.

弱Specification和伪移位不变集(英文)

研究了弱Specification性质与紧致度量空间上连续映射的伪移位不变集的联系 ,得到的主要结果是 :设f∶X→X是紧致度量空间连续自映射 ,若f具有弱Specification性质 ,则存在正整数M ,使得fM具有伪移位不变集。