A new intelligent algorithm for dynamic facility layout problem in state of fuzzy constraints

In the present paper, the dynamic facilities layout problem is studied in presence of ambiguity of information flow. Product demand (and consequently material flow) is defined as fuzzy numbers with different membership functions. The problem is modeled in fuzzy programming. Three models of expected value, chance-constrained programming and dependent-chance programming and two hybrid intelligent algorithms are then presented. At the end, efficiency of algorithms for solving fuzzy models of dynamic facilities layout is shown through some numerical examples.     

Hierarchy-Debug: a scalable statistical technique for fault localization

Considering the fact that faults may be revealed as undesired mutual effect of program predicates on each other, a new approach for localizing latent bugs, namely Hierarchy-Debug, is presented in this paper. To analyze the vertical effect of predicates on each other and on program termination status, the predicates are fitted into a logistic lasso model. To support scalability, a hierarchical clustering algorithm is applied to cluster the predicates according to their presence in different executions. Considering each cluster as a pseudo-predicate, a distinct lasso model is built for intermediate levels of the hierarchy. Then, we apply a majority voting technique to score the predicates according to their lasso coefficients at different levels of the hierarchy. The predicates with relatively higher scores are ranked as fault relevant predicates. To provide the context of failure, faulty sub-paths are identified as sequences of fault relevant predicates. The grouping effect of Hierarchy-Debug helps programmers to detect multiple bugs. Four case studies have been designed to evaluate the proposed approach on three well-known test suites, Space, Siemens, and Bash. The evaluations show that Hierarchy-Debug produces more precise results compared with prior fault localization techniques on the subject programs.     

3D Simulation Research on Urea-SCR DeNO<em>x Catalyst for Diesel Engine

In order to reduce oxides of nitrogen (NOx) emanated from a diesel eng ine, a comprehensive urea selective catalyst reduction (SCR) DeNOx catalys t was modeled in which numerical simulations were used as a complementary tool f or the experimental investigations to make the design decisions, and hence short en the development process. In this approach, relevant conversion reactions were studied in 1D model, and the parameters obtained in this way were transferred t o 3D simulations. According to the results ...     

Dynamics of localizable entanglement in a qutrit chain with Dzyaloshinskii–Moriya interaction

Dynamics of localizable entanglement in a qutrit chain, in the presence of the Dzyaloshinskii–Moriya (DM) interaction is studied. Three distinct initial states, namely, superposition of the ground and the first excited state (SGE), a GHZ state and a superposition of qutrit coherent states (SQCS) are considered in this investigation. While the ground and the first excited state exhibit the maximum of entanglement, the latter is diminished for any superposition of the states. In both SGE and GHZ cases, localizable entanglement (LE) oscillates and its period is a decreasing function of the ratio of the strength of DM interaction and the spin coupling constant (DS ratio), but its maximum value is independent of the latter. In SQCS case, LE also oscillates in time at small values of DS ratio; its average is reduced as the strength of the DM interaction increases and gains its maximum average and the highest peaks at a specific value of the coherence parameter.     

直觉线性μ-演算中的合成推理

讨论了以基于前缀封闭集合的Heyting代数的直觉解释的线性μ-演算(IμTL)作为描述“假设-保证”的逻辑基础的问题,提出了一个基于IμTL的“假设-保证”规则.该规则比往常应用线性时序逻辑(LTL)作为规范语言的那些规则具有更好的表达能力,扩展了对形如“always ?”等安全性质的“假设-保证”的范围,具备更一般的“假设-保证”推理能力及对循环推理的支持.     

ConsilientSFL: using preferential voting system to generate combinatorial ranking metrics for spectrum-based fault localization

