Sharif Digital Repository

The verification of programs is one of the most important subjects in Computer Science. In this thesis, after reviewing preliminary subjects, While-Programming computational model is presented and its semantics is discussed. Next, the axiomatic method of Hoare is presented, which is a deduction system for verification of programs. With the help of Hoare method, the idea of Data-Oriented verification of programs is developed  

In this research the flexibility of subterranean levels on foundation input motion (FIM), especially rocking component is investigated through parameter analyses. The so-called motion is induced as a result of kinematic soil-structure interaction (SSI). The foregoing interaction reduces the translational component of foundation input motion in rigid embedded foundations when compared to the free-field motion (FFM), as well as yielding rocking component in the foundation. On the other hand, increasing the embedment depth which is equivalent to the presence of subterranean levels in a building decreases the commonly-held “rigid” assumption’s accuracy for the embedded part. Given this effect,... 

The standard model of Cosmology (SM), based on Einstein’s theory of general relativity (GR), is the best model in describing the cosmic-scale observations. In galactic scales, however, galactic dynamics show a discrepancy between the observed luminous mass and the predicted value from the theory. Two approaches are suggested to eliminate this inconsistency: assuming the existence of dark matter within the context of GR, or modifying the theory of gravity in galactic scales, like MOND or MOG. In this thesis, we study the spherical collapse and the formation of shell galaxies in MOG, in comparison with SM. We introduce the action and the field equations of MOG and the equation of motion of a... 

Electroosmosis is the predominant mechanism for flow generation in lab-on-a-chip devices. These microfluidic devices are microscale laboratories on a microchip that can perform clinical diagnoses. Since most biofluids encountered in these devices are considered to be non-Newtonian and the cross section of microchannels in these devices is close to a rectangular shape, In this study, the hydrodynamically and thermally fully developed combined electroosmotically and pressure driven flow of power-law fluids in rectangular microchannels is analyzed. The governing equations are first made dimensionless and then transformed into new ones based on the computational parameters which provide mesh... 

Based on fog computing paradigm, new applications have become feasible through the use of hardware capabilities of smart phones. Many of these applications require a vast amount of computing and real-time execution should be guaranteed. Based on fog computing, in order to solve these problems in is necessary to offload heavy computing to servers with adequate hardware capabilities. On the other side, the offloading process causes time overhead and endangers the real-timeliness of the application. Also, because of the limited battery capacity of the handheld devices, energy consumption is very important and should be minimized.The usual proposed solution for this problem is to refactor the... 

Investors highly value the ability to predict the behavior of the capital market. Over time, various methods have been introduced to forecast the future of this market and anticipate its movements. A novel approach to achieving this is by developing data-driven decision support systems that can assist investors in making informed trading decisions. The opinions of experts play a crucial role in shaping people's perception of the market, which ultimately affects its final behavior. In this study, we have created a decision support system that can help investors by considering the complexities and meaningful relationships between different aspects of the problem. We have developed frameworks... 

In this thesis we perform the method for calculating primordial non- Gaussianity for a generic single-field inflationary model and compare the results of important models such as DBI inflation and slow roll inflation. Then, we will show how to extract potentially observable quantities from 3 point correlation functions of gauge invariant curvature perturbations, like the size and shape of non-Gaussianities. Then,we will review the effective field theory approach to inflation that allows us to unify all inflationary models and characterize high energy corrections to simple slow roll model. We use this approach to estimate the size of non-Gaussianities in various limit. Furthermore, we study... 

Many public projects in Iran are being developed with the participation of the private sector. Complaints, however, have arisen in both the public and the private sectors in many public-private-partnership (PPP) projects. It is claimed that the current PPP standard-form contract is unable to properly handle project risks. This investigation was set to improve risk responses in the PPP standard-form contract in the country. A comprehensive list of 66 universal PPP project risks was prepared by review of various related international research efforts. The list was refined to 36 risk items for the country in consultation with PPP project experts and assessing two PPP cases. These risks were... 

Today, the correct management of construction projects in IRAN's water industry has become a severe concern for its managers. Construction projects of the water industry constitute a considerable part of the country's construction industry. Several significant Issues such as operation management, water industry projects, correct management of resources, crisis management in the water industry, increased productivity and useful life of structures, increasing productivity, and preventing water loss are among the determinative challenges in construction projects in Iran. One of the new methods for the correct management of the life cycle of projects in this area is the use of Building... 

There are a lot of ways to measure the soil compaction but all of them have some deficiencies like low precision, soil destructive, time consuming and etc. The usual ways to measure the compaction in Iran are so traditonal and have the above problems. To solve these problems, modern ways like intelligent compaction is recomonded to decrease the time and cost of compaction. The observor can also control the compaction of all the soil point to prevent any offenses by making the network between the rollers.In new methods the soil compaction is calculated by measuring the roller vibratory and usage of fourier transform from the drum response . To compact the soil more precisely and more quickly,... 

