Modelling Sudoku Puzzles as Block-world Problems

Sudoku is a kind of logic puzzles. Each puzzle consists of a board, which is a 9×9 cells, divided into nine 3×3 subblocks and a set of numbers from 1 to 9. The aim of this puzzle is to fill in every cell of the board with a number from 1 to 9 such that in every row, every column, and every subblock contains each number exactly one. Sudoku puzzles belong to combinatorial problem (NP complete). Sudoku puzzles can be solved by using a variety of techniques/algorithms such as genetic algorithms, heuristics, integer programming, and so on. In this paper, we propose a new approach for solving Sudoku which is by modelling them as block-world problems. In block-world problems, there are a number of boxes on the table with a particular order or arrangement. The objective of this problem is to change this arrangement into the targeted arrangement with the help of two types of robots. In this paper, we present three models for Sudoku. We modellized Sudoku as parameterized multi-agent systems. A parameterized multi-agent system is a multi-agent system which consists of several uniform/similar agents and the number of the agents in the system is stated as the parameter of this system. We use Temporal Logic of Actions (TLA) for formalizing our models.

A 24-Bit, 8.1-MS/s D/A Converter for Audio Baseband Channel Applications

This paper study the high-level modelling and design of delta-sigma (ΔΣ) noise shapers for audio Digital-to-Analog Converter (DAC) so as to eliminate the in-band Signal-to-Noise- Ratio (SNR) degradation that accompany one channel mismatch in audio signal. The converter combines a cascaded digital signal interpolation, a noise-shaping single loop delta-sigma modulator with a 5-bit quantizer resolution in the final stage. To reduce sensitivity of Digital-to-Analog Converter (DAC) nonlinearities of the last stage, a high pass second order Data Weighted Averaging (R2DWA) is introduced. This paper presents a MATLAB description modelling approach of the proposed DAC architecture with low distortion and swing suppression integrator designs. The ΔΣ Modulator design can be configured as a 3rd-order and allows 24-bit PCM at sampling rate of 64 kHz for Digital Video Disc (DVD) audio application. The modeling approach provides 139.38 dB of dynamic range for a 32 kHz signal band at -1.6 dBFS input signal level.

Performance Analysis of a Discrete-time GeoX/G/1 Queue with Single Working Vacation

This paper treats a discrete-time batch arrival queue with single working vacation. The main purpose of this paper is to present a performance analysis of this system by using the supplementary variable technique. For this purpose, we first analyze the Markov chain underlying the queueing system and obtain its ergodicity condition. Next, we present the stationary distributions of the system length as well as some performance measures at random epochs by using the supplementary variable method. Thirdly, still based on the supplementary variable method we give the probability generating function (PGF) of the number of customers at the beginning of a busy period and give a stochastic decomposition formulae for the PGF of the stationary system length at the departure epochs. Additionally, we investigate the relation between our discretetime system and its continuous counterpart. Finally, some numerical examples show the influence of the parameters on some crucial performance characteristics of the system.

Simulation of Agri-Food Supply Chains

Supply chain management has become more challenging with the emerging trend of globalization and sustainability. Lately, research related to perishable products supply chains, in particular agricultural food products, has emerged. This is attributed to the additional complexity of managing this type of supply chains with the recently increased concern of public health, food quality, food safety, demand and price variability, and the limited lifetime of these products. Inventory management for agrifood supply chains is of vital importance due to the product perishability and customers- strive for quality. This paper concentrates on developing a simulation model of a real life case study of a two echelon production-distribution system for agri-food products. The objective is to improve a set of performance measures by developing a simulation model that helps in evaluating and analysing the performance of these supply chains. Simulation results showed that it can help in improving overall system performance.

Characterization of ZrO2/PEG Composite Film as Immobilization Matrix for Glucose Oxidase

A biosensor based on glucose oxidase (GOx) immobilized onto nanoparticles zirconium oxide with polyethylene nanocomposite for glucose monitoring has been designed. The CTAB/PEG/ZrO2/GOx nanocomposite was deposited onto screen printed carbon paste (SPCE) electrode via spin coating technique. The properties of CTAB/PEG/ZrO2/GOx were study using scanning electron microscopy (SEM). The SPE modified with the CTAB/PEG/ZrO2/GOx showed electrocatalytical response to the oxidation of glucose when ferrocene carboxaldehyde was used as an artificial redox mediator, which was studied by cyclic voltammetry (CV). Several parameters such as working potential, effect of pH and effect of ZrO2/PEG layers that governed the analytical performance of the biosensor, have been studied. The biosensor was applied to detect glucose with a linear range of 0.4 to 2.0 mmol L−1 with good repetability and reproducibility.

An Advanced Technology for Renovation of Extruding Shafts

