Investigation on mining subsidence over Appin–West Cliff Colliery using time-series SAR interferometry

Advanced Time Series InSAR (ATS-InSAR) generally refers to those TS-InSAR methods with an external distributed scatterer selection module, e.g. SqueeSAR?, and GEOS-ATSA (Advanced Time-Series Analysis). It is being known as a very efficient tool for monitoring ground deformation over suburban or non-urban regions with great success. However, research conducted using C-band Envisat-based ATS-InSAR failed to produce reasonable outcome within Appin Colliery primarily due to the underground mining effect, which is located in the southeastern corner of the Southern Coalfield, New South Wales, Australia; thus, the general underground mining pattern cannot be formed. This work presents a modified ATS-InSAR method for mapping the ground deformation over underground mining region. More specifically, in order to achieve the best outcome, a modified measurement scatterer (MS) pixel selection method is introduced by including less reliable MS pixels through an Inverse Distance Weighted-based integration method. In addition, the proposed method is also applied to C-band Sentinel-1 image stacks for testing purpose, and the final result proved to be efficient to offer sufficient information to the mining industry and government for risk management purpose.     

How verified (or tested) is my code? Falsification-driven verification and testing

Formal verification has advanced to the point that developers can verify the correctness of small, critical modules. Unfortunately, despite considerable efforts, determining if a “verification” verifies what the author intends is still difficult. Previous approaches are difficult to understand and often limited in applicability. Developers need verification coverage in terms of the software they are verifying, not model checking diagnostics. We propose a methodology to allow developers to determine (and correct) what it is that they have verified, and tools to support that methodology. Our basic approach is based on a novel variation of mutation analysis and the idea of verification driven by falsification. We use the CBMC model checker to show that this approach is applicable not only to simple data structures and sorting routines, and verification of a routine in Mozilla’s JavaScript engine, but to understanding an ongoing effort to verify the Linux kernel read-copy-update mechanism. Moreover, we show that despite the probabilistic nature of random testing and the tendency to incompleteness of testing as opposed to verification, the same techniques, with suitable modifications, apply to automated test generation as well as to formal verification. In essence, it is the number of surviving mutants that drives the scalability of our methods, not the underlying method for detecting faults in a program. From the point of view of a Popperian analysis where an unkilled mutant is a weakness (in terms of its falsifiability) in a “scientific theory” of program behavior, it is only the number of weaknesses to be examined by a user that is important.     

Antimicrobial coatings produced by “tethering” biocides to the coating matrix: A comprehensive review

Covalently attached, non-leaching biocidal-moieties are being explored as an environmentally friendly option for replacing antimicrobial coatings that release biocides. This review highlights studies on antimicrobial surface treatments and coatings in which the antimicrobial agent is covalently bound (i.e. tethered) to the surface or coating matrix. In addition, test methods for measuring antimicrobial surface activity are reviewed, and a discussion of advantages and disadvantages of the various methods is provided.     

Experimental study on mix proportion and fresh properties of fly ash based geopolymer for 3D concrete printing

This paper presents the material design and fresh properties of geopolymer mortar developed for 3D concrete printing application. Unlike traditional casting, in 3D printing, extruded materials are deposited layer-by-layer to build complex architectural and structural components without the need of any formwork and human intervention. Extrudability, shape retention, buildability and thixotropic open time (TOT) are identified as critical early-age properties to characterize the 3D printable geopolymer material. Five different mix designs of geopolymer are tested in a systematic experimental approach to obtain a best printable mix and later it is used to print a 60-centimeter-tall freeform structure using a concrete gantry printer to validate the formulation.     

Optimization of the coathanger manifold via computer simulation and an orthogonal array method

A well-designed coathanger die may deliver a polymer melt through the die more uniformly. However, it is difficult to optimize the manifold profile because of the complexity of flow distribution with regard to problems of die geometry, temperature, shear, and viscoelastic effects. The empirical methods have been widely used to design the manifold of a flat slit die. But this approach is time consuming and causes die material waste due to the iterative design process. With computer simulation, die designers can repeat modifications to obtain the optimal manifold shape easily. In this research, the Taguchi method was used to investigate the influences of the materials, die geometry, and processing conditions on optimizing the manifold profile. The comparison of the thickness distributions with and without modified manifold showed that the modified manifold improves the thickness uniformity significantly.     

Physical aging in the mechanical properties of miscible polymer blends

