基于Web的图书馆管理系统访问控制策略

针对基于Web的图书馆管理系统资源访问控制的动态性问题，提出了一种基于角色的访问控制策略描述方案．通过对基于Web的图书馆管理系统访问控制管理影响因素和访问控制需求的分析，结合NIST基于角色的访问控制统一模型标准，构造了一种基于角色的访问控制元模型．并在这一元模型的基础上，提出了一种紧凑的基于角色的访问控制XML策略描述语言框架．结果表明该访问控制策略描述语言框架适合表述动态环境下对图书馆资源的访问策略，提高了基于Web的图书馆管理系统资源访问的安全性．     

GRAMMATICAL COMPLEXITY OF FEIGENBAUM TYPE ATTRACTORS IN PERIODIC WINDOWS

In [7,8] the grammatical complexity of the Feigenbaurn attractor and the general Feigenbaurn attractors, generated by period - n - tupling, are studied. In this paper we study the grammatical complexity of the Feigenbaurn type attractors, including Feigenbaurn attractors and general Feigenbaurn attractors,in periodic windows. It is shown that the languages determined by these attractors are CLS and are. not CFL.     

数学分析中的一题多解问题

通过两个积分 (一个是不定积分 ,一个是定积分 )及一个极限 ,说明如何灵活使用积分法解决积分问题 ,方法灵活、巧妙 ,适用范围广 .     

论中国现代城市建筑设计中形式美的科技应用趋向

通过对结构、空间、色彩中科技应用的分析,述评了中国现代城市建筑设计中形式美的科技应用趋向。     

IPv4/IPv6翻译网关的研究

In this paper, a model of translation gateway is proposed. The communications between IPv4 network and IPv6 network are realized by using the Microsoft intermediate driver technology in environment of Windows 2000.     

Drinfeld algebra deformations, homotopy comodules and the associahedra

The aim of this work is to construct a cohomology theory controlling the deformations of a general Drinfel'd algebra and thus finish the program which began in [13], [14]. The task is accomplished in three steps. The first step, which was taken in the aforementioned articles, is the construction of a modified cobar complex adapted to a non-coassociative comultiplication. The following two steps each involves a new, highly non-trivial, construction. The first construction, essentially combinatorial, defines a differential graded Lie algebra structure on the simplicial chain complex of the associahedra. The second construction, of a more algebraic nature, is the definition of a map of differential graded Lie algebras from the complex defined above to the algebra of derivations on the bar resolution. Using the existence of this map and the acyclicity of the associahedra we can define a so-called homotopy comodule structure (Definition 3.3 below) on the bar resolution of a general Drinfel'd algebra. This in turn allows us to define the desired cohomology theory in terms of a complex which consists, roughly speaking, of the bimodule and bicomodule maps from the bar resolution to the modified cobar resolution. The complex is bigraded but not a bicomplex as in the Gerstenhaber-Schack theory for bialgebra deformations. The new components of the coboundary operator are defined via the constructions mentioned above. The results of the paper were announced in [12].

     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

Speciation of mercury in salmon egg cell cytoplasm in relation with metallomics research

Speciation of mercury in salmon egg cell cytoplasm was investigated by surfactant-mediated high-performance liquid chromatography/inductively coupled plasma mass spectrometry (HPLC/ICP-MS), where an ODS (octadecylsilica) column coated with a bile acid derivative, CHAPS (3-[(3-cholamidopropyl)-dimethylammonio]-1-propane sulfonate), was used for species separation. Prior to the speciation analysis, total Hg in the cell cytoplasm was determined by ICP-MS at m/z 202 in a flow injection mode. For the precise measurement, salmon egg cell cytoplasm was diluted five-fold with 0.1 M Tris (Tris(hydroxymethyl)aminomethane)-HNO₃ buffer solution, and the standard addition method was employed. Thus, the total concentration of Hg in cell cytoplasm was estimated to be 12.4 ng g⁻¹ on the wet weight basis. Next, the cell cytoplasm diluted five-fold with 0.1 M Tris-HNO₃ buffer solution was analyzed by surfactant-mediated HPLC with the dual detection system of a UV absorption detector and an ICP-MS instrument. Two peaks corresponding to some proteins and small molecules were mainly observed in those chromatograms. When salmon egg cell cytoplasm was diluted five-fold with 0.01 M Tris buffer solution or pure water, some precipitates appeared probably because of precipitation of hydrophobic proteins in cytoplasm. After the precipitates were eliminated with a membrane filter, the filtrate was subjected to the analysis by surfactant-mediated HPLC/UV/ICP-MS. As a result, the peaks for small molecular species of Hg were clearly observed at the retention time near 4.0 min (corresponding to low-molecular weight zone) in the chromatograms with UV absorption detection as well as with Hg- and S-specific ICP-MS detections. The small molecule bound with Hg was identified as cysteine through the cysteine-spiked experiment. In addition, the protein fraction on the chromatogram obtained by using the CHAPS-coated ODS column was further analyzed by SEC (size exclusion chromatography). Consequently, several protein peaks with molecular weight of 300, 50 and 12 kDa were observed in all the detections of UV absorption, Hg and Se, although two peaks among them were coincident in the case of S. These results indicate that Hg in salmon egg cell cytoplasm binds with proteins containing selenocysteine and/or cysteine residues in proteins.     

依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。