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... 

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.... 

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  

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... 

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... 

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... 

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 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... 

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... 

Several methods have been developed in the past for analyzing the porosity and other types of well logs for large-scale porous media, such as oil reservoirs, as well as their permeability distributions. We developed a method for analyzing the porosity logs φ(h) (where h is the depth) and similar data that are often nonstationary stochastic series. In this method one first generates a new stationary series based on the original data, and then analyzes the resulting series. It is shown that the series based on the successive increments of the log y(h)=φ(h+δh)-φ(h) is a stationary and Markov process, characterized by a Markov length scale hM. The coefficients of the Kramers-Moyal expansion for... 

Yeh et al. have recently proposed a mutual authentication protocol based on EPC Class-1 Gen.-2 standard. They claim their protocol is secure against adversarial attacks and also provides forward secrecy. In this paper we show that the proposed protocol does not have cited security features properly. A powerful and practical attack is presented on this protocol whereby the whole security of the protocol is broken. Furthermore, Yeh et al.'s protocol does not assure the untraceabilitiy and backwarduntraceabilitiy attributes. We also will propose our revision to safeguard the Yeh et al.'s protocol against cited attacks  

In this paper, we show how time-sharing method may reduce transmission delay in the dynamic index coding scenario. We propose a novel time-shared dynamic index coding transmission scheme that achieves the maximum index coding gain for a complete bi-directional side information graph and formulate a constrained optimization problem to tune the transmission scheme for the minimum transmission delay. A closed-form solution is presented for the special case of two-user. We also use analytical and simulation results to provide graphical intuition for the obtained results  

This paper suggests methods for improving efficiency of a high step up high efficiency converter based on three state commutation cells. A loss analysis has been performed to identify the source of power loss. Based on this analysis, methods are presented to reduce losses in the most power dissipating elements. These methods include replacing some power diodes with large conduction losses with MOSFETs having small on-state resistance. Efficiency improvement up to %1.25 percent is verified in simulation and experimental results  

Locally multipath adaptive routing (LMAR) protocol, classified as a new reactive distance vector routing protocol for MANETs is proposed in this paper. LMAR can find an ad-hoc path without selfish nodes and wormholes using a random search algorithm in polynomial-time. Also when the primary path fails, it discovers an alternative safe path if network graph remains connected after eliminating selfish/malicious nodes. The main feature of LMAR to seek safe route free of selfish and malicious nodes in polynomial time is its searching algorithm and flooding stage that its generated traffic is equiloaded compared to single-path routing protocols but its ability to bypass the attacks is much better... 

von Willebrand factor (VWF) is a naturally collapsed protein that participates in primary haemostasis and coagulation events. The clotting process is triggered by the adsorption and conformational changes of the plasma VWFs localized to the collagen fibres found near the site of injury. We develop coarse-grained models to simulate the adsorption dynamics of VWF flowing near the adhesive collagen fibres at different shear rates and investigate the effect of factors such as interaction and cooperativity of VWFs on the success of adsorption events. The adsorption probability of a flowing VWF confined to the receptor field is enhanced when it encounters an adhered VWF in proximity to the... 

A general regression neural network technique was applied to design optimization of a liquid-liquid coaxial swirl injector. Phase Doppler Anemometry measurements were used to train the neural network. A general regression neural network was employed to predict droplet velocity and Sauter mean diameter at any axial or radial position for the operating range of a liquid-liquid coaxial swirl injector. The results predicted by neural network agreed satisfactorily with the experimental data. A general performance map of the liquid-liquid coaxial swirl (LLCS) injector was generated by converting the predicted result to actual fuel/oxidizer ratios. © 2008 WILEY-VCH Verlag GmbH & Co. KGaA