A reliable and efficient micro-protocol for data transmission over an RTP-based covert channel

Multimedia Systems - As the VoIP steganographic methods provide a low capacity covert channel for data transmission, an efficient and real-time data transmission protocol over this channel is...     

Wave propagation analysis in functionally graded (FG) nanoplates under in-plane magnetic field based on nonlocal strain gradient theory and four variable refined plate theory

In this work, analytical solutions are presented for the wave propagation in functionally graded (FG) nanoplates using a nonlocal strain gradient theory and four-variable refined plate theory considering the magnetic field. The size effects are included using nonlocal strain gradient theory that has two length scale parameters, and the nanoplate is modeled as a plate using four-variable refined plate theory. From the knowledge of authors, it is the first time that the influences of magnetic field on the wave propagation in FG nanoplates are investigated based on present methodology.     

Novel design and simulation of reversible ALU in quantum dot cellular automata

The Journal of Supercomputing - Quantum dot cellular automata (QCA) technology is considered as one of the most suitable replacements to reduce the CMOS-based digital circuit design problems at the...     

Automated program repair using genetic programming and model checking

Automated program repair is still a highly challenging problem mainly due to the reliance of the current techniques on test cases to validate candidate patches. This leads to the increasing unreliability of the final patches since test cases are partial specifications of the software. In the present paper, an automated program repair method is proposed by integrating genetic programming (GP) and model checking (MC). Due to its capabilities to verify the finite state systems, MC is employed as an appropriate criterion for evolving programs to calculate the fitness in GP. The application of MC for the fitness evaluation, which is novel in the context of program repair, addresses an important gap in the current heuristic approaches to the program repair. Being focused on fault detection based on the desired aspects, it enables the programmers to detect faults according to the definition of properties. Creating a general method, this characteristic can be effectively customized for different domains of application and the corresponding faults. Apart from various types of faults, the proposed method is capable of handling concurrency bugs which are not the case in many general repair methods. To evaluate the proposed method, it was implemented as a tool, named JBF, to repair Java programs. To meet the objectives of the study, some experiments were conducted in which certain programs with known bugs were automatically repaired by the JBF tool. The obtained results are encouraging and remarkably promising.     

Risk-Based Design of Flood Control Systems Considering Multiple Dependent Uncertainties

Due to random behavior of flood events and inaccuracies in measurements, design, analysis, and operation of flood control systems are subjected to several uncertainties. An important aspect in developing stochastic models for evaluating and analyzing more than one uncertainty is the dependence or independence of them. In flood control projects, hydrologic, hydraulic, geotechnical, and economic uncertainties are important considerations. In this paper, a stochastic Monte-Carlo simulation – optimization modeling approach is described for risk-based design of flood control levees (as a common structural flood control measure): considering multiple dependent uncertainties. It has been applied to the Leaf River reach in Hattiesburg, Mississippi for testing and evaluation of modeling results. Unlike a deterministic model that yields just one set of values for system dimensions, the stochastic model solution gives a range of values for each of them. One of the major reasons for limited field application of uncertainty analysis is difficulties in performing the modeling results in real world contexts. For closing the gap between theory and reality, design charts are developed in this study. This helps decision makers in identifying design values with desired and accepted risks.     

A bandwidth-efficient and fair CSMA/TDMA based multichannel MAC scheme for V2V communications

