Non-Malleable Codes for Small-Depth Circuits

We construct efficient, unconditional non-malleable codes that are secure against tampering functions computed by small-depth circuits. For constant-depth circuits of polynomial size (i.e. $\mathsf{AC^0}$ tampering functions), our codes have codeword length $n = k^{1+o(1)}$ for a $k$-bit message. This is an exponential improvement of the previous best construction due to Chattopadhyay and Li (STOC 2017), which had codeword length $2^{O(\sqrt{k})}$. Our construction remains efficient for circuit depths as large as $\Theta(\log(n)/\log\log(n))$ (indeed, our codeword length remains $n\leq k^{1+\epsilon})$, and extending our result beyond this would require separating $\mathsf{P}$ from $\mathsf{NC^1}$. We obtain our codes via a new efficient non-malleable reduction from small-depth tampering to split-state tampering. A novel aspect of our work is the incorporation of techniques from unconditional derandomization into the framework of non-malleable reductions. In particular, a key ingredient in our analysis is a recent pseudorandom switching lemma of Trevisan and Xue (CCC 2013), a derandomization of the influential switching lemma from circuit complexity; the randomness-efficiency of this switching lemma translates into the rate-efficiency of our codes via our non-malleable reduction.Comment: 26 pages, 4 figure

On a stochastically grain-discretised model for 2D/3D temperature mapping prediction in grinding

Excessive grinding heat might probably lead to unwanted heat damages of workpiece materials, most previous studies on grinding heat/temperature, however, assumed the wheel-workpiece contact zone as a moving band heat source, which might be not appropriate enough to capture the realistic situation in grinding. To address this, grinding temperature domain has been theoretically modeled in this paper by using a stochastically grain-discretised temperature model (SGDTM) with the consideration of grain-workpiece micro interactions (i.e. rubbing, ploughing and cutting), and the full 2D/3D temperature maps with highly-localised thermal information, even at the grain scale (i.e. with the thermal impacts induced by each individual grain), has been presented for the first time. To validate theoretical maps, a new methodological approach to capture 2D/3D temperature maps based on an array of sacrificial thermocouples have also been proposed. Experimental validation has indicated that the grinding temperature calculated by SGDTM showed a reasonable agreement with the experimental one in terms of both 1D temperature signals (i.e. the signals that are captured at a specific location within the grinding zone) and the 2D/3D temperature maps of the grinding zone, proving the feasibility and the accuracy of SGDTM. This study has also proved that, as expected, the heat fluxes are neither uniformly-distributed along the wheel width direction nor continuous along the workpiece feed direction. The proposed SGDTM and the temperature measurement technique are not only anticipated to be powerful to provide the basis for the prevention of grinding thermal damage (e.g. grinding burns, grinding annealing and rehardening), but also expected to be meaningful to enhance the existing understanding of grinding heat/temperature than using the common approach depending on the single thermocouple technique

Theoretical studies of 31P NMR spectral properties of phosphanes and related compounds in solution

Selected theoretical methods, basis sets and solvation models have been tested in their ability to predict 31P NMR chemical shifts of large phosphorous-containing molecular systems in solution. The most efficient strategy was found to involve NMR shift calculations at the GIAO-MPW1K/6-311++G(2d,2p)//MPW1K/6-31G(d) level in combination with a dual solvation model including the explicit consideration of single solvent molecules and a continuum (PCM) solvation model. For larger systems it has also been established that reliable 31P shift predictions require Boltzmann averaging over all accessible conformations in solution

A Vacuum-driven Origami “Magic-ball” Soft Gripper

