期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
SDL语言动态语义模型的研究 被引量:1
1
作者 宋瑾钰 魏仰苏 《计算机应用》 CSCD 北大核心 2004年第11期50-51,共2页
介绍了SDL系统规范,基于通信扩展有限状态机CEFSM的SDL进程。系统最重要的属性是行为,动态语义模型用元进程描述系统可观察的行为。研究了ITUZ.100建议附件F中元进程的划分,提出一种新的元进程定义,并举例描述了SDL系统的动态语义模型。
关键词 SDL 系统规范 通信扩展有限状态机 元进程
下载PDF
论亚洲货币合作的背景与可行性
2
作者 胡莎莎 《中国商界》 2008年第5期34-34,共1页
随着经济全球化和区域一体化的发展,亚洲各国经济联系加强,为了应对金融动荡和推动自身经济社会的发展,各国迫切感受到亚洲货币经济合作的重要性。本文从最有货币理论出发解释了区域货币合作的理论基础,然后分析了亚元构想的背景和可行... 随着经济全球化和区域一体化的发展,亚洲各国经济联系加强,为了应对金融动荡和推动自身经济社会的发展,各国迫切感受到亚洲货币经济合作的重要性。本文从最有货币理论出发解释了区域货币合作的理论基础,然后分析了亚元构想的背景和可行性及建议可行的亚元进程。 展开更多
关键词 经济全球化 亚洲货币 亚洲各国 区域 货币理论 经济社会 经济联系 经济合作 金融动荡 货币合作 元进程 一体化 解释 基础
下载PDF
Co-integration Analysis of the Effect of Population Urbanization on Urban-rural Income Gap in Jiangxi Province
3
作者 He Yinjuan 《International English Education Research》 2015年第6期19-21,共3页
This paper selects related data on the urbanization and the incomes of urban and rural residents in Jiangxi Province from 2000 to 2014, applies the theory of co-integration by Eviews Software, meanwhile, studies and a... This paper selects related data on the urbanization and the incomes of urban and rural residents in Jiangxi Province from 2000 to 2014, applies the theory of co-integration by Eviews Software, meanwhile, studies and analyzes the population urbanization and the income gap between urban and rural residents in Jiangxi Province through establishing an index system. Results: There is a cause-and-effect relationship, as well as duality, between the urban-rural income gap and the level of population urbanization in Jiangxi Province. With continuous promotion of the urbanization course in 1990-2014, the income gap between urban and rural residents in Jiangxi Province presents a phenomenon of expanding first, narrowing second and expanding again. 展开更多
关键词 Jiangxi Province URBANIZATION Income gap between urban and rural residents
下载PDF
Test of a low-mass contact binary model by comparing the relations obtained from theory with those from observations 被引量:1
4
作者 SONG Fen HUANG RunQian 《Science China(Physics,Mechanics & Astronomy)》 SCIE EI CAS 2012年第4期706-716,共11页
The W UMa-type contact binaries have been observed for several decades.To construct the evolutionary model for W UMa-type contact binaries,many difficulties were encountered due to the existence of complicated physica... The W UMa-type contact binaries have been observed for several decades.To construct the evolutionary model for W UMa-type contact binaries,many difficulties were encountered due to the existence of complicated physical processes in such systems.The model introduced by Huang,Song and Bi includes some special and unique understandings of the physical processes of contact binaries.It is necessary to test whether this model can be used for W UMa-type contact binaries.The best way to test a theoretical model is to know whether this model can explain the observational phenomena of such systems.For this aim,a comparison is performed for the relations of mass-luminosity,mass-radius,and the distribution in the HR diagram obtained from the model introduced by Huang et al.and those from the astronomical observations.The result of the comparison indicates that this model can be applied to W UMa-type contact binaries and can explain the observational phenomena of such binaries. 展开更多
关键词 binaries: close stars: evolution stars: fundamental parameters stars: rotation
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部