Loading...
Search for:
kargaran--amir
0.117 seconds
Total 1138 records
Improving the Design of Menus in User Interfaces
, M.Sc. Thesis Sharif University of Technology ; Heydarnoori, Abbas (Supervisor)
Abstract
The design and development process of menu systems has always been a focus of researchers and engineers in the fields of software engineering and human-computer interaction. Considering the large and complex nature of the design space, it is nec- essary to provide automatic methods that aid designers during the design process. In this study, natural language processing is used to investigate the semantic relationship between menu system commands. Users expect related commands to be conveniently located next to each other, and a properly designed interface satisfies this need. As a result of this research, a fast-text-based model is developed that uses the data of past menu systems. In a...
Design and Fabrication of Buck-Boost DC-DC Converter and Linear Regulator With Digitally-Tunable Output Voltage in 0.18µm-HV BCD CMOS Process
, M.Sc. Thesis Sharif University of Technology ; Medi, Ali (Supervisor)
Abstract
In this project, an inverting Buck-Boost converter with two negative linear regulator is designed, implemented and measured in CMOS 0.18μm-HV BCD technology. Input voltage of Buck-Boost converter can vary from +15V to +28 and output voltage is digitally adjustable from -1V to -10V. Maximum output current of the converter is 300mA. A current mode controller and a lag compensator is used to control the converter. A high speed highside current sensor is designed and used in current mode controller. Sampled current of the current sensor is also used in a current limit circuitary to limit the maximum current of highside switch. Two negative linear regulators are placed at the output of the...
Self-Powered soil moisture monitoring sensor using a picoampere quiescent current wake-up circuit
, Article IEEE Transactions on Instrumentation and Measurement ; Volume 69, Issue 9 , 2020 , Pages 6613-6620 ; Habibi, M ; Magierowski, S ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2020
Abstract
Low-power wireless stand-alone sensors that can operate without any wiring have received significant attention in sensor network applications. These devices harvest environmental energy resources to supply their power and transfer their collected data using wireless RF links. In many instances, the power supplied from the environment is far less than the power required by the sensor device. In this case, the main solution is to accumulate energy on a storage element, and when enough energy is stored, the sensor node is instantaneously activated using an undervoltage lockout (UVLO) circuit. During this short time burst, the sensor performs the required acquisition, transmits the results, and...
Study of Net Current of Particles in 2D Pulsated Potential Landscape
, M.Sc. Thesis Sharif University of Technology ; Ejtehadi, Mohammad Reza (Supervisor)
Abstract
In systems possessing spatial or dynamical symmetry breaking, Brownian motion combined with unbiased external input signals, deterministic and random alike, can assist directed motion of particles at nanoscale. “Brownian motors” are devices by whi thermally or extrinsically activated processes are controlled and used to generate directed motion in space. Rectification devices involving asymmetric substrates are termed ratets and if the potential priodically turns on and off in time, it is called “Pulsated Ratet.“ In this resear net current of particles in 2D pulsated asymmetric potential landscapes is surveyed theoretically and by
Monte Carlo method simulation
Monte Carlo method simulation
GIRT-data: sampling github issue report templates
, Article Proceedings - 2023 IEEE/ACM 20th International Conference on Mining Software Repositories, MSR 2023 ; 2023 , Pages 104-108 ; 979-835031184-6 (ISBN) ; Hossein Kargaran, A ; Heydarnoori, A ; Schutze, H ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2023
Abstract
GitHub's issue reports provide developers with valuable information that is essential to the evolution of a software development project. Contributors can use these reports to perform software engineering tasks like submitting bugs, requesting features, and collaborating on ideas. In the initial versions of issue reports, there was no standard way of using them. As a result, the quality of issue reports varied widely. To improve the quality of issue reports, GitHub introduced issue report templates (IRTs), which pre-fill issue descriptions when a new issue is opened. An IRT usually contains greeting contributors, describing project guidelines, and collecting relevant information. However,...
Local model of a scientific collaboration in physics network compared with the global model
, Article Physica A: Statistical Mechanics and its Applications ; Volume 389, Issue 23 , 2010 , Pages 5530-5537 ; 03784371 (ISSN) ; Shirazi, A. H ; Kargaran, A ; Jafari, G. R ; Sharif University of Technology
2010
Abstract
We have constructed a collaboration network for physicists based in Iran working in different disciplines. By discussing properties like collaborators per author, shortest path, betweenness, and the concept of power in networks for this local model, and comparing with the global model, we understand how a developing country in the Middle East is contributing to the scientific growth in the world statistically. In this comparison, we found some properties of the local model which were not in accordance with the standard global society of science, which should be considered in developing the future policies. Our results show significant differences in factors like the degree and the diameter...
Quartic balance theory: Global minimum with imbalanced triangles
, Article Physical Review E ; Volume 102, Issue 1 , 2020 ; Ebrahimi, M ; Riazi, M ; Hosseiny, A ; Jafari, G. R ; Sharif University of Technology
American Physical Society
2020
Abstract
Balance theory proposed by Heider for the first time modeled triplet interaction in a signed network, stating that relationships between two people, friendship or enmity, is dependent on a third person. The Hamiltonian of this model has an implicit assumption that all triads are independent, meaning that the type of each triad, being balanced or imbalanced, determined apart from the state of other triads. This independence forces the network to have completely balanced final states. However, there exists evidence indicating that real networks are partially balanced, raising the question of what is the mechanism preventing the system to be perfectly balanced. Our suggestion is to consider a...
A general model for I/O system theory, Proceedings of AIMC31 [electronic resource]
, Article Iranian Journal of Fuzzy Systems ; 2006, Volume 3, Issue 2, Page 1-19 ; Hashem, Amir ; Sharif University of TechnologyExperimental and Numerical Study of Spray Combustion under Hot-diluted Conditions
, M.Sc. Thesis Sharif University of Technology ; Mardani, Amir (Supervisor)
Abstract
In this thesis, combustion of liquid fuel spray under the condition of hot and diluted oxidizer, has been investigated. To this end, a novel type laboratory-scale test rig was designed to study the physics governing the MILD-Spray combustion conditions with an applied approach. The underlined test rig eliminates the operational problems of its predecessor test stands and is used for a heavier fuel with much more complex chemical composition (kerosene). The test section is axially symmetrical, in which the fuel is injected by a pressure-swirl atomizer in the direction of hot and diluted co-flowing air. With the use of the aforesaid test rig, the effect of variables such as oxygen...
General theory of translation invariant systems [electronic resource]
, Article Mathematics and Its Applications ; Volume 329, 1995, pp 77-89 ; Sharif University of Technology
Abstract
The basic goal of this article is to present an abstract system-theoretic approach to morphological filtering and the theory of translation invariant systems which is mainly based on residuated semigroups. Some new results as well as a number of basic questions are also introduced
Duality in a generalized model for translation invariant systems [electronic resource]
, Article Fuzzy Sets and Systems ; 1996, Volume 83, Issue 3, Pages 347–352 ; Sharif University of Technology
Abstract
In a previous paper we introduced a generalized model for translation invariant (TI) operators. In this model we considered the space, φ of all maps from an abelian group G to ω U {-∞}, called LG-fuzzy sets, where ω is a complete lattice-ordered group; and we defined TI operators on this space. Also, in that paper, we proved strong reconstruction theorem to show the consistency of this model. This theorem states that for an order-preserving TI operator Y one can explicitly compute Y(A), for any A, from a specific subset of φ called the base of Y. In this paper duality is considered in the same general framework, and in this regard, continuous TI operators are studied. This kind of operators...
Reconstruction in a generalized model for translation invariant systems [electronic resource]
, Article Fuzzy Sets and Systems ; 1996, Volume 83, Issue 1, Pages 51–55 ; Sharif University of Technology
Abstract
We consider translation invariant (TI) operators on Φ, the set of maps from an abelian group G to Ω ∪ {−∞} , called LG-fuzzy sets, where 0 is a complete lattice ordered group. By defining Minkowski and morphological operations on Φ and considering order preserving operators, we prove a reconstruction theorem. This theorem, which is called the Strong Reconstruction Theorem (SRT), is similar to the Convolution Theorem in the theory of linear and shift invariant systems and states that for an order preserving TI operator Y one can explicitly compute Y ( A ), for any A , from a specific subset of Φ called the base of Y . The introduced framework is a general model for the theory of translation...
Residuated semigroups and morphological aspects of translation invariant systems [electronic resource]
, Article 1997, Volume 90, Issue 1, Pages 69–81 ; Fuzzy Sets and Systems ; Sharif University of Technology
Abstract
The main goal of this paper is to verify classical properties of morphological operators within the general model of translation invariant (TI) systems. In this model, TI operators are defined on the space of LG-fuzzy sets Φ i.e. Φ = {A: G → Ω ∪ {− ∞}} in which G is an abelian group and Ω is a complete lattice ordered group. A TI operator Y is an operator on Φ which is invariant under translation on G and Ω as groups. We consider the generalization of Minkowski addition (D on Φ and we emphasize that (Φ,⊛) is an involutive residuated topological monoid. We verify all properties of traditional (set-theoretic) morphological operators as well as classical representations (Matheron, 1967) for...
Forcing structures and cliques in uniquely vertex colorable graphs [electronic resource]
, Article SIAM Journal on Discrete Mathematics ; 2001, Volume 14, Issue 4, Pages 433-445 ; Sharif University of Technology
Abstract
Let G be a simple undirected uniquely vertex k-colorable graph, or a k-UCG for short. M. Truszczyński [Some results on uniquely colorable graphs, in Finite and Infinite Sets, North-Holland, Amsterdam, 1984, pp. 733--748] introduced $e^{^{*}}(G)=|V(G)|(k-1)-{k \choose 2}$ as the minimum number of edges for a k-UCG and S. J. Xu [J. Combin. Theory Ser. B, 50 (1990), pp. 319--320] conjectured that any minimal k-UCG contains a Kk as a subgraph. In this paper, first we introduce a technique called forcing. Then by applying this technique in conjunction with a feedback structure we construct a k-UCG with clique number k-t, for each $t \geq 1$ and each k, when k is large enough. This also...
Graph homomorphisms and nodal domains [electronic resource]
, Article Linear Algebra and its Applications ; 2006, Volume 418, Issue 1, Pages 44–52 ; Sharif University of Technology
Abstract
In this paper, we derive some necessary spectral conditions for the existence of graph homomorphisms in which we also consider some parameters related to the corresponding eigenspaces such as nodal domains. In this approach, we consider the combinatorial Laplacian and co-Laplacian as well as the adjacency matrix. Also, we present some applications in graph decompositions where we prove a general version of Fisher’s inequality for G-designs
On defining numbers of circular complete graphs
, Article Discrete Mathematics ; Volume 307, Issue 2, 28 January 2007, Pages 173–180 ; Sharif University of Technology
Abstract
Let d(σ)d(σ) stand for the defining number of the colouring σσ. In this paper we consider View the MathML sourcedmin=minγd(γ) and View the MathML sourcedmax=maxγd(γ) for the onto χχ-colourings γγ of the circular complete graph Kn,dKn,d. In this regard we obtain a lower bound for dmin(Kn,d)dmin(Kn,d) and we also prove that this parameter is asymptotically equal to χ-1χ-1. Also, we show that when χ⩾4χ⩾4 and s≠0s≠0 then dmax(Kχd-s,d)=χ+2s-3dmax(Kχd-s,d)=χ+2s-3, and, moreover, we prove an inequality relating this parameter to the circular chromatic number for any graph G
Modeling Driving Behaviors Using Smartphone Sensors
, M.Sc. Thesis Sharif University of Technology ; Samimi, Amir (Supervisor)
Abstract
Monitoring driving behaviors of drivers, would avoid their dangerous behaviors and remarkably raise the safety. Nowadays real-time supervision is considered as one of the modern methods of controlling driving behaviors. Previously, due to expensive costs of required equipments and other restrictions, this kind of supervision hasn't been considered fairly. Nowadays increasing usage of smart phones, which contain multiple sensors, enables this type of supervision with lower costs. In the present study we would present some models, to assess the driving behavior via smart phone sensors such as accelerometer, gyroscope and rotation vector
Crack Propagation Modeling in Arched Concrete Structures Reinforced by FRP Using XFEM and Damage Model
, M.Sc. Thesis Sharif University of Technology ; Khoei, Amir Reza (Supervisor)
Abstract
In practice, structures made of concrete are full of cracks. The strength of concrete is mainly determined by the tensile strength, which is about 10% of the compressive strength. As long as cracking in concrete is unavoidable, we have to try to minimize their detrimental effects. This objective can be achieved by resisting (or limiting) propagation of existing cracks. Because of this, reinforcement (mostly steel) is used to increase the carrying capacity of the material and to control the development of cracks. Concrete structures that fail, already shows a large number of large and small cracks before their maximum carrying capacity is reached. The failure of concrete can be characterized...
Structural Health Monitoring Using Optimal Finite Element Model Based on Digital Image Correlation
, M.Sc. Thesis Sharif University of Technology ; Khaloo, Alireza (Supervisor)
Abstract
The purpose of this research is to monitor the health of structures using the updated finite element model, in which digital images are used to optimize the numerical model. Structural Health Monitoring (SHM) is always an important and significant issue that has attracted the attention of many researchers in recent years. In general, some researches have been conducted in this field using physical sensors that provide discrete data to the system for analysis. Using cameras to monitor the structure makes it possible to extract continuous and integrated data from the structure using digital images, which is a significant advantage compared to physical sensors.In this research, a steel...
Finite Size Effect in SLE(k,p)
, M.Sc. Thesis Sharif University of Technology ; Moghimi Araghi, Saman (Supervisor)
Abstract
Conformal Field Theory provides an efficient method for studying physical problems in critical point. Correlation length becomes converge in this point. It can also be clarified that some curves are observed in geometrical phase transition which are conformal invariant and they can be studied using SLE(k). The first mathematical generalization of SLE(k) while keeping the self-similarity property, leads to SLE(k,p). Conformal field theory and SLE are interrelated and their parameters are interpretable for each other. One usually studies the problem in the upper-half plane. Here we consider the problem using a map like (w=L/π Ln z) between the upper-half plane and a special region (e.g. a...