摘要：产品价格和质量是消费者永恒的关注点。虽然多渠道给消费者带来了便捷的购物途径,但是不同渠道的产品存在质量和价格分差异,消费者在购买时须面对一个渠道、价格和质量的协调选择问题。本文提出了消费者对产品质量和价格偏好的双渠道定价决策模型,并讨论了以制造商为领导者的分散决策和集中决策情形下的最优策略。比较了消费者偏好及产品质量水平对不同决策情形下的供应链决策的影响,并通过设计收益共享契约机制实现了渠道的协调并证明了其有效性。研究表明:当产品质量在一定范围内时,制造商和零售商可以获得最大利润;当消费者对质量的偏好逐渐增加时,制造商的利润和零售商的利润随着消费者对质量的偏好提高而下降;制造商和零售商可以通过协调销售价格消除供应链的双重边际效应,从而实现供应链的协调。最后利用算例分析了消费者的质量、价格偏好对总利润的影响并给出了相应的管理启示。

摘要：论述并行文件系统的工作负载特征——基于空间和时间的文件访问模式,并对非连续数据访问技术进行比较研究;给出并行文件系统设计的原则与目标,最后提出并行文件系统的框架。

摘要：与常规双包层光纤相比,空气包层大模面积光子晶体光纤更适用于高功率激光器的研制。介绍了高功率光子晶体光纤激光器研究的最新进展,分析了耦合系统和谐振腔设计中所存在的不利于功率提高的因素,指出低损耗的熔接技术是光子晶体光纤激光器达到更高功率的关键。

摘要：利用基于UML的面向方面编程(AOP)技术来建模实时系统,把实时关注从系统中分离出来,形成一个独立于系统的时间方面,实现时间方面的并发设计和系统时间特性的统一管理。AOP技术允许把设计好的时间方面根据需要重新织入系统,组合为实时系统。模型从系统的静态结构模型、动态行为模型和时间方面的织入等几部分来建模实时系统,并扩展了UML来表达AOP技术和时间概念,提高软件的重用性。一个电梯控制系统例子用来说明了这种建模方法。

摘要：分布式实时系统的实时特性可以利用面向方面软件设计方法来建模,把时间方面细分为确定的时间子方面、不确定的时间子方面和模糊时间子方面。根据面向方面技术,不同的时间子方面分别利用随机实时时序逻辑(SQTL)和模糊时间Petri网(FTN)来表示,并且每个不同形式化语言表示的子方面模型能够通过转化为时间自动机织入系统,实现系统的实时特性。

摘要：软件重构在不改变程序行为的情况下通过对代码进行小的改进以提升设计,使之更容易理解和维护,面向方面的程序设计是软件开发的新技术,为了有效实施面向方面的软件重构,需要开发者识别面向方面程序的转化规则。然而,由于使用的AOP语言没有形式化的语义定义,难以确认转化和重构的程序运行行为。本文对MCI操作语义的面向方面的扩展使之支持程序的方面特征的描述,定义了两个程序的观测等价,讨论了AspectJ的形式语义模型的建立,在MCI的语义下形式化地精确证明了AddBefore-executing编程规则的观测等价性,其基本原理和方法可以适用于其他规则的证明,通过上述工作提出了面向方面重构的程序和它的面向对象程序原型等价性的证明方法。

摘要：本文在讨论虚拟图书馆与网络技术的基础上 ,指出虚拟图书馆的建设应以网格为基础平台进行。本文还给出了基于网格技术的虚拟图书馆设想 ,并分析了基于网格技术的虚拟图书馆设计过程中的一些关键问题。

摘要：实时数据库根本目标就是使满足截止时间的事物数量为最大,因而,管理和支持优先考虑时间的事务处理是非常重要的。然而,随着实时计算的迅速发展,安全成了许多实时应用另一个必须考虑的问题。因此,在多级实时数据库系统中,提出一种结合实时性和安全性的方法是非常必要的。本文陈述了实时系统设计者应该考虑的实时性和安全性,描述了一种规范语言允许设计者在适当的级别设定数据库的重要属性以支持部分安全并探讨了一种自适应方法以达此目的。

摘要：文章叙述了网格的基本概念,对基于网格的数字图书馆设计过程中的一些前沿问题进行了理论的研究和探讨,并给出了一些解决方案,这些解决方案对基于网格的数字图书馆的建设具有重要意义。

摘要：叙述了数字图书馆的特性 ,给出了基于语义网的数字图书馆构想 ,并讨论了基于语义网的数字图书馆设计过程中的一些关键问题。