The effect of a combined InAlAs and GaAs strained buffer layer on the structure and optical property of InAs quantum dots

The character of InAs quantum dots (QD) directly deposited on a combined InAlAs-GaAs (XML) strained buffer layer (SBL) has been investigated. This growth technique realizes high-density QD (5.88 x 10(10) cm(-2)) by changing the thickness of GaAs in InAlAs-GaAs SBL. The dependence of the density and the aspect ratio of QD on the GaAs thickness has been discussed in detail. The photoluminescence (PL) measurements demonstrate an obvious redshift with the increase of GaAs thickness. In addition, the deposition of InAs QDs grown on the combined InAlAs-GaAs SBL has an important effect of the QD properties. The ordered QD array can be observed from the sample deposited by atomic layer epitaxy, of which the PL peak shows an obvious redshift in comparison to the molecular beam epitaxy (MBE) QDs when the GaAs thicknesses are equal. (c) 2004 Elsevier B.V. All rights reserved.

受限正规树文法与基于正则表达式包含判定的类型检查

XML简单灵活的特性使得XML在网络服务、关系数据库以及形式化研究等领域得到应用。同时，XML处理的技术不断发展，近期的研究表明静态类型化的处理方式在XML处理的有关方面有重要的优势。静态类型化XML处理技术是将XML的模式语言作为程序语言的基本数据类型，在程序运行之前进行静态的类型检查，从而确保运行时的类型安全。目前大多数静态类型系统采用正则表达式类型作为基本类型，正则表达式类型与树自动机是一一对应的。 子类型关系判定是类型检查中的核心问题。语义子类型的方法在静态类型化XML处理中有很多优点。在这种子类型判定方法中，类型被看成是值的集合，子类型关系判定转化为集合的包含判定。目前广泛应用的XML的模式语言如DTD、XML Schema等都是正规树语言的子类。正规树语言的包含问题是可判定的。在类型检查中，正则表达式类型的实现是基于树自动机的，子类型关系判定转化为树自动机的包含判定，效率较低。 本文提出了一种基于正则表达式包含判定的类型检查方法。由于DTD是目前使用最普遍的XML模式语言，因此本文首先提出针对DTD的类型检查方法，然后在此基础上进行扩展，提出了产生式不相交的正规树文法的概念以及针对该受限树文法的类型检查方法。DTD以及XML Schema等常用的XML模式语言均可由该树文法直接描述。在本文的方法中，子类型关系判定的过程不需要构造树自动机，而是根据类型表达式的树状结构自下而上地进行检查，每一层的检查基于正则表达式的包含判定，同时在判定过程中利用了树文法中的标号与类型之间的联系。该方法可以针对不同种类的正则表达式使用不同的包含判定算法。通过采用一种称为消除局部递归类型的策略，使得对并类型的子类型关系判定比基于树自动机的类型检查方法更加简单。本文实现了上述类型检查方法，并通过相应的实验说明该方法的可行性以及有效性。同时分析比较了已有的XML类型检查的方法与基于正则表达式包含判定的类型检查方法的优缺点。

基于扩展XACML的策略管理

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

基于SPEM2XPDL模型转换的软件过程执行

SPEM(software process engineering metamodel)是国际标准化组织制定的标准元模型,正日益成为软件过程建模领域的行业标准,但在过程执行方面,SPEM还存在不足.将软件过程看作是一种特殊的工作流,提出了一种应用工作流运行机制支持软件过程执行的方法.通过将SPEM模型转换为XPDL(XML process definition language)模型,利用XPDL引擎支持SPEM模型的执行.制定了SPEM和XPDL之间的映射规则,设计了转换算法并开发了转换引擎.该方法被应用在SoftPM项目中,成功地基于XPDL引擎Shark实现了对软件过程模型的执行支持.

基于QoS的Pareto最优的服务选择

随着越来越多的服务能够满足用户的功能需求,需要一种策略基于服务的多种QoS属性来帮助用户选择合适的服务。以XML描述服务的QoS属性,提出了一种基于QoS的Pareto最优的服务选择策略,选择出那些不在所有的QoS属性上劣于其它服务的服务。实验结果表明,与随机选择和偏好导向的选择策略相比,Pareto最优策略有独特的效果。

移动环境下的服务描述和服务匹配研究

服务发现与资源定位是移动环境下进行信息共享、处理的前提,服务描述和服务匹配策略是其中的关键问题,服务的多样性、异构性以及移动环境的动态性使得这些问题更加复杂。该文提出一种支持服务多样性和异构性的服务描述模型,针对此模型设计并实现了高效的存储结构和包括精确匹配、部分匹配的服务匹配策略,实验结果表明该策略的服务匹配性能优于基于XML的XPath方式。

高效DOM实现的技术研究