Spectrum-based fault localization (SFL) techniques have shown considerable effectiveness in localizing software faults. They leverage a ranking metric to automatically assign suspiciousness scores to certain entities in a given faulty program. However, for some programs, the current SFL ranking metrics lose effectiveness. In this paper, we introduce ConsilientSFL that is served to synthesize a new ranking metric for a given program, based on a customized combination of a set of given ranking metrics. ConsilientSFL can be significant since it demonstrates the usage of voting systems into a software engineering task. First, several mutated, faulty versions are generated for a program. Then, the mutated versions are executed with the test data. Next, the effectiveness of each existing ranking metric is computed for each mutated version. After that, for each mutated version, the computed existing metrics are ranked using a preferential voting system. Consequently, several top metrics are chosen based on their ranks across all mutated versions. Finally, the chosen ranking metrics are normalized and synthesized, yielding a new ranking metric. To evaluate ConsilientSFL, we have conducted experiments on 27 subject programs from Code4Bench and Siemens benchmarks. In the experiments, we found that ConsilientSFL outperformed every single ranking metric. In particular, for all programs on average, we have found performance measures recall, precision, f-measure, and percentage of code inspection, to be nearly 7, 9, 12, and 5 percentages larger than using single metrics, respectively. The impact of this work is twofold. First, it can mitigate the issue with the choice and usage of a proper ranking metric for the faulty program at hand. Second, it can help debuggers find more faults with less time and effort, yielding higher quality software.

     

Nonlocal buckling and vibration analysis of thick rectangular nanoplates using finite strip method based on refined plate theory

The buckling and vibration of thick rectangular nanoplates is analyzed in this article. A graphene sheet is theoretically assumed and modeled as a nanoplate in this study. The two-variable refined plate theory (RPT) is applied to obtain the differential equations of the nanoplate. The theory accounts for parabolic variation of transverse shear stress through the thickness of the plate without using a shear correction factor. Besides, the analysis is based on the nonlocal theory of elasticity to take the small-scale effects into account. For the first time, the finite strip method (FSM) based on RPT is employed to study the vibration and buckling behavior of nanoplates and graphene sheets. Hamilton’s principle is employed to obtain the differential equations of the nanoplate. The stiffness, stability and mass matrices of the nanoplate are formed using the FSM. The displacement functions of the strips are evaluated using continuous harmonic function series which satisfy the boundary conditions in one direction and a piecewise interpolation polynomial in the other direction. A matrix eigenvalue problem is solved to find the free vibration frequency and buckling load of the nanoplates subjected to different types of in-plane loadings including the uniform and nonuniform uni-axial and biaxial compression. Comparison studies are presented to verify the validity and accuracy of the proposed nonlocal refined finite strip method. Furthermore, a number of examples are presented to investigate the effects of various parameters (e.g., boundary conditions, nonlocal parameter, aspect ratio, type of loading) on the results.     

Nutratherapeutics approach against cancer: tomato‐mediated synthesised gold nanoparticles

In this study, an eco‐friendly biosynthesis of stable gold nanoparticles (T‐GNPs) was carried out using different concentrations of tomato juice (nutraceuticals) as a reducing agent and tetrachloroauric acid as a metal precursor to explore their potential application in cancer therapeutics. The synthesis of T‐GNPs was monitored by UV‐visible absorption spectroscopy, which unveiled their formation by exhibiting the typical surface plasmon absorption maxima at 522 nm. The size of T‐GNPs was found to be 10.86 ± 0.6 nm. T‐GNPs were characterised by dynamic light scattering, zeta potential, transmission electron microscopy analysis and Fourier transform infrared spectroscopy. T‐GNPs were further investigated for their anti‐cancer activity against human lung carcinoma cell line (A ₅₄₉) and human cervical cancer cell line wherein the IC₅₀ values were found to be 0.286 and 0.200 mM, respectively. T‐GNPs inhibited the growth of cancer cells by generating ROS and inducing apoptosis. T‐GNPs were found highly effective by virtue of their size, metallic property and capping molecules. Thus, this study opens up the prospects of using nutraceutical (tomato juice) as nutratherapeutic agent (T‐GNPs) against critical diseases like lung cancer and cervical cancer.Inspec keywords: gold, nanoparticles, particle size, cancer, ultraviolet spectra, visible spectra, electrokinetic effects, transmission electron microscopy, Fourier transform infrared spectra, cellular biophysics, spectrochemical analysis, nanomedicine, nanofabricationOther keywords: tomato‐mediated synthesised gold nanoparticles, tomato juice, reducing agent, tetrachloroauric acid, cancer therapeutics, UV‐visible absorption spectroscopy, surface plasmon absorption, dynamic light scattering, zeta potential, transmission electron microscopy analysis, Fourier transform infrared spectroscopy, human lung carcinoma cell line, anticancer activity, human cervical cancer cell line, nutratherapeutic agent, lung cancer, Au