静态SAT问题并行处理器的设计研究

针对SAT问题的复杂性及求解速度缓慢的问题，采用可重构器件FPGA设计，实现了静态回溯搜索算法SAT问题并行处理器，提出了研制动态SAT并行处理器的设想。     

Robot Pose Estimation in Unknown Environments by Matching 2D Range Scans

A mobile robot exploring an unknown environment has no absolute frame of reference for its position, other than features it detects through its sensors. Using distinguishable landmarks is one possible approach, but it requires solving the object recognition problem. In particular, when the robot uses two-dimensional laser range scans for localization, it is difficult to accurately detect and localize landmarks in the environment (such as corners and occlusions) from the range scans.In this paper, we develop two new iterative algorithms to register a range scan to a previous scan so as to compute relative robot positions in an unknown environment, that avoid the above problems. The first algorithm is based on matching data points with tangent directions in two scans and minimizing a distance function in order to solve the displacement between the scans. The second algorithm establishes correspondences between points in the two scans and then solves the point-to-point least-squares problem to compute the relative pose of the two scans. Our methods work in curved environments and can handle partial occlusions by rejecting outliers.     

食品高压装置

高压装置是研究高压食品科学、开发和生产高压食品的核心设备，能否提供性能优良、价格相对便宜的装置是高压食品产业化的关键。本文系统介绍食品高压处理装置的类型、结构、性能、特点及最新研究进展，并就如何降低高压装置造价，提高生产能力等关键问题进行探讨。     

微波萃取在食品化学中的应用

介绍了微波萃取技术在食品化学中的应用。其实质是用微波对萃取溶剂及物料加热，使溶剂的渗透率和扩散率大大提高，因此对食品营养成分或风味物质可以有铲地萃取分离。     

一种基于稳健匹配准则的视频文本跟踪方法

本文首先根据文本中各个字符的颜色相似的特性,确定已知文本块的文本的颜色,利用文本的颜色信息二值化文本图像以得到文本块中的字符数、字符的尺寸和间距;其次,根据视频图像的大小和视频的播放速度确定搜索窗口的大小,并利用文本的运动信息来预测搜索窗口的位置;第三,根据在相邻两帧中具有相同内容文本的颜色相似的特性,提出了一个可以解决脉冲噪声和部分缺损或遮挡问题的稳健匹配准则来跟踪文本块;最后,确定跟踪输出的文本的颜色、尺寸和运动方式。本文方法可以很好地跟踪平移、缩小或放大、旋转、淡入淡出和部分被遮挡的水平或倾斜排列的文本,并且可以记录文本平移、旋转和缩放的速度。     

INHIBITION OF BEER-SPOILAGE LACTIC ACID BACTERIA BY NISIN

149 strains of bacteria, mostly brewery contaminants able to spoil wort or beer, and 12 brewing strains of yeast (8 ale and 4 lager strains) have been screened using a well-test assay for sensitivity to the food preservative, Nisin (E234), Nisin inhibited growth of 92% of the gram-positive strains, predominantly lactic acid bacteria of the genera Lactobacillus and Pediococcus. In contrast, all 32 gram-negative strains tested, except 3 Flavobacter strains, were Nisin-resistant; in addition none of the brewing yeasts showed Nisin-sensitivity. Therefore. Nisin has potential applications in preventing spoilage of worts or beers by lactic acid bacteria.     

A computational study of LP-based heuristic algorithms for two-dimensional guillotine cutting stock problems

In this paper we develop and compare several heuristic methods for solving the general two-dimensional cutting stock problem. We follow the Gilmore-Gomory column generation scheme in which at each iteration a new cutting pattern is obtained as the solution of a subproblem on one stock sheet. For solving this subproblem, in addition to classical dynamic programming, we have developed three heuristic procedures of increasing complexity, based on GRASP and Tabu Search techniques, producing solutions differing in quality and in time requirements. In order to obtain integer solutions from the fractional solutions of the Gilmore-Gomory process, we compare three rounding procedures, rounding up, truncated branch and bound and the solution of a residual problem. We have coded and tested all the combinations of algorithms and rounding procedures. The computational results obtained on a set of randomly generated test problems show their relative efficiency and allow the potential user to choose from among them, according to the available computing time. Rceived: January 9, 2001 / Accepted: December 10, 2001     

Process optimisation in sunflower oil extraction by supercritical CO2

A continuous process for the extraction of sunflower oil using supercritical CO₂, featuring multiple extractors, one oil separator and three cascaded CO₂ recovery vessels operating at different pressures, was devised and studied. For every single equipment of the plant making up the process a mathematical model was built. Experimental tests—consisting in measurements of oil solubility in supercritical CO₂—were carried out in a laboratory-scale apparatus to characterise the behaviour of sunflower oil in the separation from the supercritical fluid. The mathematical model of the whole process was coded in the commercial gPROMS process modelling environment where both its simulation and optimisation—this latter assuming the overall oil production cost as the objective function—were carried out. The process- and economics-related results are discussed and compared with those obtained with traditional and cold-pressing extraction.     

Properties of Edible Films from Total Milk Protein

The mechanical properties and water vapor permeability of edible films made from various total milk proteins (TMPs) were investigated. Two TMPs obtained from nonfat dry milk (NDM) by removing lactose and three TMPs obtained from a commercial source were studied. Lactose was extracted from NDM by ultrafiltration or suspension in ethanol followed by filtration. TMP concentrate obtained by ultrafiltration (UF) produced films with the lowest water vapor permeability (WVP) and the highest tensile strength at break. Commercial TMP concentrates produced films more ductile than those from the UF-TMP or retentate from ethanol extraction. Further research is needed to improve mechanical properties of UF-TMP films without increasing the WVP.