Shallow Linear Action Graphs and their Embeddings

Action calculi, which generalise process calculi such as Petri nets, π-calculusand ambient calculus, have been presented in terms of action graphs. We here offer linear action graphs as a primitive basis for action calculi. This paper presents the category of embeddings of undirected linear action graphs without nesting, using a novel form of graphical reasoning which simplifies some otherwise complex manipulations in regular algebra. The results are adapted in a few lines to directed graphs. This work is part of a long-term search for a uniform behavioural theory for process calculi. Received October 2000 / Accepted in revised form April 2001     

The effects of glycol methacrylate as a dehydrating agent on the dimensional changes of liver tissue

The dimensional changes of liver sections during the course of processing with glycol methacrylate (GMA) or with ethanol are described. Tissue processing with ethanol served as a control. During prolonged processing steps (24 h each), linear shrinkage of tissue specimens dehydrated with GMA at room temperature was 13.2%. Subsequent infiltration with GMA resulted in trivial swelling, and polymerization in slight shrinkage (2.3%). In comparison, processing with cold GMA resulted in shrinkage during dehydration (about 10.8%), a slight swelling in pure GMA, followed by shrinkage during polymerization (2.2%). Short routine processing schedules resulted in similar shrinkage/swelling patterns, although precise values differed slightly. In all experiments, ethanolic dehydration resulted in smaller dimensional tissue changes than did GMA dehydration. The dimensional changes of tissue sections during stretching on water, mounting and drying compensated for the major part of the shrinkage manifested during processing.     

一种混沌信号去噪方法的研究

以Takens嵌入定理和影子定理为理论依据，提出一种能对混沌信号去噪的局部投影方法。该方法不需潜在动力学系统的先验知识，符合工程实用的要求。通过实验结果表明这种方法对混沌信号去噪很有效。     

一种新的图像水印方案

目标区域是图像中视觉上最重要的部分。针对现有的水印算法很少考虑图像中确定的目标区域这一问题，提出了一种基于目标区域的水印方案(WIOR)。方案首先利用小波变换分析图像的目标特征，并依据图像的小波高频系数特征对其进行聚类，获得水印的嵌入域，在此嵌入域中，选择小波系数并对其进行量化调制来嵌入二值扩谱水印；同时，通过只在图像的局部区域内嵌入较少的水印信息来改善水印的隐蔽性。实验结果表明，该方案对于一类具有突出目标特征的图像具有较好的效果。嵌入的水印主要优势在于真正把水印嵌入图像的视觉重要部分，从而能有效地抵御剪切攻击，而且可以实现盲检测。     

基于音频数字水印的空间定位技术研究

深入研究了利于音频数字水印实现空间定位的技术思想,提出了一种在数字音频中嵌入水印信息后,实现对声源的空间定位算法,详细阐述了该算法的设计思想,并分别给出了音频数字水印的嵌入过程和数字水印的提取过程。     

基于局部线性嵌入和支持向量机回归的TBM施工参数预测

依托吉林引松工程开展隧道掘进机（TBM）施工参数预测研究,提出TBM施工数据分段提取算法,提取上升段前30 s的总推进力、刀盘转速、推进速度、刀盘扭矩、刀盘转速电位器设定值、推进速度电位器设定值、贯入度、贯入度指数(FPI)、扭矩切深指数(TPI)9个参数作为输入;通过局部线性嵌入（LLE）完成对上升段数据特征的降维;基于支持向量机回归（SVR）建立TBM施工控制参数（推进速度、刀盘转速）和负载参数（总推进力、刀盘扭矩）预测模型. 分析是否结合前一掘进循环的FPI、TPI指数进行预测对预测效果的影响. 结果表明,上述方法在推进速度、刀盘转速、总推进力、刀盘扭矩的预测中均取得了较好的预测效果,平均预测绝对百分比误差均小于15%,验证了该预测方法的有效性,该方法可以为TBM现场施工提供指导.     

LDE融合光谱回归分类的光照变化人脸识别

针对光照变化人脸识别问题中传统的光谱回归算法不能很好地进行特征提取而严重影响识别性能的问题,提出了局部判别嵌入优化光谱回归分类的人脸识别算法。计算出训练样本的特征向量;借助于数据的近邻和分类关系,利用局部判别嵌入算法构建分类问题所需的嵌入,同时学习每种分类的子流形所需的嵌入;利用光谱回归分类算法计算投影矩阵,并利用最近邻分类器完成人脸的识别。在两大人脸数据库扩展YaleB及CMU PIE上的实验验证了该算法的有效性,实验结果表明,相比其他光谱回归算法,该算法取得了更高的识别率、更好的工作特性,并且降低了计算复杂度。     

基于Hilbert曲线和位置自调节法的图像版权保护算法

以小波的相关理论为基础,先把水印图像预置乱处理,对宿主图像直接进行小波包分解,之后将水印的低频部分和中高频部分分别采用Hilbert曲线扫描和位置自调节法嵌入到宿主图像中,嵌入强度可根据图像的内容自适应调节。通过实验观察,新算法在抗压缩和抗剪切性能有所提升,同时隐蔽性和抗噪能力也得到了较大改观,结果充分说明该算法是一种性能较为优良的图像版权保护算法。     

细胞固定化催化生产精细化学品的研究进展Q

摘要：细胞固定化技术具有流程简单、生物相容、操作稳定等优点，可有效保证细胞活性，实现高效的细胞催化生产精细化学品。本文介绍了表面附着、凝胶包埋、聚电解质层层自组装膜等多细胞固定化方法，及其在二元醇、生物乙醇、乳酸、酯、多糖等精细化学品生产中的研究现状和进展，并分析讨论了各种方法存在的问题。同时，总结了近年来新发展的单细胞纳米涂层固定化方法的机理、趋势及应用于精细化学品生产的可能性。最后对细胞固定化催化生产精细化学品面临的技术挑战及研究方向做出展望，以期为精细化学品生产提供一定的技术支持。