Waste cooking oil as an energy resource: review of Chinese policies

Converting waste cooking oil into biofuel represents a three-win solution, dealing simultaneously with food security, pollution, and energy security. In this paper, we encode the policy documents of waste cooking oil refining biofuel in China based on content analysis, and explore the related policies from the two dimensions as basic policy tools and enterprises supply chain. Research indicates the weak institution coordination of policy issuing entities. Also, the findings show that tools of regulatory control and goal planning are overused. Policies of government procurement, outsourcing and biofuel consumption are relatively scarce. Generally, government focuses more on formulating policies from the strategic, administrative and regulatory aspects, while less on market-oriented initiatives as funding input and financial support.

Crooks' fluctuation theorem for a process on a two dimensional fluid field

We investigate the behavior of a two-dimensional inviscid and incompressible flow when pushed out of dynamical equilibrium. We use the two-dimensional vorticity equation with spectral truncation on a rectangular domain. For a sufficiently large number of degrees of freedom, the equilibrium statistics of the flow can be described through a canonical ensemble with two conserved quantities, energy and enstrophy. To perturb the system out of equilibrium, we change the shape of the domain according to a protocol, which changes the kinetic energy but leaves the enstrophy constant. We interpret this as doing work to the system. Evolving along a forward and its corresponding backward process, we find numerical evidence that the distributions of the work performed satisfy the Crooks relation. We confirm our results by proving the Crooks relation for this system rigorously.

On Arnol'd's second nonlinear stability theorem for two-dimensional quasi-geostrophic flow

Arnol'd's second hydrodynamical stability theorem, proven originally for the two-dimensional Euler equations, can establish nonlinear stability of steady flows that are maxima of a suitably chosen energy-Casimir invariant. The usual derivations of this theorem require an assumption of zero disturbance circulation. In the present work an analogue of Arnol'd's second theorem is developed in the more general case of two-dimensional quasi-geostrophic flow, with the important feature that the disturbances are allowed to have non-zero circulation. New nonlinear stability criteria are derived, and explicit bounds are obtained on both the disturbance energy and potential enstrophy which are expressed in terms of the initial disturbance fields. While Arnol'd's stability method relies on the second variation of the energy-Casimir invariant being sign-definite, the new criteria can be applied to cases where the second variation is sign-indefinite because of the disturbance circulations. A version of Andrews' theorem is also established for this problem.

On the interpretation of Andrews’ theorem

Andrews (1984) has shown that any flow satisfying Arnol'd's (1965, 1966) sufficient conditions for stability must be zonally-symmetric if the boundary conditions on the flow are zonally-symmetric. This result appears to place very strong restrictions on the kinds of flows that can be proved to be stable by Arnol'd's theorems. In this paper, Andrews’ theorem is re-examined, paying special attention to the case of an unbounded domain. It is shown that, in that case, Andrews’ theorem generally fails to apply, and Arnol'd-stable flows do exist that are not zonally-symmetric. The example of a circular vortex with a monotonic vorticity profile is a case in point. A proof of the finite-amplitude version of the Rayleigh stability theorem for circular vortices is also established; despite its similarity to the Arnol'd theorems it seems not to have been put on record before.

An exact local conservation theorem for finite-amplitude disturbances to non-parallel shear flows, with remarks on Hamiltonian structure and on Arnol'd's stability theorems

Disturbances of arbitrary amplitude are superposed on a basic flow which is assumed to be steady and either (a) two-dimensional, homogeneous, and incompressible (rotating or non-rotating) or (b) stably stratified and quasi-geostrophic. Flow over shallow topography is allowed in either case. The basic flow, as well as the disturbance, is assumed to be subject neither to external forcing nor to dissipative processes like viscosity. An exact, local ‘wave-activity conservation theorem’ is derived in which the density A and flux F are second-order ‘wave properties’ or ‘disturbance properties’, meaning that they are O(a2) in magnitude as disturbance amplitude a [rightward arrow] 0, and that they are evaluable correct to O(a2) from linear theory, to O(a3) from second-order theory, and so on to higher orders in a. For a disturbance in the form of a single, slowly varying, non-stationary Rossby wavetrain, $\overline{F}/\overline{A}$ reduces approximately to the Rossby-wave group velocity, where (${}^{-}$) is an appropriate averaging operator. F and A have the formal appearance of Eulerian quantities, but generally involve a multivalued function the correct branch of which requires a certain amount of Lagrangian information for its determination. It is shown that, in a certain sense, the construction of conservable, quasi-Eulerian wave properties like A is unique and that the multivaluedness is inescapable in general. The connection with the concepts of pseudoenergy (quasi-energy), pseudomomentum (quasi-momentum), and ‘Eliassen-Palm wave activity’ is noted. The relationship of this and similar conservation theorems to dynamical fundamentals and to Arnol'd's nonlinear stability theorems is discussed in the light of recent advances in Hamiltonian dynamics. These show where such conservation theorems come from and how to construct them in other cases. An elementary proof of the Hamiltonian structure of two-dimensional Eulerian vortex dynamics is put on record, with explicit attention to the boundary conditions. The connection between Arnol'd's second stability theorem and the suppression of shear and self-tuning resonant instabilities by boundary constraints is discussed, and a finite-amplitude counterpart to Rayleigh's inflection-point theorem noted

