Boyce—Codd范式的判定与分解

给定关系模式Ｒ和函数依赖集Ｆ，当Ｘ为Ｒ的一个真子集时，判定Ｘ关于Ｆ是否为Ｂｏｙｃｅ－Ｃｏｄｄ范式（以下简记为ＢＣＮＦ）是ＮＰ完全的，这一问题的难点在于Ｆ在Ｘ上投影的计算，本文给出了计算函数依赖集投影的一个实用算法，将其用于ＢＣＮＦ的判定，并在此基础上建立了ＢＣＮＦ的一个无损分解算法。     

浅议高校图书馆创建特色数据库的思路与策略

阐述了特色数据库的特征,探讨了高校图书馆建设特色数据库的思路及措施,介绍了佳木斯大学图书馆自建特色数据库的现状。     

A novel three-phase trajectory informed search methodology for global optimization

A new deterministic method for solving a global optimization problem is proposed. The proposed method consists of three phases. The first phase is a typical local search to compute a local minimum. The second phase employs a discrete sup-local search to locate a so-called sup-local minimum taking the lowest objective value among the neighboring local minima. The third phase is an attractor-based global search to locate a new point of next descent with a lower objective value. The simulation results through well-known global optimization problems are shown to demonstrate the efficiency of the proposed method.     

An isomer-specific high-energy collision-induced dissociation MS/MS database for forensic applications: a proof-of-concept on chemical warfare agent markers

Spectra database search has become the most popular technique for the identification of unknown chemicals, minimizing the need for authentic reference chemicals. In the present study, an isomer‐specific high‐energy collision‐induced dissociation (CID) MS/MS spectra database of 12 isomeric O‐hexyl methylphosphonic acids (degradation markers of nerve agents) was created. Phosphonate anions were produced by the electrospray ionization of phosphonic acids or negative‐ion chemical ionization of their fluorinated derivatives and were analysed in a hybrid magnetic‐sector–time‐of‐flight tandem mass spectrometer. A centre‐of‐mass energy (E_com) of 65 eV led to an optimal sequential carbon–carbon bond breakage, which was interpreted in terms of charge remote fragmentation. The proposed mechanism is discussed in comparison with the routinely used low‐energy CID MS/MS. Even‐mass (odd‐electron) charge remote fragmentation ion series were diagnostic of the O‐alkyl chain structure and can be used to interpret unknown spectra. Together with the odd‐mass ion series, they formed highly reproducible, isomer‐specific spectra that gave significantly higher database matches and probability factors (by 1.5 times) than did the EI MS spectra of the trimethylsilyl derivatives of the same isomers. In addition, ionization by negative‐ion chemical ionization and electrospray ionization resulted in similar spectra, which further highlights the general potential of the high‐energy CID MS/MS technique. Copyright © 2011 John Wiley & Sons, Ltd.     

商务管理信息系统

介绍了商务管理信息系统设计原则、方法和有关系统实施中的技术问题，以及如何使商务管理进入科学化、规范化管理，为正确决策预测提供必要的数据。     

基于.NET的计算机开放实验室管理系统

提出了一种基于Microsoft．NET的访问DB2数据库的体系结构，并采用．NET的SOCKET技术实现了管理系统．重点介绍了该系统的设计方案，所面临的几个关键问题及解决问题的方法，以及该系统所能实现的功能。     

运用集群并行处理技术实现分布式网络排课选课系统

从高等学校学分制管理特点出发,采用集群技术设计能适应实时、大批量用户、上网时间集中的网络选课系统,重点解决了在分布的网络环境下,如何提高数据并行处理能力的问题,并给出了程序设计的基本原则和实现方法。     

基于Web方式校园网视频点播系统的设计与实现

采用JSP、Resin、JSDK、IIS、JDBC、MySQL数据库、RealSystem和WindowsMedia流媒体技术在Windows2000AdvanceServer平台上开发出基于Web方式的校园网视频点播系统，实现用户通过浏览器按自己需求对视频节目的点播。     

一种通用语音查询系统的设计

作者在该文中首先根据语音查询信息的特点,建立了一种通用的语音查询系统的多媒体数据库模型,然后以此为基础建立了系统模型,同时还结合一个实例对该模型的实现作了介绍。     

基于数据库的协同CAD系统设计

协同CAD系统是支持多用户协同设计的CAD系统 文中提出了基于数据库的协同设计模型 该模型支持同步和异步方式的合作 ,采用数据库来管理共享信息和协作信息 利用数据库触发器设计使数据库具有主动服务功能 ,而利用通信机制实现了服务器的主动服务 ,有效地支持了协作共享和实时同步 对协作管理着重讨论了角色管理、任务管理和数据管理 ,其中对数据管理主要讨论了数据共享、群体感知和版本问题 ,并提出了解决方案