基于扩展XACML的策略管理

在XACML（extensible access control markup language）和其管理性策略草案的基础上，针对目前XACML访问控制框架的特点，提出将XACML策略管理权限判定归结为利用委托策略对一个委托判定请求的判定，使用XML（extensible markup language）模式定义了此委托判定请求语法，描述了将策略管理请求规约为一个委托判定请求的过程，以及根据委托策略进行委托判定请求的判定过程，通过这种方法可以利用委托策略，对策略管理请求是否有效进行判断，从而实现基于扩展XACML的策略管理。

高性能的XML解析器OnceXMLParser

XML(extensible markup language)解析器是分析、处理XML文档的基础软件.研究高性能验证型XML解析器的实现.开发了支持3种解析模型的XML解析器OnceXMLParser,该解析器通过了严格的XML兼容性测试和API兼容性测试.OnceXMLParser具有轻量级体系结构并进行了多方面的性能优化,包括高效的词法分析、基于统计分析的自动机实现、合理的资源分配策略以及语言层次上的优化.性能测试结果表明,OnceXMLParser具有出色的解析性能.

语义Web规则标记语言OWLRule+的设计与实现

语义Web是对未来Web体系结构的一个伟大设想 ,其研究分层次进行 目前足够成熟的最高层是以OWL语言为代表的ontology层 但它的语义仅限于描述逻辑 ,该逻辑主要表示对象和类的层次结构 ,而规则的表达能力弱 因此在其之上需要一种表达力更丰富的逻辑语言 设计了一种新的语义Web规则标记语言OWLRule+:其语法扩展了OWL ;语义基于CARIN ,一种结合描述逻辑和Horn规则的表示语言 ;实现基于Jess规则推理机 实例学习展示了它对目前的Webontology语言在规则表示和推理能力上的扩展

基于网络数据库的分子结构式的动态显示

讨论了在网络数据库环境中动态显示分子结构式的问题。数据库中存储分子的结构信息,在检索时动态生成分子结构式图,图形格式为SVG。SVG是一种矢量图形格式,又是一种基于XML的置标语言。用SVG可以动态创建分子结构式图形,而且文件是文本文件,体积小,易于编辑和信息交换。文中给出了从数据库中提取数据,动态生成分子结构式图形的方法。

基于SP95标准的工厂模型设计与建模方法研究

为解决当前数字化工厂模型所存在的实时性不强和集成性不足等问题,提出了使用管控系统间集成通用标准--SP95标准进行数字化工厂建模。在应用SP95标准对工厂模型进行定义和描述的基础上,结合国内离散企业中的实际情况,提出了一种扩展的工厂模型。该模型在SP95标准的基础上扩展了料架和变量两个元素,并介绍了其实现方式和作用。通过SP95标准提供的功能,扩展了基于可扩展标记语言技术的制造标记语言的Schema结构,为业务系统集成提供统一的数据共享格式。最后给出了一个构建工厂模型的实例,验证了所提出的模型。

function definition language fdl and its implementation

A Function Definition Language (FDL) is presented. Though designed for describing specifications, FDL is also a general-purpose functional programming language. It uses context-free language as data type, supports pattern matching definition of functions, offers several function definition forms, and is executable. It is shown that FDL has strong expressiveness, is easy to use and describes algorithms concisely and naturally. An interpreter of FDL is introduced. Experiments and discussion are included.

yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

combining cfg and recursive functions to get a new language

We propose a new functional programming language(FPL) which differs in some aspects from most well known FPLs[l].We descrihc the prohlmm domain,the language,explain why we need it.

smoothing document language model with local word graph

ACM SIGIR; ACM SIGWEB