The paper is concerned with the technological process of renovation of shafts used in industrial manufacturing for extruding of sheet material. In the classical renovation technologies, a chrome based coating is applied to the working surface of the shaft in galvanic baths. The process, however, is known to be exclusively harmful due to the waste cyanide products. In this work, we present an advanced nanotechnology based on nonelectric chemical laying of a nickel coating with included nanoparticles. The technology is environmentally harmless and the new coating features an increased hardness and wear resistance. Results from experimental tests of the nanostructured nickel coating are presented and discussed.

Context-Aware Querying in Multimedia Databases – A Futuristic Approach

Efficient retrieval of multimedia objects has gained enormous focus in recent years. A number of techniques have been suggested for retrieval of textual information; however, relatively little has been suggested for efficient retrieval of multimedia objects. In this paper we have proposed a generic architecture for contextaware retrieval of multimedia objects. The proposed framework combines the well-known approaches of text-based retrieval and context-aware retrieval to formulate architecture for accurate retrieval of multimedia data.

Structural Characterization and Physical Properties of Antimicrobial (AM) Starch-Based Films

Antimicrobial (AM) starch-based films were developed by incorporating chitosan and lauric acid as antimicrobial agent into starch-based film. Chitosan has wide range of applications as a biomaterial, but barriers still exist to its broader use due to its physical and chemical limitations. In this work, a series of starch/chitosan (SC) blend films containing 8% of lauric acid was prepared by casting method. The structure of the film was characterized by Fourier transform infrared spectroscopy (FTIR), Xray diffraction (XRD), and scanning electron microscopy (SEM). The results indicated that there were strong interactions were present between the hydroxyl groups of starch and the amino groups of chitosan resulting in a good miscibility between starch and chitosan in the blend films. Physical properties and optical properties of the AM starch-based film were evaluated. The AM starch-based films incorporated with chitosan and lauric acid showed an improvement in water vapour transmission rate (WVTR) and addition of starch content provided more transparent films while the yellowness of the film attributed to the higher chitosan content. The improvement in water barrier properties was mainly attributed to the hydrophobicity of lauric acid and optimum chitosan or starch content. AM starch based film also showed excellent oxygen barrier. Obtaining films with good oxygen permeability would be an indication of the potential use of these antimicrobial packaging as a natural packaging and an alternative packaging to the synthetic polymer to protect food from oxidation reactions

A Data Mining Model for Detecting Financial and Operational Risk Indicators of SMEs

In this paper, a data mining model to SMEs for detecting financial and operational risk indicators by data mining is presenting. The identification of the risk factors by clarifying the relationship between the variables defines the discovery of knowledge from the financial and operational variables. Automatic and estimation oriented information discovery process coincides the definition of data mining. During the formation of model; an easy to understand, easy to interpret and easy to apply utilitarian model that is far from the requirement of theoretical background is targeted by the discovery of the implicit relationships between the data and the identification of effect level of every factor. In addition, this paper is based on a project which was funded by The Scientific and Technological Research Council of Turkey (TUBITAK).

Numerical Analysis of Plate Heat Exchanger Performance in Co-Current Fluid Flow Configuration

For many industrial applications plate heat exchangers are demonstrating a large superiority over the other types of heat exchangers. The efficiency of such a device depends on numerous factors the effect of which needs to be analysed and accurately evaluated. In this paper we present a theoretical analysis of a cocurrent plate heat exchanger and the results of its numerical simulation. Knowing the hot and the cold fluid streams inlet temperatures, the respective heat capacities mCp and the value of the overall heat transfer coefficient, a 1-D mathematical model based on the steady flow energy balance for a differential length of the device is developed resulting in a set of N first order differential equations with boundary conditions where N is the number of channels.For specific heat exchanger geometry and operational parameters, the problem is numerically solved using the shooting method. The simulation allows the prediction of the temperature map in the heat exchanger and hence, the evaluation of its performances. A parametric analysis is performed to evaluate the influence of the R-parameter on the e-NTU values. For practical purposes effectiveness-NTU graphs are elaborated for specific heat exchanger geometry and different operating conditions.

Characteristics of Cascade and C3MR Cycle on Natural Gas Liquefaction Process

In this paper, several different types of natural gas liquefaction cycle. First, two processes are a cascade process with two staged compression were designed and simulated. These include Inter-cooler which is consisted to Propane, Ethylene and Methane cycle, and also, liquid-gas heat exchanger is applied to between of methane and ethylene cycles (process2) and between of ethylene and propane (process2). Also, these cycles are compared with two staged cascade process using only a Inter-cooler (process1). The COP of process2 and process3 showed about 13.99% and 6.95% higher than process1, respectively. Also, the yield efficiency of LNG improved comparing with process1 by 13.99% lower specific power. Additionally, C3MR process are simulated and compared with Process 2.