Computer Theorem Proving and HoTT

Theorem-proving is a one-player game. The history of computer programs being the players goes back to 1956 and the ‘LT’ LOGIC THEORY MACHINE of Newell, Shaw and Simon. In game-playing terms, the ‘initial position’ is the core set of axioms chosen for the particular logic and the ‘moves’ are the rules of inference. Now, the Univalent Foundations Program at IAS Princeton and the resulting ‘HoTT’ book on Homotopy Type Theory have demonstrated the success of a new kind of experimental mathematics using computer theorem proving.

Implicit learning and imperceptible influence: Syncretic literacy of multilingual Chinese children.

This article reports on an ethnographic study involving the literacy practices of two multilingual Chinese children from two similar yet different cultural and linguistic contexts: Montreal and Singapore. Using syncretism as a theoretical tool, this inquiry examines how family environment and support facilitate children’s process of becoming literate in multiple languages. Informed by sociocultural theory, the inquiry looks in particular at the role of grandparents in the syncretic literacy practices of children. Through comparative analysis, the study reveals similarities and differences that, when considered together, contribute to our understanding of multilingual children’s creative forms of learning with regard to their rich literacy resources in multiple languages, the imperceptible influences of mediators, various learning styles and syncretic literacy practices.

Invisible and visible language planning: ideological factors in the family language policy of Chinese immigrant families in Quebec

This ethnographic inquiry examines how family languages policies are planned and developed in ten Chinese immigrant families in Quebec, Canada, with regard to their children’s language and literacy education in three languages, Chinese, English, and French. The focus is on how multilingualism is perceived and valued, and how these three languages are linked to particular linguistic markets. The parental ideology that underpins the family language policy, the invisible language planning, is the central focus of analysis. The results suggest that family language policies are strongly influenced by socio-political and economical factors. In addition, the study confirms that the parents’ educational background, their immigration experiences and their cultural disposition, in this case pervaded by Confucian thinking, contribute significantly to parental expectations and aspirations and thus to the family language policies.

Reading the world through words: cultural themes in heritage Chinese language textbooks

This paper explores the social and cultural knowledge embedded in the textbooks for language and literacy education in a Chinese heritage language school, the Zhonguo School, in Montreal, Quebec, Canada. It examines how Chinese language arts textbooks introduce the child reader to cultural knowledge considered legitimate and valued in China as well as in Chinese diasporan communities. Furthermore, it looks at the construction of cultural knowledge in Chinese language textbooks in relation to the mainstream ideology to which immigrant children are exposed in and out of mainstream school classrooms. It looks at how the power relationship between legitimate cultural knowledge in majority and minority contexts is established and to what extent it affects language minority students' literacy practices in mainstream school and heritage language school contexts. Data sources are the Chinese textbooks used from kindergarten to Grade 5 in a Chinese heritage language school.

The classification and application of toxic Chinese Materia Medica

Many important drugs in the Chinese materia medica (CMM) are known to be toxic, and it has long been recognized in classical Chinese medical theory that toxicity can arise directly from the components of a single CMM or may be induced by an interaction between combined CMM. Traditional Chinese Medicine presents a unique set of pharmaceutical theories that include particular methods for processing, combining and decocting, and these techniques contribute to reducing toxicity as well as enhancing efficacy. The current classification of toxic CMM drugs, traditional methods for processing toxic CMM and the prohibited use of certain combinations, is based on traditional experience and ancient texts and monographs, but accumulating evidence increasingly supports their use to eliminate or reduce toxicity. Modern methods are now being used to evaluate the safety of CMM; however, a new system for describing the toxicity of Chinese herbal medicines may need to be established to take into account those herbs whose toxicity is delayed or otherwise hidden, and which have not been incorporated into the traditional classification. This review explains the existing classification and justifies it where appropriate, using experimental results often originally published in Chinese and previously not available outside China.

Fashion magazines: design implications of focus and perception variance between Chinese and UK females

A growing segment of Chinese women are willing to spend a high percentage of their income on fashion related products, however there appears to be concern over the quality of Chinese fashion magazines. Concern can be focused in two major issues: i) fashion magazine design, and ii) pictorial and textual distribution of content. This paper investigates how human factors (i.e. social norms and individual differences) influence fashion magazine design/format preferences, and investigates the difference in readership patterns between British and Chinese Women. Our study identifies significant differences between UK and Chinese readership; which has an impact on magazine viewing patterns and content preference.