Verifying robust frequency domain properties of non linear oscillators using SMT

We present a novel mixed time and frequency domain approach to the formal verification of oscillators properties which are specified in the frequency domain. We use robust periodogram specification to specify the oscillator behaviour in the close vicinity of the limit cycle. Using SAT modulo ODE (SMO) for Bounded Model Checking (BMC) of the non-linear hybrid automata, we show that the oscillator hybrid timed traces satisfy frequency domain specifications

Pengaruh Store Layout Dan Interior Display Terhadap Keputusan Pembelian Di Indomaret Jakarta

The background of this research is to see the rapid growth of Indomaret outlets, due to the Display factor which consists of Store Layout and Interior Display in Indomaret stores which can influence Purchasing Decisions. The purpose of this study was to determine and analyze the influence of Store Layout and Interior Display on Purchasing Decisions at Indomaret Fresh Stores located in the Indomaret Tower Building, Jakarta. The research method used in this study is a quantitative method, with data collection techniques using field study methods (distribution of questionnaires). While the data analysis technique uses a quantitative descriptive statistical approach. The criteria for the informants that the authors used as samples in this study were consumers who came to shop, who were making purchases at the store with the topic under study and had enough time to be given a questionnaire. The results of the study prove partially that there is an influence from Store Layout (X1) on purchasing decisions (Y). This is evidenced by the acquisition of Sig = 0.000 ttable = 1.663 with a value of 41.9%. And there is a significant influence Interior Display (X2) on purchasing decisions (Y). This is evidenced by the acquisition of Sig = 0.000 ttable = 1.663 with a value of 65.5%, as well as the results of the Anova test or F test obtained an F count of 75,197. with a probability of 0.000. Because the probability is less than 0.05, the regression model can be used to find the effect that Store Layout and Interior Display simultaneously influence Purchase Decision by 65.6%

Development of A Work-based Vestibule Training E-module For Accident Prevention at Malaysian Oil and Gas Drilling Industries: A Proposed Framework

This article discusses the conceptual action plan and detailed methodology for the identification of potential hazard controls and the development of work integrated E-vestibule training module for safe onshore and offshore oil and gas drilling operation at Malaysian industries. According to the previous studies, there is a sheer industrial need of an effective work integrated vestibule training module for accident prevention at oil and gas drilling sites at Malaysian drilling domains. In this proposed study, 80 drilling crew will be randomly selected for quantitative research phase. Similarly, 03 safety experts will be purposively selected for qualitative research from each drilling domain. Whereas, for the identification of hazard controlling measures What-If analysis and thematic analysis approaches will be adopted. Furthermore, the open source vestibule training module will be developed by using ADDIE based on identified hazard controlling measures. However, the visual studio and MySQL software will use to develop the E-Module for drilling crew safety training. The proposed E-vestibule training module development framework will be used as an effective source for the elimination of life-threatening drilling hazards associated with its activities at oil and gas industries. Similarly, the proposed framework can also be implemented on other work-based learning training designs. Moreover, this proposed safety and health vestibule training module will be the first E- drilling safety module which covers all onshore and offshore drilling operation in Malaysian oil and gas extraction settings

Risk Factors for Construction Workforce Safety towards Sustainability

This research article is based on the identification of safety risk factors associated with construction projects in Pakistan related with the China-Pakistan economic corridor (CPEC). In this paper, four construction sites have been targeted from Sindh, Punjab, Khyber Pakhtunkhwa, and Baluchistan province of Pakistan. The research was based on quantitative mode where the questionnaire survey was adopted for data collection and analysed statistically. The targeted respondents were 400 CPEC construction workforces from four different targeted sites in Pakistan. The collected data was analysed using descriptive statistical methods of Statistical Package of Social Sciences (SPSS) 23.0 software. According to the findings, it has been specified that the respondents from all four targeted construction sites in Pakistan has considered three major safety risk factors such as administrative, personal protective equipment (PPE) and workforce safety. Risk factors for administrative is between 1.06 and 2.65 (low level to moderate level), for PPE is between 1.06 and 2.65 (low level to moderate level) and for workforce safety is between 2.4 and 3.60 (moderate level to high Level). Meanwhile, the safety experts have been indicated the lack of proper training & PPE equipment’s, falling from height and falling object hazards are as the major cause of injuries at Pakistani construction sites related with CPEC projects. The findings of this study will be the catalyst for the CPEC projects in Pakistan to minimize the safety and health concern among construction industry workforce