Application of the Central-Difference with Half- Sweep Gauss-Seidel Method for Solving First Order Linear Fredholm Integro-Differential Equations

The objective of this paper is to analyse the application of the Half-Sweep Gauss-Seidel (HSGS) method by using the Half-sweep approximation equation based on central difference (CD) and repeated trapezoidal (RT) formulas to solve linear fredholm integro-differential equations of first order. The formulation and implementation of the Full-Sweep Gauss-Seidel (FSGS) and Half- Sweep Gauss-Seidel (HSGS) methods are also presented. The HSGS method has been shown to rapid compared to the FSGS methods. Some numerical tests were illustrated to show that the HSGS method is superior to the FSGS method.

Spatio-Temporal Video Slice Edges Analysis for Shot Transition Detection and Classification

In this work we will present a new approach for shot transition auto-detection. Our approach is based on the analysis of Spatio-Temporal Video Slice (STVS) edges extracted from videos. The proposed approach is capable to efficiently detect both abrupt shot transitions 'cuts' and gradual ones such as fade-in, fade-out and dissolve. Compared to other techniques, our method is distinguished by its high level of precision and speed. Those performances are obtained due to minimizing the problem of the boundary shot detection to a simple 2D image partitioning problem.

Shear Strengthening of RC T Beam using CFRP Laminate: A Review

This paper presents the Literature Review of carbon fiber reinforced polymer (CFRP) strips to reinforced concrete (RC) as a strengthening solution for T-beams. Although a great deal of research has been carried out on Rectangular beams strengthened with Fibre-Reinforced Polymer composites (FRP), Fiber reinforced polymer (FRP) composites have been increasingly studied for their application in the flexural or shear strengthening of reinforced concrete (RC) members. A detailed discussion of the shearstrengthening repair with FRP is undertaken. This paper will be limited to research of CFRP material externally bonded to the tensile face of concrete beams. In particular, research studying the effect of externally applied CFRP materials on the shear performance of reinforced concrete beams will be reported.

Performance Analysis of CATR Reflector with Super Hybrid Modulated Segmented Exponential Serrated Edges

This paper presented a theoretical and numerical investigation of the Compact Antenna Test Range (CATR) equipped with Super Hybrid Modulated Segmented Exponential Serrations (SHMSES). The investigation was based on diffraction theory and, more specifically, the Fresnel diffraction formulation. The CATR provides uniform illumination within the Fresnel region to test antenna. Application of serrated edges has been shown to be a good method to control diffraction at the edges of the reflectors. However, in order to get some insight into the positive effect of serrated edges a less rigorous analysis technique known as Physical Optics (PO) may be used. Ripple free and enhanced quiet zone width are observed for specific values of width and height modulation factors per serrations. The performance of SHMSE serrated reflector is evaluated in order to observe the effects of edge diffraction on the test zone fields.

Artifacts in Spiral X-ray CT Scanners: Problems and Solutions

Artifact is one of the most important factors in degrading the CT image quality and plays an important role in diagnostic accuracy. In this paper, some artifacts typically appear in Spiral CT are introduced. The different factors such as patient, equipment and interpolation algorithm which cause the artifacts are discussed and new developments and image processing algorithms to prevent or reduce them are presented.

The Study of the Discrete Risk Model with Random Income

In this paper, we extend the compound binomial model to the case where the premium income process, based on a binomial process, is no longer a linear function. First, a mathematically recursive formula is derived for non ruin probability, and then, we examine the expected discounted penalty function, satisfy a defect renewal equation. Third, the asymptotic estimate for the expected discounted penalty function is then given. Finally, we give two examples of ruin quantities to illustrate applications of the recursive formula and the asymptotic estimate for penalty function.

The Approximate Solution of Linear Fuzzy Fredholm Integral Equations of the Second Kind by Using Iterative Interpolation

in this paper, we propose a numerical method for the approximate solution of fuzzy Fredholm functional integral equations of the second kind by using an iterative interpolation. For this purpose, we convert the linear fuzzy Fredholm integral equations to a crisp linear system of integral equations. The proposed method is illustrated by some fuzzy integral equations in numerical examples.

Union Membership with Import Liberalization

New Zealand-s product markets experienced a surge in import competition beginning from the late 1970-s when its government began to promote a policy of more open markets. This study considers how the trade liberalization aspect of the policy may have influenced unionization and union-organizing success. For describing the trade liberalization, a model shows how the removal of import tariffs can lead to countervailing influences upon the union membership of a domestic firm. The evidence supports the prediction that union membership has been decreased rather than increased. In the context of debates concerning globalization, it can be said that the power of unions has been diminished.