Property Testing of Regular Tree Languages

We consider the edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and generalize it to the class of ranked and unranked regular trees. We also show that this distance problem is -complete on ordered trees. A preliminary version of this paper appeared in Proceedings of 31st International Colloquium on Automata, Languages and Programming, volume 3142 of Lecture Notes in Computer Science, pages 932–944, Springer, 2005. Work supported by ACI Sécurité Informatique: VERA of the French Ministry of research.     

聚酰胺工程塑料的发展

介绍国内外聚酰胺工程塑料的发展历史和现状,各种聚酰胺新品种和新成型工艺技术的研究与开发动向,并对我国发展聚酰胺工程塑料提出了建议。     

实用运算放大器网络中的虚地性质

本文提出用一个理想电压控制电流源(VCCS)并接于嵌在一个倒相放大器电路中的实际运算放大器(OP.amp)输入端,虚地性质(VGP)可以扩展到使用的运算放大器单位增益带宽那样高的频率.文中给出用真正运算放大器的VCCS的实用电路.用互补变换法可得出非倒相放大电路图.     

5-硝基四唑亚铜的合成与表征

以氯化亚铜、5-硝基四唑钠等为原料合成了一种起爆药5-硝基四唑亚铜.利用能谱分析、红外光谱、紫外-可见光谱及元素分析和DSC测试等方法,对5-硝基四唑亚铜进行了结构表征.初步性能研究表明,5-硝基四唑亚铜的初始分解温度为291℃,峰温为324℃,其分解较剧烈,且热稳定性较好;感度测试结果显示,5-硝基四唑亚铜的撞击感度较BNCP钝感,火焰感度比BNCP敏感、比LA钝感.     

房产测绘中若干问题的研究

房产测量外业数据采集及面积计算是影响房产测量精度的重要因素,作者就实际工作中在这两个方面容易出现的若干问题进行研究并提出了相应的解决方法。     

深水水基恒流变钻井液流变特性研究

水基恒流变钻井液是一种适用于深水钻井作业的新型工作流体,目前关于该体系的报道较少。通过对一定温度压力下钻井液性能的检测以及流变模型分析,研究了水基恒流变钻井液的流变行为,并初步探索了恒流变机理。结果表明,在0.1～35.4 MPa范围内,当温度从4℃升高到65℃,黏度计读数φ₆/φ₃、动切力、塑性黏度等流变参数的变化幅度较小,分别在10～13、9～12、13～18 Pa及15～22 mPa·s范围内,且φ₆与φ₃读数随温度呈“U”型分布;在温度压力组合条件下,拟合经验流变方程的相关性排序为:宾汉塑性≈幂律＜卡森≈赫-巴≈罗-斯模型,其中双参数卡森模型的相关系数较高,且表达式简洁,适于描述水基钻井液的恒流变特性;以卡森模型为初始方程,引入T/P因子建立了高预测精度的动力学流变方程f（T,P,γ）,相对误差平均值为7.19%±4.07%,偏差极大值集中在100（ r/min）/65℃;分析了关键处理剂的分子形貌、结构及其与黏土片层的缔合作用,提出了基于分子形态的定性构效假设,揭示水基钻井液的流变稳定性本质。      

含砂压裂液流变规律实验研究

为了达到较理想的压裂效果,现场施工会泵注携带支撑剂的压裂液进入地层,研究含砂压裂液的流变规律可以为压裂液在管道和裂缝中的携砂能力预测提供更加准确的理论依据。将压裂液和支撑剂看作整体进行流变实验,研究混合流体表观黏度随剪切速率变化的规律和机理。含砂压裂液流变实验结果显示,压裂液在加入支撑剂后,在一定剪切条件下黏度低于压裂液本身黏度,另外实验还观察到含砂压裂液表观黏度随剪切强度的变化呈现先降低后升高的“V”形趋势,这是由于固液混合流体的内部结构变化与支撑剂颗粒扰动共同作用的结果。含砂压裂液特有的流变行为同样受到支撑剂浓度、粒径和液体温度等因素的影响。强剪切条件下颗粒碰撞作用明显,含砂压裂液表观黏度随浓度增大而增大,弱剪切条件下,含砂压裂液由于支撑剂造成的附加剪切破坏,表观黏度随浓度增加会先下降后升高。并且含砂压裂液黏度与颗粒粒径以及流体温度呈现反相关关系。      

金、铜丝球键合焊点的可靠性对比研究

金丝球焊是电子工业中应用最广泛的引线键合技术,但随着高密度封装的发展,铜丝球焊日益引起人们的关注。采用热压超声键合的方法,分别实现Au引线和Cu引线键合到Al-1%Si-0.5%Cu金属化焊盘。对焊点进行200℃老化实验的结果表明:铜丝球焊焊点的金属间化合物生长速率比金丝球焊焊点慢的多;铜丝球焊焊点具有比金丝球焊焊点更稳定的剪切断裂载荷,并且在一定的老化时间内铜丝球焊焊点表现出更好的力学性能;铜丝球焊焊点和金丝球焊焊点在老化后的失效模式不同。     

激光能量密度对激光弯曲成形的影响

激光弯曲成形是一种热应力成形塑性加工技术.光斑的能量密度的大小对弯曲角度和材料的组织性能影响很大.增加能量密度,板料的弯曲角度显著增大.对于一种材料,总存在一组特定的工艺参数(光束输出功率、扫描速度、光斑大小等)使板料的弯曲角度最大.而且通过合理控制光斑的能量密度,可以显著改善变形区材料的组织和性能.     

一种多用户数据库应用系统安全机制的实现方法

文章针对一个具体的多用户数据库应用系统安全性要求的特点,提出了在应用程序上实现安全机制的一种方法,即把口令作为各基表的一个属性,在对基表进行操作时核对该属性与用户口令的方法。该方法可以达到的效果是：查询时数据共享,插入、修改、删除记录只能由某一口令拥有者执行。