Sharif Digital Repository

Occurrence of liquefaction in saturated sand deposits underlying foundation of structure can cause a wide range of structural damages starting from minor settlement, and ending to general failure due to loss of bearing capacity. If the bearing capacity failure is not the problem, reliable estimation of the liquefaction-induced settlement will be of prime importance in assessment of the overall performance of the structure. Currently, there are few procedures with limited application in practice for estimation of settlement of foundations on liquefied ground. Therefore, development of a general relationship is important from the practical viewpoint. In this paper, the dynamic response of... 

The liquefaction phenomenon is usually accompanied by a large amount of settlement. Based on the observations made in past earthquakes, ground improvement by densification is one of the most useful approaches to reduce the liquefaction-induced settlement. Currently, there is no analytical solution for evaluation of the amount of settlement and tilting of footings that are constructed on densified ground surrounded by liquefiable soil. A number of factors, such as underlying soil properties, dimensions of the footing and earthquake loading characteristics, cause the problem to become complicated. In this paper, the dynamic response of shallow foundations on both liquefiable and... 

In performance-based geotechnical earthquake engineering, the required degree and spatial extent of ground densification for mitigation of liquefaction beneath a structure should be determined based on the acceptable levels of performance of foundation. Currently, there is no solution for evaluation of the amount of settlement and tilt of footings constructed on a densified ground which is surrounded by a liquefiable soil. This implies the need for numerical procedures for simulation of seismic behavior of shallow foundations supported on both liquefiable and densified subsoil. In this paper, the dynamic response of shallow foundations on a densified ground is studied using a 3D fully... 

Dynamic compaction is a widely used method for improvement of loose granular deposits. Its applicability in saturated layers generally considered to be less effective because of the fact that part of the applied energy is absorbed by pore water. Up to now the majority of numerical simulations have focused on the analysis of dynamic compaction in dry/moist soils. In this paper, a fully coupled hydro-mechanical finite element code has been developed and employed to evaluate the dynamic compaction effects on saturated granular soils. After verification of the results by comparing the numerical results with those measured in a real field case of DC treatment in a highway, some sensitivity... 

Dynamic compaction (DC) is a common soil improvement technique, used extensively worldwide. DC treatment design is usually based upon empirical relations and past experience. The common problem with all empirical relations is oversimplification of the mechanisms, and the use of parameters that are highly dependent on engineering judgement. In this paper, a developed finite-element code is used for modelling the impact behaviour of dry and moist sandy soil. The code is verified against the results of centrifuge tests. Then the validity of the popular Menard empirical relation for determination of improvement depth in DC design is investigated. The effect of initial relative density, tamper... 

Dynamic compaction (DC) is a popular soil improvement method that is extensively used worldwide. DC treatment design is usually carried out based on past experiences and empirical relations. To establish a rational design approach, all important factors affecting the DC process should be taken into account. In this paper, a finite element code is developed for modeling the impact behavior of dry and moist granular soils. The code is verified with the results of some centrifuge tests. Several analyses were conducted in order to study the effects of energy/momentum per drop, tamper base radius, and number of drops on compaction degree, compacted depth, and extension of the improved zone in the... 

In this study, a fully coupled dynamic finite element model was employed for numerical simulation of the response of level to gently sloping saturated sand layers subjected to cyclic loading. This model utilized a critical state two-surface-plasticity constitutive model to simulate the cyclic behavior of sandy soil. Moreover, a recently proposed variable permeability function was implemented in the numerical model to reflect the effects of soil permeability variations during the liquefaction phenomenon. The numerical model was validated by simulating a number of well-documented geotechnical centrifuge tests with different relative density of sand, base acceleration time history, and surface... 

Many software development methodologies are based on modeling the real world. In some of these methodologies, real-world models are gradually transformed into software models, while in others, the real world is only considered as a preliminary source of insight into the physical business domain. Real-world modeling was pushed to the sidelines due to anomalies in real-world modeling approaches; however, with the advent of the Model-Driven Architecture (MDA), real-world conceptual modeling is likely to regain its importance. We propose a method for using Design Patterns in the context of model transformation, where real-world models are refactored through application of these patterns.... 

Component-Based Development (CBD) has been broadly used in software development, as it enhances reusability and flexibility, and reduces the costs and risks involved in systems development. It has therefore spawned many widely-used approaches, such as Commercial Off-The-Shelf (COTS) and software product lines. On the other hand, in order to gain a competitive edge, organizations need to define custom processes tailored to fit their specific development requirements. This has led to the emergence of process patterns and Method Engineering approaches. We propose a set of process patterns commonly encountered in component-based development methodologies. Seven prominent component-based... 

Agile software development methodologies have been greeted with enthusiasm by many software developers, yet their widespread adoption has also resulted in closer examination of their strengths and weaknesses. While analyses and evaluations abound, the need still remains for an objective and systematic appraisal of Agile processes specifically aimed at defining strategies for their improvement. We provide a review of the strengths and weaknesses identified in Agile processes, based on which a Strengths-Weaknesses-Opportunities-Threats (SWOT) analysis of the processes is performed. We suggest this type of analysis as a useful tool for highlighting and addressing the problem issues in Agile... 

Liquefaction phenomenon is usually accompanied by large amounts of settlement owing to disruption of soil structure. In addition to that, large settlement also occurs by a significant increase in soil permeability during seismic excitation. To properly simulate the post-liquefaction settlement, it is important to take the compressibility properties of the liquefied sand as well as the permeability increase into account. Using initial permeability coefficient in the course of simulation of liquefaction leads to underestimation of settlement. In addition to that, using unrealistic values for permeability may cause erroneous predictions of other aspects of soil behavior. Therefore, an accurate... 

In this paper we introduce some general necessary conditions for the existence of graph homomorphisms, which hold in both directed and undirected cases. Our method is a combination of Diaconis and Saloff–Coste comparison technique for Markov chains and a generalization of Haemers interlacing theorem. As some applications, we obtain a necessary condition for the spanning subgraph problem, which also provides a generalization of a theorem of Mohar (1992) as a necessary condition for Hamiltonicity. In particular, in the case that the range is a Cayley graph or an edge-transitive graph, we obtain theorems with a corollary about the existence of homomorphisms to cycles. This, specially, provides... 

In this paper we introduce a chromatic parameter, called the fixing chromatic number, which is related to unique colourability of graphs, in the sense that it measures how one can embed the given graph G in G∪Kt by adding edges between G and Kt to make the whole graph uniquely t-colourable. We study some basic properties of this parameter as well as its relationships to some other well-known chromatic numbers as the acyclic chromatic number. We compute the fixing chromatic number of some graph products by applying a modified version of the exponential graph construction  

In this paper, we apply some new algebraic no-homomorphism theorems in conjunction with some new chromatic parameters to estimate the circular chromatic number of graphs. To show the applicability of the general results, as a couple of examples, we generalize a well known inequality for the fractional chromatic number of graphs and we also show that the circular chromatic number of the graph obtained from the Petersen graph by excluding one vertex is equal to 3. Also, we focus on the Johnson–Holroyd–Stahl conjecture about the circular chromatic number of Kneser graphs and we propose an approach to this conjecture. In this regard, we introduce a new related conjecture on Kneser graphs and we...