Loading...
Search for:
programming-languages
0.015 seconds
Total 98 records
A SystemC Transaction Level Modeling of an ARM Processor
, M.Sc. Thesis Sharif University of Technology ; Vosughi Vahdat, Bijan (Supervisor) ; Ghorshi, Mohammad Ali (Supervisor)
Abstract
Advanced RISC Machines (ARM) are an example of a simple processor used to accomplish simple processing tasks in many applications. They can be found in PDA’s, mp3 players, and other portable electronic devices. ARM processors have small instruction sets and basic processor architecture, and they can be modeled in transaction level by SystemC. SystemC is one of many high level programming languages used to write hardware descriptive codes. We have chosen TLM in SystemC so that abstract data types can be used for higher level modeling and faster simulation. System architects and embedded software developers are accepting transaction level modeling into their design flow because it addresses...
An Evolutionary Feature-Oriented Approach For Software Product Line Engineering
, M.Sc. Thesis Sharif University of Technology ; Mirian Hosseinabadi, Hassan (Supervisor)
Abstract
In the current decade there has been research works around adopting agile methodologies for software product line engineering. However, the emphasis has been on the process part of the methodology and the main product which is the source code has been neglected.The prevalent modeling and implementation method of software product line is the featureoriented method. The concept of ”Feature-to-code mapping” is introduced in the implementation phase which recently novel approaches have been proposed to realize it.Despite superiority of the novel approaches in this field, prevalent industrial product lines still use C language and map features to code by leveraging traditional preprocessors of C...
Designing a MIPS Processor Using Transactional Level Modeling Tools
, M.Sc. Thesis Sharif University of Technology ; Vosoughi Vahdat, Bijan (Supervisor) ; Mortazavi, Mohammad (Supervisor)
Abstract
Processor cores in embedded applications is one the of important part of System-on-Chip designs. Among the most successful (Reduced Instruction Set Computer) RISC cores are the (Million Instruction Per Second) MIPS processors used in applications such as DVD, automotive, broadband access, networking, etc. In this work we have designed and verified Transaction Level Modeling (TLM) architecture of the MIPS in SystemC TLM2.0. The TLM in SystemC is adopted so that abstract data types can be used for higher (abstract) level modeling and faster simulation design. We implemented the processor such that the instruction and data caches contain all the necessary instructions and data to eliminate...
Agent-based Programming and it's Application Using GOAL
,
M.Sc. Thesis
Sharif University of Technology
;
Ramezanian, Rasoul
(Supervisor)
Abstract
With the significant advances in software engineering and developing complicated systems, it’s important to investigate the interaction between systems. Agentoriented software engineering is a new paradigm for developing distributed intelligent systems. Agent technology currently plays an important role in complex software development. The underlying paradigm offers a large repertoire of original concepts, architectures, interaction protocols, and methodologies for the analysis and the specification of complex systems built as Multi-Agent Systems (MAS). Several efforts, originating from academia, industry, and several standardisation consortium, have been made in order to provide new tools,...
Power system transient stability improvement using fuzzy controlled STATCOM
, Article 2006 International Conference on Power System Technology, POWERCON2006, Chongqing, 22 October 2006 through 26 October 2006 ; 2006 ; 1424401119 (ISBN); 9781424401116 (ISBN) ; Ghafori, A ; Ehsan, M ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2006
Abstract
In this paper a fuzzy logic based controller for STATCOM is used to improve power system transient stability. As opposed to the modern control theory, fuzzy logic design is not based on the mathematical model of the process. The controller designed using fuzzy logic implements human reasoning that can be programmed into fuzzy logic language (membership functions, rules and the rule interpretation). The nonlinear fuzzy controller is proposed to supply a supplementary control signal to STATCOM to increase the critical clearing time and overcome the uncertainties existing in the power systems. Proposed method is implemented in a single machine infinite bus system and the results are compared...
The impact of MOF feasibility to improve the desalination performance and antifouling properties of FO membranes
, Article RSC Advances ; Volume 6, Issue 74 , 2016 , Pages 70174-70185 ; 20462069 (ISSN) ; Rahimpour, A ; Khoshhal, S ; Firouzjaei, M. D ; Ghoreyshi, A. A ; Sharif University of Technology
Royal Society of Chemistry
2016
Abstract
In this study, a hydrophilic metal-organic framework (MOF) was applied to improve the performance of a cellulosic membrane for forward osmosis (FO) desalination application. The characterization results confirmed that the MOF particles existed within the matrix of the modified membrane. The MOF loading led to adjustment of the membranes in terms of overall porosity, pore inter-connectivity and hydrophilicity. These features caused an improvement in the pure water permeability (72%) and reduce the structural parameter of the modified membrane to 136 μm. The FO water flux of the modified membrane enhanced by about 180% compared to an unmodified membrane, without decreasing its selectivity. FO...
Fault tree analysis of embedded systems using SystemC
, Article Annual Reliability and Maintainability Symposium, 2005 Proceedings: The International Symposium on Product Quality and Integrity, Alexandria, VA, 24 January 2005 through 27 January 2005 ; 2005 , Pages 77-81 ; 0149144X (ISSN) ; Miremadi, S. G ; Sharif University of Technology
2005
Abstract
System fault-tree analysis is a technique for modeling dependability that is in widespread use. For systems such as embedded systems that include both hardware and software, the integration of hardware and software fault trees has proved problematic. In this paper, we present a method for reliability and safety analysis of embedded systems modeled by SystemC language. The evaluation is based on the fault trees generated from both hardware and software parts of the embedded systems described in the unified language. The unified modeling of both hardware and software of embedded systems using SystemC enables designers to be early aware from the safety and reliability of their designs more...
Reimbursing the handshake overhead of asynchronous circuits using compiler pre-synthesis optimizations
, Article 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools, DSD 2008, Parma, 3 September 2008 through 5 September 2008 ; 2008 , Pages 290-297 ; 9780769532776 (ISBN) ; Mirza Aghatabar, M ; Najibi, M ; Pedram, H ; Sadeghi, A ; Sharif University of Technology
2008
Abstract
Asynchronous circuits have many advantages vs synchronous design styles like high performance and lower power consumption; however, there is a drawback of big overhead in handshake circuitry of these circuits. In this paper, we have reduced the amount of these extra circuits by take advantage of some compiler techniques. The compiler methods can be used innovatively to improve the synthesis results in terms of both power consumption and area, since these code motions lead to removing of completion detection and validity check parts of asynchronous designs. To the best of our knowledge this is the first effort in using the compiler pre-synthesis optimizations in asynchronous circuits to...
Overcome low intrinsic conductivity of Niox through triazinyl modification for highly efficient and stable inverted perovskite solar cells
, Article Solar RRL ; Volume 6, Issue 9 , 2022 ; 2367198X (ISSN) ; Wang, T ; Li, Y ; Pu, X ; Chen, H ; Li, Y ; Yang, B ; Zhang, Y ; Zhao, J ; Cao, Q ; Chen, X ; Ghasemi, S ; Hagfeldt, A ; Li, X ; Sharif University of Technology
John Wiley and Sons Inc
2022
Abstract
Nickel oxide (NiOx) is a promising hole transport material in inverted organic-inorganic metal halide perovskite solar cells. However, its low intrinsic conductivity hinders its further improvement in device performance. Here, we employ a trimercapto-s-triazine trisodium salt (TTTS) as a chelating agent of Ni2+ in the NiOx layer to improve its conductivity. Due to the electron-deficient triazine ring, the TTTS complexes with Ni2+ in NiOx via a strong Ni2+-N coordination bond and increases the ratio of Ni3+:Ni2+. The increased Ni3+ concentration adjusts the band structure of NiOx, thus enhancing hole density and mobility, eventually improving the intrinsic conductivity of NiOx. As a result,...
Efficient generation of self-avoiding, semiflexible rotational isomeric chain ensembles in bulk, in confined geometries, and on surfaces
, Article Computer Physics Communications ; Volume 270 , 2022 ; 00104655 (ISSN) ; Galata, A. A ; Sadeghi, M ; Kröger, A ; Kröger, M ; Sharif University of Technology
Elsevier B.V
2022
Abstract
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...
Transient error detection in embedded systems using reconfigurable components
, Article Industrial Embedded Systems - IES'2006, Antibes Juan-Les-Pins, 18 October 2006 through 20 October 2006 ; 2006 ; 142440777X (ISBN); 9781424407774 (ISBN) ; Fazeli, M ; Miremadi, S. G ; Sharif University of Technology
2006
Abstract
In this paper, a hardware control flow checking technique is presented and evaluated. This technique uses reconfigurable of the shelf FPGA in order to concurrently check the execution flow of the target micro processor. The technique assigns signatures to the main program in the compile time and verifies the signatures using a FPGA as a watchdog processor to detect possible violation caused by the transient faults. The main characteristic of this technique is its ability to be applied to any kind of processor architecture and platforms. The low imposed hardware and performance overhead by this technique makes it suitable for those applications in which cost is a major concern, such as...
A computational fluid dynamics (CFD) approach to modeling of pervaporation in thin membrane channels
, Article CHISA 2006 - 17th International Congress of Chemical and Process Engineering, Prague, 27 August 2006 through 31 August 2006 ; 2006 ; 8086059456 (ISBN); 9788086059457 (ISBN) ; Shayegh, M ; Azad, R. R ; Sharif University of Technology
2006
Abstract
A comprehensive model for pervaporation in thin membrane channels was developed to study the effect of changing temperature and concentration on mass flux. This model consists of momentum, energy and species mass balances along and across the membrane in the flow channel. A computational fluid dynamics (CFD) code was written in C++ programming language to solve the coupled non-linear transport equations in the channel by finite volume method. The Semi-Implicit Pressure Link Equation (SIMPLE) CFD algorithm is used to modify the dependent variables in each of the iterations. The effect of variation of temperature and concentration on transport and thermodynamic properties were considered by...
Microstructure and mechanical properties of WC-10Co cemented carbide containing VC or (Ta, Nb)C and fracture toughness evaluation using different models
, Article International Journal of Refractory Metals and Hard Materials ; Volume 31 , 2012 , Pages 141-146 ; 02634368 (ISSN) ; Abachi, P ; Simchi, A ; Sharif University of Technology
Abstract
This article describes a study on WC-10Co cemented carbides with different percent of grain growth inhibitors. Samples were prepared by the conventional powder metallurgy method, using WC and Co powder and different concentrations of VC and (Ta, Nb)C powder. All samples were processed using a hot isostatic press (HIP) and the effect of grain growth inhibitors on the microstructure and mechanical properties were investigated. Additionally, microstructure and powder particle morphology were examined using scanning electron microscopy (SEM) and electron dispersive spectroscopy (EDS). The specimen's microstructure proved that the addition of VC is more effective at suppressing grain growth than...
Integrating model checking and deduction for Rebeca
, Article Scientia Iranica ; Volume 12, Issue 1 , 2005 , Pages 55-65 ; 10263098 (ISSN) ; Movaghar, A ; Sharif University of Technology
Sharif University of Technology
2005
Abstract
Rebeca is an actor-based language for modeling concurrent and distributed systems. Its Java-like syntax makes it easy-to-use for practitioners and its formal foundation is a basis to make different formal verification approaches applicable. Compositional verification and abstraction techniques are used in formal verification of Rebeca models to overcome state explosion problems. The main contribution of this paper is to show how model checking and deduction are integrated for verifying certain properties of these models. Deduction is used to prove that abstraction techniques preserve a set of behavioral specifications in temporal logic and is also used in applying the compositional...
Extended Rebeca: A component-based actor language with synchronous message passing
, Article 5th International Conference on Application of Concurrency to System Design, ACSD 2005, St. Malo, 7 June 2005 through 9 June 2005 ; Volume 2005 , 2005 , Pages 212-220 ; 15504808 (ISSN); 0769523633 (ISBN); 9780769523637 (ISBN) ; De Boer, F ; Movaghar, A ; Shali, A ; Sharif University of Technology
2005
Abstract
In this paper, we propose extended Rebeca as a tool-supported actor-based language for modeling and verifying concurrent and distributed systems. We enrich Rebeca with a formal concept of components which integrates the message-driven computational model of actor-based languages with synchronous message passing. Components are used to encapsulate a set of internal active objects which react asynchronously to messages by means of methods and which additionally interact via a synchronous message passing mechanism. Components themselves interact only via asynchronous and anonymous messages. We present our compositional verification approach and abstraction techniques, and the theory...
An approach for assessment of sintering behavior of co-injection moulded PIM feedstocks by dilatometric analysis
, Article European Powder Metallurgy Congress and Exhibition, Euro PM 2005, Prague, 2 October 2005 through 5 October 2005 ; Volume 2 , 2005 , Pages 365-370 ; 9781899072187 (ISBN) ; Petzoldt, F ; Hartwig, T ; European Powder Metallurgy Association ; Sharif University of Technology
European Powder Metallurgy Association (EPMA)
2005
Abstract
In the present work, co-sintering of various powder injection molding (PIM) feedstocks including iron, low-alloy steels, high-alloy steels, and hardmetals was investigated. Dilatometric analysis was used to evaluate the sintering behaviour of co-injection moulded feedstocks after debinding. An approach based on the data of dimensional change versus time and temperature was proposed to determine the compatibility of two materials system for the two component powder injection molding (2C-PIM) process. The similarity of sintering behaviour of the twobody parts produced by 2C-PIM was quantified trough definition of a parameter termed as Apparent Co-Sintering Index (ACSI). The results determined...
Multilingual highlighting CAPTCHA
, Article Proceedings - 2011 8th International Conference on Information Technology: New Generations, ITNG 2011, 11 April 2011 through 13 April 2011, Las Vegas, NV ; 2010 , Pages 447-452 ; 9780769543673 (ISBN) ; Shirali Shahreza, M ; Sharif University of Technology
2010
Abstract
There are many websites specially designed for mobile phones. Some hackers write automated programs to abuse these website services and waste the website resources. Therefore, it is necessary to distinguish between human users and computer programs. Methods known for achieving this are known as CAPTCHA (Completely Automated Public Turing test to tell Computers and Human Apart). CAPTCHA methods are mainly based on the weaknesses of OCR (Optical Character Recognition) systems and ask the user to type a word. So using them is difficult in tools such as PDAs (Personal Digital Assistant) or mobile phones that lack a complete keyboard. In this paper, a new CAPTCHA system is proposed for...
Involving computer science students in real-world problems
, Article ITI 2008 30th International Conference on Information Technology Interfaces, Cavtat/Dubrovnik, 23 June 2008 through 26 June 2008 ; 2008 , Pages 569-573 ; 13301012 (ISSN) ; 9789537138127 (ISBN) ; Shirali ShahrezaMohammad, M ; Sharif University of Technology
2008
Abstract
Today, many students are study computer science. Although they study different courses, they rarely do homework or projects related to real world problems. In this paper, we design a project to show some of the problems which are occured during implementing a real word project to the students. In this project, the students are asked to implement the FFT (Fast Fourier Transform) algorithm on a personal computer and then port the program to a smartphone using J2ME (Java 2 Micro Edition) programming language. By doing this project, the undergraduate computer science students will become familiar with the limitations of small devices such as smartphones. They also learn the process of porting a...
Text steganography in chat
, Article 3rd IEEE/IFIP International Conference in Central Asia on Internet, ICI 2007, Tashkent, 26 September 2007 through 28 September 2007 ; 2007 ; 1424410061 (ISBN); 9781424410064 (ISBN) ; Shirali Shahreza, M ; Sharif University of Technology
2007
Abstract
Invention of the Internet and its spread in the world changes various aspects of human life. In addition, Internet changed human relations. Chat is one of the new aspects which invented after the Internet and is welcomed by users, especially by young people. In chat rooms, people talk with each other using text messages. Because of the need for quick typing of the word and also because of the high amount of sentences which is exchanged between users, new abbreviations are invented for various words and phrases in chat rooms. This new language is known as SMS-Texting. On the other hand, the issue of safety and security of information and especially secret relationships has led to the...
Localized CAPTCHA for illiterate people
, Article 2007 International Conference on Intelligent and Advanced Systems, ICIAS 2007, Kuala Lumpur, 25 November 2007 through 28 November 2007 ; 2007 , Pages 675-679 ; 1424413559 (ISBN); 9781424413553 (ISBN) ; Shirali Shahreza, M ; Sharif University of Technology
2007
Abstract
Nowadays, many daily human activities such as education, commerce, talks, etc. are carried out through the Internet. In cases such as the registering in websites, some hackers write programs to make automatic false enrolments which waste the resources of the website while this may even stop the entire website from working. Therefore, it is necessary to tell apart human users from computer programs which is known as CAPTCHA (Completely Automated Public Turing test to tell Computers and Human Apart). CAPTCHA methods are mainly based on the weak points of OCR (Optical Character Recognition) systems while using them are undesirable to human users. So the Non-OCR-Based CAPTCHA methods are...