The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper gives a short introduction to the technology of Model Checking together with a few examples where the technology has been used successfully. A number of so-called temporal logics will be discussed, together with the main tool implementing each of the logics.
This paper describes signal processing of surface electromyography (sEMG) for finger movement detection. Stoke survivors could use this application to retrain or helping them in their activities. This assistive technology will help them in order to improve the functional capabilities. The signal processing in this experiment is using 256Hz sampled data of sEMG signal. Three fingers of right hand is...
This thesis is a research report on the design of observer on anti windup system with multivariable Sliding Mode Control (SMC) controller. The design is done in three stages, the first stage is the multivariable SMC controller design that gives the L and S constants, the second stage is the static anti windup compensator design to overcome the directionality problem, and the third stage is the full...
This paper addresses on the stability analysis of the attitude control system using quaternion-based feedback control law that accommodates arcus-cotangent as a discontinuous elements in the control law. Three argumentations of the asymptotically stability guarantee of the attitude control system are proposed that stated in three theorems. The effectiveness of the proposed control law is shown through...
The paper describes a new concept of smart engineering using PSV-S concepts for wealth creation. It expands engineering coverage from traditional product developments, service engineering, to value creations. It describes a PSV-S to be an engine driving forces and value exchanges. The paper also argues that PSV-Ss should be the output of any modern engineering. Furthermore, it proposes to use a special...
Increasing a number of receive antennas in STBC-MIMO system yielded increasely spatial diversity gaining. Furthermore, increasing a number of transmit antennas created better spatially multiplexing gaining. However, coding rate created decreasing system performance, higher coding rate yielded worse performance than lower code rate. Using monte-carlo method, this paper simulated the system performance...
This paper describes a new concept of product-service-value (PSV) systems and their engineering process. Our engineering approach uses an engine paradigm to create valuable systems. In this paper, we argue that PSV-S is the most generic valuable system encompasses modern product, service, and value systems. The paper describes PSV-S variants and discusses their smart engineering using computing technologies.
This paper describes the Smart Home System for Disabled People via Bluetooth Wireless. Smart home system for disable people is the system called assistive domestics focuses on making it possible for the disabled to motivate them carry out the daily activity, safe and comfortable. However in our research work, we attempt to design the smart home system including the wireless controller via Bluetooth...
This paper describes virtual prototyping of a new second-order product-service-value systems (PSV-S), especially its performance model. We have developed PSV-S concepts as an abstraction of engineering solutions and processes. In this paper, we increase the abstraction of the concepts for a new class of PSV-S called contracts. Together with solution PSV-S, these contractual PSV-Ss construct a more...
For the purpose of rapid map updating, an accurate digital orthophotos is very essential to be generated. The introduction of LiDAR technology enables accurate production of Digital Terrain Model (DTM) and Digital Surface Model (DSM) of an area. These datasets can be the input into a digital photogrammetry system to enable automatic generation of digital orthophotos. This paper aims to assess the...
This paper introduces the studies on Horizontal Coverage Pattern (HCP) for Bus Detection Devices (BDD). BDD is a device which functions to assist blind people in detecting bus at the bus stop. The prototype of BDD was developed using RFID technology which consists of RFID reader, UHF passive tags and computer. Various testing and experiment have been done to improve the functionality of the device...
A Radio-Frequency Identification Walking Stick (RFIWS) system was developed to assist the blind walking. The RFIWS system used Radio Frequency Identification (RFID) technology to enhance the traditional walking stick. In RFIWS system, the passive RFID tag and circular polarization RFID antenna has been used. In order to optimize the RFIWS functionality, an investigation on effect of antenna positions...
A micropump is described which uses a piezoelectric actuator to deliver liquid from pump pulsations at volumetric flow rates approaching nl min−1 even at high loading levels (high output pressures). This micropump uses a bimorph which bends when a voltage is applied to the piezo-actuator. By inserting valves into the device, the pump can operate continuously with volumetric pumping rate determined...
Network administrators must rely on labour-intensive processes for tracking network configurations and vulnerabilities, which requires a lot of expertise and error prone. Organizational network vulnerabilities and interdependencies are so complex to make traditional vulnerability analysis become inadequate. Decision support capabilities let analysts make tradeoffs between security and optimum availability,...
Topographical map production is a tedious process, where it involves flight planning for the aerial photographic mission, preparation of ground control points, photogrammetric processes and cartographic activities. The task is time consuming, labour intensive and costly. With the vast development of the Klang Valley in Malaysia, customary revision of the topographic maps using the conventional method...
Short-time Fourier Transform (STFT) analysis is one of the techniques to reveal the frequency contents of the EEG signals at each time point. This information can be used to provide control and perform several tasks using Brain Computer Interface system (BCI). This paper describes the STFT analysis of EEG signals obtained during writing and imagined writing. The EEG signal was filtered using a bandpass...
Multimedia and gaming devices currently being used as educational tools. In educational software design is sometimes just moving the learning material to the game but did not pay attention to aspects of psychological development of students. Experience and psychological development of the user must be considered in the design of educational games. Psychomotor domain of motion as well as cognitive...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.