A new inverse trigonometric shear deformation theory for isotropic and functionally graded sandwich plates

A new inverse trigonometric shear deformation theory is proposed for the static, buckling and free vibration analyses of isotropic and functionally graded (FG) sandwich plates. It accounts for a inverse trigonometric distribution of transverse shear stress and satisfies the traction free boundary conditions. Equations of motion obtained here are solved for three types of FG plates: FG plates, sandwich plates with FG core and sandwich plates with FG faces. Closed-form solutions are obtained to predict the deflections, stresses, critical buckling loads and natural frequencies of simply supported plates. A good agreement between the obtained predictions and the available solutions of existing shear deformation theories is found to demonstrate the accuracy of the proposed theory

SAT Encodings of Finite CSPs

Boolean satisfiability (SAT) is the problem of determining whether there exists an assignment of the Boolean variables to the truth values such that a given Boolean formula evaluates to true. SAT was the first example of an NP-complete problem. Only two decades ago SAT was mainly considered as of a theoretical interest. Nowadays, the picture is very different. SAT solving becomes mature and is a successful approach for tackling a large number of applications, ranging from artificial intelligence to industrial hardware design and verification. SAT solving consists of encodings and solvers. In order to benefit from the tremendous advances in the development of solvers, one must first encode the original problems into SAT instances. These encodings should not only be easily generated, but should also be efficiently processed by SAT solvers. Furthermore, an increasing number of practical applications in computer science can be expressed as constraint satisfaction problems (CSPs). However, encoding a CSP to SAT is currently regarded as more of an art than a science, and choosing an appropriate encoding is considered as important as choosing an algorithm. Moreover, it is much easier and more efficient to benefit from highly optimized state-of-the-art SAT solvers than to develop specialized tools from scratch. Hence, finding appropriate SAT encodings of CSPs is one of the most fascinating challenges for solving problems by SAT. This thesis studies SAT encodings of CSPs and aims at: 1) conducting a comprehensively profound study of SAT encodings of CSPs by separately investigating encodings of CSP domains and constraints; 2) proposing new SAT encodings of CSP domains; 3) proposing new SAT encoding of the at-most-one constraint, which is essential for encoding CSP variables; 4) introducing the redundant encoding and the hybrid encoding that aim to benefit from both two efficient and common SAT encodings (i.e., the sparse and order encodings) by using the channeling constraint (a term used in Constraint Programming) for SAT; and 5) revealing interesting guidelines on how to choose an appropriate SAT encoding in the way that one can exploit the availability of many efficient SAT solvers to solve CSPs efficiently and effectively. Experiments show that the proposed encodings and guidelines improve the state-of-the-art SAT encodings of CSPs

An experimental study and a proposed theoretical solution for the prediction of the ductile/brittle failure modes of reinforced concrete beams strengthened with external steel plates

An experimental study and a proposed theoretical solution are conducted in the present study to investigate the ductile/brittle failure mode of reinforced concrete beams strengthened with an external steel plate. The present experimental study has fabricated and tested six steel plate-strengthened RC beams and one non-strengthened RC beam under 4-point bending loads. The proposed theoretical model is then developed based on the observed experimental results to analyze the crack formation, to determine the distance between vertical cracks and to quantitatively predict the ductile/brittle failure mode of plate-strengthened RC beams. The experimental study shows that the failure mode is based on the sliding of concrete along with the external plate. This slip is limited between two vertical cracks, from which the maximum stress in the external steel is determined. Based on comparisons conducted in the present study, excellent agreements of the stresses/strains in soffit steel plates, crack distances, and system failure modes between the current theoretical solution and the previous and present experimental results are observed.&nbsp

Volatility transmission between U.S. sector ETFs: an application of Diebold-Yilmaz connectedness framework

This paper utilizes the Connectedness framework of Diebold and Yilmaz (2011) to investigate volatility transmission between ten iShares sector ETFs over the sample ranging from 2 January 2001 to 31 December 2014. Generally, the empirical results indicate that the total volatility spillover of ten examined sector ETFs is time-varying and sensitive to market as well as economic events. Over time, Energy and Basic Materials are the two largest net volatility transmitters while Consumer Services, Healthcare, and Consumer Goods are the top three largest net volatility receivers among the sectors. Findings imply that oil prices have an impact on volatility of other sectors as well as the market index as a whole. Findings are useful for not only the investors in evaluating the overall risk of their portfolios but also the policy makers in addressing financial stability issues and problems related to contagion between sectors. Furthermore, this paper contributes to the literature by providing the first analysis of volatility transmission between sectors using ETF assets

