基于服务器端会话追踪的Web查询服务的研究

在探讨了Web查询服务的典型模型后,论文阐述了服务器端会话追踪机制的实现方式,设计了基于服务器端会话追踪的Web查询服务的典型解决方案。该设计方案可以较为安全地保存和维护客户的上下文信息,可靠地跟踪用户查询所处的状态,有效地实现有状态的Web查询服务。     

一类Feistel密码的线性分析

该文提出一种新的求取分组密码线性偏差上界的方法，特别适用于密钥线性作用的Feistel密码．该分析方法的思路是，首先对密码体制线性偏差进行严格的数学描述，分别给出密码线性偏差与轮函数F及S盒的线性偏差的数学关系；然后通过求取线性方程组最小重量解，确定密码线性偏差的上界．     

A semantic modeling approach for image retrieval by content

We introduce a semantic data model to capture the hierarchical, spatial, temporal, and evolutionary semantics of images in pictorial databases. This model mimics the user's conceptual view of the image content, providing the framework and guidelines for preprocessing to extract image features. Based on the model constructs, a spatial evolutionary query language (SEQL), which provides direct image object manipulation capabilities, is presented. With semantic information captured in the model, spatial evolutionary queries are answered efficiently. Using an object-oriented platform, a prototype medical-image management system was implemented at UCLA to demonstrate the feasibility of the proposed approach.     

On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.     

On the design of multiple key hashing files for concurrent orthogonal range retrieval between two disks

This paper concerns the following problem: given a set of multi-attribute records, a fixed number of buckets and a two-disk system, arrange the records into the buckets and then store the buckets between the disks in such a way that, over all possible orthogonal range queries (ORQs), the disk access concurrency is maximized. We shall adopt the multiple key hashing (MKH) method for arranging records into buckets and use the disk modulo (DM) allocation method for storing buckets onto disks. Since the DM allocation method has been shown to be superior to any other allocation methods for allocating an MKH file onto a two-disk system for answering ORQs, the real issue is knowing how to determine an optimal way for organizing the records into buckets based upon the MKH concept.

A performance formula that can be used to evaluate the average response time, over all possible ORQs, of an MKH file in a two-disk system using the DM allocation method is first presented. Based upon this formula, it is shown that our design problem is related to a notoriously difficult problem, namely the Prime Number Problem. Then a performance lower bound and an efficient algorithm for designing optimal MKH files in certain cases are presented. It is pointed out that in some cases the optimal MKH file for ORQs in a two-disk system using the DM allocation method is identical to the optimal MKH file for ORQs in a single-disk system and the optimal average response time in a two-disk system is slightly greater than one half of that in a single-disk system.     

One‐step production of 2,3‐butanediol from starch by secretory over‐expression of amylase in Klebsiella pneumoniae

BACKGROUND: 2,3‐Butanediol (2,3‐BD) is a valuable chemical that can be biosynthesized from many kinds of substrates. For commercial biological production of 2,3‐BD, it is desirable to use cheap substrate without pretreatment, such as starch. However, there have been few reports on the production of 2,3‐BD directly from starch. RESULTS: In this work, gene malS coding for α‐amylase (EC 3.2.1.1) precursor was inserted into plasmid pUC18K, and secretory over‐expression of α‐amylase was achieved by engineered Klebsiella pneumoniae. The extracellular recombinant amylase accelerated the hydrolyzation of starch, and one‐step production of 2,3‐BD from starch was carried out by engineered K. pneumoniae. A 2,3‐BD concentration of 3.8 g L^?1 and yield of 0.19 g 2,3‐BD g^?1 starch were obtained after 24 h fermentation. CONCLUSION: The one‐step production of 2,3‐BD from starch was achieved by secretory over‐expression of amylase in K. pneumoniae. This would simplify the process and reduce the production cost considerably by enabling use of starch with minimal pretreatment. Copyright © 2008 Society of Chemical Industry     

Oil yield and compressibility modeling during microscale expression: Criteria for linseed breeding

Seven linseed varieties were harvested at seven times before complete maturity. Microscale oilseed expressions were subsequently carried out on it. A pressure of 10 MPa was applied for 1 h under uniaxial stress. The results were characterized in terms of oil, water and mucilage content, harvest date and oil yield. The piston displacement versus time (creep curves) was described by a four‐Kelvin‐Voigt elements viscoelastic model. Parameters were derived from the model, such as the mechanical properties of seeds (compressibility moduli), showing that the viscoelastic model fits well the experimental data (R² ≈ 0.999). The modeling parameters were combined with some biochemical data in order to predict the kinetics of oil extraction.     

强激光大气传输热晕方程的积分表示

基于菲涅耳 基尔霍夫近似，运用格林函数方法导出了热晕方程的积分表达式，并以连续波(CW)稳态热晕为例进行了数值计算和讨论，结果表明我们所采用的方法是可行的。众所周知的菲涅耳 基尔霍夫衍射积分则是我们所得积分表达的一个特例。