Based on Leslie Matrix, the paper tries to predict the population fluctuation of Nanjing by considering the regional distinction and latest policy impacts, and hereby comes up with four conclusions: a) The population of Nanjing will see a relatively rapid growth between 2013 and 2020; b) Given the situation, the elderly population of the city will experience a much faster increase in the next 40 years, causing an elderly bulge that not only poses heavy burden to social welfare but also gives rise to a disproportionate population structure; c) The proposed retirement age extension in theory, will reduce the pressure on pension system by retaining active labors, and thus alleviating the problems of aging population to some extent; d) The newly-issued Two-Child Policy will not change the trends in or transform the population structure, therefore its effects on population aging is rather limited.

Let ϕ be a faithful normal semi-finite weight on a von Neumann algebra$M$. For each normal semi-finite weight ϕ on$M$, invariant under the modular automorphism group Σ of ϕ, there is a unique self-adjoint positive operator$h$, affiliated with the sub-algebra of fixed-points for Σ, such that ϕ=ϕ($h$·). Conversely, each such$h$determines a Σ-invariant normal semi-finite weight. An easy application of this non-commutative Radon-Nikodym theorem yields the result that$M$is semi-finite if and only if Σ consists of inner automorphisms.

Key Exchange (KE) is, undoubtedly, one of the most used cryptographic primitives in practice. Its authenticated version, Authenticated Key Exchange (AKE), avoids man-in-the-middle-based attacks by providing authentication for both parties involved. It is widely used on the Internet, in protocols such as TLS or SSH. In this work, we provide new constructions for KE and AKE based on ideal lattices in the Random Oracle Model (ROM). The contributions of this work can be summarized as follows: 1) It is well-known that RLWE-based KE protocols are not robust for key reuses since the signal function leaks information about the secret key. We modify the design of previous RLWE-based KE schemes to allow key reuse in the ROM. Our construction makes use of a new technique called pasteurization which enforces a supposedly RLWE sample sent by the other party to be indeed indistinguishable from a uniform sample and, therefore, ensures no information leakage in the whole KE process. 2) We build a new AKE scheme based on the construction above. The scheme provides implicit authentication (that is, it does not require the use of any other authentication mechanism, like a signature scheme) and it is proven secure in the Bellare-Rogaway model with weak Perfect Forward Secrecy in the ROM. It improves previous designs for AKE schemes based on lattices in several aspects. Our construction just requires sampling from only one discrete Gaussian distribution and avoids rejection sampling and noise flooding techniques, unlike previous proposals (Zhang et al., EUROCRYPT 2015). Thus, the scheme is much more efficient than previous constructions in terms of computational and communication complexity. Since our constructions are provably secure assuming the hardness of the RLWE problem, they are considered to be robust against quantum adversaries and, thus, suitable for post-quantum applications.

No abstract uploaded!

It is known that the maximum diameter for the rupture-risk assessment of the abdominal aortic aneurysm is a generally good method, but not sufficient. Alternative features obtained with computational modeling may provide additional useful criteria. Though computational approaches are noninvasive, they are often time-consuming because of the high computational complexity. In this paper, we present a highly parallel algorithm for the numerical simulation of unsteady blood flows in the patient-specific abdominal aorta. We model the blood flow with the unsteady incompressible Navier-Stokes equations, and solve the discretized system with a highly scalable domain decomposition method. With this approach, the complete flow field can be obtained in less than an hour, instead of days with older methods. We show experimentally that the proposed method offers accurate solutions of the pressure, the velocity and the wall shear stress, and the parallel efficiency is higher than 70% on a parallel computer with more than 1,000 processor cores.