大坝安全监控指标的制定

本文论述了大坝安全监控指标的含义、制定安全监控指标的意义、制定安全监控指标的基本原则、制定大坝施工阶段和首次蓄水阶段以及运行阶段安全监控指标的方法。     

High modulus of isotactic polypropylene attained by coextrusion with atactic polystyrene

Orientation-induced crystallization of crystallizable polymer melts can occur, under certain conditions, during flow through converging channels. Attempts have been made to achieve this phenomenon in a two-phase system, i.e., during simultaneous extrusion of a continuous concentric core of polypropylene within a polystyrene matrix through a conical duct. On one occasion, using Carlona P SY6100 (MFI = 11.0) with Hostyren N2000-V-01 (MFI = 25.0), a highly oriented polypropylene thread with a modulus of 14.6 GPa and a melting point of 178°C was extruded at a die temperature of approximately 170°C and a pressure lower than 40 MPa. It is, in principle, possible to form highly oriented, fiber-like structures as reinforcing elements in a polymer matrix.     

Iterative method for the design of DFT filter Bank

Multirate adaptive filters have numerous advantages such as low computational load, fast convergence, and parallelism in the adaptation. Drawbacks when using multirate processing are mainly related to aliasing and reconstruction effects. These effects can be minimized by introducing appropriate problem formulation and employing sophisticated optimization techniques. In this paper, we propose a formulation for the design of a filter bank which controls the distortion level for each frequency component directly and minimizes the inband aliasing and the residual aliasing between different subbands. The advantage of this problem formulation is that the distortion level can be weighted for each frequency depending on the particular practical application. A new iterative algorithm is proposed to optimize simultaneously over both the analysis and the synthesis filter banks. This algorithm is shown to have a unique solution for each iteration. For a fixed distortion level, the proposed algorithm yields a significant reduction in both the inband aliasing and the residual aliasing levels compared to existing methods applied to the numerical examples.     

Immersive electronic books for surgical training

Immersive electronic books (IEBooks) for surgical training will let surgeons explore previous surgical procedures in 3D. The authors describe the techniques and tools for creating a preliminary IEBook, embodying some of the basic concepts.     

Digital Laguerre filter design with maximum passband-to-stopband energy ratio subject to peak and Group delay constraints

In this paper, we formulate a general design of transversal filter structures with maximum relative passband-to-stopband energy ratio subject to complex frequency response constraints in the passband and the stopband as well as additional constraints such as constraints. These constraints are important for applications where the suppression of noise at certain frequencies are important. Additional constraints are introduced allowing approximately linear phase and constant group delay in the passband. For a given set of basis functions, the design problem can be formulated as a semi-infinite quadratic optimization problem in the filter coefficients, which are the decision variables to be optimized. In this paper, we focus on the design of digital Laguerre filter and digital finite impulse response (FIR) filter structures. A modified bridging algorithm is developed for searching for the optimum pole of the Laguerre filters. Design examples are given to demonstrate the effectiveness of the proposed algorithm.     

Quantum Algorithms for Weighing Matrices and Quadratic Residues

Abstract. In this article we investigate how we can employ the structure of combinatorial objects like Hadamard matrices and weighing matrices to devise new quantum algorithms. We show how the properties of a weighing matrix can be used to construct a problem for which the quantum query complexity is significantly lower than the classical one. It is pointed out that this scheme captures both Bernstein and Vazirani's inner-product protocol, as well as Grover's search algorithm. In the second part of the article we consider Paley's construction of Hadamard matrices, which relies on the properties of quadratic characters over finite fields. We design a query problem that uses the Legendre symbol χ (which indicates if an element of a finite field F _q is a quadratic residue or not). It is shown how for a shifted Legendre function f _s (i)=χ(i+s) , the unknown s ∈ F _q can be obtained exactly with only two quantum calls to f _s . This is in sharp contrast with the observation that any classical, probabilistic procedure requires more than log q + log ((1-ɛ )/2) queries to solve the same problem.     

Provably correct runtime monitoring

Runtime monitoring is an established technique to enforce a wide range of program safety and security properties. We present a formalization of monitoring and monitor inlining, for the Java Virtual Machine. Monitors are security automata given in a special-purpose monitor specification language, ConSpec. The automata operate on finite or infinite strings of calls to a fixed API, allowing local dependencies on parameter values and heap content. We use a two-level class file annotation scheme to characterize two key properties: (i) that the program is correct with respect to the monitor as a constraint on allowed program behavior, and (ii) that the program has a copy of the given monitor embedded into it. As the main application of these results we sketch a simple inlining algorithm and show how the two-level annotations can be completed to produce a fully annotated program which is valid in the standard sense of Floyd/Hoare logic. This establishes the mediation property that inlined programs are guaranteed to adhere to the intended policy. Furthermore, validity can be checked efficiently using a weakest precondition based annotation checker, thus preparing the ground for on-device checking of policy adherence in a proof-carrying code setting.     

Incidental Exposure,Selective Exposure,and Political Information Sharing: Integrating Online Exposure Patterns and Expression on Social Media

Political information sharing in social media offers citizens opportunities to engage with news and express their political views, but how do different patterns of online political information exposure, including both incidental and selective exposure, affect sharing? Using two‐wave panel survey data collected in the United States, we examine the relationship between incidental and selective exposure and their consequent links to political information sharing, across different levels of strength of political party affiliation. Our results demonstrate that incidental exposure to counter‐attitudinal information drives stronger partisans to more actively seek out like‐minded political content, which subsequently encourages political information sharing on social media. The results highlight the need to consider both types of political information exposure when modeling citizens' political behavior online.