Synthesis and photo-induced solution properties of new rigid-rod polyimides

A series of new, substituted pyromellitic dianhydrides were synthesized from 1,2,4,5-tetramethylbenzene. New soluble rigid-rod polyimides were obtained from the dianhydrides and 2,2′-bis(trifluoromethyl)-4,4′-biphenyl (PFMB) in phenolic solvents in the presence of isoquinoline as a catalyst. The polyimides are soluble in N-methyl-2-pyrrolidone (NMP), N,N-dimethylacetamide (DMAc), m-cresol and other solvents, in spite of having no bending in their rigid structures.

UV irradiation changed color of the polyimide solutions and also their viscosity. We observed new absorbance in the 700-nm region and an ESR signal by UV irradiation. The new visible absorbance and the ESR signal are derived from the same origin. They are attributed to the anion radical of the diimide moiety in the polyimide as deduced from the hyper fine structure of the ESR signal. In addition, UV irradiation diminishes the solution viscosity.     

Polymerization Catalysis in Liquid Propylene: High Activities and Molecular Weights in Propylene/CO Copolymerization Reactions

Summary: The dicationic [(dppp)Pd(NCCH₃)₂](BF₄)₂ catalyst (dppp = 1,3‐bis(diphenylphosphino)propane) was applied in a liquid monomer, two phase process for the CO/propene copolymerization reaction. For the first time it was possible to synthesize propene/CO copolymers with an activity up to 7 500 g/(mol · h) and molecular weights of 500 000 g/mol. Activities up to 40 000 g/(mol · h) could be obtained with the use of the unsymmetric catalyst [(CF₃‐dppp)Pd(NCCH₃)](BF₄)₂ (CF₃‐dppp = 1‐diphenylphosphino‐3‐bis[3,5‐di(trifluormethyl)phenyl]phosphinopropane) in homogeneous liquid propene solution.

Granules found after copolymerization.     

Automatic detection of depth of cut during end milling operation using acoustic emission sensor

Any shortfall in the required depth during milling machining can affect the dimensional accuracy of the part produced and can cause a catastrophic failure to the machine. Corrective remedies to fix the dimensions inaccuracy will increase the machining time and costs. In this work, a depth-of-cut monitoring system was proposed to detect depth of cut in real time using an acoustic emission sensor and prediction model. The characteristics of the sensor signal obtained in machining processes can be complex in terms of both nonlinearity and nonstationarity. To overcome this complexity, a regression model and an artificial neural network model were used to represent the relationship between the acoustic emission signal and the depth of cut. The model was tested under different machining cases and found to be efficient in predicting the depth of cut.     

Adaptive augmented Lagrangian methods: algorithms and practical numerical experience

In this paper, we consider augmented Lagrangian (AL) algorithms for solving large-scale nonlinear optimization problems that execute adaptive strategies for updating the penalty parameter. Our work is motivated by the recently proposed adaptive AL trust region method by Curtis et al. [An adaptive augmented Lagrangian method for large-scale constrained optimization, Math. Program. 152 (2015), pp. 201–245.]. The first focal point of this paper is a new variant of the approach that employs a line search rather than a trust region strategy, where a critical algorithmic feature for the line search strategy is the use of convexified piecewise quadratic models of the AL function for computing the search directions. We prove global convergence guarantees for our line search algorithm that are on par with those for the previously proposed trust region method. A second focal point of this paper is the practical performance of the line search and trust region algorithm variants in Matlab software, as well as that of an adaptive penalty parameter updating strategy incorporated into the Lancelot software. We test these methods on problems from the CUTEst and COPS collections, as well as on challenging test problems related to optimal power flow. Our numerical experience suggests that the adaptive algorithms outperform traditional AL methods in terms of efficiency and reliability. As with traditional AL algorithms, the adaptive methods are matrix-free and thus represent a viable option for solving large-scale problems.     

A deep bidirectional LSTM approach for video-realistic talking head

