检索结果-南通市图书馆

Technical framework for Internetware: An architecture centric approach

在线全文

学校读者我要写书评

暂无评论

science in China(Series F) 2008年第6期51卷 610-622页

作者： YANG FuQing1,2, Lü Jian3,4.& MEI Hong1,2 1 Key Laboratory of High Confidence Software Technologies (Peking university), Ministry of Education, Beijing 100871, China 2 School of Electronics Engineering and Computer science, Peking university, Beijing 100871, China 3 state Key Laboratory for Novel Software Technology, Nanjing 210093, China 4.{4. of Computer science and Technology, Nanjing university, Nanjing 210093, China 1. Key Laboratory of High Confidence Software Technologies (Peking university) Ministry of Education Beijing 100871 China 2. School of Electronics Engineering and Computer science Peking University Beijing 100871 China 3. state Key Laboratory for Novel Software Technology Nanjing 210093 China 4. department of Computer science and Technology Nanjing University Nanjing 210093 China

Being a new software paradigm evolved by the Internet, Internetware brings many challenges to the traditional software methods and techniques. Sponsored by the national basic research program （973）, researchers in China have developed an architecture centric technical framework for the definition, incarnation and engineering of Internetware. First of all, a software model for Internetware is defined for what to be, including that Internetware entities should be packaged as components, behaving as agents, interoperating as services, collaborating in a structured and on demand manner, etc. Secondly, a middleware for Internetware is designed and implemented for how to be, including that Internetware entities are incarnated by runtime containers, structured collaborations are enabled by runtime software architecture, Internetware can be managed in a reflective and autonomic manner, etc. Thirdly, an engineering methodology for Internetware is proposed for how to do, including the way to develop Internetware entities and their collaborations by transforming and refining a set of software architectures which cover all the phases of software lifecycle, the way to identify and organize the disordered software assets by domain modeling, etc.

关键词： Internetware component software architecture agent middleware

Video-based facial animation with detailed appearance texture

在线全文

学校读者我要写书评

暂无评论

Progress in Natural science:Materials International 2006年第3期16卷 297-306页

作者： WANG Jin, SUN Hanqiu and PENG Qunsheng (department of Computer science & Technology, Xuzhou Normal university, Xuzhou 221009, China state Key Laboratory of CAD & CG, Zhejiang university, Zhejiang 310027, China department of Computer science & Engineering, CUHK Shatin, N.T., Hong Kong) [a]department of Computer science & Technology Xuzhou China [b]state Key Laboratory of CAD & CG Zhejiang University Zhejiang China [c]department of Computer science & Engineering CHUK shatin N.T. Hong Kong

Facial shape transformation described by facial animation parameters (FAPs) involves the dynamic movement or deformation of eyes, brows, mouth, and lips, while detailed facial appearance concerns the facial textures such as creases, wrinkles, etc. Video-based facial animation exhibits not only facial shape transformation but also detailed appearance updates. In this paper, a novel algorithm for effectively extracting FAPs from video is proposed. Our system adopts the ICA-enforced direct appearance model (DAM) to track faces from video sequences; and then, FAPs are extracted from every frame of the video based on an extended model of Wincandidate 3.1. Facial appearance details are transformed from each frame by mapping an expression ratio image to the original image. We adopt wavelet to synthesize expressive details by combining the low-frequency signals of the original face and high-frequency signals of the expressive face from each frame of the video. Experimental results show that our proposed algorithm is suitable for reproducing realistic, expressive facial animations.

关键词： image based rendering facial animation texture transform.

AN IMPLICIT SCHEME FOR INCOMPRESSIBLE LBGK MODEL

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Hydrodynamics 2005年第3期17卷 330-337页

作者： DURui SHIBao-chang WANGGuang-chao LIUHong-juan departmentofMathematics HuazhongUniversityofScienceandTechnologyWuhan430074China departmentofMathematics HuazhongUniversityofScienceandStateKeyLaboratoryofCoalCombustionHuazhongUniversity430074China／／TechnologyWuhan430074ChinaofScienceandTechnologyWuhan

In this paper, an implicit scheme (also called the θ method) was proposed for the Lattice Bhatager-Gross-Krook (LBGK) model simulating incompressible flows. The new parameter θ made the model more flexible. Through the Chapman-Enskog procedure the impressible Navie-Stokes equations could be recovered with the coupled kinetic viscosity. Boundary conditions were treated briefly and it kept the numerical accuracy of the Lattice Boltzmann Method (LBM). The two-dimensional Poiseuille flow was simulated with different values of the parameters. It is found that the numerical accuracy and stability of the implicit scheme can be improved if some adaptable parameters are chosen.

关键词： Lattice Boltzmann Method (LBM) implicit scheme θ-Lattice Bhatager-Gross-Krook (LBGK) model Poiseuille flow

Polynomials,Higher Order Sobolev Extension Theorems and Interpolation Inequalities on Weighted Folland-Stein Spaces on Stratified Groups

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2000年第3期16卷 405-444页

作者： Guozhen Lu department of Mathematics,Wayne state university,Detroit,MI 4.202,USA department of Mathematics Wayne State University Detroit USA

This paper consists of three main *** of them is to develop local and global Sobolev interpolation inequalities of any higher order for the nonisotropic Sobolev spaces on stratified nilpotent Lie *** the extensive research after Jerison’s work[3]on Poincaré-type inequalities for Hrmander’s vector fields over the years,our results given here even in the nonweighted case appear to be *** interpolation inequalities have crucial applications to subelliptic or parabolic PDE’s involving vector *** main tools to prove such inequalities are approximating the Sobolev func- tions by polynomials associated with the left invariant vector fields on *** very useful properties for polynomials associated with the functions are given here and they appear to have independent interests in their own *** the existence of such polynomials is the second main part of this *** results of these two parts have been announced in the author’s paper in Mathematical Research Letters[38]. The third main part of this paper contains extension theorems on anisotropic Sobolev spaces on stratified groups and their applications to proving Sobolev interpolation inequalities on(εδ)domains. Some results of weighted Sobolev spaces are also given *** construct a linear extension operator which is bounded on different Sobolev spaces *** particular,we are able to construct a bounded linear extension operator such that the derivatives of the extended function can be controlled by the same order of derivatives of the given Sobolev *** are stated and proved for weighted anisotropic Sobolev spaces on stratified groups.

关键词： Poincaré inequalities Extension theorems Interpolation inequalities Anisotropic Sobolev spaces A_p weights (ε,δ)domains Vector fields Polynomials on stratified groups

s-ordering operator expansions of quantum-mechanical fundamental representations and their applications

在线全文

学校读者我要写书评

暂无评论

science China(Physics,Mechanics & Astronomy) 2011年第12期54卷 2150-2154页

作者： FAN HongYi 1,3 , XU YeJun 2 & YUAN HongChun 3,4.1 department of Materials science and Engineering, university of science and Technology of China, Hefei 230026, China 2 department of Physics Electronic and Engineering, Chizhou university, Chizhou 24.000, China 3 department of Physics, Shanghai Jiao Tong university, Shanghai 200030, China 4.College of Optoelectronic Engineering, Changzhou Institute of Technology, Changzhou 213002, China 1. department of Materials science and Engineering University of Science and Technology of China Hefei 230026 China3. Department of Physics Shanghai Jiao Tong University Shanghai 200030 China2. Department of Physics Electronic and Engineering Chizhou University Chizhou 247000 China4. College of Optoelectronic Engineering Changzhou Institute of Technology Changzhou 213002 China

We show that the quantum-mechanical fundamental representations, say, the coordinate representation, the coherent state representation, the Fan-Klauder entangled state representation can be recast into s-ordering operator expansion, which is elegant in form and has many applications in deriving new operator identities. This demonstrates that Dirac's symbolic method can be merged into Newton-Leibniz integration theory in a broad way.

关键词： s-ordering operator expansion operator identities quantum mechanical representation

Multistage evolution of continental collision orogen:A case study for western Dabie orogen

在线全文

学校读者我要写书评

暂无评论

Chinese science Bulletin 2009年第15期54卷 2568-2579页

作者： WU YuanBao state Key Laboratory of geological Processes and Mineral Resources, Faculty of Earth sciences, China university of Geosciences, Wuhan 4.0074. China state Key Laboratory of Continental Dynamics, department of Geology, Northwest university, Xi’an 710069, China state Key Laboratory of geological Processes and Mineral Resources Faculty of Earth Sciences China University of Geosciences Wuhan 430074 China state Key Laboratory of Continental Dynamics Department of Geology Northwest University Xi’an 710069 China

The foramtion and evolution of collisional orogen is a prominent feature along convergent plate margins, and is generally a complex process. This article presents an integrated study of zircon genesis, U-Pb age and Lu-Hf isotope composition as well as geological characteristics for the western Dabie orogen to constrain its multi-stage evolution history. The results suggest that the formation of oceanic crust in the Huwan area was constrained at ca. 4.0―4.0 Ma, which was slightly later than the collision of the northern Qinling with the North China Block. It formed in a marginal basin in the northern margin of the Yangtze Block. The peak metamorphism of eclogite in the Huwan area occurred at ca. 310 Ma, and the timing of the initial exhumation of oceanic eclogite was about 270 Ma. The high to ultrahigh pressure (HP-UHP) metamorphic rocks in the Xinxian and the Hong'an metamorphic zones have the same ages and natures as those of the HP-UHP metamorphic rocks in the other Dabie-Sulu terrains, and also have experienced multi-stage exhumation, and thus can be taken as a coherent part of the Dabie-Sulu orogen. Therefore, the Qinling-Dabie-Sulu orogen is a typical multi-stage continental collision orogen, with an amalgamation process extending more than 200 Ma.

关键词：大别造山带大陆碰撞西部演变超高压变质岩碰撞造山带苏鲁造山带变质岩区

Transport network and flow mechanism of shallow ore-bearing magma in Tongling ore cluster area

在线全文

学校读者我要写书评

暂无评论

science China Earth sciences 2006年第4期49卷 397-407页

作者： DENG Jun1,2, WANG Qingfei1,2 , HUANG Dinghua3 , WAN Li4. YANG Liqiang1,2 & GAO Bangfei1,2 1. state Key Laboratory of geological Processes and Mineral Resources, China university of Geosciences, Beijing 100083, China 2. Key Laboratory of Lithosphere Tectonics and Lithoprobing Technology of Ministry of Education, China university of Geo- sciences, Beijing 100083, China 3. Faculty of Earth sciences, China university of Geosciences, Wuhan 4.0074. China 4. School of Mathematics and Information science, Guangzhou university, Guangzhou 5104.5, China 1. state Key Laboratory of geological Processes and Mineral Resources China University of Geosciences Beijing 100083 China 2. Key Laboratory of Lithosphere Tectonics and Lithoprobing Technology of Ministry of Education China University of Geosciences Beijing 100083 China 3. Faculty of Earth sciences China University of Geosciences Wuhan 430074 China 4. School of Mathematics and Information science Guangzhou University Guangzhou 510405 China

Abundant studies revealed that shallow intrusions of the Yanshanian epoch resulted in the mass mineralization of the Tongling region. Various evidences showed there existed a concealed magma chamber at ?10 km depth in the middle part of this region during Yanshanian epoch, from which the ore-forming magma was generated and then transported to the superficial layer. Yet the transport network and flow mechanism of the shallow ore-bearing magma, the key problem associ- ated with ore-forming process, was relatively little focused on. Integrate analysis of structural me- chanics, statistical fractal and geological facts suggested that NE trending high-angle fold-related thrust faults and the tessellated basement ones served as the main pathways for the shallow magma’s transporting, moreover, the saddle void spaces among adjacent strata in the folds upon this fault system provided the place for magma’s emplacement. So the folds in the upper part and faults in the lower part of the upper crust constituted the fluid’s transport and emplacement network. During the deformation of geologic body with multi-layer structure, the layers in the upper part tended to fold when received the jacking stress from the lower part, while the lower one inclined to fault undergoing loads of the upper part. And the producing probability of this structure assemblage was highly in- creased in the condition, such as in the Tongling area, that the mechanic rigidity of the lower layers was stronger than that of the upper ones. For the pre-existence of fluid-conducting network, the top magma with high volatile in the magma chamber transported rapidly to the superficial layer in dyking pattern, located in the void spaces of folds, filled and reconstructed them. The sudden drop of pres- sure caused the fluid unmixing from the magma and mass ore-forming elements concentration. Pulse activity of the dyking may be the principal reason why magmatic bodies in the Tongling area were spatially-temporally con

关键词： Tongling, structural network, magma intrusion, fractal, dyke.

Ab initio molecular dynamics simulation of the atom packing and density of Al-Ni amorphous alloys

在线全文

学校读者我要写书评

暂无评论

science China(Technological sciences) 2010年第12期53卷 3175-3182页

作者： YU ChunYan1, HUI XiDong1, CHEN Xiaohua1, LIU XingJun1, LIN DeYe1, LIU ZiKui2 & CHEN GuoLiang1 1 state Key Laboratory for Advanced Metals and Materials, university of science and Technology Beijing, Beijing 100083, China 2 department of Materials science and Engineering, Pennsylvania state university, university Park, PA 16802, USA 1. state Key Laboratory for Advanced Metals and Materials University of Science and Technology Beijing Beijing 100083 China2. Department of Materials Science and Engineering Pennsylvania State University University Park PA 16802 USA

Al-Ni alloys have better glass forming ability (GFA) than other Al-based alloys. However, the relationship among the atomic arrangement, glass transition, packing density and composition hasn’t been systematically studied. In this paper the ab initio molecular dynamics simulation (AIMD) was performed on the atom packing and density of AlxNi100-x (x=80, 83, 85, 86, 87 and 90) alloys. The pair correlation function and Voronoi tessellation indicated that there are obvious topological and chemical short-range orders in these alloys. The topological structure consists of Al-centered icosahedra like and Ni-centered tri-capped trigonal prism (TTP) like polyhedra. There is strong chemical short-range ordering between Al and Ni atoms indicated by the bond-length of Al-Ni pair shorter than the sum of the radii of Al and Ni atoms, which increases with the increasing of Ni content. It is shown that the densities of amorphous alloys don’t agree with the linear law with a peak at x=85. Based on the features of the structure and density, it is concluded that Al-Ni alloys at x=84.86 have high GFA, which can be extended to multi-component Al-based alloys.

关键词： AIMD Al-Ni alloys density short-range order chemical short-range order

Fuzzy tolerance quotient spaces and fuzzy subsets

在线全文

学校读者我要写书评

暂无评论

science China(Information sciences) 2010年第4期53卷 704-714页

作者： ZHANG Ling1 & ZHANG Bo2,3,4. 1Computer science & Technology College, Anhui university, Anhui 230039, China 2state Key Laboratory of Intelligent Technology and Systems, Beijing 100084. China 3Tsinghua National Laboratory of Information science & Technology, Beijing 100084. China 4.nformation science & Technology College, Computer science & Technology department, Tsinghua university, Beijing 100084. China 1. Computer science & Technology College Anhui University Anhui 230039 China2. State Key Laboratory of Intelligent Technology and Systems Beijing 100084 China3. Tsinghua National Laboratory of Information Science & Technology Beijing 100084 China4. Information Science & Technology College Computer Science & Technology Department Tsinghua University Beijing 100084 China

The structure and characteristic of fuzzy subsets are discussed by using the concepts of granulation and hierarchy in quotient space theory. First, the equivalence relation based quotient space theory is extended to the fuzzy tolerance relation. Second, the isomorphism and its discriminant of fuzzy tolerance relations are discussed. Finally, by using the fuzzy tolerance relation to define the fuzzy subset, its properties are addressed. The main results are given below: (1) several equivalent statements of fuzzy tolerance relations; (2) the definition of isomorphism of fuzzy tolerance relations; (3) the isomorphic discriminant of fuzzy tolerance relations; (4. the definition and properties of fuzzy subsets based on the fuzzy tolerance relations; and (5) the necessary and sufficient condition of the isomorphism of fuzzy subsets. These results will help us further comprehend the concepts of fuzzy tolerance relations and fuzzy subsets.

关键词： Fuzzy tolerance relation quotient space isomorphism fuzzy subset