逻辑程序部分演绎系统的研制

介绍了如何实现一个自动化的逻辑程序部分演绎系统，在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构，并分模块描述了它们的功能和实现技术，特别对核心模块──程序部分演绎模块的算法作了较为详细的分析，最后讨论了计算规则和程序改名变形方法对部分演绎结果程序执行效率的影响。     

片上网络存储器的BIST电路设计

片上网络（Network-on-Chip ,NoC）作为解决片上系统存在的问题而提出的一种解决方案,正受到越来越多的关注,测试技术是NoC设计工作的重要组成部分。该设计针对NoC系统中SRAM存储器模块,研究了SRAM的故障模型,建立了片上网络通信架构的功能模型,复用片上网络作为测试存取路径,设计完成了基于M arch C＋算法的BIST电路设计。该方案采用Verilog语言完成设计,并且在基于FPGA的NoC系统平台上实现了对SRAM的测试。实验结果表明,在面积开销增加较小的情况下,该方法具有较高的故障覆盖率。     

约束逻辑程序部分演绎过程的研究

约束逻辑程序的部分演绎是一个新兴的研究领域。本文提出了一个新的基于程序变换的ＣＬＰ部分演绎的过程。该过程以程序－目标为输入，经过一系列程序变换后终止，输出结果程序－目标对。该过程保证结果程序－目标对和输入程序－目标对计算等价，并且程序Ｐｎ解目标Ｑｎ比程序Ｐ０解目标Ｑ０效率更高。本文提出的方法语给出了一个ＣＬＰ程序部分演绎的运行这例。     

沉积期构造转换带类型、空间展布及其控制因素

为研究查干凹陷巴音戈壁组二段沉积期及苏红图组一段沉积期构造转换带类型及空间展布规律,并进一步明确其控制因素,在断裂体系解析基础上,采用同沉积断层生长指数的分析方法,进行古断裂体系恢复,参考构造转换带动态演化的综合分类模式,将构造转换带分为9种类型,每种类型按发育程度细分为初期、中期、后期3个时期。构造转换带类型多为平行亚类同向型中期、平行亚类同向型后期、平行亚类聚敛型中期等,主要分布于巴润断裂带。动力学机制显示,查干凹陷伸展作用由英格特-巴格毛德变质核杂岩活动导致的拆离滑脱引起,而走滑环境与阿尔金走滑断裂及其分支——巴丹吉林断裂的活动有关。沿巴润断裂带依次发育平行亚类同向型和平行亚类聚敛型构造转换带,主要与英格特-巴格毛德变质核杂岩拆离滑脱依次形成的同向、反向侧列断层有关;而同向、反向断层之间发育各型中期转换带,与阿尔金断裂及巴丹吉林的走滑活动有密切关系。     

PROLOG程序部分演绎的一种新方法

提出一个新的基于程序变换的Prolog程序部分演绎的方法.该方法以程序-目标对(P_0,Q_0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(P_n,Q_n),该方法保证结果程序一目标对(P_n,Q_n)和输入程序-目标对(P_0,Q_0)计算等价,并且程序P_n解目标Q_n比程序P_0.解目标Q_0效率更高.本文提出的方法已经实现.文中给出了3个部分演绎实例,并且与Benkreimi中提出的Prolog程序部分演绎的方法的结果进行了比较,说明我们的部分演绎方法更优.     

世界陶瓷墙地砖贸易趋势

产量近5年,世界陶瓷墙地砖产量逐年增长,虽然各国产量的增长幅度有差异,但世界生产格局没有发生根本改变,陶瓷墙地砖生产主要集中在少数几个国家,只是印度尼西亚的产量增长迅速。1998～2002年,世界陶瓷墙地砖产量从45.92亿增长到了55.45亿,增长了20.8%,年均增长率为4.8%。2002年7个主要生产国陶瓷墙地砖的产量(产量均超过1亿)为42亿,占世界总产量的75.7%。世界陶瓷墙地砖的生产主要集中在亚洲和欧洲,亚洲占世界总产量的50%;欧洲占33%;美洲占14.7%;非洲占2.2%;大洋洲占0.1%。1998～2002年,我国陶瓷墙地砖产量从15.94亿增长到了18.69亿,增长了…     

相山矿田邹家山铀矿床钛铀矿地球化学特征及其成矿意义探讨

相山矿田邹家山铀矿床发育细小板柱状半自形-自形钛铀矿。应用显微镜、电子探针、LA-ICP-MS等分析手段,对邹家山矿床铀矿石中的钛铀矿开展化学成分特征研究,结果认为:钛铀矿具有较为稳定的U、Ti含量和Ti/U比值,钛铀矿的发育表明酸性成矿流体存在中高温阶段;钛铀矿富集U、Ti、K、Fe、Al、Ca、Pb、Zr、F、Y、Th、Yb、REE等元素,尤其富集Th、REE和Y,显示REE、Th、Y等元素与钛铀矿共沉淀,为钛铀矿快速结晶所形成,REE以类质同像形式赋存于钛铀矿中;钛铀矿稀土配分型式为轻稀土略富集、重稀土富集的平坦型,Eu中等负异常,指示铀成矿流体富含Cl、F、CO_2等挥发份,REE、U、Th、Y等元素主要以碳酸盐、氯化物和氟化物型络合物形式迁移;钛铀矿中稀土元素含量、配分型式与围岩存在显著差异,表明REE、U、Th、Y等元素不是来源于相山火山岩或其岩浆分异热液,也不是由基底变质岩、基性岩脉浸出,而主要来源于深部富铀地质体在地幔岩浆、热流体作用下部分熔融所形成的岩浆和(分异)热液,不排除部分来源于地幔。     

高频电热杀菌腔内粉料食品测温传感器的电磁屏蔽研究

设计了高频电加热粉料杀菌设备,将杀菌腔内粉料的螺旋推进器作为加热部件而接通高频电。高频电加热会在周围产生较强的磁场,干扰铂电阻对关键控制点的准确测温,需进行电磁屏蔽处理。从理论分析和虚拟仿真两方面入手,理论分析得到材料的相对磁导率、电导率及厚度影响材料的屏蔽效能,虚拟仿真得到几种材料以及材料不同厚度的屏蔽效能。找到了合适铂电阻的屏蔽材料为锰锌铁氧体,并确定圆柱形屏蔽罩厚度为3mm,屏蔽效能可达40dB以上,经实验验证该种屏蔽罩的屏蔽效果符合屏蔽要求。