Vertical cyclic loading response of geosynthetic-encased stone column in soft clay

Dynamic responses of the geosynthetic-encased stone column (GESC) supported embankment under traffic loads have become a hot topic. This study investigates the responses of GESC improved ground under vertical cyclic loading. A series of laboratory tests in a designed model test tank have been carried out with different loading parameters (varied loading amplitudes and frequencies), different column dimensions (varied encasement lengths and column diameters). In the tests, the soil-column stress distribution, accumulated settlement of loading plate, excess pore water pressure in the surrounding soil and lateral bulging of the stone column are monitored. Experimental results indicate that the vertical stress on the stone column increases with the increment of encasement length, and decreases with the increment of column diameter, loading amplitude and loading frequency. The increasing stress on the surrounding soil leads to a greater accumulated settlement of the loading plate and excess pore water pressure, while the increasing stress on the column leads to larger lateral bulging of the column. Excess pore water pressure dissipates effectively through vertical and horizontal drainage channels provided by the stone column and the sand bed. The geosynthetic encasement prevents the clay from obstructing the drainage channel by filtration and guarantees the drainage effect.     

An experiential account of phantom vibration syndrome

A small handful of recent studies have addressed a phenomenon known as “phantom vibration syndrome”. This refers to when phone users perceive their device to vibrate, indicating that a call or text is incoming, when in fact the phone did not vibrate at all. Though these studies show that most users do not find phantom vibration hallucinations to be very bothersome, they also find that a large majority of users experience this phenomenon. This paper explores what the striking prevalence of phantom vibration syndrome means for our contemporary relationships with technology. I begin with a review of the theories purporting to explain these data, which largely rely on particular understandings of the brain. Next I develop an alternative theory of phantom vibration syndrome based on insights from the philosophical tradition of phenomenology. This account considers the ways users develop bodily and perceptual habits regarding how the phone is understood and used. By critically contrasting these different theories, we can refine our questions about what the high prevalence of phantom vibration syndrome implies about our contemporary technological situation.     

TCBR-HMM: An HMM-based text classifier with a CBR system

This paper presents an innovative solution to model distributed adaptive systems in biomedical environments. We present an original TCBR-HMM (Text Case Based Reasoning-Hidden Markov Model) for biomedical text classification based on document content. The main goal is to propose a more effective classifier than current methods in this environment where the model needs to be adapted to new documents in an iterative learning frame. To demonstrate its achievement, we include a set of experiments, which have been performed on OSHUMED corpus. Our classifier is compared with Naive Bayes and SVM techniques, commonly used in text classification tasks. The results suggest that the TCBR-HMM Model is indeed more suitable for document classification. The model is empirically and statistically comparable to the SVM classifier and outperforms it in terms of time efficiency.     

Control of the particle microstructure during the synthesis of bulk-polymerized transparent methacrylate-acrylonitrile-butadiene-styrene resin

A series of methacrylate-acrylonitrile-butadiene-styrene (MABS) resins was prepared using bulk polymerization. The polarity of the continuous phase and the compatibility of two phases were changed by adjusting the methyl methacrylate (MMA) content, choosing values that were close to styrene-butadiene rubber solubility value. The possibility of controlling the microstructure of the MABS resin by changing the polarity of the components and the compatibility of two phases was assessed. The dynamic mechanical analysis shows that the compatibility of two phases varies with the MMA content. The morphological analysis shows that increasing MMA contents results in a gradual decrease in the sub-inclusion structure with a network skeleton of rubber particles, and that all the particles become solid rubber when the MMA content reaches 75%. The sub-inclusion structure reappears but does not have a network skeleton when the MMA content is 90%. The impact strength and morphological analysis indicate that the solid rubber particles and the sub-inclusion structure with a network skeleton provide excellent toughness, while the sub-inclusion structure without a network skeleton does not. In contrast, the transmittance of the ABS resin first increased and then decreased with increasing MMA content.     

Sensor network design based on system-wide reliability criteria. Part I: Objectives

Reliability based criteria are quite popular for optimal sensor network design. We present a modified definition of system reliability for sensor network design for two applications: reliable estimation of variables in a steady state linear flow process, and reliable fault detection and diagnosis for any process. Unlike the weakest-link based definition of system reliability in the literature, the proposed definition considers the entire system and is consistent with the reliability concept used in classical reliability literature. For each application, dual approaches for defining system reliability are proposed, and their analogy with the reliability problem in the classical reliability literature is established. Using examples and stochastic simulations, the advantage of using the proposed system reliability in contrast to the existing definition is illustrated. Part II of this series of articles presents methods for efficient generation of the system reliability function and its use in optimization-based approaches for designing optimal sensor networks.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

Influence of ZrB2 hard ceramic reinforcement on mechanical and wear properties of aluminum

In this work, the effect of ZrB₂ (0, 5, 10 and 20?vol%) ceramic reinforcement on densification, structure, and properties of mechanically alloyed Al was investigated. The milling of Al-ZrB₂ powder compositions resulted in formation of agglomerates with varied size. In particular, the size of agglomerates was reduced considerably with increased addition of ZrB₂ to Al. Interestingly, the densification of hot pressed Al increased from 96.06% to 99.22% with ZrB₂ addition. The reduction of agglomerates size was attributed to the enhanced densification of Al-ZrB₂ composites. Pure Al showed relatively low hardness (0.94?GPa) and it was improved to 1.78?GPa with the addition of 20?vol% ZrB₂. The mechanical properties have significantly been improved for Al-ZrB₂ composites. Especially Al - 20?vol% ZrB₂ possessed a very high yield strength (529?MPa), compressive strength (630?MPa) and compressive strain of 19.25%. Realization of such a good combination of mechanical properties is the highest ever reported for Al composites so far in the literature. The coefficient of friction (COF) of Al-ZrB₂ varied narrowly between 0.33 and 0.40 after dry sliding wear against steel disc. The wear rate of Al-ZrB₂ composites was within mild wear regime and varied between 98.88?×?10^?6 and 34.66?×?10^?6 mm³/Nm. Among all the compositions, Al - 20?vol% ZrB₂ composite exhibited the lowest wear rate and high wear rate was noted for pure Al. Mild abrasion, tribo-oxidation, third body wear (wear debris) and delamination were the major material removal mechanisms for Al-ZrB₂ composites. Overall the hardness, strength and wear resistance of Al - 20?vol% ZrB₂ composite was improved by 84.3%, 84.3% and 64.2%, respectively when compared to pure Al.     

基于滑模的运载器主动段俯仰通道姿控系统设计

与传统比例-积分-微分（PID）控制方法相比，滑模控制（SMC）方法可以比较容易地将不确定性纳入控制器设计中，从而增强系统的鲁棒性。探索了SMC技术在运载器主动段姿态控制中的工程应用，首先通过分析基于趋近律的SMC系统，提出了降低不连续切换项系数的需求，然后研究了基于干扰上界的SMC方法。三通道小偏差仿真结果验证了两种方法的控制效果，表明第2种控制器的鲁棒性更好，稳态误差小，同时发动机喷管摆角需求较小。