极小布尔不可满足子式的提取算法

研究了极小布尔不可满足子式的提取算法，它分为近似算法和精确算法两种．文中就精确算法提出了局部预先赋值的优化方案，并且在理论上证明了该算法的正确性；通过实验显示了此算法可以获得更高的效率．通过模拟实验观察到，利用完法计算法进行近似提取的一个有趣现象，即随着公式密度的增加，算法的提取误差会趋于下降．     

金属粉末温压成形的数值模拟研究

本文借助MSC公司的Marc有限元分析软件对铁粉温压成形过程进行了数值模拟。通过采用基于总体拉格朗日方法的热 机耦合分析,得到了铁粉温压成形过程中材料的几何形变、应力场、密度分布等数据,为金属粉末温压工艺参数的优化设计提供了理论依据。     

双列多功能制袋机故障诊断系统的研究

针对双列多功能制袋机出现的光电传感器出错、设备运动超速和温控失效等一系列问题,设计了一种故障诊断专家系统(DMMES)。着重介绍了故障诊断专家系统的结构组成、知识库的建立、推理机的设计和知识验证的方式并进行了验证,结果表明:所设计的故障诊断专家系统能够有效地对双列多功能制袋机诊断故障并给出故障建议,可达到较理想的效果。     

泡沫夹芯结构碳纤维复合材料医疗床板的强度研究

按照戴铂经典"三明治"结构变形量计算公式所得的载荷-变形量曲线是一条等斜率直线,而实际测量的结果表明,泡沫夹芯结构碳纤维复合材料存在着一个临界集中载荷点:当载荷力小于这个点时,载荷-变形量曲线也近似于一条斜线;一旦集中载荷力超过该临界点,这种"三明治"结构的变形量急剧增大直到断裂。由理论计算得出了小试样以剪切变形为主,而大如医疗床板的"三明治"结构变形,是剪切与弯曲共同作用的简单结论。     

昆明房地产开发与城市可持续发展研究

随着城市化的到来，城市的可持续发展变得更为重要，房地产开发应贯彻可持续发展思想，将社会效益和环境效益放在第一位，通过多学科的融贯研究，建设可持续发展的绿色生态社区，为美化春城做贡献。     

基于ECA规则的工作流建模实施方案

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复，并发等成熟的技术进行建模，但ECA难于形式化，使得建模时不能够保证工作流系统的语义的正确性；而Petri网具有形式化描述的基础和正确性分析的优点，将这两方面结合起来，通过对Petri网中控制流结构的分析人出了由Petri网向ECA规则转化的方法，以保证基于ECA规则的工作流系统的正确性。     

掺锑钨酸铅晶体性能的测量

钨酸铅晶体是新一代对撞机谱仪ＣＭＳ的电磁量能器的主体。为达到所要求的测量精度，对晶体的各项性能提出了很高的要求。本文主要介绍了对几块全尺寸（２３ｃｍ长）掺锑钨酸铅晶体荧光性能和抗辐照能力的评估和测量方法，并给出了测量结果。     

基于有限元的挤压铸造压射机构卡擦分析

压射机构是挤压铸造设备中的核心零部件之一,卡擦现象是导致压射机构失效和压室寿命缩短的关键技术难题。利用有限元方法计算了压室与冲头的半径方向的变形值,并对压射机构卡擦现象进行了定性分析。结果表明:压射过程中压室和冲头之间的配合间隙变小是导致主要卡擦发生的主要原因。     

APMP线DCS控制系统的改造

某企业APMP车间的DCS控制系统，由于系统停滞时间较长，适应性和协调性不能满足要求，中轻国际工程有限公司承担了DCS控制系统的改造设计。本文介绍了DCS控制系统在APMP生产线的改造和应用情况，阐述了控制基本点、关键控制部位及联锁要求，重点论述了盘磨机和化学品制备的控制。     

挤压铸造设备综合监测系统研制及试验研究

以KDJ-2500kN挤压铸造机为研究对象,研制了一套挤压铸造综合监测系统,该系统可对挤压铸造过程锁模力、压射压力、压射运动参数和模腔压力进行检测。利用所研制的综合监测系统,对阶梯板挤压铸造工艺过程进行了试验研究,验证了挤压铸造监测系统的功能,并根据试验结果对工艺参数变化规律进行了分析。