Changes in mechanical properties during isothermal physical aging were investigated for three miscible blends: polystyrene (PS)/poly(2,6-dimethyl 1,4-phenylene oxide) (PPO), PS/poly(vinylmethylether) (PVME), and poly(methylmethacrylate) (PMMA)/poly(ethyleneoxide) (PEO). The kinetics of stress relaxation was investigated for the blend, dilute in one component, and compared with that of the neat major component at equal temperature distances, Tg-T, from the midpoint glass transition temperature. It is demonstrated that for all three blends, the mean stress relaxation time (τ) does not scale with Tg-T. For PS/PPO and PS/PVME blends, the stress relaxation rates are faster compared to neat PS; for PMMA/PEO, they are slower than for neat PMMA. Two effects appear to be important in contributing to this discrepancy. First, addition of the second component produces a change in the packing density of the blend: less dense for PS/PPO and PS/PVME; more dense for PMMA/PEO. Comparison of average free volume hole sizes and fractional free volumes measured via orthopositronium annihilation lifetime measurements for all three blends versus the pure constituents are qualitatively consistent with this interpretation. Second, because of the presence of concentration fluctuations in the blend, it is expected that the initial stress decay is dominated by regions enriched in the more mobile component. From observations of the change in width of the stress relaxation time distribution, this effect appears to be particularly significant in the PS/PVME blend. © 1997 John Wiley & Sons, Inc. J Appl Polym Sci 63: 483–496, 1997     

Hydrothermal syntheses of ETS-10 like vanadosilicates using chiral organic molecules. Part I

Vanadosilicates with the structures of ETS-10 and AM-6 microporous materials have been hydrothermally synthesized using organic directing structures agent (SDAs) derivatives of decahydroquinoline, 3,5-dimethyl-piperidine, 2,6-dimethyl-piperidine and (S)-Sparteine. Derivatives of these chiral amines have not been explored before in the sol gel chemistry of vanadosilicates. Physicochemical characterization of the obtained vanadosilicate materials with these different chiral templates was carried out by X-ray diffraction (XRD), scanning electron microscopy (SEM), Raman and infrared (IR) spectroscopy, solid-state NMR spectroscopy, and differential thermogravimetric analysis (DTA)/thermogravimetric analysis (TGA). The results suggest that the presence of the chiral organic templates have different effects in terms of the final phase of the synthesized materials and their morphology. The products obtained using chiral template derivatives of decahydroquinoline reveal that certain products might be very enriched with chiral polymorph A while others present structures which are similar to other large-porous vanadosilicate such as AM-6 and AM-13. Derivatives of 2,6-dimethyl-piperidine and 3,5-dimethyl-piperidine have not favored any structure that resembles a chiral polymorph A, but only known vanadosilicates such as AM-6, AM-13. Derivatives of (S)-Sparteine, on the other hand, have not only favored the formation of structures enriched with a large amount of chiral polymorph A, but also their use has resulted in other unknown vanadosilicate structures whose physicochemical characterizations are in progress.     

Unravelling the Carbohydrate‐Binding Preferences of the Carbohydrate‐Binding Modules of AMP‐Activated Protein Kinase

The β subunit of adenosine monophosphate (AMP)‐activated protein kinase (AMPK), which exists as two isoforms (β1 and β2) in humans, has a carbohydrate‐binding module (CBM) that interacts with glycogen. Although the β1‐ and β2‐CBMs are structurally similar, with strictly conserved ligand‐contact residues, they show different carbohydrate affinities. β2‐CBM shows the strongest affinity for both branched and unbranched oligosaccharides and it has recently been shown that a Thr insertion into β2‐CBM (Thr101) forms a pocket to accommodate branches. This insertion does not explain why β2‐CBM binds all carbohydrates with stronger affinity. Herein, it is shown that residue 134 (Val for β2 and Thr for β1), which does not come into contact with a carbohydrate, appears to account for the affinity difference. Characterisation by NMR spectroscopy, however, suggests that mutant β2‐Thr101Δ/Val134Thr differs from that of β1‐CBM, and mutant β1‐Thr101ins/Thr134Val differs from that of β2‐CBM. Furthermore, these mutants are less stable to chemical denaturation, relative to that of wild‐type β‐CBMs, which confounds the affinity analyses. To support the importance of Thr101 and Val134, the ancestral CBM has been constructed. This CBM retains Thr101 and Val134, which suggests that the extant β1‐CBM has a modest loss of function in carbohydrate binding. Because the ancestor bound carbohydrate with equal affinity to that of β2‐CBM, it is concluded that residue 134 plays an indirect role in carbohydrate binding.