Sharif Digital Repository

In this paper, a practical educational tool based on Java programming is described. The approach is based on using a fully interactive graphical user interface for teaching cipher algorithms. As an example, a transposition cipher is covered, where students can try different keys and observe the effect of parameters such as key length, choice of letters for the key on the ciphertext. At the same time, the process of breaking the cipher algorithm (cryptanalysis) is rendered possible by students injecting known plaintext. The developed program offers an option where it tries systematically all keys (brute force) to break the cipher. Being extendable, the platform is thought to be able to play a... 

The recently reported UNIversal QUAsiChemical Segment Activity coefficient (UNIQUAC-SAC) model [developed by Haghtalab and Yousefi Seyf Ind. Eng. Chem. Res. 2015, 54, 8611] provides a practical thermodynamic framework to be used in VLE, LLE, and SLE calculations. The UNIQUAC-SAC model has the advantage of being independent of area (q) and volume (r) structural parameters used in the combinatorial part. While the UNIFAC or UNIFAC-DMD could not apply to the 47% (44 of 94) of the studied molecules because of the undefined groups. Here, the numbers of solvents with identified segment numbers were extended from 82 to 130 with a slight refinement to the previous values. The model parameters... 

Radiographic inspection is the most appreciated technique among the other non-destructive testing methods due to producing unique finger print record as the film. Converting of radiographs to a digital format and further digital image processing is the best method of enhancing the image quality and assisting the interpreter on his evaluation. In this research, different algorithms were used for image enhancement and radiograph interpretation in MATLAB environment. A graphical user interface (GUI) was created for implementation of different algorithms. Both spatial and frequency (wavelet) domains techniques were used for image enhancement. Results showed that the defect recognition... 

Radiographic inspection is one of the most appreciated techniques among non-destructive testing methods due to the production of a film which acts as a unique fingerprint record. Converting radiographs to a digital format and further digital image processing is the best method of enhancing the image quality and assisting the interpreter on his evaluation. In this research, different algorithms were used for image enhancement and radiograph interpretation in MATLAB environment. A graphical user interface (GUI) was created for implementation of different algorithms. Both spatial and frequency domains techniques were used for image enhancement. The main enhancement technique was a spatial... 

Reusing test cases across similar applications can significantly reduce testing effort. Some recent test reuse approaches successfully exploit word embedding models to semantically match GUI events across Android apps. It is a common understanding that word embedding models trained on domain-specific corpora perform better on specialized tasks. Our recent study confirms this understanding in the context of Android test reuse. It shows that word embedding models trained with a corpus of the English descriptions of apps in the Google Play Store lead to a better semantic matching of Android GUI events. Motivated by this result, we hypothesize that we can further increase the effectiveness of... 

Context: It is well-known that the use of formal methods in the software development process results in high-quality software products. Having specified the software requirements in a formal notation, the question is how they can be transformed into an implementation. There is typically a mismatch between the specification and the implementation, known as the specification-implementation gap. Objective: This paper introduces a set of translation functions to fill the specification-implementation gap in the domain of database applications. We only present the formal definition, not the implementation, of the translation functions. Method: We chose Z, SQL and Delphi languages to illustrate our... 

Brain computer interface (BCI) is a widely used system to assist the disabled and paralyzed people by creating a new communication channel. Among the various methods used in BCI area, motor imagery (MI) is the most popular and the most common one due to its the most natural way of communication for the subject. Some software applications are used to implement BCI systems, and some toolboxes exist for EEG signal processing. In recent years virtual reality (VR) technology has entered into the BCI research area to simulate the real world situations and enhance the subject performance. In this work, a completely MATLAB-based MI-based BCI system is proposed and implemented in order to navigate... 

In this article a double-inlet pulse-tube refrigerator (DIPTR) is modeled using the nodal analysis technique. The main complexity of the problem is oscillatory and unsteady characteristics of the flow. Solving the flow field in the regenerator section of the system as a porous medium with nonlocal thermal equilibrium is challenging. Governing equations are developed applying mass, energy, and momentum equations to different finite volumes in each component of DIPTR. A numerical code (SharifPTR), with graphical user interface, has been developed to investigate the influence of geometrical and working parameters on performance. The governing equations are a system of boundary value problems.... 

Context Event-Driven Software (EDS) is a class of software whose behavior is driven by incoming events. Web and desktop applications that respond to user-initiated events on their Graphical User Interface (GUI), or embedded software responding to events and signals received from the equipment in its operating environment are examples of EDS. Testing EDS poses great challenges to software testers. One of these challenges is the need to generate a huge number of possible event sequences that could sufficiently cover the EDS's state space. Objective In this paper, we introduce a new six-stage testing procedure for event-driven web applications to overcome EDS testing challenges. Method The... 

This paper describes the development and implementation of MCRC software, chemometric software for Multivariate Curve Resolution of two-way Chromatographic data. MCRC software is developed for chemometric analysis of chromatographic data; however, it may also be used for other types of multivariate data. It consists of five groups of techniques for preprocessing, chemical rank determination, local rank analysis, multivariate resolution and peak integration. This software has the ability of the analysis of complex multi-component chromatographic signals of gas chromatography-mass spectrometry (GC-MS) and high performance liquid chromatography-diode array detection (HPLC-DAD). The software... 

This paper describes concepts, design, implementation, and performance evaluation of a 3D-based user interface for accessing IoT-based Smart Environments (IoT-SE). The generic interaction model of the described work addresses some major challenges of Human-IoT-SE-Interaction such as cognitive overload associated with manual device selection in complex IoT-SE, loss of user control, missing system image or over-automation. To address these challenges we propose a 3D-based mobile interface for mixed-initiative interaction in IoT-SE. The 3D visualization and 3D UI, acting as the central feature of the system, create a logical link between physical devices and their virtual representation on the... 

This paper describes concepts, design, implementation, and performance evaluation of a 3D-based user interface for accessing IoT-based Smart Environments (IoT-SE). The generic interaction model of the described work addresses some major challenges of Human-IoT-SE-Interaction such as cognitive overload associated with manual device selection in complex IoT-SE, loss of user control, missing system image or over-automation. To address these challenges we propose a 3D-based mobile interface for mixed-initiative interaction in IoT-SE. The 3D visualization and 3D UI, acting as the central feature of the system, create a logical link between physical devices and their virtual representation on the... 

The aim of this work is to develop a mammography Monte Carlo MCNP-FBSM based simulation platform called 'MamSim' that is able to model the detailed geometry and physics of commercial screen-film and digital mammography units. This simulation platform is designed to enable the virtual assessment and optimization of mammography protocols and parameters for obtaining the desired image quality while diminishing radiation dose to the patient in both contact and magnification modes. A graphical user interface generates MCNP-FBSM input files for simulating mammography units under various geometries and imaging protocols. We considered the full simulation of all components of mammography procedure... 

We provide an efficient ready-to-run code gensaw that generates single or large ensembles of self-avoiding, flexible, semiflexible, rotationally isometric or helical chains in the bulk or subject to arbitrary confinement and tethering conditions, where we allow for arbitrary intramolecular bending and dihedral energy functions. The resulting configuration files are provided in various common formats and can be immediately used to do molecular simulations or statistical analysis. We work out analytic expressions for the mean squared end-to-end distance and gyration radius of the semiflexible, helical and rotational isomeric state models with a finite number of bonds and arbitrary interaction...