使用NWA对组合web服务进行可达性分析

为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证.     

《附释文互注礼部韵略》“互注”异音考析

宋代《附释文互注礼部韵略》的互注,是多音字的异读在不同处的加圈异注,即又音互见。该书为1419个多音字头共加3048圈,这些异读主要有同义异音、专名音变、音变构词三大内容。该书作为科考用书具有简明、通用的特点,对《广韵》、《经典释文》等的异读有传承也有取舍和发展,运用了加圈互注的音义分析方法来辨音明义并考词定字,反映了音变构词批量生成古今字的历史进程。     

传播学原理在战时舆论引导与控制中的运用

战争时期，谋略化地运用新闻传播学的方法技巧，做好舆论的引导与控制，对于统一军民思想意志，争取国际舆论支持，瓦解敌方民心士气，都具有重要的战略意义。笔者在此仅运用“议程设定论”、“媒介现实论”、“沉默螺旋论”等最常见的传播学原理来探讨战时舆论引导与控制的基本途径。     

我国体育应用数学发展概况

本文对我国体育界应用数学的发展状况分两个学科──体育统计学与体育数学，作了综述与展望。并指出，新兴的体育计算数学的主要发展趋势是：微观上形成多学科分支，宏观上与其它学科一同归并成一个更为坚实的高层次学科──体育数学。     

《三国演义》深层意蕴发凡

从《三国演义》所描写的三国彼此问的政治军事斗争，阐释封建皇朝是个诸种社会危机的庞大载体，皇权专制的封建统治使中国封建社会的全部历史形成一个“分久必合，合久必分”，亦即由治而乱、由乱而治的周期性恶性循环的客观过程。     

齐鲁籍作家王禹偁在宋代文学史上的地位

作为宋初文坛“白体”诗的代表作家和“复古派”的核心,齐鲁籍作家王禹偁以丰富而优秀的创作实绩著称于世。本文结合其文学主张及诗文作品,论述了王禹偁为宋初文坛摆脱颓糜之风,重新走上健康发展的道路所做出的独特贡献。     

嘉应诗人与诗界革命(上)

在梁启超、夏曾佑等人于 1 896年前后创作“新学之诗”和 1 899年梁启超提出“诗界革命”口号之前 ,黄遵宪以“我手写我口”为代表的诗歌变革理论及其“别创诗界”的“新派诗”,在一直与京城隔离的环境中独立地发展了二三十年 ,成为诗界革命的最初源头。无论是诗界革命发生的理论准备还是后来的领袖人物 ,嘉应诗人都占了半壁河山 ,可以断言 ,嘉应诗人对“诗界革命”做出了特殊的贡献。独特的地理条件和文化环境使嘉应诗人走在诗国“变法”的前列 ,嘉应诗人与“诗界革命”的关系 ,揭示出嘉应和岭南文化在中国近代文化史上的独特意义。本文上篇论述黄遵宪与“诗界革命”发生的关系。现行的中国文学史对诗界革命的发生描述不正确 ,黄遵宪早于梁启超二三十年就提出了后来视为“诗界革命”思想的核心理论 ,并同时开始创作“新派诗”。黄遵宪的诗歌革新理论内容丰富、自成体系 ,是其思想文化革新理论的组成部分 ,它表达了诗歌革新和全面进行思想文化革命的时代要求     

构造菜单驱动的FOXPRO应用程序开发环境

结合Foxpro的特点,论述了通用菜单驱动器的设计思想和实现方法,提供了一种简易方便的应用程序开发环境,使软件用户界面的主流──菜单屏幕设计变得简洁方便,同时介绍了几种情屏技巧     

三环顶球的制作与演示

本文介绍一种演示视觉暂留现象和颜色合成的实验装置——三环顶球,简述该装置的制作过程和操作方法。     

知识嵌套结构模型

经分析发现目前研究并没有揭示知识结构规律.为此,本文提出了仿生学演绎研究方法,由生命结构模型推理建立了知识嵌套结构模型.经实证研究,该模型揭示了知识结构规律是知识嵌套结构规律,并推导出了知识管理的新思维与内容.该研究是现有成果的突破,具有重要的科学意义.