区间值模糊命题逻辑的∑-广义拟重言式

通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I2n^2和I2（n＋1）^2中的可达拟重言式,证明了拟重言式类类互异定理,同时在∑-广义拟重言式之间建立了一种升级算法.     

格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法

在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义子句集的定义,详细地讨论了L2n+1P(X)上以中界元M为归结水平的半正则广义文字之间的M-归结性,最后,给出了L2n+1P(X)上基于半正则广义文字的归结水平为M的归结自动推理算法,并验证了其可靠性和完备性.     

聚酰胺酸盐类电流变体的研制

合成了聚酰胺酸锂盐和钙盐,并将其分散在硅油中形成电流变体,并对它们在电场作用下的流变性能进行了测试。测试结果表明聚酰胺酸锂盐有明显的电流变效应;而聚酰胺酸钙盐在常温下却呈负电流变效应,在较高的温度下(75℃)才有电流变效应。     

格值命题逻辑系统LP（X）的α-超归结原理

本文提出了格值命题逻辑系统LP（X）上的α-超归结原理,并证明了其可靠性和完备性。     

区间值模糊命题逻辑的广义拟重言式及其分类

通过定义规范区间值模糊命题逻辑的→s蕴涵算子，讨论了区间值模糊命题逻辑广义拟重言式的分类，获得了与王国俊的一维赋值格广义重言式理论类似的结果。     

基于参数曲面的交互式纹理映射研究(英文)

针对纹理映射中复杂物体表面重新参数化困难及映射变形问题,提出一种交互式纹理映射方法,采用NURBS曲面代替简单的中介曲面,用它近似包围所要映射物体的外表面,将纹理映射到曲面上实现参数化,通过控制NURBS曲面来调整纹理映射的效果。实验表明,该方法可以灵活地调整纹理区域,减小纹理变形。     

基于产品可视化技术(PV)下的三维实体造型技术

SOLIDEDGE最大限度地继承了目前二维CAD,并将二维和三维的设计功能充分集成,为实体造型奠定优良而坚实的基础。使得SOLIDEDGE的使用者能够比其它的CAD用户具有更多、更灵活的手段。     

丙烯酰胺/蒙脱土嵌入及聚合机理的研究

利用Co60 γ -射线辐射引发聚合的方法制备高分子复合吸水材料 (SAPC) ,研究丙烯酰胺 /蒙脱土层间吸附嵌入及聚合机理 ,并对复合吸水材料的结构和性能予以解析 .用质量分数为 4 %和 2 0 %的丙烯酰胺水溶液制备的丙烯酰胺 /蒙脱土嵌入复合物 ,层间扩展距离分别为 1 5nm和 2 0nm ,对应于丙烯酰胺分子的单分子层和双分子层吸附 ,辐射聚合后的嵌入复合物较蒙脱土的吸水倍数显著提高 .结果表明 ,丙烯酰胺是以其分子平面垂直于硅酸盐的层片方向嵌入 ,聚合后 ,蒙脱土的存在使嵌入聚合物由水溶性向水膨性的转化     

高分子电阻型湿度传感器的研究

采用^60Co-γ射线引发聚合的方法制造高分子电阻型湿度传感器，对于感湿膜组份含量对电阻值和测量精度的影响进行初步探讨，优化了加工制造工艺条件，该产品现场应用效果良好。