玉林桥背话音系

桥背话属闽南次方言，通行于广西王林市茂林镇上桥背、下桥背和石圳塘等几个自然村。本文具体地描写桥背话音系，包括声韵调及其特点，并列出同音字表。     

Vmware workstation在计算机装调与维护实训中的应用

介绍《计算机装调与维护》公选课程的特点,硬件组装和软件安装部分的教学方法,使用VMWare workstation虚拟机解决操作系统安装方面遇到的困难,及如何利用VMWare workstation安装操作系统。     

基于SOA和价值模型的采购物流系统建模分析

通过面向服务的架构(SOA),来搭建采购与物流一体化的服务系统,降低系统的成本.为了弥补SOA在服务质量分析方面的不足,将价值模型引入SOA的服务体系中,从功能性和非功能性两方面对顾客需求进行形式化描述;采用扩展的UML时序图对服务流程进行描述;使用Pi演算及价值状态图验证目标价值的可实现性;通过价值实现程度计算函数定量计算采购物流系统对顾客需求的满足情况.最后对一个采购物流系统实例的仿真数据进行分析验证,仿真结果表明,将价值模型引入SOA服务体系可以有效弥补SOA对采购物流服务组合的服务质量分析方面的不足,并对以后的服务组合优化提供指导.     

汽轮机安全监视系统在300MW机组中的应用

以国产300MW机组为例,介绍了汽轮机安全监视系统的主要监测参数、基本组成、工作原理以及其静态调试和安装联动情况。     

另一种视域下的义和团运动——柯文《历史三调:作为事件、经历和神话的义和团》评介

文章试图通过聚焦柯文先生对义和团运动的研究,剖析其运用心理学、比较宗教学、人类学和社会学等跨学科的理论方法,研究历史记忆与现实之间的复杂关系。通过分析义和团运动引用的跨学科研究方法,最终对此事有一个全新的认识,这对于理解历史记忆与现实重构有很大帮助。     

自动信任协商安全性的形式化分析与验证

为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.     

大学科技圃运营及收益模式的探讨——基于江苏省内大学科技园的调查研究及我校大学科技园建设的探索

本文通过调研江苏省内南京理工大学科技园及南京工业大学科技园的运营及收益模式，找到了我校大学科技园的建设发展思路，解决了资金及经验不足的问题，成功地推动了我校大学科技园的建设，并确定了我校大学科技园未来发展思路。     

蓄热室顶部吸力调节

焦炉燃烧系统的稳定性主要靠蓄热室顶部吸力合理性来保障。焦炉蓄热室顶部吸力随时间不同而变化,蓄热室顶部吸力只能测量相对值。相邻蓄热室气流相关联,调节蓄热室顶部吸力要全炉整体考虑。     

SHP格式数据合并方法探讨

本文通过在ArcMap和FME环境中对SHP格式数据合并，分析几种合并方法的适用场合，并对几种方法的性能进行比较，结合在广州二调中的实际应用，得出一个针对不同环境用什么合并方法的结论。     

铁路货车闸调器调整的有效方法

通过对铁路货车闸调器在运用中存在的主要问题进行了分析,针对性地提出在实际的检修、运用中合理有效的调整铁路货车闸调器的方法。