The competition for staying in the business world has intensified today with the rise of open-source and commercial software. As long as a software is tailor-made to suit the needs of users, it is so-called alive and can stay in the competition. So the maintenance phase is necessary to make changes to the software to meet the needs of users. To reduce costs associated with this phase, it is necessary to avoid software bugs. One way to avoid software bugs is to use peer code review. Peer code review has been recognized as one of the best software engineering principles of the last 35 years. This principle helps maintain the quality of the code due to changes made to parts of the code that... 

Video games with respect to an ever Increasing player pool and Industry growth, have attracted a lot of attention in recent years. Dota 2, as one of the most successful games both in casual gamers’ community and E-sport community, is considered as a proper case study, however, most of the research done was limited to predicting games’ outcome. Despite The popularity, the rather unintelligent AI of the game has made quite a frustrating experience for new players. In this research, with a novel approach, hero features are used to predict their future positions. For this purpose, 35 professional games are collected and analyzed and 601 features are extracted. Then, suitable features are... 

Representation learning methods on graphs have enabled using machine learning methods on graphs' discrete structure by transferring them to a continuous domain. As graphs' structures are not always static and may evolve through time, dynamic representation learning methods have recently gained scholars' attention. Several methods have been proposed to enable the model to update the embeddings graph changes, or new interactions happen between nodes. These online methods could significantly reduce the learning time by refreshing the model as the changes occur, so we don't need to retrain the model with the complete graph information. Moreover, by using the temporal information of interactions,... 

Stock price patterns are a technical analysis approach to forecast future trends with tremendous practical benefits. However, the current algorithms solely rely on machine learning techniques and deep neural networks which could be a problem in countries where data sets such as these are not available. We propose an algorithm based on geometry and mathematics for this problem, leading to an O(n^3logn + n^2k) complexity, where k is the number of triangular patterns  

The municipality is an administrative, public and non-state institution that falls into the city district of the most countries’ administrative divisions. This institution has relatively autonomy and independent power. Municipalities are trying to apply the best approaches (Such as Building Information Modeling (BIM) as a procedure contributing the project management) to save time and money, as well as to satisfy the citizens in the implementation of civil projects. This study examines and evaluates the readiness of municipalities to modify the construction projects based on BIM. In addition, a pattern for identifying BIM applications, evaluating the organization readiness and the needs of... 

One of the most significant factors for the on-time and successful implementation of construction projects is contract management. Proper management of construction contracts and assessment of potential risks in the bidding process and before its signing have a significant impact on preventing or reducing the occurrence of claims and disputes between the contract parties at various stages of the project. In this research, using the latest deep learning (DL) and natural language processing (NLP) state-of-the-art methods, and various deep neural networks (DNN) architectures a model has been developed for extracting Persian contract risk-prone clauses. In addition, this study provides a... 

Content delivery networks play a significant role in improving the quality of internet services by placing the necessary content closer to users on servers. Currently, over half of internet traffic is delivered through these networks to end users. The efficiency of a content delivery network depends on various parameters, including the type of requested content, workload distribution methods, network topology, routing algorithms, caching policies, network server configurations, and resource allocation (shared or dedicated hardware resources). Additionally, the requests made to a content delivery network vary based on the type of service and even the time of day, making optimization a... 

Deep learning algorithms combined with supervision rely heavily on labeled data, posing challenges in the data labeling process. Addressing this issue, researchers in the field of machine learning have focused on developing approaches to reduce the dependency on labeled data and improve the efficiency of data collection for labeling purposes. This thesis investigates the training of a classification model using data collected through a human-in-the-loop system. Notably, this research pioneers the application of active learning techniques to differentiate between political and non-political Persian tweets. The dataset introduced in this study is the sole available collection for this specific... 

Over the past few years, deep reinforcement learning(DRL) has been given a lot of attention in finance for portfolio management. With the help of experts’ signals and historical price data, we have developed a new reinforcement learning(RL) method. The use of experts’ signals in tandem with DRL has been used before in finance, but we believe this is the first time this method has been used to solve the financial portfolio management problem. As our agent, we used the Proximal Policy Optimization(PPO) algorithm to process the reward and take actions in the environment. Our framework comprises a convolutional network to aggregate signals, a convolutional network for historical price data, and... 

In construction projects, when the employer does not have enough knowledge or experience to implement and manage the project, or does not have enough time to implement the project, can hire a Management Contractor with sufficient experience and knowledge in the field of project management. On the other hand, the inability of the Management Contractor to manage the project or contracting with him in inappropriate way, not only causes additional costs for hiring the Management Contractor, but also causes the employer to suffer due to the inappropriate performance of the Management Contractor. Therefore, the utmost care should be taken in choosing the Management Contractor and contracting with...