读者信箱

问：陶瓷科技工作者在卫生瓷实际生产中经常会遇到收缩放尺计算问题。例如泥料干燥收缩、烧成收缩和总收缩分别用S干、S烧、S总表示，人们在实际工作中往往会习惯于用以下关系式S总=S干＋S烧进行三者之间的换算计算，这种做法正确吗？     

PBX炸药细观损伤的实验研究

为研究PBX炸药在冲击作用下的物理损伤、化学损伤及成热的物理机制,采用炸药爆炸驱动隔板实验技术对PBX炸药进行了冲击压缩实验,回收炸药试样并对其不同位置处的断面形貌进行SEM分析.结果表明,随着冲击能量的增加,其温度效应的影响越来越显著,损伤模式从物理损伤向化学损伤过渡.这为XDT问题中的"热点"形成机制等研究提供了实验基础.     

日用陶瓷注浆成型方法漫议

注浆成型方法是目前陶瓷生产企业普遍使用的制坯方法之一，本文着重把注浆成型工作要领及生产中出现的实际问题和解决办法归纳出来，间接表述注浆成型工艺与器型的关系及注浆产品质量问题，用以来充实和完善现代陶瓷生产工艺领域的整体风貌。     

聚酯薄膜(BOPET)品质问题分析(三)

11“火山口” 11．1现象和鉴别 在正交偏振片中或对光观察检出的疵点，若用显微镜作进一步观察，随显微镜镜头焦距变化，有如下现象的是为“火山口”，如图4所示。     

水泥工业的污染问题及除尘处理探讨

我国水泥生产、供给量最多的仍然是立窑厂，而立窑厂大多数给人们的印象是“脏、乱、差”，如：工艺落后、设备陈旧、产品质量不稳定、劳动生产率低、烟大灰多、对环境污染严重等，经过几年的结构调整、改造提高，有些厂有了很大改善，但也还有不少厂存在较多问题，对环境污染是其中的主要问题之一。     

中低低变换工艺应注意的几个问题

对中低低变换工艺中换热面积的匹配、段间冷激方式的选择、催化剂的装填量等问题进行了分析，并提出了解决意见。     

第五届世界水大会宗旨

大会将增进世界对亚太地区及发展中国家缺水与水环境状况的关注，鼓励发达国家以制定政策法律的经验、管理经验、先进技术、资金等方式帮助发展中国家更好地解决水资源和水环境问题，同时促进世界水业先进理念和技术以及成功实践经验在中国及世界各国的传播与应用。     

基于有限时间跟踪微分器的迭代学习控制

针对迭代学习控制（Iterative learning control,ILC）中的初始状态问题,提出了采用有限时间跟踪微分器安排过渡过程方法,根据迭代学习控制中期望轨迹已知的特点,设计了其参数有明显物理意义并且调节方便的有限时间跟踪微分器. 在此基础上,针对一类具有不确定性的非线性时变系统的迭代学习控制问题,提出了具有对不确定项进行估计的迭代学习控制算法,并应用类Lyapunov方法给出了相关定理证明. 仿真结果表明所提出的方法是有效的.     

基于悖论证明与局部搜索的不可满足子式求解算法

随着软硬件设计规模日益增加,功能越来越复杂,功能验证与调试在整个设计周期中占有的比重越来越大,迫切需要高效的方法诊断与定位设计中的错误,而求解不可满足子式可以显著提高自动化工具定位错误的效率.近年来,求解不可满足子式的算法多是基于DPLL(Davis-Putnam-Logemann-Loveland)回溯搜索过程的完全算法,很少有研究涉及到不完全方法.文中针对求解不可满足子式的不完全方法,提出了悖论证明与悖论解析树的概念,并提出一种启发式局部搜索算法,从布尔公式的悖论证明中求解不可满足子式.算法首先采用融合了布尔推理技术、动态剪枝方法及蕴含消除方法的局部搜索过程,逐步构建悖论证明所对应的悖论解析树;然后调用递归函数搜索悖论解析树,最终得到不可满足子式.基于实际测试集与随机测试集进行了实验对比,结果表明文中提出的算法优于同类算法,而且动态剪枝与蕴含消除技术能够有效地减少存储空间及运行时间.     

预应力FRP在结构应用中的技术问题探讨

本文提出了预应力纤维聚合材料在结构应用中涉及的几个技术问题,如粘结锚固、张拉应力的大小及施工工艺的选取等,通过分析比较,并结合国内外在这些方面的研究成果,得出了一些结论和建议,为今后的研究与设计提供依据.