高等教育原则的规定性、生成理式与生成法则

高等教育原则与高等教育规律、高等教育价值、高等教育实践经验等内在相连。高等教育原则的生成过程是一个高等教育规律、高等教育价值、高等教育实践经验三者共同作用的原则化过程。高等教育原则是不可数或无限数量的,究竟生成多少或怎样的高等教育原则,取决于所要协调的高等教育关系以及所要观察或处理的高等教育问题,即需要协调或处理的高等教育关系或问题不同,对应的高等教育原则也就不相同。

The Universal Grand Unified Theory Based on Life and Thought

The universe is life, which includes galaxies, living beings, society and man-made worlds. The universe is unified in life and thought. The universal grand unified theory is a theory to completely unify all phenomena in the universe with a fundamental mode （structural mode, operational mode, generation mode and evolution mode）. The book of changes of China： The great ultimate - two states - four images - eight hexagrams are life science and thought science theories, which represent the fundamental mode of universal unification, i.e. represent l） structural mode, operational mode, generation mode and evolution mode of life; 2） the four states that life has simultaneously： 0 dimension, ] dimension, 2 dimension, 3 dimension, and these four states have different structural and operational modes respectively; 3） the breathing and four seasonal trajectories of celestial bodies; 4） three generation modes of life： generation by transformation, generation by augmentation, and self-generation; 5） five dynamics systems inside life; 6） the sublimation and degration of life in the universe, the unification of religion and science; 7） the classification mode of the universal being; 8） the derivation mode of life; 9） the transformation between different forms of life in the universe; 10） the unification of six grand forces in the universe. All life systems in the universe： galaxy, organism, society, man-made worlds as well as cognitive science, natural science, social science are all in conform with the mode of the book of changes.

Management strategies of Barrett's esophagus

Barrett's esophagus is a condition resulting from chronic gastro-esophageal reflux disease with a documented risk of esophageal adenocarcinoma. Current strategies for improved survival in patients with Barrett's adenocarcinoma focus on detection of dysplasia. This can be obtained by screening programs in high-risk cohorts of patients and/or endoscopic biopsy surveillance of patients with known Barrett's esophagus (BE). Several therapies have been developed in attempts to reverse BE and reduce cancer risk. Aggressive medical management of acid reflux, lifestyle modifications, antireflux surgery, and endoscopic treatments have been recommended for many patients with BE. Whether these interventions are cost-effective or reduce mortality from esophageal cancer remains controversial. Current treatment requires combinations of endoscopic mucosal resection techniques to eliminate visible lesions followed by ablation of residual metaplastic tissue. Esophagectomy is currently indicated in multifocal high-grade neoplasia or mucosal Barrett's carcinoma which cannot be managed by endoscopic approach.

Animal Production Systems in Algeria： Transformation and Tendencies in the Setif Area

Algeria registers only 0.25 ha of agricultural surface per capita. This indicates very low agricultural capacities. Otherwise agricultural activities are concentrated in a narrow fringe of the Northern part of the country where the dominant climate is semi-arid with very irregular rainfalls. A majority of farms produces its main part of income from cereal crops--livestock association system. However, the diversity of the climate and the physical environment, on one hand, and the agricultural policies on the other hand, induce major transformations in this system. Transformations are also the result of a significant demographic growth in rural area. In this context, significant issues appear in term of resource＇s uses and systems＇ sustainability. To shed light in the actual situation, this study, based on a survey of 90 owners, shows that： the intensification can constitute a threat on the pastoral resources; the weakness of the farms encourages the generalization of practices characterised by a weak feed autonomy and a bad management of stock fodders; the animal interspecific integration and partial intensification are positive if they follow models which ensure autonomy, performance and optimal pastoral resource management.

A REVIEW AND PROSPECT OF READABLE MACHINE PROOFS FOR GEOMETRY THEOREMS

After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable machine proofs for geometry theorems which include search methods, coordinate-free methods, and formal logic methods. Some critical issues about these approaches are also discussed. Furthermore, the authors propose three further research directions for the readable machine proofs for geometry theorems, including geometry inequalities, intelligent geometry softwares and machine learning.