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... 

Male infertility is mostly related to semen and spermatozoa, and any diagnosis or treatment requires the investigation of the motility patterns of spermatozoa. The movements of spermatozoa are fast and involve collision and occlusion with each other. In order to extract the motility patterns of spermatozoa, multi-target tracking (MTT) of spermatozoa is necessary. One of the most important steps of MTT is data association, in which the newly arrived observations are used to update the previous tracks. Dynamic Bayesian network (DBN) is a powerful tool for modeling and solving various types of problems such as tracking and classification. There can also be a hybrid-DBN (HDBN), in which both... 

A series of polyurethane elastomers (PUEs) based on 4,4′-cyclohexamethylene diisocyanate (H12MDI)/1,2-ethanediol as hard segment with the soft segments having different molecular weights of polycaprolactone diols, were effectively polymerized by two step technique. The structural characterization was performed by FT-IR spectroscopy. The X-ray diffraction (XRD) technique was used to study the crystallinity and hydrophilicity of the prepared polymer films. It was found that crystallinity and hydrophilicity increased with increasing the chain length of soft segments. The effect of molecular weight of polyols on the contact angle, water absorption (%) and swelling behavior of the synthesized... 

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,... 

We consider the problem of interference management in wireless cellular networks with caches at both base stations and receivers, and we characterize the degrees of freedom (DoFs) per cell to within an additive gap of (1/3) and a multiplicative gap of 2 for all system parameters, under one-shot linear schemes. Our result indicates that the one-shot linear DoF per cell scales linearly with the total amount of cache available in the cell, i.e., the sum of the caches at the central base station and all the receivers within the cell, resembling a similar phenomenon previously observed for the case of fully connected wireless networks. To establish the result, we propose a decentralized and... 

How can we optimally trade extra computing power to reduce the communication load in distributed computing? We answer this question by characterizing a fundamental tradeoff between computation and communication in distributed computing, i.e., the two are inversely proportional to each other. More specifically, a general distributed computing framework, motivated by commonly used structures like MapReduce, is considered, where the overall computation is decomposed into computing a set of “Map” and “Reduce” functions distributedly across multiple computing nodes. A coded scheme, named “coded distributed computing” (CDC), is proposed to demonstrate that increasing the computation load of the... 

In this work, in order to improve drawbacks of bare (pure) carbon graphite nitride (g-C3N4), phosphorus-selenium doped carbon nitride was synthesized to enhance light absorption in visible region. Then Ag nanoparticles loaded onto P-Se co-doped g-C3N4, as a result, the surface plasmonic resonance effect was created. In addition, the photocatalytic activity of samples was improved by suppression of charge carriers’ recombination. Synthesized photocatalyst was characterized by XRD, FT-IR, EDS, BET, XPS, FE-SEM, ICP, TEM, and DRS and PL analysis. All prepared samples were applied in the degradation of Rhodamine B as an azo dye under irradiation of visible light. According to the obtained...