Soft robotics has yielded numerous examples of soft grippers that utilize compliance to achieve impressive grasping performances with great simplicity, adaptability, and robustness. Designing soft grippers with substantial grasping strength while remaining compliant and gentle is one of the most important challenges in this field. In this paper, we present a light-weight, vacuum-driven soft robotic gripper made of an origami “magic-ball” and a flexible thin membrane. We also describe the design and fabrication method to rapidly manufacture the gripper with different combinations of lowcost materials for diverse applications. Grasping experiments demonstrate that our gripper can lift a large variety of objects, including delicate foods, heavy bottles, and other miscellaneous items. The grasp force on 3D-printed objects is also characterized through mechanical load tests. The results reveal that our soft gripper can produce significant grasp force on various shapes using negative pneumatic pressure (vacuum). This new gripper holds the potential for many practical applications that require safe, strong, and simple graspingUnited States. Defense Advanced Research Projects Agency (award number FA8650-15-C-7548)National Science Foundation (U.S.) (award number 1830901)Wyss Institute for Biologically Inspired EngineeringJD.co

Prediction of 3D grinding temperature field based on meshless method considering infinite element

© 2018, Springer-Verlag London Ltd., part of Springer Nature. A three-dimensional numerical model to calculate the grinding temperature field distribution is presented. The finite block method, which is developed from meshless method, is used to deal with the stationary and the transient heat conduction problems in this paper. The influences of workpiece feed velocity, cooling coefficient, and the depth of cut on temperature distribution are considered. The model with temperature-dependent thermal conductivity and specific heat is presented. The Lagrange partial differential matrix from the heat transfer governing equation is obtained by using Lagrange series and mapping technique. The grinding wheel-workpiece contact area is assumed as a moving distributed square heat source. The Laplace transformation method and Durbin’s inverse technique are employed in the transient heat conduction analysis. The results of the developed model are compared with others’ finite element method solutions and analytical solutions where a good agreement is demonstrated. And the finite block method was proved a better convergence and accuracy than finite element method by comparing the ABAQUS results. In addition, the three-dimensional infinite element is introduced to perform the thermal analysis, and there is a great of advantages in the simulation of large boundary problems.The work was funded by China Scholarship Council, the Fundamental Research Funds for the Central Universities (N160306006), National Natural Science Foundation of China (51275084), and Science and technology project of Shenyang (18006001)

Lower breast cancer survival in mothers of children with a malignancy: a national study

As it is unclear if hereditary factors affect breast cancer survival, this was compared using fertility and cancer registry data, among all women so diagnosed during 1961–1999 in Sweden, having a child with childhood cancer (⩽20 years of age; n=254) and with that of other women (n=74 781). Those having a child with a childhood malignancy had a significantly worse survival than other women, relative risk (RR)=1.25, 95% CI 1.02–1.55, P<0.04, adjusted for age at diagnosis, year of diagnosis, parity and time since last pregnancy. Childhood sarcomas or acute myeloid leukaemia seemed to be most associated with a worse survival in the mother (RR=1.38 and 1.69, respectively). The lower survival of the mother was present for breast cancer diagnosed both before and after 50 years of age. The Li–Fraumeni syndrome and possibly other genetic disorders may lower breast cancer survival

Sigmoidal Chemorheological Models of Chip-Underfill Materials Offer Alternative Predictions of Combined Cure and Flow

Prior rheology results on chip-underfill epoxy resins have been re-analyzed by a sigmoidal model that contains three variable physical parameters, including the terminal cured viscosity of the gel, an induction or dwell time and a time factor associated with the speed of conversion as viscosity undergoes large dynamic changes during rapid crosslinking. The analyses were conducted with resins that were originally cured between 150 and 180 °C and show obvious non-linearity, even on a semi-log plot of dynamic viscosity. The sigmoidal models more accurately represent a wider range of dynamic viscosity than power-law-based rheological models, which are both more common and more generally accepted for practical application. If total flow is the critical design parameter in terms of chip underfill, perhaps these alternative sigmoidal models need to be more thoroughly evaluated to gauge their practical use and validity.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/61221/1/832_ftp.pd

The Degenerate Parametric Oscillator and Ince's Equation

We construct Green's function for the quantum degenerate parametric oscillator in terms of standard solutions of Ince's equation in a framework of a general approach to harmonic oscillators. Exact time-dependent wave functions and their connections with dynamical invariants and SU(1,1) group are also discussed.Comment: 10 pages, no figure