形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

大学生践行社会主义荣辱观应正确对待的几个问题

现实生活中,部分大学生荣辱观错位的现象时有发生,要践行好社会主义荣辱观,必须正确对待以下几个问题:要树立正确的历史观;要树立正确的学习观;要树立正确的劳动观;要树立正确的人际观、诚信观;要树立正确的法纪观;要树立正确的消费观。     

经济全球化进程中的软实力与传统文化的发扬——析"和谐世界"

中国传统文化源远流长,代代相传.它是几千年中国社会发展的思想动力,也是今天中国提出构建“和谐世界“理念的思想源泉.在经济全球化曲折发展的当今时代,在不同民族和地域的文化特点与差异依然存在的情况下,减少摩擦、增加共识.发扬“和为贵“、“和而不同“的思想显得更为重要.“和谐世界“思想既是对中国文化与外来文化千年交往史的经验总结,也是将中华文化中的精髓向世界做郑重推荐,更是提升了中国的软实力.     

基于Internet/Web的快速成型远程制造服务系统

从方法论研究和软件开发的角度出发,运用Ｉｎｔｅｒｎｅｔ／Ｗｅｂ网络技术,结合快速成型（ＲＰ）制造技术的发展,研究支持多用户、多制造站点的ＲＰ远程制造服务体系和相应的使能技术。建立了一套完整的支持ＲＰ远程制造系统动态运作的基础框架。为迅速、有效地共享ＲＰ制造资源做好技术上的准备。     

论英语语音含混对语义的影响及解决办法

从音系学的观点入手 ,用实例论证英语口语中连读、不完全爆破和同音异义词等所带来的语音含混 ,从而导致语音信号的受体对主体所发信号不能明确辨别 ,影响正常交际这一自然语言特征 ,并提出了有效的解决方法     

钢结构发展现状与对策

首先简要地介绍了国内外钢结构的发展现状，尤其是我省发展钢结构的前景和存在的主要问题，同时在分析论证的基础上，提出了在我国加入WTO后推广钢结构的对策和措施。     

能源领域文献计量学分析

在全球经济日新月异的今天,能源问题逐渐成为世界各国政要需要解决的头等大事,自然,如何界定、衡量、评估能源的研究与发展也已成为各国智囊的首要任务。该文独创了多管齐下的方法清晰地描述了能源领域的研究现状：从能源研究机构发表的论文中筛选出与能源研究紧密相关的关键词组执行检索命令,生成最基本的能源论文数据组,然后通过能源专业期刊以及参考文献和引文对能源论文数据组进行扩展。该方法巧妙地同时保持了较高的查全率与查准率。数据分析结果表明,自1996年以来能源领域的论文翻了一番,其中中国保持了惊人的增长速度,论文数量有了大幅攀升,且科学研究专业化程度明显提高。与此相比,许多英语国家（除加拿大的能源领域研究好于世界平均水平）的能源研究进展缓慢,逐渐失去了传统的领先优势。     

古都长安对世界历史文化的贡献及其地位泛论

古都长安是中国“七大古都”之首,作为中国古代社会历史舞台的中心长达千年之久。以此为重心上溯或下证,许许多多的历史事件、历史人物,乃至发现创造,不同程度地影响着世界文明的发展进程,对世界历史文化作出了巨大贡献,同时也在构建着自身在世界历史文化中的地位。