基于SDL的通信软件维护模型SMM

软件维护是软件生存周期的一个重要且花费很大的阶段，维护工作的自动化是软件行业十分迫切的需要。本文提出了一个基于ＩＴＵ－ＴＳＤＬ语言的通信软件维护模型ＳＭＭ。在此模型中，软件维护被分成三个部分：建立面向维护的数据库，制定维护规范和基于功能转换的自动维护。该模型将有助于软件维护支撑环境的建立     

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

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

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

A Compositional Framework for Hardware/Software Co-Design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.     

石家庄市CATV系统网络技术指标分配初探

在ＣＡＴＶ系统网络工程设计中，技术指标的分配产关键问题。本文介绍了石家庄市在系统设计时采用的符合实际的设计程序，并对系统前端，传输及用户网各部分技术指标的确定，计算与分配方法，指标的核算等作了较详细地阐述，以供同行参考。     

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.     

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.     

Indirect test of M-S circuits using multiple specification band guarding

Testing analog and mixed-signal circuits is a costly task due to the required test time targets and high end technical resources. Indirect testing methods partially address these issues providing an efficient solution using easy to measure CUT information that correlates with circuit performances. In this work, a multiple specification band guarding technique is proposed as a method to achieve a test target of misclassified circuits. The acceptance/rejection test regions are encoded using octrees in the measurement space, where the band guarding factors precisely tune the test decision boundary according to the required test yield targets. The generated octree data structure serves to cluster the forthcoming circuits in the production testing phase by solely relying on indirect measurements. The combined use of octree based encoding and multiple specification band guarding makes the testing procedure fast, efficient and highly tunable. The proposed band guarding methodology has been applied to test a band-pass Butterworth filter under parametric variations. Promising simulation results are reported showing remarkable improvements when the multiple specification band guarding criterion is used.     

Image enhancement using divide-and-conquer strategy

Existing enhancement methods tend to overlook the difference between image components of low-frequency and high-frequency. However, image low-frequency portions contain smooth areas occupied the majority of the image, while high-frequency components are sparser in the image. Meanwhile, the different importance of image low-frequency and high-frequency components cannot be precisely and effectively for image enhancement. Therefore, it is reasonable to deal with these components separately when designing enhancement algorithms with image subspaces. In this paper, we propose a novel divide-and-conquer strategy to decompose the observed image into four subspaces and enhance the images corresponding to each subspace individually. We employ the existing technique of gradient distribution specification for these enhancements, which has displayed promising results for image naturalization. We then reconstruct the full image using the weighted fusion of these four subspace images. Experimental results demonstrate the effectiveness of the proposed strategy in both image naturalization and details promotion.     

An Information Hiding Algorithm Based on Bitmap Resource of Portable Executable File

An information hiding algorithm is proposed, which hides information by embedding secret data into the palette of bitmap resources of portable executable （PE） files. This algorithm has higher security than some traditional ones because of integrating secret data and bitmap resources together. Through analyzing the principle of bitmap resources parsing in an operating system and the layer of resource data in PE files, a safe and useful solution is presented to solve two problems that bitmap resources are incorrectly analyzed and other resources data are confused in the process of data embedding. The feasibility and effectiveness of the proposed algorithm are confirmed through computer experiments.