Sharif Digital Repository

The problem of compliance checking and assessment is to ensure that the design or implementation of a system meets some desired properties and complies with some rules or regularities. This problem is a key issue in several human and engineering application domains such as organizational management and e-governance, software and IT industries, and software and systems quality engineering. To deal with this problem, some different approaches and methods have been proposed. In addition to the approaches such as formal methods, mathematical proofs, and logical evaluations, benchmarking can be used for compliance assessment. Naturally, a set of benchmarks can shape an applied solution to... 

The chromatic number of a Latin square is the least number of partial transversals which cover its cells. This is just the chromatic number of its associated Latin square graph. Although Latin square graphs have been widely studied as strongly regular graphs, their chromatic numbers appear to be unexplored. We determine the chromatic number of a circulant Latin square, and find bounds for some other classes of Latin squares. With a computer, we find the chromatic number for all main classes of Latin squares of order at most eight  

In this paper, recurrent neural networks are applied to language modeling of Persian, using word embedding as word representation. To this aim, unidirectional and bidirectional Long Short-Term Memory (LSTM) networks are used, and the perplexity of Persian language models on a 100-million-word data set is evaluated. The effect of various parameters, including number of hidden layers and size of LSTM units, on the performance of the networks in reducing the perplexity of the models are investigated. Among different LSTM language models, the best perplexity, which is equal to 59.05, is achieved from a 2-layer bidirectional LSTM model. Comparing this value with the perplexity of the classical... 

The coloring of hypergraph and its special case Steiner triple systems, STS(v), is studied extensively. But the defining set of the coloring of hypergraph even its special case STS(v), has not been explored yet. We study minimum defining set and the largest minimal defining set for 3-coloring of STS(v). We determined minimum defining set and the largest minimal defining set, for all non-isomorphic STS(v), v £ 15. Also we have found the defining number for all Steiner triple systems of order v, and some lower bounds for the size of the largest minimal defining set for all Steiner triple systems of order v, for each admissible v. © 2021 Taru Publications  

The coloring of hypergraph and its special case Steiner triple systems, STS(v), is studied extensively. But the defining set of the coloring of hypergraph even its special case STS(v), has not been explored yet. We study minimum defining set and the largest minimal defining set for 3-coloring of STS(v). We determined minimum defining set and the largest minimal defining set, for all non-isomorphic STS(v), v £ 15. Also we have found the defining number for all Steiner triple systems of order v, and some lower bounds for the size of the largest minimal defining set for all Steiner triple systems of order v, for each admissible v. © 2022 Taru Publications  

An ultra-low-noise buck converter for noise-sensitive applications is presented, which utilizes a novel pseudo average current-mode control (ACMC) with an adaptive ramp generator to decrease the baseband noise. Also, in order to suppress electromagnetic interference (EMI) and high-frequency spurs, spread spectrum and secondary filter are used, respectively. The proposed ACMC buck converter suppresses the switching frequency perturbation effect on the output voltage, and as a result in the spread spectrum condition, only a small amount of noise is added to the output voltage in the baseband frequency. For the spread spectrum with an external clock, a phase-locked loop is used, which... 

