Search results for "Partial"

Stubborn sets, frozen actions, and fair testing

2021

Many partial order methods use some special condition for ensuring that the analysis is not terminated prematurely. In the case of stubborn set methods for safety properties, implementation of the condition is usually based on recognizing the terminal strong components of the reduced state space and, if necessary, expanding the stubborn sets used in their roots. In an earlier study it was pointed out that if the system may execute a cycle consisting of only invisible actions and that cycle is concurrent with the rest of the system in a non-obvious way, then the method may be fooled to construct all states of the full parallel composition. This problem is solved in this study by a method tha…

NeutroAlgebra is a Generalization of Partial Algebra

2020

In this paper we recall, improve, and extend several definitions, properties and applications of our previous 2019 research referred to NeutroAlgebras and AntiAlgebras (also called NeutroAlgebraic Structures and respectively AntiAlgebraic Structures). Let <A> be an item (concept, attribute, idea, proposition, theory, etc.). Through the process of neutrosphication, we split the nonempty space we work on into three regions {two opposite ones corresponding to <A> and <antiA>, and one corresponding to neutral (indeterminate) <neutA> (also denoted <neutroA>) between the opposites}, which may or may not be disjoint – depending on the application, but they are …

Singular integrals and rectifiability

2002

We shall discuss singular integrals on lower dimensional subsets of Rn. A survey of this topic was given in [M4]. The first part of this paper gives a quick review of some results discussed in [M4] and a survey of some newer results and open problems. In the second part we prove some results on the Riesz kernels in Rn. As far as I know, they have not been explicitly stated and proved, but they are very closely related to some earlier results and methods. [Proceedings of the 6th International Conference on Harmonic Analysis and Partial Differential Equations, El Escorial (Madrid), 2002].

A probabilistic Weitzenböck formula on Riemannian path space

2000

Identification of a specific type of PD from acoustic emission frequency spectra

2001

The paper presents an attempt to apply spectral analysis tools in processing acoustic emission (AE) pulses generated by partial discharge (FD). The experimental part of the paper describes spark gaps generating four types of PD and specifies parameters of measured acoustic signals and recalls the system used for measurement and analysis of the frequency spectra. Also, a spectral analysis procedure is presented, and frequency-domain descriptors characterizing AE pulses are defined. The results of the analysis are given both as time plots and amplitude and energy density spectra, related to values of the associated descriptors. The spectral analysis results cover AE pulses generated in system…

Nutritional parameters of commercially available milk samples by FTIR and chemometric techniques

2004

Abstract A chemometric study on the prediction of the main nutritional aspects of milk has been carried out by using fourier transform infrared spectroscopy (FTIR) attenuated total reflectance (ATR) measurements of commercially available milk samples of different types. Whole, semi and skimmed milks, enriched or not with calcium, vitamins or modified by alteration of lipid or sugar composition were considered. After evaluating different strategies for data acquisition and ATR cleaning between samples, hierarchical cluster analysis (HCA) was carried out for classification of samples in order to choose the calibration set. The prediction capabilities of partial least squares (PLS) data treatm…

Chemometric determination of lipidic parameters in serum using ATR measurements of dry films of solvent extracts

2013

Attenuated total reflectance (ATR) infrared spectroscopy of dried organic extracts of serum samples has been evaluated as a fast method for the determination of triglycerides, cholesterol, high density lipoprotein (HDL) and low density lipoprotein (LDL). After careful selection of solvents based on green parameters, serum samples were extracted using hexane-isopropanol and ethyl acetate-ethanol mixtures. Microscopy studies and comparison with standard spectra were performed in order to investigate whether the proposed methodology is suitable for the quantification of lipids in serum samples. The results of these preliminary studies confirmed that the variations in the IR spectra of sample e…

A chemometric study of the simultaneous determination of calcium and magnesium in natural waters

1999

A method for the simultaneous spectrophotometric determination of calcium and magnesium in mineral waters with an FIA system is tested. The method is based on the reaction between the analytes and arsenazo(III) at pH 8.5. The calculations of the amounts of both analytes in the samples are carried out with the H-point standard addition method (HPSAM) for ternary mixtures, and with a partial least squares (PLS) model after a proper variable selection. The results obtained for the determination of calcium were comparable using both methods. The employment of the HPSAM brings to our attention the influence of the calcium concentration in the sample to the development of the reaction between mag…

Simultaneous spectrophotometric determination of calcium and magnesium in mineral waters by means of multivariate partial least-squares regression.

1997

A method for simultaneous spectrophotometric determination of calcium and magnesium in mineral waters using multivariate calibration methods is proposed. The method is based on the development of the reaction between the analytes and Methylthymol Blue at pH 11. Two operational modes were used: static (spectral information) and flow injection (FI) (spectral and kinetic information). The selection of variables was studied. A series of synthetic solutions containing different concentrations of calcium and magnesium were used to check the prediction ability of the partial least-squares models. The method was applied to the analysis of mineral waters and the results were compared with those obta…

Multivariate optimization approach for chiral resolution of drugs using human serum albumin in affinity electrokinetic chromatography-partial filling…

2005

The enantiomeric resolution of chiral compounds using HSA by means of affinity EKC (AEKC)-partial filling technique is the result of a delicate balance between different experimental variables such as protein concentration, running pH (background electrophoretic buffer, protein and compound solutions) and protein solution plug length. In this paper multivariate optimization approaches for chiral separation of four basic drugs (alprenolol, oxprenolol, promethazine and propranolol) using HSA as chiral selector in AEKC-partial filling technique are studied. The experimental conditions to achieve maximum resolution are optimized using the Box-Behnken experimental design. Partial least squares a…