Coupling geometric analysis and viability theory for system exploration: Application to a living food system

This paper addresses the issue of studying a food complex system in a reverse engineering manner with the aim of identifying the set of all possible actions that makes it reach a quality target with respect to manufacturing constraints. Once the set of actions is identified, several criteria can be considered to identify interesting trajectories and control policies. A viability approach, coupling the viability theory and a geometric approach of robustness, is proposed to study complex dynamical systems. It can be implemented for several types of systems, from linear to non linear or hybrid systems. The proposed framework was adapted to a living food system: a ripening model of Camembert cheese to identify the set of states and actions (capture basin) from which it is possible to reach a predefined quality target. Within the set of viable trajectories, particular trajectories that improve the Camembert cheese ripening process are identified using the proposed approach. The results are applied at a pilot scale and are discussed in this paper.     

格值一阶逻辑LF(X)中的α-语义归结方法

自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理。首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性。     

语言真值直觉模糊逻辑的知识推理

针对格蕴涵代数、直觉模糊集及知识表示、基于语言真值直觉模糊代数的相关性质及运算方法,提出了六元语言真值直觉模糊代数的相关逻辑性质,并在六元语言真值直觉模糊知识表示的基础上,将模糊推理的CRI方法进行扩展,研究得出了六元语言真值直觉模糊推理的方法即6LTV-CRI算法。而后将直觉模糊推理与六元语言真值直觉模糊推理方法进行对比分析,验证了6LTV-CRI推理算法的合理性,并分析了其优缺点。     

低空间分辨率多源遥感数据的空间一致性分析和相对几何校正

多源低空间分辨率遥感数据在空间上的一致性对于其在全球变化研究中的集成使用有非常重要的意义。对此,以公认几何精度较高的MODIS数据为基准,对NOAA/AVHRR、FY-3/VIRR、FY-3/MERSI、FY-2/VISSR这4类国内外常用的低空间分辨率传感器的L1B数据进行了一系列相对几何精度评价和多项式相对几何校正的实验。相对几何精度评价的结果表明:MODIS数据与这4类L1B数据在几何精度上的偏差都比较大。在此基础上,选取少量均匀分布的控制点并采用不同阶数的多项式几何校正模型对多源数据进行空间一致性校正。校正结果表明:低阶的多项式几何校正模型就能对各种待校正数据的几何精度有显著的提升,使其与基准数据在空间上达到一致,满足全球变化研究对低分辨率多源遥感数据在空间一致性上的需求。     

基于MatLab的线性代数教学应用

文章针对学生学习线性代数困难原因的分析,说明在线性代数中引入Matlab进行教学改革创新的必要性。通过Matlab程序在初等矩阵教学中演示和练习,使学生能够直观形象地理解和掌握线性代数知识,为后续线性代数的学习打下牢固的基础。     

Degradation and geometric isomerization of poly(N-propargylamides)

The stability of several poly(N-propargylamides) was investigated in solution and in solid state on the basis of molecular weight change with time, and further their thermal stability was investigated by TGA. When the stability of poly(N-propargylamides) with varying pendent groups was compared, polymers with pendent groups of moderate size showed the highest stability in solution. Too short and too bulky pendent groups were not favorable for the stability of polymers. When poly(N-propargylheptanamide) (poly(6)) was stored in THF as solution at −20 °C in the absence of oxygen in dark, its degradation rate was the lowest. The degradation rate of poly(6) depended on the solvents used, which may be related to different solubility of oxygen in these solvents. Polymers with high cis contents degraded faster than polymers with low cis contents did. Addition of TEMPO and DPPH into the poly(6)/THF solution more or less depressed the degradation of poly(6). The degradation of polymer main chain in solution was always accompanied by the decrease of cis content, i.e. geometric isomerization from cis- to trans-structure. When the polymers were stored in the solid state at −20 °C, the polymers having alkyl pendent groups with moderate length were more stable than those with bulky pendent groups. Geometric isomerization occurred along with degradation in the solid state as well.     

矩阵法计算流水施工工期

简要分析了代数法、图上法在计算流水施工工期时存在的不足,提出了用矩阵法计算流水施工工期的方法．设计并分析了计算用表,说明了计算步骤,并用实例进行了验证．     

高等代数课程教学中问题意识的培养

高等代数课程教学中,可通过营造民主氛围、创设提问环境,丰富认知结构、积淀问题准备,设置问题情境、激发问题意识,注重反思教学、强化问题意识等教学策略,培养学生的问题意识。     

反射几何布朗运动的两个结果

主要讨论反射几何布朗运动．首先通过采用马氏过程无穷小生成元的方法得到反射几何布朗运动的平稳分布,最后对该过程的首中时问题进行了讨论,得到该首中时的拉普拉斯变换．     

Composing Cardinal Direction Relations Based on Interval Algebra

Direction relations between extended spatial objects are important commonsense knowledge. Skiadopoulos proposed a formal model for representing direction relations between compound regions (the finite union of simple regions), known as SK-model. It perhaps is currently one of most cognitive plausible models for qualitative direction information, and has attracted interests from artificial intelligence and geographic information system. Originating from Allen first using composition table to process time interval constraints; composing has become the key technique in qualitative spatial reasoning to check the consistency. Due to the massive number of basic directions in SK-model, its composition becomes extraordinary complex. This paper proposed a novel algorithm for the composition. Basing the concepts of smallest rectangular directions and its original directions, it transforms the composition of basic cardinal direction relations into the composition of interval relations corresponding to Allen''s interval algebra. Comparing with existing methods, this algorithm has quite good dimensional extendibility, that is, it can be easily transferred to the tridimensional space with a few modifications.