Sharif Digital Repository

Software architectures and architectural styles are increasingly used for designing large-scale software systems. Alfa is a framework for the composition of style-based software architectures from a small set of primitives. It models the behavior of architectural components and connectors as orderings among events at their inputs and outputs. Formalizing such behavior is useful for checking conformance of architectures to their styles. We therefore propose a formal approach that uses data-abstract constraint automata to model the behavior of Alfa's compositions, and to verify their behavioral style conformance. We have also developed an automated conformance analyzer for Alfa. © 2004 IEEE  

A very efficient and mild procedure for the trimethylsilylation of a wide variety of alcohols, including primary, allylic, benzylic, secondary, hindered secondary, tertiary, and phenols with hexamethyldisilazane on the surface of silica gel dispersed with LiClO4 in room temperature at few minutes in excellent yields under neutral conditions is reported. This procedure also allows the excellent selectivity under LP-SiO2 system for silylation of alcohols in the presence of amine and phenolic hydroxy groups  

Heteropoly acid was found to be an effective and efficient catalyst for the ring opening reaction of epoxides with various aromatic amines to produce the corresponding β-amino alcohols in moderate to excellent yields in water. This method provides a new and efficient protocol in terms of mild reaction conditions, clean reaction profiles, small quantity of catalyst, and simple work-up procedure  

A simple, rapid, atom economy and highly efficient procedure has been developed for thiolysis of epoxides by aromatic and aliphatic thiols under solvent-free conditions. A high regioselectivity in favor of nucleophilic attack at the benzylic carbon atom of aromatic epoxides, such as styrene oxide, is observed. However, aliphatic unsymmetrical alkenyl oxides undergo selective nucleophilic attack at the sterically less hindered carbon atom. A variety of β-hydroxy sulfides were obtained in short reaction time and excellent yields with nearly complete regioselectivity  

Light propagation in turbid media, such as biological tissues, experience scattering due to inhomogeneous distribution of refractive indices. Control of light scattering is important for focusing the light or imaging through scattering medium. By spatially shaping the wave-front of the incident beam, using spatial light modulator (SLM), the scattered light can be focused to a point. Iterative optimization is a popular way of obtaining the most optimum phase map on the SLM. In this study, we implement six optimization algorithms including continuous sequential, partitioning algorithm, transmission matrix estimation method, genetic algorithms, particle swarm optimization, and simulated... 

In recent years, the technological advancement of supercapacitors has been increasing exponentially due to the high demand in electronic consumer products. As so, researchers have found a way to meet that demand by fabricating graphene. As developments are made toward the future, two big advancements to be made are large-scale fabrication of graphene and fabricating graphene as a flexible electrode. This would allow for use in larger products and for manipulation of the unique properties of graphene to accommodate superior design alternatives. While large scale production is still mentioned, this review is specifically focusing on different methods used to fabricate graphene as a flexible... 

We have used molecular dynamics simulation to investigate hydrophilic– hydrophobic interfaces between calcium chloride (CaCl2) aqueous solutions and normal hexane. The results demonstrate the increasing impact of salt concentration on the liquid–liquid interfacial tension, hence, negative adsorption of CaCl2 according to Gibbs adsorption isotherm. Moreover, we calculated the density profiles of hexane, water, and the counter ions. The results reveal an electrical double layer near the interface and the less affinity of calcium cations toward the interface than that of chloride anions. Orientation of water molecules at the studied concentrations may result in developing a positively charged... 

A simple, rapid, and highly regioselective green protocols for the synthesis of β-hydroxylnitriles by the direct reaction of epoxides with trimethylsilyl cyanide in the presence of catalytic amount of lithium perchlorate under solvent free conditions in high to quantitative yield is reported  

Treatment of aliphatic and aromatic aldehydes with chiral amines and trimethylsilyl cyanide in the absence or in the presence of Lewis acids (including lithium perchlorate) under solvent-free conditions afforded the corresponding α-aminonitriles in good yields and with a diastereoselectivity of 68 to 86%  

Background For decades, contrast agents have been used to reduce longitudinal (T1) or transverse (T2) relaxation times. High toxicity of gadolinium-based contrast agents leads researchers to new T1 contrast agents. Manganese oxide (MnO) nanoparticle (NP) with the lower peril and good enough signal change ability has been offered as a new possibility for magnetic resonance imaging (MRI). Methods The synthesized NPs were investigated for physicochemical and biological properties by X-ray diffraction, Fourier transform infrared spectroscopy, transmission electron microscope, dynamic light scattering (DLS), inductively coupled plasma, enzyme-linked immunosorbent assay, and 3 T magnetic resonance... 

In this paper, a hierarchical multi-scale technique is developed to investigate the thermo-mechanical behavior of nano-crystalline structures in the presence of edge dislocations. The primary edge dislocations are generated by proper adjustment of atomic positions to resemble discrete dislocations. The interatomic potential used to perform atomistic simulation is based on the Finnis-Sinclair embedded-atom method as many-body potential and, the Nose-Hoover thermostat is employed to control the effect of temperature. The strain energy density function is obtained for various representative volume elements under biaxial and shear loadings by fitting a fourth order polynomial in the atomistic... 

