Modeling workflow using XML and Petri net

Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.     

基于非确定图灵机的中文搜索引擎研究

随着Internet用户对Web信息资源需求的增加,搜索引擎技术得到迅猛的发展.针对目前中文搜索引擎大多采用基于关键词精确匹配（Accurately matched）的低智能性问题,提出一种基于非确定图灵机NTM（Nondeterministic Turing Machine）智能中文搜索引擎系统,简要介绍了非确定图灵机的基本知识,详细叙述了该搜索引擎的系统架构,系统实现的基本原理和算法.实验数据结果表明,基于非确定图灵机智能中文搜索系统在查询结果的准确性和智能性明显高于现有的搜索系统.     

从功能、文化特性到建筑形式的生成——以南雁影视艺术文化中心设计为例

本文结合南雁影视艺术文化中心设计,探讨了建筑形式的生成方法:以建筑功能为基础,提炼出其文化特性,抽象出形式信息的转译码,最终以建筑语言来表达其特定的文化意义.     

高校图书馆外文期刊利用中存在的问题及对策

分析了高校图书馆外文期刊利用中普遍存在的问题,提出了提高外文期刊利用率的若干对策。     

影印版西文图书编目格式的探讨

在论述了影印版西文图书定义和特征的基础上,探讨了影印版西文图书的编目格式,并提出实现影印版西文图书编目格式统一的设想。     

浅谈日语导游口译的语言技巧

结合导游口译的特点,从日本语言文化关系的角度探讨了日语导游口译的语言技巧：吸引游客的自我介绍技巧;形象、多样、类比的景点解说技巧;符合日本文化价值观的交谈技巧。     

文献主题词与关键词的标引检索发展趋势

通过比较主题词法与关键词法的功能,分析两种方法在网络文献信息标引检索中的应用,探讨了网络环境下检索语言的发展趋势。     

C—S语言的设计与实现

在构造出C语言的子语言C—S语言的语法法描述的基础上,按照编译方法的基本步骤,设计构造了C—S语言,作为一个在C语言环境下的介绍编译方法的样板语言,并在文章的最后给出实例分析。     

前庭刺激对自闭症谱系障碍儿童语言障碍的疗效分析

本研究将前庭刺激与常规语言训练相结合,观察评价其对自闭症谱系障碍(Autism Spectrum Disorder,ASD)儿童语言障碍的影响。研究选取60例ASD且伴有语言障碍的儿童,随机分为对照组(n=30)和实验组(n=30)。对照组给予常规语言训练,实验组在对照组的基础上接受前庭刺激治疗(利用宇航员旋转板及Bobath球),每次训练均在治疗师的指导下进行。分别于治疗前、治疗8周后对2组患儿的自闭症儿童行为量表(Autism Behavior Checklist,ABC)语言障碍评分和儿童语言发育迟缓检查法(Sign-Significant relations,S-S法)评级结果进行评价分析。结果表明：治疗8周后,2组患儿ABC语言障碍评分较治疗前降低,S-S法评级较治疗前提高,实验组疗效明显优于对照组(P<0.05)。综上可知,前庭刺激联合常规语言训练对改善ASD儿童语言障碍的效果较单纯常规语言训练更为显著。     

保护模式下的物理硬盘读写技术研究

通过在保护模式下的WIN32汇编语言对物理硬盘、逻辑参数的读写规律的分析,给出实现使用WIN32汇编程序读写硬盘的关键程序段,为文件被意外删除的数据恢复技术奠定基础.