Ultrasound speckle noise reduction by radio-frequency data filtering

Ultrasound is a commonly used imaging modality for the examination of several pathologies due to its non-invasiveness, affordability and easiness of use. However, ultrasound images are degraded by an intrinsic artefact called 'speckle', which is the result of the constructive and destructive coherent summation of the ultrasound echoes. This paper aims to generate B-mode images out of radio-frequency (RF) data following standard procedures, a series of steps such as envelope detection, log-compression and scan conversion. Some low pass filters will be applied to RF data in order to achieve B-mode images with high quality by speckle noise reduction.info:eu-repo/semantics/publishedVersio

Development of Sustained-Release Microbeads of Nifedipine and In vitro Characterization

Purpose: To formulate and evaluate sustained-release microbeads of nifedipine for prolonged delivery.Methods: Nifedipine microbeads were prepared using sodium alginate and pectin in different ratios by ionic-gelation method. The microbeads were evaluated for surface morphology and shape by scanning electron microscopy (SEM), micromeritic properties, microencapsulation efficiency and in vitro drug release. The microbeads were also assessed by Fourier Transform Infra-red Spectroscopy (FTIR) and differential scanning calorimetry (DSC) to determine drug-polymer interaction, if any.Results: FTIR and DSC results indicate absence of interaction between the drug and polymers used. Good rheological behavior was demonstrated with an angle of repose < 30º, and Carr’s index and Hausner’s ratio of < 10% and < 1.12, respectively Microbead size, yield and entrapment efficiency were in the range of 695 to 733 um, 69 to 75% and 54 to 63%,  respectively. SEM revealed that the microbeads were discrete, largely spherical and free-flowing. Higuchi model was the best fit for the dissolution data and followed non-Fickian diffusion mechanism.Conclusion: The microbead formulation would be suitable for sustained release of nifedipine.Keywords: Microbead, Nifedipine, Alginate, Ionic gelation, Pectin, Higuchi model, Non-Fickian diffusion

Dynamic Wireless Information and Power Transfer Scheme for Nano-Empowered Vehicular Networks

In this paper, we investigate the wireless power transfer and energy-efficiency (EE) optimization problem for nano-centric vehicular networks operating over the terahertz band. The inbody nano-sensors harvest energy from a power station via radio-frequency signal and then use the harvested energy to transmit data to the sink node. By considering the properties of terahertz band (i.e., sensitivity to distance and frequency over the communication path), we adopt the Brownian motion model to develop a time-variant terahertz channel model and to describe the mobility of the nano-sensors. Thus, based on the channel model and energy resources, we further develop a long-term EE optimization problem. The EE optimization is further converted into a series of energy-efficient resource allocation problems over the time slots via equivalent transformation method. The resource allocation problem for each timeslot, which is formulated as a mixed integer nonlinear programming (MINLP), is solved based on the particle swarm optimization (PSO) method. In addition, a dynamic PSO-based EE optimization (DPEEO) algorithm is developed to obtain the sub-optimal solution for the EE optimization problem. By exploiting the special structure of the reformulated problem, an improved DPEEO algorithm, is presented which can handle the problem’s constraints quite well, decreases the research space, and greatly reduces the length of the convergence time. Simulation results validate the theoretical analysis of our system

Religious education and hermeneutics: the case of teaching about Islam

This article attempts to do three things: the first is an exploration of the ways in which Islam is presented in an essentialist way (with a focus on Religious Education (RE) in England and Wales), leading to stereotypes and unsubstantiated generalisations. Secondly, it provides a critique of essentialism, and finally a case is made for the role of hermeneutics in the teaching and learning of Islam