Sharif Digital Repository

JML is a behavioral interface specification language which has Java as its target implementation language. It combines the idea of using Java expressions from Eiffel language with the model-based approach to specify a program. Refinement calculus is a framework to produce executable code from a specification by preserving the correctness of programs. In this paper some constructs of JML concerning object creation, feature call, exceptional behavior and concurrency constructs are studied and some refinement rules are proposed to obtain an object oriented code in Java from a JML specification containig these constructs. The correctness of these rules is proved by weakest precondition predicate... 

An on-line extraction/determination set up was designed for micro solid-phase extraction of clodinafop propargyl from water, soil and wheat samples using electrospun polyamide nanofiber mats. The prepared mats were packed in a stainless steel tube which conveniently acted as a high-performance liquid chromatography injection loop. Influential parameters affecting the extraction efficiency were optimized using a distilled water sample fortified with 25 μg L-1 of clodinafop propargyl. An enrichment factor of 440 was achieved for clodinafop propargyl indicating the ability of the whole procedure. Under the optimum conditions, the linearity for the analyte was in the range of 6-700 μg L-1, while... 

The present work deals with a novel approach for grafting a sol-gel based sorbent, using diazonium salts for preparation of an unbreakable capillary microextraction (CME) device in on-line combination with high performance liquid chromatography (HPLC). The use of diazonium salts modifier allowed all types of metallic and non-metallic substrates to be used without any limitation. Substrates including copper, brass, stainless steel and polytetrafluoroethylene (PTFE) were chosen to be functionalized by chemical or electrochemical reduction of 4-amino phenyl acetic acid. Then, 3-(trimethoxysilyl)propylamine (3TMSPA) was selected as the precursor and the only reagent for preparation of the... 

In this study, organic aerogels were synthesized by the sol-gel polycondensation of mixed cresol with formaldehyde in a slightly basic aqueous solution. Carbon aerogels and xerogels are generated by pyrolysis of organic aerogels. The novel sol-gel-based micro-solid-phase extraction sorbent, resorcinol-formaldehyde xerogel, was employed for preconcentration of some selected herbicides. Three herbicides of the aryloxyphenoxypropionate group, clodinafop-propargyl, haloxyfop-etotyl, and fenoxaprop-P-ethyl, were extracted from aqueous samples by micro-solid-phase extraction and subsequently determined by gas chromatography with mass spectrometry. The effect of different parameters influencing the... 

An attempt was made to combine μ-solid phase extraction and headspace single drop microextraction techniques and use their advantages for trace determination of some volatile organic compounds in aqueous samples. After performing the two-step preconcentration approach, the desired analytes were determined by gas chromatography-mass spectrometry. A resorcinol-formaldehyde-based xerogel was used as the extraction medium in the μ-solid phase extraction (μ-SPE) method. Then, the extracted BTEX was eluted with a rather large amount of methanol. To remove the laborious process including solvent evaporation and further reconstitution, which is usually accompanied by loss of analytes and accuracy,... 

In this study the authors present an in-depth study, analysis and discussion on maximum likelihood (ML)-based receiver for a typical spectrally encoded spread-time CDMA in the presence of multiple narrowband interference (NBI) signals in an additive white Gaussian noise channel. Furthermore, the authors demonstrate that by combining useful properties of ML-based receiver and three-level codes, that is, codes with values of -1, 0, +1, the authors can introduce a new strategy in which superior performance with respect to previous receiver structure based on two-level codes, that is, codes with values of -1, +1, can be attained. With the help of an example, the authors drive, first, the... 

In this study, we discuss the postural stability of a nonprehensile manipulation problem, which deals with multibody objects. As a metric for postural stability, we define PRI. Then, the system is posturally stable, if PRI is inside the convex hull of the object-manipulator contact surface. We then discuss that dynamic biped locomotion is a special case of dynamic nonprehensile manipulation in all aspects; we prove that ZMP (zero-moment point) and FRI (zoot rotation indicator) are special cases of PRI (palm rotation indicator). Simulations and experiments corresponding to simple examples support the results