Objective: This study analyzes the effects of lifestyle, nutrition, and diets on the status and risks of apparent (symptomatic) COVID-19 infection in Iranian families. Materials and Methods: A relatively extensive questionnaire survey was conducted on more than 20,000 Iranian families (residing in more than 1000 different urban and rural areas in the Islamic Republic of Iran) to collect the big data of COVID-19 and develop a lifestyle dataset. The collected big data included the records of lifestyle effects (e.g. nutrition, water consumption resources, physical exercise, smoking, age, gender, health and disease factors, etc.) on the status of COVID-19 infection in families (i.e. residents of... 

Tea is central to the culture and economy of the Middle East countries, especially in Iran. At some levels of society, it has become one of the main food items consumed by households. Bioactive compounds in tea, known for their antioxidant and anti-inflammatory properties, have proven to confer neuroprotective effects, potentially mitigating diseases such as Parkinson’s, Alzheimer’s, and depression. However, the popularity of black tea has also made it a target for fraud, including the mixing of genuine tea with foreign substitutes, expired batches, or lower quality leaves to boost profits. This paper presents a novel approach to identifying counterfeit Iranian black tea and quantifying... 

A wide-input/output-voltage-range buck converter with adaptive light-load efficiency improvement and seamless mode transition for high-voltage applications is presented in this article. The proposed design uses a load prediction structure to eliminate dc current sensor and to ensure high efficiency in the 0.02∼2-A load range. The pulsewidth modulation (PWM) mode has been used for near-full load. Since efficiency degradation at light loads occurs at different levels regarding the input and output voltage, a novel dynamic frequency pulsewidth modulation (DFPWM) with adaptive efficiency improvement mechanism is proposed, which activates efficiency improvement based on the input and output... 

In this study, a new antibacklash gear mechanism design comprising three pinions and a rack is introduced. This mechanism offers several advantages compared to conventional antibacklash mechanisms, such as lower transmission error as well as lower required preload. Nonlinear dynamic modeling of this mechanism is developed to acquire insight into its dynamic behavior. It is observed that the amount of preload required to diminish the backlash depends on the applied input torque and nature of periodic mesh stiffness. Then, an attempt is made to obtain an approximate relation to find the minimum requiring preload to preserve the system's antibacklash property and reduce friction and wear on the... 

Molecular dynamics (MD) simulations were used to study the mechanical behaviour of β-SiC at nano-scale under tensile loading. Effects of loading rate and tensile temperature on the mechanical properties and failure were studied. Modified embedded-atom method (MEAM) potential and Berendsen thermostat were utilized for modelling. Periodic boundary conditions were employed and the behaviour of material was analyzed under three-axial loading condition at which the stress–strain relation was acceptably size independent. It is shown that with increasing the loading rate from 5 m/s to 70 m/s, the failure strain increases without a remarkable change in the stress–strain relationship. The MD... 

Previously, we have proposed a computational model for decision-making in crisis situations called C-RPD (Computational Recognition Primed Decision). In this paper, a software development process customized for Crisis Situations Decision-Making Systems (CSDMSs) is proposed. Agile processes can skillfully manage uncertainty in software requirements and some of their features like incremental development can solve some problems in developing CSDMSs. However, these processes do not provide comprehensive solutions for issues like the lack of enough knowledge about CSDMSs, very rapid changes, urgent need to overcome security challenges, high development unpredictability, and the performance test.... 

Molecular dynamics (MD) simulations were used to study the mechanical behaviour of β-SiC at nano-scale under tensile loading. Effects of loading rate and tensile temperature on the mechanical properties and failure were studied. Modified embedded-atom method (MEAM) potential and Berendsen thermostat were utilized for modelling. Periodic boundary conditions were employed and the behaviour of material was analyzed under three-axial loading condition at which the stress- strain relation was acceptably size independent. It is shown that with increasing the loading rate from 5 m/s to 70 m/s, the failure strain increases without a remarkable change in the stress-strain relationship. The MD... 

In this investigation, the multi-objective selection and optimization of a gantry machine tool is achieved by analytic hierarchy process, multi-objective genetic algorithm, and Pareto-Edgeworth-Grierson-multi-criteria decision-making method. The objectives include maximum static deformation, the first four natural frequencies, mass, and fabrication cost of the gantry. Further structural optimization of the best configuration was accomplished using multi-objective genetic algorithm to improve all objectives except cost. The result of sensitivity analysis reveals the major contribution of columns of gantry with respect to the crossbeam's contribution. After determining the most effective... 

Accurate system identification (SI) is essential for flight controller design of unmanned aerial vehicles and microaerial vehicles (MAVs). SI can be performed either in frequency or time domain using flight test data. As flight testing is often costly and may even lead to catastrophic events before some flight stability analysis is at hand, a low-cost 5 degree-of-freedom free motion platform (FMP) is designed and used for initial identification of MAVs via wind tunnel testing. A typical MAV is constructed as a test case and equipped with inertial sensors for testing and validation purposes. The proposed FMP allows for both rotational as well as translational motions that in turn provide for... 

In this paper, we address global non-fragile control and synchronization of a new fractional order chaotic system. First we inspect the chaotic behavior of the fractional order system under study and also find the lowest order (2.49) for the introduced dynamics to remain chaotic. Then, a necessary and sufficient condition which can be easily extended to other fractional-order systems is proposed in terms of Linear Matrix Inequality (LMI) to check whether the candidate state feedback controller with parameter uncertainty can guarantee zero convergence of error or not. In addition, the proposed method provides a global zero attraction of error that guarantees stability around all existing...