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

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

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.     

结构化面向对象形式规格说明语言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.     

一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．     

基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

用户界面模型与形式规格说明研究

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。     

型钢混凝土(SRC)梁受弯承载力计算方法比较

<钢骨混凝土结构设计规程>和<型钢混凝土组合结构设计规程>是现有的两部型钢混凝土设计规程,为了便于工程设计人员正确选用,对这两部规程的分析思路、并将相应的计算值与实验数据进行比较,得出两部规程不同的设计特点,并提出了现阶段存在的主要问题,最后提出一些适合工程应用的建议.     

Some Problems of Rails For High-speed Railway of China

Acciording to running experience of high-speed railway abroad,a full attention must be paid to some requirements of specifica-tion of rails for high-speed railway,such as materil mechanical properties,rimension tolernces,straightness,surface flatness and so on.It is suggested that the long-length rails should be laid in high-speed railway,and the feasibility of producing,welding and transporting of long-length rails should be researched.On the basis of technical innovation of domestic manufacturers,it is practicable to lay 50-100mlong-length rails should be researched.On the basis of producing,welding and transporting of long-length homemade rails in high-speed railway of China.The following welding programme of rails for hiah-speed railway can be adiop-ted:50-100m long-lenath rails can be welded as 500m long rail string through flash butt welding in plant,then in field the reid string can be welded through a mobile flash butt welding or thermit welding.As the specification of rails or high-seed railway is rigorous.some related techniques to long-length rails should be researched and practised as soon as possible,including mobile flash butt welding tech-nique,transporting and reinforcing techniques of lon-length rails,etc…     

我国公共图书馆标准规范内容体系构建

根据"图书馆学五要素"提出了公共图书馆标准规范的内容体系框架,包括服务与管理标准、馆藏建设标准、技术标准、工作人员标准和建筑与设备标准五大部分.