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

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

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

Modeling and analysis of information system vulnerabilities helps us to predict possible attacks to networks using the network configuration and vulnerabilities information. As a fact, exploiting most of vulnerabilities result in access rights alteration. In this paper, we propose a new vulnerability analysis method based on the Take-Grant protection model. We extend the initial Take-Grant model to address the notion of vulnerabilities and introduce the vulnerabilities rewriting rules to specify how the protection state of the system can be changed by exploiting vulnerabilities. Our analysis is based on a bounded polynomial algorithm, which generates the closure of the Take-Grant graph... 

We study the translocation of stiff polymers through a nanopore, driven by the chemical-potential gradient exerted by binding proteins (chaperones) on the trans side of the pore. Bound chaperones prevent backsliding through the pore and, therefore, partially rectify the polymer passage. We show that the sequence of chain monomers with different binding affinity for the chaperones significantly affects the translocation dynamics. In particular, we investigate the effect of the nearest-neighbor adjacency probability of the two monomer types. Depending on the magnitude of the involved binding energies, the translocation speed may either increase or decrease with the adjacency probability. We... 

Combining the advection-diffusion equation approach with Monte Carlo simulations we study chaperone driven polymer translocation of a stiff polymer through a nanopore. We demonstrate that the probability density function of first passage times across the pore depends solely on the Péclet number, a dimensionless parameter comparing drift strength and diffusivity. Moreover it is shown that the characteristic exponent in the power-law dependence of the translocation time on the chain length, a function of the chaperone-polymer binding energy, the chaperone concentration, and the chain length, is also effectively determined by the Péclet number. We investigate the effect of the chaperone size on... 

The amount of rippling in graphene sheets is related to the interactions with the substrate or with the suspending structure. Here, we report on an irreversibility in the response to forces that act on suspended graphene sheets. This may explain why one always observes a ripple structure on suspended graphene. We show that a compression-relaxation mechanism produces static ripples on graphene sheets and determine a peculiar temperature Tc, such that for T