A study of recent Persian prose fiction with special reference to the social background.

SIGLEAvailable from British Library Document Supply Centre- DSC:D38626/81 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Comparison of metrezoate-labeled gallium transmission with different 50, 60 and 75% concentrations in malignant lymphatic cells

Radiation therapy is considered as one of the main methods in cancer treatment. In this method, determination of exact location and geometric properties of tumor is necessary for treatment planning that leads to increased accuracy and output of treatment and reduction of healthy tissue dose. For this purpose, the aim of the present study has been physiological transmission of Gallium as a pharmaceutical carrier which is bonded with an X-Ray opaque media for treatment of Lymphatic tumor via Smart Radiotherapy method (Photoelectron therapy). Using radiography or CT scan has provided determination of geometric features of tumor

An Efficient Fault-Tolerant method for Distributed Computation Systems

Fault tolerance is one of the most important features required by many distributed systems. We consider the efficiency issues of constructing distributed computing systems that can tolerate Byzantine faults. The well-recognized technique is to introduce replicated computation and derive the correct results through a voting mechanism. While this technique is applied to each computation request individually, we believe that by considering multiple requests at the same time in a distributed environment, we can greatly improve its efficiency. This is based on the observations that computation requests may be ordered in a different way for computation at different nodes, and the verdict of the correct result for one request may imply the correct result for another request. We propose to exploit a suitable solution to improve the efficiency of the existing technique to avoid unnecessary computation and unnecessary message exchanges among distributed processes

Time-triggered Runtime Verification of Real-time Embedded Systems

In safety-critical real-time embedded systems, correctness is of primary concern, as even small transient errors may lead to catastrophic consequences. Due to the limitations of well-established methods such as verification and testing, recently runtime verification has emerged as a complementary approach, where a monitor inspects the system to evaluate the specifications at run time. The goal of runtime verification is to monitor the behavior of a system to check its conformance to a set of desirable logical properties. The literature of runtime verification mostly focuses on event-triggered solutions, where a monitor is invoked when a significant event occurs (e.g., change in the value of some variable used by the properties). At invocation, the monitor evaluates the set of properties of the system that are affected by the occurrence of the event. This type of monitor invocation has two main runtime characteristics: (1) jittery runtime overhead, and (2) unpredictable monitor invocations. These characteristics result in transient overload situations and over-provisioning of resources in real-time embedded systems and hence, may result in catastrophic outcomes in safety-critical systems. To circumvent the aforementioned defects in runtime verification, this dissertation introduces a novel time-triggered monitoring approach, where the monitor takes samples from the system with a constant frequency, in order to analyze the system's health. We describe the formal semantics of time-triggered monitoring and discuss how to optimize the sampling period using minimum auxiliary memory and path prediction techniques. Experiments on real-time embedded systems show that our approach introduces bounded overhead, predictable monitoring, less over-provisioning, and effectively reduces the involvement of the monitor at run time by using negligible auxiliary memory. We further advance our time-triggered monitor to component-based multi-core embedded systems by establishing an optimization technique that provides the invocation frequency of the monitors and the mapping of components to cores to minimize monitoring overhead. Lastly, we present RiTHM, a fully automated and open source tool which provides time-triggered runtime verification specifically for real-time embedded systems developed in C

Late Pleistocene‐Holocene Slip Rates in the Northwestern Zagros Mountains (Kurdistan Region of Iraq) Derived From Luminescence Dating of River Terraces and Structural Modeling

Abstract A significant amount of the ongoing shortening between the Eurasian and Arabian plates is accommodated within the Zagros Fold‐Thrust Belt. However, the spatial and temporal distribution of active shortening within the belt, especially in its NW part, is not yet well constrained. We determined depositional ages of uplifted river terraces crossing the belt along the Greater Zab River using luminescence dating. Kinematic modeling of the fault‐related fold belt was then used to calculate long‐term slip rates during the Late Pleistocene to Holocene. Our results provide new insight into the rates of active faulting and folding in the area. The Zagros Mountain Front Fault accommodates about 1.46 ± 0.60 mm a −1 of slip, while a more external basement fault further to the SW accommodates less than 0.41 ± 0.16 mm a −1 . Horizontal slip rates related to detachment folding of two anticlines within the Zagros Foothills are 0.40 ± 0.10 and 1.24 ± 0.36 mm a −1 . Basement thrusting and thickening of the crust are restricted to the NE part of the Zagros belt. This is also reflected in the regional topography and in the distribution of uplifted terraces. In the southwestern part, the deformation is limited mainly to folding and thrusting of the sedimentary cover above a Triassic basal detachment. In the NE, deformation is associated with slip on basement thrusts. Our study sheds light on the distribution of shortening in the Zagros Mountains and helps to understand the regional tectonic system. Our results may be the foundation for a better seismic hazard assessment of the entire area.Plain Language Summary In active mountain belts, river terraces found above the present‐day river level can be indicative of differences in uplift rates due to the thickening, faulting, and folding processes in the Earth's crust. These processes, driven by the motion of tectonic plates, are responsible for the formation of mountain belts. Here, we took sediment samples from uplifted river terraces along the Greater Zab River that crosses the Zagros Mountains in the Kurdistan Region of Iraq. We determined their deposition age using luminescence dating. From their age and elevation, we calculated uplift rates. We built a geometrical model of the fault zones in the area and determined how fast the slip occurs on these faults based on the uplift rates. Our results indicate that there were less than two millimeter per year of slip on these faults on average during the last 60 thousand years. This motion is a result of the convergence between the Arabian and Eurasian plates. With studies like this we can measure how fast fault blocks move, even if they were not associated with large earthquakes in the recent past. This approach helps to better assess the potential earthquake hazard in the area under investigation.Key Points We estimated fault slip rates in the NW Zagros Mountains by luminescence dating of river terraces and structural modeling There is c. 1.46 mm a −1 slip on the Mountain Front Fault and c. 1.64 mm a −1 slip from detachment folding in the NE part of the Foothill Zone Crustal thickening and basement thrusting occur in the NE parts of the Foothill Zone and only cover deformation occur in the SW part

