关于扩充转移网络的研究

随着因特网的普及,计算机整体性能已经大幅提高,信息处理量也出现爆炸式增长,在这种情况下,要求计算机对我们的母语（自然语言）理解日益迫切。自然语言理解的主流技术一直是句法--语义分析。本文研究了扩充转移网络的描述语言的语法,给出了扩充转移网络的分析算法,并通过实例解析了这种算法的特点。     

格值树自动机与格值上下文无关树文法的等价性

本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下,树自动机和上下文无关树文法是等价的。同时给出了构造正规形式的等价文法的方法。     

Minimum Setup Minimum Aberration Two‐level Split‐plot Type Designs for Physical Prototype Testing

Although new technologies allow for less effort in prototyping, physical testing still remains an important step in the product development cycle. Well‐planned experiments are useful to guide the decision‐making process. During the design of an experiment, one of the challenges is to balance limited resources and system constraints to obtain useful information. It is common that prototypes are composed of several parts, with some parts more difficult to assemble than others. And, usually, there is only one piece available of each part type and a large number of different setups. Under these conditions, designs with randomization restrictions become attractive approaches. Considering this scenario, a new and additional criterion, minimum setup, to construct split‐plot type designs is presented. Designs with the minimum number of setups of the more difficult parts, which are especially useful for screening purposes in physical prototype testing, are discussed. The use of the proposed criterion combined with minimum aberration for selecting a regular design is shown through a real application in testing car prototypes. As a tool to practitioners, catalogs of selected 32‐run minimum setup minimum aberration split‐split‐plot and split‐split‐split‐plot designs are presented. More complete catalogs are available as Supporting information. Copyright © 2015 John Wiley & Sons, Ltd.     

热熔挤出过程药物在聚己内酯中的分散形态及对药物释放行为的影响

以聚己内酯(PCL)为基体、2种难溶性药物布洛芬(BF)和双氯芬酸钠(DS)为模型药物,采用热熔挤出(HME)技术制备了2种载药体系;通过差示扫描量热法、X射线衍射和扫描电镜等表征了药物在PCL基体中的分散形态,探讨了药物分散形态对其释放行为的影响。结果表明,低熔点的药物BF以无定形态均匀分散于PCL中;而高熔点的药物DS仍以结晶形态分散于PCL中(药物颗粒直径约0.5μm)。在原药溶解度相差不大的情况下,由于在挤出过程2种药物的分散形态不同,挤出产物中BF的释放速率明显快于DS。     

三维实体数据文件的建立

建立几何体数据文件是计算机图形显示的首要任务,本文介绍了简单几何体和不规则体的数据建立过程,并在微机上用Ｃ语言实现了这些算法．     

Valuations,regular expressions,and fractal geometry

Valuations — morphisms from ( _n ^* ,·,) to ((0, ), ·, 1) — are a simple generalization of so-called Bernoulli morphisms. In this paper, we show a characterization of strongly unambiguous regular expressions with the help of valuations and formal power series. We apply these algebraic results to the determination of Hausdorff dimensions of fractals described by regular expressions.     

网络社会秩序建设探析

互联网上新技术、新业务日新月异,它极大地方便了人们工作和生活的同时也出现了一些新情况、新问题,带来了一些负面影响,危及网络的安全、应用和发展。如何建立网络社会新秩序、有效规制网害,已成为亟待解决的社会问题。     

基于量子逻辑的下推自动机与上下文无关文法

给出基于量子逻辑的下推自动机(e-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的e-VPDA与状态转移为分明函数且具有量子终态的e-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(e-VCFG)的等价性.     

nSPARQL: A navigational language for RDF

Navigational features have been largely recognized as fundamental for graph database query languages. This fact has motivated several authors to propose RDF query languages with navigational capabilities. In this paper, we propose the query language nSPARQL that uses nested regular expressions to navigate RDF data. We study some of the fundamental properties of nSPARQL and nested regular expressions concerning expressiveness and complexity of evaluation. Regarding expressiveness, we show that nSPARQL is expressive enough to answer queries considering the semantics of the RDFS vocabulary by directly traversing the input graph. We also show that nesting is necessary in nSPARQL to obtain this last result, and we study the expressiveness of the combination of nested regular expressions and SPARQL operators. Regarding complexity of evaluation, we prove that given an RDF graph G and a nested regular expression E, this problem can be solved in time O(|G||E|).     

LR分析的教学法探讨

LR分析法是编译程序语法分析中最常用且有效的自下而上的分析方法,理论较完善,适用于大多数上下文无关语言的分析。本文主要探讨LR分析的教学方法,采用"启发+关联式"教学法,引导学生理解LR分析的内涵。