The full basis theorem does not imply analytic wellordering

A finite support product of ${\omega }_1$ clones of Jensen's minimal ${\Pi }_2^1$ singleton forcing is used to define a model in which any non-empty analytically definable set of reals contains an analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the reals.     

A unified theory for brittle and ductile shear mode fracture

A unified theory captures both brittle and ductile fracture. The fracture toughness is proportional to the applied stress squared and the length of the crack. For purely brittle solids, this criterion is equivalent to Griffith's theory. In other cases, it provides a theoretical basis for the Irwin-Orowan formula. For purely ductile solids, the theory makes direct contact with the Bilby-Cottrell-Swinden model. The toughness is highest in ductile materials because the shielding dislocations in the plastic zone provide additional resistance to crack growth. This resistance is the force opposing dislocation motion, and the Peach-Koehler force overcomes it. A dislocation-free zone separates the plastic zone from and the tip of the crack. The dislocation-free zone is finite because molecular forces responsible for the cohesion of the surfaces near the crack tip are not negligible. At the point of crack growth, the length of the dislocation-free zone is constant and the shielding dislocations advance in concert. As in Griffith's theory, the crack is in unstable equilibrium. The theory shows that a dimensionless variable controls the elastoplastic behaviour. A relationship for the size of the dislocation-free zone is derived in terms of the macroscopic and microscopic parameters that govern the fracture.     

基于游客感知的主题公园旅游形象实证研究——以清明上河园为例

旅游形象是旅游目的地的核心吸引物,也是主题公园可持续发展的关键因素.以清明上河园为例,在"认知—情感"形象模型的指导下,从游客感知的角度出发,以问卷调查和景区服务人员的访谈为分析样本,运用统计学软件SPSS 21.0对数据进行统计分析、信度分析、单因素方差分析,结果可知:1)游客对清明上河园的感知形象整体比较好;2)景区在旅游商品和服务人员方面存在一定问题;3)性别、学历及月收入等社会统计学特征对游客的感知形象具有显著性影响.     

论《熊出没》中的动画角色设计

动画片《熊出没》不仅获得了极高的收视率，还获得了“金猴奖”中动画系列片金奖和动画形象金奖两个重量级奖项。该动画片成功的关键在于动画角色的塑造，通过三个主要角色：聪明的熊大、好吃懒做的熊二及顶着大光头的伐木工人，角色设定相对单调，但仍然受到大众的喜爱，原因就在于“创意”独特，符合受众的感知能力，满足了受众群体的视觉需求。在形象塑造上通过故事情节现代化的演绎、夸张动作安排、独特的地方口音和流行化语言风格等富有人性化的艺术表现形式，刻画了三个角色的性格，符合读者的审美期待，实现了虚拟动画和真实受众之间的沟通。     

Synthesis of diisocyanides with phenolic groups and their polymerization to helically chiral poly(quinoxaline‐2,3‐diyl)s

The development of synthetic routes which lead to five new diisocyanide monomers with one or two phenolic groups is described. Their polymerization behavior is studied with Pd‐ and Ni‐based initiators, as well as under microwave irradiation. The polymerizability is mainly dominated by steric effects as is concluded from experiments using different protecting groups. Chiroptical properties of these new polymers are studied by CD‐spectroscopy. After deprotection, helically chiral poly(quinoxalin‐2,3‐diyl)s are obtained which display a Brønsted function attached to a stereolabile biaryl axis whose configuration should be influenced by the chiral polymer backbone. © 2015 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2015 , 53, 1320–1329     

Boundedness of semilinear Duffing equations at resonance in a critical situation

In this paper, we propose a sufficient and necessary condition for the boundedness of all the solutions for the equation $\ddot{x}+n^{2}x+g(x)=p(t)$ with the critical situation that $|{\int }_0^{2\pi }p(t)e^{?int}dt|=2|g(+\infty )?g(?\infty )|$ on g and p, where $n\in {\mathbb{N}}^{+}$, $p(t)$ is periodic and $g(x)$ is bounded.     

