From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are ...From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are not objects, etc. So, this paper designs a programming language, Shrek, which integrates many language features and constructions in a compact and consistent model. The Shrek language is a class-based purely object-oriented language. It has a dynamical strong type system, and adopts a single-inheritance mechanism with Mixin as its complement. It has a consistent class instantiation and inheritance structure, and the ability of intercessive structural computational reflection, which enables it to support safe metaclass programming. It also supports multi-thread programming and automatic garbage collection, and enforces its expressive power by adopting a native method mechanism. The prototype system of the Shrek language is implemented and anticipated design goals are achieved.展开更多
The integrable general open-boundary conditions for the one-dimensional Bariev chain are considered. All kinds of solutions to the reflection equation （RE） and its dual are obtained.
The XYZ antiferromagnetic model in linear spin-wave frame is shown explicitly to have an su（1,2） algebraic structure： the Hamiltonian can be written as a linear function of the su（1,2） algebra generators. Based o...The XYZ antiferromagnetic model in linear spin-wave frame is shown explicitly to have an su（1,2） algebraic structure： the Hamiltonian can be written as a linear function of the su（1,2） algebra generators. Based on it, the energy eigenvalues are obta/ned by making use of the similar transformations, and the algebraic diagonalization method is investigated. Some numerical solutions are given, and the results indicate that only one group solution could be accepted in physics.展开更多
基金The National Science Fund for Distinguished Young Scholars (No.60425206)the National Natural Science Foundation of China (No.60633010)the Natural Science Foundation of Jiangsu Province(No.BK2006094)
文摘From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are not objects, etc. So, this paper designs a programming language, Shrek, which integrates many language features and constructions in a compact and consistent model. The Shrek language is a class-based purely object-oriented language. It has a dynamical strong type system, and adopts a single-inheritance mechanism with Mixin as its complement. It has a consistent class instantiation and inheritance structure, and the ability of intercessive structural computational reflection, which enables it to support safe metaclass programming. It also supports multi-thread programming and automatic garbage collection, and enforces its expressive power by adopting a native method mechanism. The prototype system of the Shrek language is implemented and anticipated design goals are achieved.
基金The project supported by National Natural Science Foundation of China under Grant No.90403019Science and Technology Foundation of Xi'an Shiyou University under Grant No.2006-43
文摘The integrable general open-boundary conditions for the one-dimensional Bariev chain are considered. All kinds of solutions to the reflection equation （RE） and its dual are obtained.
基金The project supported by National Natural Science Foundation of China under Grant Nos.10447103 and 90305026the Natural Science Foundation of Beijing under Grant No.1072010the Foundation of Education Department of Beijing under Grant No.KM200610772007
文摘The XYZ antiferromagnetic model in linear spin-wave frame is shown explicitly to have an su（1,2） algebraic structure： the Hamiltonian can be written as a linear function of the su（1,2） algebra generators. Based on it, the energy eigenvalues are obta/ned by making use of the similar transformations, and the algebraic diagonalization method is investigated. Some numerical solutions are given, and the results indicate that only one group solution could be accepted in physics.
