oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2020 ( 5 )

2019 ( 66 )

2018 ( 89 )

2017 ( 113 )

Custom range...

Search Results: 1 - 10 of 11286 matches for " Hassan Reza "
All listed articles are free for downloading (OA Articles)
Page 1 /11286
Display every page Item
Mapping AADL to Petri Net Tool-Sets Using PNML Framework  [PDF]
Hassan Reza, Amrita Chatterjee
Journal of Software Engineering and Applications (JSEA) , 2014, DOI: 10.4236/jsea.2014.711082
Abstract: Architecture Analysis and Design Language (AADL) has been utilized to specify and verify nonfunctional properties of Real-Time Embedded Systems (RTES) used in critical application systems. Examples of such critical application systems include medical devices, nuclear power plants, aerospace, financial, etc. Using AADL, an engineer is enable to analyze the quality of a system. For example, a developer can perform performance analysis such as end-to-end flow analysis to guarantee that system components have the required resources to meet the timing requirements relevant to their communications. The critical issue related to developing and deploying safety critical systems is how to validate the expected level of quality (e.g., safety, performance, security) and functionalities (capabilities) at design level. Currently, the core AADL is extensively applied to analyze and verify quality of RTES embed in the safety critical applications. The notation lacks the formal semantics needed to reason about the logical properties (e.g., deadlock, livelock, etc.) and capabilities of safety critical systems. The objective of this research is to augment AADL with exiting formal semantics and supporting tools in a manner that these properties can be automatically verified. Toward this goal, we exploit Petri Net Markup Language (PNML), which is a standard acting as the intermediate language between different classes of Petri Nets. Using PNML, we interface AADL with different classes of Petri nets, which support different types of tools and reasoning. The justification for using PNML is that the framework provides a context in which interoperability and exchangeability among different models of a system specified by different types of Petri nets is possible. The contributions of our work include a set of mappings and mapping rules between AADL and PNML. To show the feasibility of our approach, a fragment of RT-Embedded system, namely, Cruise Control System has been used.
Enhancing Mobile Cloud Computing Security Using Steganography  [PDF]
Hassan Reza, Madhuri Sonawane
Journal of Information Security (JIS) , 2016, DOI: 10.4236/jis.2016.74020
Abstract: Cloud computing is an emerging and popular method of accessing shared and dynamically configurable resources via the computer network on demand. Cloud computing is excessively used by mobile applications to offload data over the network to the cloud. There are some security and privacy concerns using both mobile devices to offload data to the facilities provided by the cloud providers. One of the critical threats facing cloud users is the unauthorized access by the insiders (cloud administrators) or the justification of location where the cloud providers operating. Although, there exist variety of security mechanisms to prevent unauthorized access by unauthorized user by the cloud administration, but there is no security provision to prevent unauthorized access by the cloud administrators to the client data on the cloud computing. In this paper, we demonstrate how steganography, which is a secrecy method to hide information, can be used to enhance the security and privacy of data (images) maintained on the cloud by mobile applications. Our proposed model works with a key, which is embedded in the image along with the data, to provide an additional layer of security, namely, confidentiality of data. The practicality of the proposed method is represented via a simple case study.
Toward Quality Attribute Driven Approach to Software Architectural Design  [PDF]
Payel Bajpayee, Hassan Reza
Journal of Software Engineering and Applications (JSEA) , 2017, DOI: 10.4236/jsea.2017.106027
Abstract: It has been well-documented that the software architecture of any system plays a critical role in success or failure of software intensive systems. In this paper, a method has been proposed to evaluate the software architecture’s fitness with respect to key quality attributes for a web-based system. To the end, a comparative analysis based on quality attributes scenarios and tactics is carried out to select an optimal software architecture that meets the system level requirements of a web-based system, namely, Student and Course Evaluation System (SCES). The comparative study was driven by study of quality attributes and tactics with the selected architectures to select the optimal one.
A new approach for classification of human brain CT images based on morphological operations  [PDF]
Ali Reza Fallahi, Mohammad Pooyan, Hassan Khotanlou
Journal of Biomedical Science and Engineering (JBiSE) , 2010, DOI: 10.4236/jbise.2010.31011
Abstract: Automatic diagnosis may help to decrease human based diagnosis error and assist physicians to focus on the correct disease and its treatment and to avoid wasting time on diagnosis. In this paper computer aided diagnosis is applied to the brain CT image processing. We compared performance of morphological operations in extracting three types of features, i.e. gray scale, symmetry and texture. Some classifiers were applied to classify normal and abnormal brain CT images. It showed that morphological operations can improve the result of accuracy. Moreover SVM classifier showed better result than other classifiers.
Base Width Variations and its Effects on Frequency Response of Double Hetero-structure Long Wavelength Transistor Laser  [PDF]
Mohammad Reza Farjadian, Hassan Kaatuzian, Iman Taghavi
Optics and Photonics Journal (OPJ) , 2013, DOI: 10.4236/opj.2013.32B058
Abstract:

In this paper we investigate the effects of base width variation on performance of long wavelength transistor laser. In our structure with increasing the base width, the cut off frequency increases until 367 nm with 24.5 GHz and then abruptly fall. In 100 nm base width, we have 17.5 GHz cut off frequency, and overall ac performances become optimized, although, other parameters like optical losses and threshold current density are not optimized.