Path integral quantization corresponding to the deformed Heisenberg algebra

In this paper, the deformation of the Heisenberg algebra, consistent with both the generalized uncertainty principle and doubly special relativity, has been analyzed. It has been observed that, though this algebra can give rise to fractional derivative terms in the corresponding quantum mechanical Hamiltonian, a formal meaning can be given to them by using the theory of harmonic extensions of function. Depending on this argument, the expression of the propagator of the path integral corresponding to the deformed Heisenberg algebra, has been obtained. In particular, the consistent expression of the one dimensional free particle propagator has been evaluated explicitly. With this propagator in hand, it has been shown that, even in free particle case, normal generalized uncertainty principle and doubly special relativity show very much different result.     

SAR图像并行拼接方法研究与实现* 〖HT4K〗——基于改进完全二叉树模型

随着SAR成像技术的快速发展，SAR图像覆盖的地域范围与成像精度也在迅速增长，这对SAR图像拼接工作的实时性提出了挑战;文章对SAR图像序列特征进行深入分析，提出了采用基于分割的完全二叉树模型进行SAR图像的并行拼接，并使用MPI点对点通信方式对之进行了不同数量机群规模下的实现；对比实验证明，基于该方法的并行拼接工作比传统并行拼接方法在降低拼接时耗上更加有效，且并行拼接后的完整图像效果良好.     

Detecting nonclassicality of light via Lieb's concavity

Nonclassical light states are important for both conceptual and practical reasons: they are basic ingredients in testing and exploring quantum foundations, and are crucial resources in quantum technologies. Various useful criteria have been developed to detect nonclassicality in the literature, and several meaningful measures of nonclassicality have been introduced and measured experimentally. In this work, by use of a non-Hermitian generalization of the Wigner-Yanase-Dyson skew information and playing with operator ordering in evaluating average photon number, we develop a novel family of criteria for detecting nonclassicality of light based on Lieb's concavity, which is a deep and powerful result concerning interaction between quantum states and observables. We elucidate the information-theoretic as well as the physical meaning of the criteria, and illustrate their effectiveness in capturing and quantifying nonclassicality of various important light states.     

Autonomous system for data collection: Location and mapping issues in post-disaster environment

Disaster relief requires many resources. Depending on the circumstances of each event, it is important to rapidly choose the suitable means to respond to the emergency intervention. A brief review of the conditions and means demonstrated the usefulness of an autonomous stand-alone machine for these missions. If many techniques and technologies exist, their relevant combination to achieve such a system presents several challenges. This communication tries to outline the possible achievement of an autonomous vehicle under these particular circumstances. This paper focuses on the specific working conditions and welcomes future contributions from robotics and artificial intelligence.In the necessarily limited scope of this article, the authors focus on a particularly critical aspect: location. Indeed, this machine is intended to evolve in heterogeneous and dangerous environment and without any outside contacts that could last up to several days. This blackout, due to the propagation difficulties of electromagnetic waves in the ground, induces an independence of the localisation process and makes the use of any radio navigation support system (GNSS), most of the time, impossible. The knowledge of the position of the system, both for navigation of the autonomous system (Rover) and location of targets (victims buried under debris) must be able to be estimated without contributions from external systems. Inertial classical techniques, odometer, etc., have to be adapted to these conditions during a long period without external support. These techniques also have to take into account that energy optimisation requests the use of low-power processors. Consequently, only poor computing capacity is available on-board.The article starts with a presentation of the context of a post-disaster situation as well as the main missions of Search and Rescue (SaR). It is followed by the analysis of autonomous navigation located in a post-earthquake situation. We will then discuss means to determine the attitude of the autonomous system and its position. The interest of hybridisation with external systems – whenever possible –, will be evaluated with a view to correcting deviations suffered by the system during its mission. Finally, prospects and future work are presented.