The inventory replenishment policy exploited by a supply chain has a principle role in amplification of order variability compared to fluctuations in customers' demands. This phenomenon is known as the bullwhip effect. In this paper, a four echelon supply chain is simulated and the impacts of continuous and periodic review order-up-to policies on the bullwhip effect are examined. Experiments have been conducted to analyze the influence of the lead time in deterministic conditions, and also the variance of demand and lead time in stochastic circumstances on the bullwhip effect and the corresponding cost. It was observed that in low demand and lead time variances, it is more efficient to... 

Situational Method Engineering (SME) addresses the need for custom-built software development methodologies that are tailored to fit specific project situations. A process pattern is a description of a recurring development process fragment that can be used as a generic model or a building block for engineering development processes. Software development process patterns are extensively used in SME, mainly as process components assembled to form bespoke methodologies; however, the SME field itself has not been scrutinized as to the methodology development process fragments frequently encountered. Situational method engineering knowledge captured in the form of SME process patterns is not... 

Preparation of the defective TiO2 nanoparticles (NPs) have been recently in particular interest for its outstanding applications in visible-light active photocatalysis. In order to make TiO2 visible-light absorber, optical band gap should be modified especially via introducing structural defects like oxygen vacancies as an effective pathway. In this research, we prepared defective rutile TiO2 NPs with highly efficient photocatalytic activity under visible light. The NPs were synthesized by electric arc discharge in water as a cost-effective and environmentally friendly method with capability of defect formation which followed by heat treatment. The photocatalytic activity improvement... 

This paper is an extension of an earlier work on electron correlations in semiconducting GaAs-based quasi-one-dimensional quantum wires. The extension was twofold. First, we developed the Singwi, Tosi, Land, and Sölander (STLS) scheme for multisubband structures. Secondly, we developed the multisubband ladder approximation diagrammatic technique. By using the results obtained for the spin symmetric and spin antisymmetric interpolarization and intrapolarization potentials, we calculate the corresponding electron-electron effective potentials. Our results for a two-subband model show that these effective potentials have an attractive part implying the occurrence of s-wave and p-wave pairings,... 

An operationally simple and entirely green protocol for heteropoly acid catalyst conjugate addition of indoles and pyrrole to unsaturated carbonyl compounds and nitro-alkene in water was investigated. It is important that the products arising from 1,2-addition were not observed under the reaction conditions. Pyrroles also readily underwent Michael addition at Α-positions under the same reaction conditions. Indole and many of its derivatives are present in many substances commonly found in nature. Micheal addition reactions are performed in organic solvents with the reactions in water are relatively scarce. The Michael addition between indole and methyl vinyl ketone in the presence of... 

A highly efficient and simple synthesis of dithiocarbamates is possible based on the one-pot reaction of amines, CS2, and alkyl halides without using a catalyst under solvent-free conditions. The mild reaction conditions, high yields, and broad scope of the reaction illustrate the good synthetic utility of this method. The reaction is a highly atom-economic process for production of S-alkyl thiocarbamates and successfully can be used in high quantities in the pharmaceutical or agrochemical industries  

Heteropoly acids efficiently catalyzed the one-pot, three-component Mannich reaction of ketones with aromatic aldehydes and different amines in water at ambient temperature and afforded the corresponding β-amino carbonyl compounds in good to excellent yields and with moderate diastereoselectivity. This method provides a novel and improved modification of the three-component Mannich reaction in terms of mild reaction conditions and clean reaction profiles, using very a small quantity of catalyst and a simple workup procedure  

Probabilistic Context-Free Grammars (PCFGs) are useful tools for syntactic analysis of natural languages. Availability of large Treebank has encouraged many researchers to use PCFG in language modeling. Automatic learning of PCFGs is divided into three different categories, based on the needed data set for the training phase: supervised, semi-supervised and unsupervised. Most current inductive methods are supervised, which need a bracketed data set in the training phase. However, lack of this kind of data set in many languages, has encouraged us to pay more attention to unsupervised approaches. So far, unsupervised approaches have achieved little success. By considering a history-based... 

Irrigation is the largest human intervention in the water cycle that can modulate climate extremes, yet irrigation water use (IWU) remains largely unknown in most regions. Microwave remote sensing offers a practical way to quantify IWU by monitoring changes in soil moisture caused by irrigation. However, high-resolution satellite soil moisture data is typically infrequent (e.g., 6–12 days) and thus may miss irrigation events. This study evaluates the ability to quantify IWU by assimilating high-resolution (1 km) SMAP-Sentinel 1 remotely sensed soil moisture with a physically based land surface model (LSM) using a particle batch smoother (PBS). A suite of synthetic experiments is devised to...