Designing QoS-aware medium access control (MAC) scheme is a challenging issue in vehicular ad hoc networks. Proportional fairness and bandwidth utilization are among the significant requirements that should be taken into account by a MAC scheme. In this paper, a bandwidth-efficient and fair multichannel MAC protocol is proposed to address these two requirements, specifically in vehicle-to-vehicle communications. The proposed scheme is based on clustering of vehicles and exploits time division multiple access (TDMA) method alongside the carrier sense multiple access with collision avoidance mechanism to allocate DSRC-based resources in a different manner from IEEE 802.11p/IEEE 1609.4 protocols. It divides each channel into aligned dynamic-sized time frames. In each time frame, in a fully TDMA-based period, transmission opportunities are assigned to vehicles letting them have dedicated transmissions on the service and control channels. The maximum number of transmission opportunities per each frame is determined by the cluster head (CH) based on a defined optimization problem which aims at maximizing both proportional fairness and bandwidth utilization. Furthermore, the bandwidth utilization is assumed to be enhanced more through reallocation of unused transmission opportunities in each time frame, using a proposed reallocation algorithm. The proposed MAC protocol is treated as a lightweight scheme such that various types of unicast, multicast and broadcast communications are possible within the cluster without involving the CH. Evaluation results show that the proposed scheme has more than 90 % achievement in terms of proportional fairness and bandwidth utilization simultaneously, and in this case, has a considerable superiority over TC-MAC. In addition, using the proposed scheme, the satisfaction level of vehicles is preserved appropriately.     

An accurate analytical I-V model for sub-90-nm MOSFETs and its application to read static noise margin modeling

We propose an accurate model to describe the I-V characteristics of a sub-90-nm metal-oxide-semiconductor field-effect transistor(MOSFET) in the linear and saturation regions for fast analytical calculation of the current.The model is based on the BSIM3v3 model.Instead of using constant threshold voltage and early voltage,as is assumed in the BSIM3v3 model,we define these voltages as functions of the gate-source voltage.The accuracy of the model is verified by comparison with HSPICE for the 90-,65-,45-,and 32-nm CMOS technologies.The model shows better accuracy than the nth-power and BSIM3v3 models.Then,we use the proposed I-V model to calculate the read static noise margin(SNM) of nano-scale conventional 6T static random-access memory(SRAM) cells with high accuracy.We calculate the read SNM by approximating the inverter transfer voltage characteristic of the cell in the regions where vertices of the maximum square of the butterfly curves are placed.The results for the SNM are also in excellent agreement with those of the HSPICE simulation for 90-,65-,45-,and 32-nm technologies.Verification in the presence of process variations and negative bias temperature instability(NBTI) shows that the model can accurately predict the minimum supply voltage required for a target yield.     

Using meta-heuristics for project scheduling under mode identity constraints

Mode identity and resource constrained project scheduling problem (MIRCPSP) is a substantial generalization of the well-known multi-mode problem. It arises when certain activities in the project are interdependent. That is, the set of all activities in the project are partitioned into disjoint subsets where all activities forming one subset have to be processed in the same mode. This paper addresses project scheduling problem with resource and mode identity constraints to minimize the project makespan. This problem is strongly NP-hard and three meta-heuristic algorithms namely imperialist competitive algorithm, simulated annealing and differential evolution are proposed to solve it. In order to improve the quality of the employed algorithms a local search and learning module is combined with the meta-heuristic algorithms. The performance of the algorithms is evaluated on 180 test problems by statistically comparing their solution in term of the objective function and computational times. The obtained computational results indicate that the integration of the learning module and the proposed algorithm is efficient and effective.     

Effect of chemical solvents on the technological characteristics of hemp fibre/polypropylene composites

The effects of different chemical solvents on the technological properties of hemp fibre-reinforced polypropylene composites were evaluated in this experimental work. Composite profiles consisting of hemp fibre and polypropylene at 50% weight ratios, with 2% of coupling agent were fabricated using melt compounding followed by injection moulding. The composite specimens were then immersed in CH₃COOH, HNO₃, H₂SO₄, NaOH, NH₃, and C₆H₅NH₂ for different time intervals. Then, the weight loss and mechanical strength of samples were measured. Results indicated that the chemical reagents had significant effect on the weight loss of the composites. The weight loss ratio of the control samples was lower than that of those samples exposure to the chemical solvents. The tensile strength and modulus, and impact strength of composite specimens decreased after exposure to the chemical solvents. The highest mechanical reduction was observed in the case of NaOH. SEM micrographs showed that the extent of degradation increased in composites when they are exposed to chemical solvents.