Loading...
Search for: consistency
0.008 seconds
Total 81 records

    Modified partition functions, consistent anomalies and consistent schwinger terms

    , Article International Journal of Geometric Methods in Modern Physics ; Volume 8, Issue 8 , December , 2011 , Pages 1747-1762 ; 02198878 (ISSN) Varshovi, A. A ; Sharif University of Technology
    Abstract
    A gauge invariant partition function is defined for gauge theories which leads to the standard quantization. It is shown that the descent equations and consequently the consistent anomalies and Schwinger terms can be extracted from this modified partition function naturally  

    Consistent one-bay frame simplified model for efficient seismic evaluation of steel moment frame buildings with equal and unequal bay lengths

    , Article Structures ; Volume 34 , December , 2021 , Pages 3345-3362 ; 23520124 (ISSN) Hosseini, M ; Ahmadie Amiri, H ; Esmaeil Estekanchi, H ; Sharif University of Technology
    Elsevier Ltd  2021
    Abstract
    A Consistent One-Bay Frame (COBF) simplified model for the efficient estimation of Engineering Demand Parameters (EDPs) in Steel Moment Resisting Frames (SMRFs) with equal and unequal bay lengths is proposed. The geometry of the Substitute One-Bay Frame (SOBF) simplified model has been used, and the elastic and inelastic properties of the beams and columns in this model are determined using an energy consistent approach in a way that the energy balance is established between the members of the original SMRF and the SOBF simplified model. This way, the SOBF simplified model, which originally could only be used for MRFs with equal bay lengths, can now be used for MRFs with any geometric... 

    Fuzzy analytical hierarchy process using preference ratio: A case study for selecting management short course in a business school

    , Article International Journal of Industrial Engineering Computations ; Volume 1, Issue 2 , 2010 , Pages 173-184 ; 19232926 (ISSN) Modarres, M ; Sadi Nezhad, S ; Arabi, F ; Sharif University of Technology
    2010
    Abstract
    Analytic Hierarchy Process (AHP) is one of the most popular approaches in the area of multiple attribute decision making (MADM). However, it is not practical any more if input information are fuzzy. In this paper, we propose a new method for fuzzy AHP which is especially useful to make decisions for multiple attribute problems. The method is developed by applying preference ratio concept which makes it practical since it assigns crisp weights and crisp scores to different alternatives. Two algorithms are proposed in this paper: The first one defines crisp and normalized weight by pairwise comparison with fuzzy data while the second one calculates fuzzy consistency ratio. The proposed method... 

    How to set up stochastic equations for real world processes: markov–einstein time scale

    , Article Understanding Complex Systems ; 2019 , Pages 165-179 ; 18600832 (ISSN) Rahimi Tabar, M. R ; Sharif University of Technology
    Springer Verlag  2019
    Abstract
    In Chaps. 16 – 21 we address a central question in the field of complex systems: Given a fluctuating (in time or space), sequentially uni- or multi-variant measured set of experimental data (even noisy data), how should one analyse the data non-parametrically, assess their underlying trends, discover the characteristics of the fluctuations, including diffusion and jump parts, and construct stochastic evolution equation for the data? © 2019, Springer Nature Switzerland AG  

    How to set up stochastic equations for real world processes: Markov–einstein time scale

    , Article Understanding Complex Systems ; 2019 , Pages 165-179 ; 18600832 (ISSN) Rahimi Tabar, M. R ; Sharif University of Technology
    Springer Verlag  2019
    Abstract
    In Chaps. 16 – 21 we address a central question in the field of complex systems: Given a fluctuating (in time or space), sequentially uni- or multi-variant measured set of experimental data (even noisy data), how should one analyse the data non-parametrically, assess their underlying trends, discover the characteristics of the fluctuations, including diffusion and jump parts, and construct stochastic evolution equation for the data? © 2019, Springer Nature Switzerland AG  

    Partial scalability to ensure reliable dynamic reconfiguration

    , Article Proceedings - IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops, SASOW 2013 ; Sept , 2014 , p. 83-88 Ghafari, M ; Heydarnoori, A ; Sharif University of Technology
    Abstract
    In order to be adapted to changes in user requirements and/or the environment, many software systems need to run continuously while they evolve. Most current approaches for such dynamic reconfiguration assume that the evolved system will behave as expected and thus will be reliable if the reconfiguration is consistent. This assumption may not correspond to reality because the delivered quality estimated previously could vary due to parameter changes at runtime. To ensure that the system acts correctly in the field after the reconfiguration, reliability of changes has to be checked at runtime. Existing approaches, however, are not applicable in highly available systems due to the possibility... 

    Consistency of Lasso Estimator

    , M.Sc. Thesis Sharif University of Technology Hamidi, Nima (Author) ; Haji Mirsadeghi, Mir Omid (Supervisor)
    Abstract
    In this thesis, we are going to study the consistency properties of one of the most well-known linear estimators – LASSO estimator. First, we bring up some necessary background for introducing this estimator. Then, we are able to introduce primary and secondary forms of LASSO estimator. After that, we prove that primary form of the LASSO estimator is weakly consistent under certain weak conditions. We, also, prove a much stronger statement about the secondary form. We prove that the secondary form is strongly consistent. What’s more, with extra assumptions, we specify the convergence rate of the estimator. Finally, we propose a method for determining free parameter of primary form of LASSO,... 

    Processing and Modification of Structure and Properties of Biodegradable Alloy based on Starch and Poly Lactic Acid

    , M.Sc. Thesis Sharif University of Technology Esmaeili, Mohsen (Author) ; Bagheri, Reza (Supervisor) ; Pircheraghi, Gholamreza (Supervisor)
    Abstract
    In the recent years, the enhancing of utilization of polymeric materials, especially in packaging application, became the serious concern because of the problems of their recycling. One of efficient ways for solving this problem is usage of biodegradable polymers. Thermoplastic starch (TPS) is one the alternative materials which is produced in gelatinization process by plasticizers. However, using of TPS because of its low mechanical properties, poor processability and high water absorption is not applicable and it is necessary to improve that. One of the strategy in order to improving the TPS properties is blending with other polymers, such as polylactic acid (PLA) which the biodegradable... 

    New relations and separations of conjectures about incompleteness in the finite domain

    , Article Journal of Symbolic Logic ; November , 2021 ; 00224812 (ISSN) Khaniki, E ; Sharif University of Technology
    Cambridge University Press  2021
    Abstract
    In [20] Kraj´ıˇcek and Pudl´ak discovered connections between problems in computational complexity and the lengths of first-order proofs of finite consistency statements. Later Pudl´ak [25] studied more statements that connect provability with computational complexity and conjectured that they are true. All these conjectures are at least as strong as P ̸= NP [23, 25, 24]. One of the problems concerning these conjectures is to find out how tightly they are connected with statements about computational complexity classes. Results of this kind had been proved in [20, 22]. In this paper, we generalize and strengthen these results. Another question that we address concerns the dependence between... 

    New relations and separations of conjectures about incompleteness in the finite domain

    , Article Journal of Symbolic Logic ; Volume 87, Issue 3 , 2022 , Pages 912-937 ; 00224812 (ISSN) Khaniki, E ; Sharif University of Technology
    Cambridge University Press  2022
    Abstract
    In [20] Krajíček and Pudlák discovered connections between problems in computational complexity and the lengths of first-order proofs of finite consistency statements. Later Pudlák [25] studied more statements that connect provability with computational complexity and conjectured that they are true. All these conjectures are at least as strong as [23-25].One of the problems concerning these conjectures is to find out how tightly they are connected with statements about computational complexity classes. Results of this kind had been proved in [20, 22].In this paper, we generalize and strengthen these results. Another question that we address concerns the dependence between these conjectures.... 

    Hilbert’s Program

    , M.Sc. Thesis Sharif University of Technology Hosseini, Mohammad Erfan (Author) ; Ardeshir, Mohammad (Supervisor)
    Abstract
    In this thesis, we provide a comprehensive overview of the efforts made towards achieving the goals of Hilbert’s program, and evaluate how successful They are. We begin by discussing Gödel’s incompleteness theorems, and then as a first attempt we present a brief presentation of Gentzen’s consistency theorem. Subsequently, various research fields that branched out from these initial efforts are explored, encompassing the application of the Omega-Rule, reverse mathematics, and self-verifying systems. Furthermore, we present the concept of “Almost Finitistic Consistency” as an alternative approach within Hilbert’s program. In conclusion, a thorough assessment of the success of Hilbert’s program... 

    Two-dimensional symmetric double contacts of elastically similar materials

    , Article Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science ; Volume 230, Issue 10 , 2016 , Pages 1626-1633 ; 09544062 (ISSN) Ghanati, P ; Adibnazari, S ; Sharif University of Technology
    SAGE Publications Ltd  2016
    Abstract
    The two-dimensional contact problem for an elastic body indenting an elastically similar half plane resulting in double contacts is important for various applications. In this paper, a generic quasi-static two-dimensional symmetric double contact problem with nonsingular end points between two elastically similar half planes, under the constant normal and oscillatory tangential loading, is analyzed. The classical singular integral equations approach is utilized to extract the pressure and shear functions in the contact zones; subsequently boundary conditions at end points are applied and a new side condition is derived and titled "the consistency condition" for symmetric double contacts.... 

    Extremal Black Holes and Decoupled Dynamics of Horizon

    , Ph.D. Dissertation Sharif University of Technology Fareghbal Khameneh, Reza (Author) ; Arfaei, Hessamaddin (Supervisor)
    Abstract
    We study a speci?c class of black holes which are called extremal. By de?ning extremality asdouble-horizon condition and imposing ?niteness assumption, we show that the dynamics of ?eldsat the horizon decouples from the rest of space. This decoupling occurs by vanishing all radialderivatives. We show this decoupling for the extremal black holes in the theories of gravity correctedby f(R)terms.We also show that these two above conditions leads to AdS × S1 near horizon geometry2of rotating black holes. This geometry which preserve SO(2, 1) × U(1) isometry group, is recentlyused in improving the entropy function method. Finally we show that decoupled equations of horizon can be derived from a... 

    A safe stopping protocol to enable reliable reconfiguration for component-based distributed systems

    , Article 6th International Conference on Fundamentals of Software Engineering, FSEN 2015, 22 April 2015 through 24 April 2015 ; Volume 9392 , November , 2015 , Pages 100-109 ; 03029743 (ISSN) ; 9783319246437 (ISBN) Ghafari, M ; Heydarnoori, A ; Haghighi, H ; Sharif University of Technology
    Springer Verlag  2015
    Abstract
    Despite the need for change, highly available software systems cannot be stopped to perform changes because disruption in their services may consequent irrecoverable losses. Current work on runtime evolution are either too disruptive, e.g., "blackouts" in unnecessary components in the quiescence criterion approach or presume restrictive assumptions such as the "black-box design" in the tranquility approach. In this paper, an architecture-based approach, called SAFER, is proposed which provides a better timeliness by relaxing any precondition required to start reconfiguration. We demonstrate the validity of the SAFER through model checking and a realization of the approach on a component... 

    MMSE denoising of sparse and non-gaussian AR(1) processes

    , Article ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings, 20 March 2016 through 25 March 2016 ; Volume 2016-May , 2016 , Pages 4333-4337 ; 15206149 (ISSN) ; 9781479999880 (ISBN) Tohidi, P ; Bostan, E ; Pad, P ; Unser, M ; Sharif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2016
    Abstract
    We propose two minimum-mean-square-error (MMSE) estimation methods for denoising non-Gaussian first-order autoregressive (AR(1)) processes. The first one is based on the message passing framework and gives the exact theoretic MMSE estimator. The second is an iterative algorithm that combines standard wavelet-based thresholding with an optimized non-linearity and cycle-spinning. This method is more computationally efficient than the former and appears to provide the same optimal denoising results in practice. We illustrate the superior performance of both methods through numerical simulations by comparing them with other well-known denoising schemes  

    A study on the extent of the contact and stick zones in multiple contacts

    , Article Archive of Applied Mechanics ; Volume 89, Issue 9 , 2019 , Pages 1825-1836 ; 09391533 (ISSN) Ghanati, P ; Adibnazari, S ; Sharif University of Technology
    Springer Verlag  2019
    Abstract
    In this paper, we analyze a general quasi-static two-dimensional multiple contact problem between two elastically similar half-planes under the constant normal (including applied moments) and oscillatory tangential loading utilizing the classical singular integral equations approach. Boundary conditions at nonsingular edges of discrete contact zones are applied and new side conditions are extracted and named “the consistency conditions” for multiple contacts. These conditions are mandatory for determination of the positions of the nonsingular edges of the contact and stick zones, when the number of them exceeds the number of the discrete contact and stick zones, respectively. Consequently, a... 

    The Effect of Raters' Training on Their Evaluation of EFL Learners' Speaking Abilities

    , M.Sc. Thesis Sharif University of Technology Pashmforoosh, Roya (Author) ; Tajeddin, Zia (Supervisor) ; Alemi, Minoo (Co-Advisor)
    Abstract
    Inconsistent rating seems to largely emanate from the application of different rating criteria (Bachman, 1990). It follows that rater training programs may bring about higher rating consistency. The objectives of this study were to discover (1) EFL teachers’ criteria in rating L2 learners’ speaking ability, (2) the impact of a rater training program for speaking on the raters’ rating criteria, (3) EFL teachers’ accuracy in rating L2 learners’ speaking ability as measured against the professional raters’ rating, (4) the effect of teachers’ background variables on their speaking ratings, and (5) EFL teachers’ attitudes toward speaking assessment in general and rater training program in... 

    Elastic Registration of Breast Magnetic Resonance Images

    , M.Sc. Thesis Sharif University of Technology Hamidinekoo, Azam (Author) ; Fatemizadeh, Emad (Supervisor)
    Abstract
    Breast cancer is considered as the most common type of cancer in women worldwide and mammography is currently utilized as the principal method for screening the breast cancer. Breast Magnetic resonance imaging (MRI) can be used as a complementary imaging technique besides mammography. MRI technique involves scanning a patient before and repeatedly after the injection of the contrast agent (DCE-BMRI). This examination often takes 7-10 minutes and any movement of the patient’s breasts due to breath, heartbeat or deliberate movement, made in this relatively long acquisition period, leads to a distortion in images called motion artifact. This problem makes the quantitative analysis of the images... 

    The Effect of Relationship Lending on the Contract terms of the Loans

    , M.Sc. Thesis Sharif University of Technology Foroughi Fard, Rasoul (Author) ; Rahmati, Mohammad Hossein (Supervisor)
    Abstract
    This study examin the effect of relationship lending on the contract terms of the loans consist of loan rate, avalibility of the loan and collateral reqierements. For this purpose, we use 4850 data of loan granted by GHavamin bank in three months Farvardin, Ordibehesht and KHordad in 1395. The results of this study indicate relationship lending has a negative significant effect on the loan rate, a positive significant effect on the availability of the loan and positive insignificant effect on the collateral requirements. Thus, relationship lending as a solution for information asymmetry, leading to cost advantage for the banks. Banks transfer this advantage to client by lowering the loan... 

    Control of the Concurrency and Consistency Problem in Readable/Writable Virtual Machine Introspection

    , M.Sc. Thesis Sharif University of Technology Aghamir Mohammad Ali, Mohammad (Author) ; Kharrazi, Mahdi (Supervisor)
    Abstract
    Over the last years, research about writable virtual machine introspection has been started. This approach has the benefits of readonly virtual machine introspection. Additionally, it has more applications, such as automated defense against malware programs, than the read-only approach. In the read-only VMI, data is gathered from virtual machine hardware states and then analysis in virtual machine monitor. In writable one, hypervisor can modify virtual machine kernel state. Consistency issue is an essential challenge for out-vm writable VMI. In the best of our knowledge, only one implementation try to solve this consistency issue. However it cannot resolve this issue completely. Other VMI...