DOM是目前为止唯一成为W3C正式标准的XML解析模型。本文充分考虑了DOM模型的特点,设计并实现了一个高性能的支持DOM的XML解析器OnceDOMParser。为了提高DOM实现的性能,我们采用用户堆提高对象管理的效率,减少对象在JVM中创建的数量,并采取了数据的延迟装载策略。OnceDOMParser经过了严格的XML兼容性测试和DOM API兼容性测试,多方面的性能测试表明OnceDOMParser性能优越,其平均吞吐量比目前最流行的XML解析器Xerces高43.7%左右。

一个面向电子政务的信息交换与共享平台的设计与实现

基于J2EE、XML等技术,设计并实现了一个面向电子政务的信息交换与共享平台.对平台的总体结构、元数据定义与管理、数据交换模式等关键问题进行了论述,最后给出了平台的模块实现.该平台已经应用于北京市信息资源管理中心,实现了遥感信息、区县图层、企业基础信息等资源的交换与共享.

一种笔式用户界面软件领域模型及其应用

笔式用户界面软件以其自然、高效的交互方式，在很多领域中有着广泛的应用笔式用户界面软件具有以交互为中心、用户个性化需求高的特点，由此也决定了用户在软件设计中的主导地位“用户为中心的设计的关键问题在于，如何使用户的思想如实地反映到设计中通过建立笔式用户界面软件特征模型PUIDM(the domain model for pen—based user interface software)，构造了一个连接用户与软件设计的平台．从上下文、软件实体、界面特征、体系结构等角度，对该模型的建立进行分析．并给出了相应的XML描述在此基础上，描述了用户使用该模型进行软件设计的过程实例表明，PUIDM能够正确引导用户进行设计，将用户意图充分地引入到软件设计和最终实现中，使软件满足可用性要求。

船载综合信息显示系统设计与实现

船载综合信息显示系统是以船用计算机网络为平台，将卫星导航、数据采集、重点部位监控等功能集成为一个综合的船舶计算机网络信息显示系统，用来提高整个船舶的动态信息实时获取与显示能力和现代化管理水平。在船载综合信息显示系统的开发过程中，存在着软硬件相兼容的问题；同时，由于船载设备种类多、数据量大，对信息系统的性能和可靠性都具有较高的要求。 本文以“科学三号”海洋科学考察船的综合信息显示系统的设计和开发过程为例，从体系结构、信息流程和实现方法三个方面对船载综合信息显示系统的实现过程进行了详细描述。 本文结合“科学三号”考察船的实际信息网络环境，设计船载综合信息显示系统的实际架构。采用C/S三层架构，将船载综合信息显示系统分为服务器端软件和客户端软件二部分。对于服务器端软件，介绍了船载设备的信息流程和信息技术。通过利用XML标准化数据格式，提高了数据存储、传输的性能和灵活性；通过利用UDP实现高性能传输，并对传输的可靠性加以扩展。对于客户端软件，可以实时显示服务器端转发的各种传感器数据，并对符合国际标准的电子海图的显示进行了研究。 在文章的最后，给出了已经实现的原型系统，证明上述的技术方案是具有可行的，并且能够达到预想的目标。

总线型多工作流引擎接口系统的研究与应用

该文针对如何使不同企业,不同平台的多个工作流引擎协调工作,同时使工作流引擎和日趋增加的客户端、数据源更好地交互,提出了将表示、转换、时序控制功能从原有的应用层分离出来,形成总线模型的架构。以建筑业企业动态联盟工程为例,描述了建立该模型所用的方法、结构和技术。该模型为工作流管理系统的建模提供了新的思路。

一类基于IPO的工作流过程建模语言规范分析

在工作流管理系统中,过程模型信息的交换是通过过程建模语言来实现的。不同的过程模型由其专有语言来定义,它们的表达方式可作为选择建模语言的基准。该文首先介绍现已存在的工作流过程建模语言的分类,然后针对其中的一类,着重对两个比较典型的过程定义语言规范进行了分析和比较。

石化企业MES数据集成平台的设计与实现

论文结合石化企业的数据组织现状和应用需求,提出了由数据转换层、数据集成层和数据接口层组成的石化企业数据集成平台的三层体系结构,三层体系结构的划分使得数据集成平台具有良好的开放性和可扩展性。设计了基于消息中间件、XML技术和适配器技术的数据集成平台的技术架构。论文提供了一个石化企业数据集成平台的整体解决方案,它对企业数据集成平台的建立具有很大的指导意义。

商务智能中数据分析代理(DAA)模式的研究与实践

在介绍了数据分析代理的概念后,提出了数据分析代理模式的体系结构,讨论了在不同类型企业中数据分析代理的具体应用模式企业内代理模式和企业外代理模式,对比分析了数据分析传统模式和代理模式二者之间特点,最后举例说明了数据分析代理模式在企业中的具体实践。