论可能世界集合的封闭性与否定联结词的关系

本文对经典否定联结词真值函项的研究表明：该函项是否成立依赖于可能世界集合是否完备。但是，进一步研究的结论是：单纯通过概括原则确定的可能世界集合具有虚拟的完备性，定义在其上的命题并不具有明确的意义；同时，可能世界集合的穷举问题在逻辑学范围内不可解。为了描述可能世界集合的逻辑性质，本文在上述研究的基础上，提出了封闭世界和开放世界预设。最后，作为主要结果，本文证明：（1）有前一预设下，经典逻辑的否定词真值函数成立。（2）在后一预设下，否定联结词的真值函项具有非经典的特性，即：当语句p为真时，否定p为假；而p为假时，否定p既不真也不假。上述结果为构造一种非规范的3－值逻辑系统（鞠实儿，1997）提供了哲学基础。     

基于L-值泛代数的L-值模

L-值模是一类格值代数结构,定义在类似于模的泛代数上。首先,将经典数学中等式用模糊恒等式替代,基于L-值泛代数给出了L-值模的概念。其次, 通过模糊代数的商结构给出了L-值泛代数是L-值模的充分必要条件。 再者,给出了L-值模的基本性质。 最后, 给出了L-值子模的刻画。     

不可压流动的二阶迭代投影法

投影方法的计算,需要引入一个中间速度场及相应的人工边界条件,因而带来了分裂数值误差和数值边界层.为了解决这些不足,提出了一种迭代投影方法.在每个时间步,采用投影方法作为该方法的子迭代过程,当迭代收敛时便构成了完全耦合的数值方法.既然中间速度场是对真实速度场的逐步逼近,因此,就无需人工边界条件,或者说人工边界条件即为物理边界条件.数值试验表明: 迭代投影方法可以显著地减小数值边界层; 经过1～4次迭代后,速度和压力在时间方向上都可以达到二阶精度.     

基于椭圆模型和神经网络的人脸姿态估计方法

基于椭圆模型和神经网络方法, 提出一种人脸姿态估计方法. 先采用椭圆模型对人脸边界进行拟合, 确定眼睛和嘴在椭圆中的位置, 再应用BP神经网络对位置参数和人脸姿态参数的关系进行学习, 从而对人脸姿态进行估计. 实验结果表明, 用该方法对较大范围内的人脸转动进行估计, 结果比较准确.     

基于感性工学的产品形态设计研究—以保温饮水器的眼动试验为例

运用感性工学的相关理论和方法评估保温饮水器的形态设计,进而探索得出一种产品形态设计的合理方法。通过眼动追踪设备捕捉被试者观察试验图片时的眼动数据,并利用划分兴趣区的方式分析被试者对于不同产品形态区域的关注度,以及不同产品形态区域对于产品形态设计的影响。结合眼动数据分析和问卷访谈调研两个方面对保温饮水器形态进行设计评价。试验分析得到保温饮水器的外观形态与其杯身的倾斜程度、杯盖的造型、商标的位置存在的关联。在上述产品形态区域中,商标最受到被试者的注意;当商标位于容器下方时其美观程度高于位于上方位置;杯盖的造型设计为带有卡扣、较为复杂精致的结构时,其美观程度复变高于简单的旋盖结构;当保温饮水器身越趋向于垂直时,保温饮水器的美观程度更高。聚焦用户对保温饮水器的视觉认知规律,验证了眼动实验对产品形态设计评估的有效性。     

基于风格转换注意的循环一致风格转换

为了解决现有艺术风格转换方法难以同时高质量保持图像内容和转换风格模式的问题,引入一种新颖的风格转换注意网络（style-transition attention network,STANet）,其包含2个关键部分：一是非对称注意力模块,用于确定参考图像的风格特征;二是循环结构,用于保存图像内容。首先,采用双流架构,分别对风格和内容图像进行编码;其次,将注意力模块无缝集成到编码器中,生成风格注意表征;最后,将模块放入不同的卷积阶段,使编码器变成交错式的,促进从风格流到内容流的分层信息传播。此外,提出了循环一致损失,强制网络以整体方式保留内容结构和风格模式。结果表明：编码器优于传统的双流架构,STANet能用于交换具有任意风格的2幅图像的风格模式,合成更高质量的风格化图像,同时更好地保留了各自的内容。提出的带有风格转换注意的风格转换循环网络,模型风格化图像的内容细节更多,在泛化到任意风格方面获得了良好的效果。     

院级实验室管理体制改革的思考与实践

通过对高校传统的实验室管理体制弊端的分析,提出了实验室管理体制改革的思路,并通过实践对这一思路进行论证．阐明了实验室管理体制的改革有利于提高实验教学质量和培养工程创新人才．     

关于最大似然估计主要性质的理论研究

最大似然估计在统计推断中有着广泛的应用,从相合性、同变性及渐近正态性等方面讨论了最大似然估计的性态,并给出相关实际应用.     

改性活性氧化铝对硫化氢吸附的研究

用浸渍法制备了改性γ-Al2O3,通过SEM对改性γ-Al2O3微结构进行了表征,对H2S进行了吸附考察和分析了不同类型吸附剂、不同改性条件下的吸附性能的变化规律,并对再生后吸附剂的脱硫性能进行了研究.结果表明:焙烧温度达600℃时,改性后的γ-Al2O3微结构发生明显变化,脱除H2S能力增强.当H2S平均初始浓度为45mg/m3,温度为22℃,压力为1.01×105Pa,采样流量为0.5L/min时,改性γ-Al2O3对H2S去除率为96.9%;改性γ-Al2O3吸附效果明显优于未经改性的γ-Al2O3、活性炭和5A分子筛;改性γ-Al2O3再生后的吸附容量可以恢复到原来的97%.