This paper proposes a deep bidirectional long short-term memory approach in modeling the long contextual, nonlinear mapping between audio and visual streams for video-realistic talking head. In training stage, an audio-visual stereo database is firstly recorded as a subject talking to a camera. The audio streams are converted into acoustic feature, i.e. Mel-Frequency Cepstrum Coefficients (MFCCs), and their textual labels are also extracted. The visual streams, in particular, the lower face region, are compactly represented by active appearance model (AAM) parameters by which the shape and texture variations can be jointly modeled. Given pairs of the audio and visual parameter sequence, a DBLSTM model is trained to learn the sequence mapping from audio to visual space. For any unseen speech audio, whether it is original recorded or synthesized by text-to-speech (TTS), the trained DBLSTM model can predict a convincing AAM parameter trajectory for the lower face animation. To further improve the realism of the proposed talking head, the trajectory tiling method is adopted to use the DBLSTM predicted AAM trajectory as a guide to select a smooth real sample image sequence from the recorded database. We then stitch the selected lower face image sequence back to a background face video of the same subject, resulting in a video-realistic talking head. Experimental results show that the proposed DBLSTM approach outperforms the existing HMM-based approach in both objective and subjective evaluations.     

Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking

The number R(4, 3, 3) is often presented as the unknown Ramsey number with the best chances of being found “soon”. Yet, its precise value has remained unknown for almost 50 years. This paper presents a methodology based on abstraction and symmetry breaking that applies to solve hard graph edge-coloring problems. The utility of this methodology is demonstrated by using it to compute the value R(4, 3, 3) = 30. Along the way it is required to first compute the previously unknown set \(\mathcal {R}(3,3,3;13)\) consisting of 78,892 Ramsey colorings.     

Infiltrating the zebrafish swarm: design,implementation and experimental tests of a miniature robotic fish lure for fish–robot interaction studies

Robotic fish are nowadays developed for various types of research, such as bio-inspiredrobotics, biomimetics and animal behavior studies. In the context of our research on the social interactions of the zebrafish Danio Rerio, we developed a miniature robotic fish lure for direct underwater interaction with the living fish. This remotely controlled and waterproof device has a total length of 7.5 cm with the same size ratio as zebrafish and is able to beat its tail with different frequencies and amplitudes, while following the group of living animals using a mobile robot moving outside water that is coupled with the robotic lure using magnets. The robotic lure is also equipped with a rechargeable battery and can be used autonomously underwater for experiments of up to 1 h. We performed experiments with the robot moving inside an aquarium with living fish to analyze its impact on the zebrafish behavior. We found that the beating rate of the tail increased the attractiveness of the lure among the zebrafish shoal. We also demonstrated that the lure could influence a collective decision of the zebrafish shoal, the swimming direction, when moving with a constant linear speed inside a circular corridor. This new robotic fish design and the experimental results are promising for the field of fish–robot interaction.     

Multigrid gradient vector flow computation on the GPU

Gradient vector flow (GVF) is a feature-preserving spatial diffusion of image gradients. It was introduced to overcome the limited capture range in traditional active contour segmentation. However, the original iterative solver for GVF, using Euler’s method, converges very slowly. Thus, many iterations are needed to achieve the desired capture range. Several groups have investigated the use of graphic processing units (GPUs) to accelerate the GVF computation. Still, this does not reduce the number of iterations needed. Multigrid methods, on the other hand, have been shown to provide a much better capture range using considerable less iterations. However, non-GPU implementations of the multigrid method are not as fast as the Euler method when executed on the GPU. In this paper, a novel GPU implementation of a multigrid solver for GVF written in OpenCL is presented. The results show that this implementation converges and provides a better capture range about 2–5 times faster than the conventional iterative GVF solver on the GPU.     

Adaptive water management in Israel: structure and policy options

Difficulties in integrating technical, economic and institutional factors present a major gap in analytical capacity to guide water policy. This article presents an integrated framework to support water policy and guide water management choices, with application to Israel. That framework rests on the theory of economic policy originally developed by Tinbergen. It sees national water challenges as consisting of external factors, constraints, policy instruments and targets. The need for a modern implementation of the theory of economic policy is motivated by emerging environmental requirements, scarce water, growing demands for domestic use, and ongoing needs to implement existing and potential peace agreements.