Data Visualization: a new module for BEXIS 2

The visual representation of data, or in other words a visualization is a very common way to represent data in an easily comprehensible form. Especially in situations where a user would like to get a quick overview of a single dataset (e.g. a distribution of observations) or a system administrator tries to monitor the number of uploaded or downloaded datasets in a system, visualizations come in very handy. In this talk, we introduce the new visualization module developed for the data management platform BEXIS 2. We will discuss the concept of the module and demonstrate the first implementation of the user interface. This first implementation helps administrators to trace the system’s behaviour and provides visualizations such as number of datasets created over time. In the next step, the module will be further developed to provide also visualizations more relevant to end users (i.e. researchers) such as providing information on the completness of metadata in a dataset

Development of a microwave calorimeter for simultaneous thermal analysis,

An instrument has been developed for monitoring cure processes under microwave heating conditions. The main function of the instrument was a calorimeter for performing microwave thermal analysis. A single model resonant cavity was used as the heating cell in the microwave calorimeter. Thermal analysis measurements were obtained by monitoring the variation in the microwave power that was required to maintain controlled heating of the sample. The microwave thermal analysis data were analogous to conventional differential scanning calorimetry measurements. The dielectric properties of the sample, as a function of the extent of cure, have been obtained using perturbation theory from the changes in resonant frequency and quality factor of the microwave cavity during heating. Additionally, remote sensing fibre-optic probes have been employed to measure real time in situ infrared spectra of the sample during the cure reaction. In this paper, we describe the design and operation of the microwave calorimeter. Examples of experimental results are also presented

Relative timing of uplift along the Zagros Mountain Front Flexure (Kurdistan Region of Iraq): Constrained by geomorphic indices and landscape evolution modeling

The Mountain Front Flexure marks a dominant topographic step in the frontal part of the Zagros Fold–Thrust Belt. It is characterized by numerous active anticlines atop of a basement fault. So far, little is known about the relative activity of the anticlines, about their evolution, or about how crustal deformation migrates over time. We assessed the relative landscape maturity of three along-strike anticlines (from SE to NW: Harir, Perat, and Akre) located on the hanging wall of the Mountain Front Flexure in the Kurdistan Region of Iraq to identify the most active structures and to gain insights into the evolution of the fold–thrust belt. Landscape maturity was evaluated using geomorphic indices such as hypsometric curves, hypsometric integral, surface roughness, and surface index. Subsequently, numerical landscape evolution models were run to estimate the relative time difference between the onset of growth of the anticlines, using the present-day topography of the Harir Anticline as a base model. A stream power equation was used to introduce fluvial erosion, and a hillslope diffusion equation was applied to account for colluvial sediment transport. For different time steps of model evolution, we calculated the geomorphic indices generated from the base model. While Akre Anticline shows deeply incised valleys and advanced erosion, Harir and Perat anticlines have relatively smoother surfaces and are supposedly younger than the Akre Anticline. The landscape maturity level decreases from NW to SE. A comparison of the geomorphic indices of the model output to those of the present-day topography of Perat and Akre anticlines revealed that it would take the Harir Anticline about 80–100 and 160–200&thinsp;kyr to reach the maturity level of the Perat and Akre anticlines, respectively, assuming erosion under constant conditions and constant rock uplift rates along the three anticlines. Since the factors controlling geomorphology (lithology, structural setting, and climate) are similar for all three anticlines, and under the assumption of constant growth and erosion conditions, we infer that uplift of the Akre Anticline started 160–200&thinsp;kyr before that of the Harir Anticline, with the Perat Anticline showing an intermediate age. A NW-ward propagation of the Harir Anticline itself implies that the uplift has been independent within different segments. Our method of estimating the relative age difference can be applied to many other anticlines in the Mountain Front Flexure region to construct a model of temporal evolution of this belt.</p