Proposing the Design, Application and Performance Analysis of an Intelligent Nanoelectronics System for the Detection and Prognosis of Nervous and Epileptic Seizures
Hassan Sabzyan,Reza Safari
Iranian Journal of Medical Hypotheses & Ideas , 2009,
Abstract: "nNanoscience and Nanotechnology has enabled us to produce new atomic, molecular and cluster structures with desired properties in systematic and controlled approaches. Nanoelectronics (or Molecular Electronics) circuits which is based on molecular and quantum mechanical concepts and phenomena, can be used to design an intelligent system for the detection and prognosis of the initial electrical signals of the nervous and epileptic seizures. The design of the required power source based on the electrical currents of the nervous system and the location of the installation site are the most important features of the design and application of such an intelligent system. In the design of the molecular components needed for the nanoelectronic circuits of this system, physcochemical theoretical and computational techniques can be used. For the optimal design and performance of this prognosis system, environmental effects such as local electric and magnetic fields, and biochemical environments, should be taken into account. "nIn this article, the idea of the design of an intelligent nanoelectronic system for the detection, prognosis and possible control of epileptic attacks is presented. The phases of the design, application and performance analysis of this system include; 1) Detailed clinical analysis of the epileptic electrical signals prior, during and after the attack. 2) Feasibility study of the simulation of the nervous system and the perturbative effects of the epileptic seizure on it using in vivo nanoprobes. 3) Feasibility study of the usage of electric signals of the nerves of other organs having less complexity compared to brain for faster and more accurate prognosis. 4) Design of an in vivo nanoelectronic circuit for the detection and prognosis of the initial signals of epileptic seizures. 5) Feasibility study of the design and production of nanoelectrodes implantable in the skull for the reduction or extinction of the perturbative nervous signals in order to minimize the effects of epileptic seizure.
Computational Comparison of T-cell Epitopes of gp120 of Iranian HIV-1 with Different Subtypes of the Virus
Hassan Mohabatkar,Reza Mohammadzadegan
Pakistan Journal of Biological Sciences , 2007,
Abstract: In the present study, T-cell epitopes of gp120 of an Iranian isolate have been compared to different subtypes of HIV-1. At first, the amino acid sequences of gp120 were fetched from data banks. Then T-cell epitopes, disulfide bonding states, protein kinase C phosphorylation sites, cAMP-dependent protein kinase phosphorylation sites, casein kinase II phosphorylation sites, N-myristoylation sites and amidation sites were predicted using different soft wares. According to this computational analysis 6 good disulfide binding states in Iranian gp120 were predicted. From the viewpoint of cAMP-dependent protein kinase phosphorylation site (1 site) Iranian isolate was similar to clades B and F. Like subtype C 1 amidation site was predicted in the Iranian subtype. In the Iranian isolate 7 sites protein kinase C phosphorylation sites and 4 N-myristoylation sites were predicted. Since the number of individuals infected with HIV-1 in Iran, like many other countries is increasing, study of similarities and differences between the Iranian samples and different clades of HIV-1 can help us in identification of the origin and understanding the changes in the virus.
Computer-aided design of nano-filter construction using DNA self-assembly
Mohammadzadegan Reza,Mohabatkar Hassan
Nanoscale Research Letters , 2006,
Abstract: Computer-aided design plays a fundamental role in both top-down and bottom-up nano-system fabrication. This paper presents a bottom-up nano-filter patterning process based on DNA self-assembly. In this study we designed a new method to construct fully designed nano-filters with the pores between 5 nm and 9 nm in diameter. Our calculations illustrated that by constructing such a nano-filter we would be able to separate many molecules.
Toward the Design and Implementation of Traceability Engineering Tool Support  [PDF]
Subik Pokharel, Hassan Reza
Journal of Software Engineering and Applications (JSEA) , 2019, DOI: 10.4236/jsea.2019.126015
Abstract: Requirements of a system keep on changing based on the need of stakeholders or the system developers, making requirement engineering an important aspect in software development. This develops a need for appropriate requirement change management. The importance of requirements traceability is defining relationships between the requirements and artefacts extracted by the stakeholder during the software development life-cycle and gives vital information to encourage software understanding. In this paper, we have concentrated on developing a tool for requirement traceability that can be used to extend the requirement elicitation and identification of system-wide qualities using the notion of quality attribute scenarios to capture the non-functional requirements. It allows us to link the functional and non-functional requirements of the system based on the quality attribute scenarios template proposed by the Carnegie Mellon Software Engineering Institute (SEI). Apart from this, the paper focuses on tracing the functional and non-functional requirements of the system using the concept of requirement traceability matrix.
On the Homotopy Analysis Method and Optimal Value of the Convergence Control Parameter: Solution of Euler-Lagrange Equation  [PDF]
Jafar Saberi-Nadjafi, Reza Buzhabadi, Hassan Saberi Nik
Applied Mathematics (AM) , 2012, DOI: 10.4236/am.2012.38129
Abstract: This paper presents, an efficient approach for solving Euler-Lagrange Equation which arises from calculus of variations. Homotopy analysis method to find an approximate solution of variational problems is proposed. An optimal value of the convergence control parameter is given through the square residual error. By minimizing the the square residual error, the optimal convergence-control parameters can be obtained. It is showed that the homotopy analysis method was valid and feasible to the study of variational problems.
Page 1 /11286
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.