New testing methodology for the quantification of rock crushability: Compressive crushing value (CCV)

Crushing is a size reduction process that plays a key role in both mineral processing and crushing-screening plant design. Investigations on rock crushability have become an important issue in mining operations and the manufacture of industrial crusher equipment. The main objective of this research is to quantify the crushability of hard rocks based on their mineralogical and mechanical properties. For this purpose, the mineralogical, physical, and mechanical properties of various hard rocks were determined. A new compressive crushing value (CCV) testing methodology was proposed. The results obtained from CCV tests were compared with those from mineralogical inspections, rock strength as well as mechanical aggregate tests. Strong correlations were found between CCV and several rock and aggregate properties such as uniaxial compressive strength (UCS), the brittleness index (S₂₀), and aggregate impact value (AIV). Furthermore, the relationship between the mineralogical properties of the rocks and their CCVs were established. It is concluded that the proposed testing methodology is simple and highly repeatable and could be utilized as a pre-design tool in the design stage of the crushing process for rock quarries.     

Nanoengineering of amino - functionalized mesoporous silica nanospheres as nanoreactors

Selective functionalization of mesoporous silica nanospheres (MSNs) is crucial for nanoengineering of MSNs. Herein, we have combined “surface-protected etching strategy” and “cationic surfactant assisted etching strategy” to prepare functionalized MSNs with externally attached amino groups. The externally attached NH2 groups endow the catalysts with excellent catalytic performance for nitroaldol reaction between nitromethane and benzaldehyde. In addition, those NH2-MSNs can also be used to support gold nanoparticles, which display very good catalytic performance for reduction of 4-nitrophenol. It can be envisioned that the synthesis protocol developed in this work could also be extended to nanoengineered MSNs, which provides opportunities for nanoreactors design.     

Swimming and bipedal bottom-running in the pig-nosed turtle Carettochelys insculpta Ramsay, 1886

The pig-nosed freshwater turtle Carettochelys insculpta Ramsay, 1886 has paddle-shaped foreflippers that resemble those of sea turtles. These turtles exhibit a wide range of swimming capabilities. As well as swimming by the action of synchronized foreflippers alone, they sometimes used alternate hindlimb action at the same time. They could swim by ipsilaterally synchronized action of all four limbs, or by hindlimb action alone (combined with stabilizer/lift function of the foreflippers). The turtles also showed flexibility in bottom-walking. Besides the ipsilaterally synchronized quadrupedal action characteristic of other freshwater turtles, they exhibited a bipedal walking mechanism never previously described. Propelled by alternate action of the hindlimbs, the animals held the head and plastron above the substratum, with the large foreflippers acting to provide anterior lift and stability against roll and yaw. Because both hindlimbs were sometimes off the substratum simultaneously during bipedal locomotion, their duty factors were < 0.5, implying a bipedal run.     

A Proof of the Duality of the DINA Model and the DINO Model

The Deterministic Input Noisy Output “AND” gate (DINA) model and the Deterministic Input Noisy Output “OR” gate (DINO) model are two popular cognitive diagnosis models (CDMs) for educational assessment. They represent different views on how the mastery of cognitive skills and the probability of a correct item response are related. Recently, however, Liu, Xu, and Ying demonstrated that the DINO model and the DINA model share a “dual” relation. This means that one model can be expressed in terms of the other, and which of the two models is fitted to a given data set is essentially irrelevant because the results are identical. In this article, a proof of the duality of the DINA model and the DINO model is presented that is tailored to the form and parameterization of general CDMs that have become the new theoretical standard in cognitively diagnostic modeling.     

Dynamic Dominating Set and Turbo-Charging Greedy Heuristics

The main purpose of this paper is to exposit two very different, but very general, motivational schemes in the art of parameterization and a concrete example connecting them. We introduce a dynamic version of the DOMINATING SET problem and prove that it is fixed-parameter tractable（FPT）. The problem is motivated by settings where problem instances evolve. It also arises in the quest to improve a natural greedy heuristic for the DOMINATING SET problem.