Static and vibration analysis of isotropic and functionally graded sandwich plates using an edge-based MITC3 finite elements

Static and vibration analysis of isotropic and functionally graded sandwich plates using a higher-order shear deformation theory is presented in this paper. Lagrangian functional is used to derive the equations of motion. The mixed interpolation of tensorial components (MITC) approach and edge-based-strain technique is used to solve problems. A MITC3 three-node triangle element with 7 degree-of-freedoms per nodes that only requires the C0-type continuity is developed. Numerical results for isotropic and functionally graded sandwich plates with different boundary conditions are proposed to validate the developed theory and to investigate effects of material distribution, side-to-thickness ratio, thickness ratio of layers and boundary conditions on the deflection, stresses and natural frequencies of the plates

Early detection of slight bruises in apples by cost-efficient near-infrared imaging

Near-infrared (NIR) spectroscopy has been widely reported for its useful applications in assessing internal fruit qualities. Motivated by apple consumption in the global market, this study aims to evaluate the possibility of applying NIR imaging to detect slight bruises in apple fruits. A simple optical setup was designed, and low-cost system components were used to promote the future development of practical and cost-efficient devices. To evaluate the effectiveness of the proposed approach, slight bruises were created by a mild impact with a comparably low impact energy of only 0.081 Joules. Experimental results showed that 100% of bruises in Jazz and Gala apples were accurately detected immediately after bruising and within 3 hours of storage. Thus, it is promising to develop customer devices to detect slight bruises for not only apple fruits but also other fruits with soft and thin skin at their early damage stages

Biocompatible chitosan-functionalized upconverting nanocomposites

Simultaneous integration of photon emission and biocompatibility into nanoparticles is an interesting strategy to develop applications of advanced optical materials. In this work, we present the synthesis of biocompatible optical nanocomposites from the combination of near-infrared luminescent lanthanide nanoparticles and water-soluble chitosan. NaYF4:Yb,Er upconverting nanocrystal guests and water-soluble chitosan hosts are prepared and integrated together into biofunctional optical composites. The control of aqueous dissolution, gelation, assembly, and drying of NaYF4:Yb,Er nanocolloids and chitosan liquids allowed us to design novel optical structures of spongelike aerogels and beadlike microspheres. Well-defined shape and near-infrared response lead upconverting nanocrystals to serve as photon converters to couple with plasmonic gold (Au) nanoparticles. Biocompatible chitosan-stabilized Au/NaYF4:Yb,Er nanocomposites are prepared to show their potential use in biomedicine as we find them exhibiting a half-maximal effective concentration (EC50) of 0.58 mg mL–1 for chitosan-stabilized Au/NaYF4:Yb,Er nanorods versus 0.24 mg mL–1 for chitosan-stabilized NaYF4:Yb,Er after 24 h. As a result of their low cytotoxicity and upconverting response, these novel materials hold promise to be interesting for biomedicine, analytical sensing, and other applications

Fish distribution in the Ba Che and Tien Yen rivers

The ichthyo-fauna in the Ba Che and Tien Yen rivers, northern Vietnam is highly diverse, with a total of 245 species determined. However, data on the distribution of fish species are not sufficiently provided for the whole area. This study was conducted from 2008 to 2011 at 27 stations from the Ba Che and Tien Yen river basins to determine the distribution of fish species according to different sections of the rivers, water bodies, seasons, and salinity levels. The results show that fish species are distributed mainly in the river (with 210 species), concentrated in the downstream area (with 213 species). Fishes are mainly collected in the dry season when the salinity level of river is high, due to seawater intrusion which also brings in 160 species of marine fish. This shows that fish distribution in the research areas is mainly dominated by the presence of marine species. While for freshwater fish, it is clearly affected by the mountainous features. Apart from the common characteristics sharing between the two river basins, but the number of both freshwater and marine fish species in the Tien Yen river are larger than those of Ba Che river, which is related to fresh water surface, river morphology, the width and location of the estuary to the sea. The downstream area is home to the fish species recorded in the Red Data Book of Vietnam and the complementary species for Vietnam, while the middle and upstream of the rivers may offer a high potential of biodiversity, with many possibly new species for science. These are important data for the conservation and sustainable development of fish resources in the Ba Che and Tien Yen river basins.