Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

镍渣制备微晶玻璃的结晶动力学及结晶化过程

探讨以镍渣为主要原料采用熔融法制备建筑用微晶玻璃. 研究引入Cr2O3作为晶核剂的镍渣微晶玻璃的成核及晶化过程. 利用DSC测试来确定基础玻璃的晶化温度,并利用修正的Johnson-Mehl-Avrami(JMA)方法初步计算以镍渣为主要原料所制备的基础玻璃在加入质量分数2%的Cr2O3作为晶核剂后的结晶活化能E及结晶动力学参数k(Tp),计算结果分别为E=371.1 kJ·mol-1,结晶动力学参数k(Tp)=0.29. 采用XRD、SEM和光学显微镜测试、分析及观察方法来鉴定、分析微晶玻璃试样的主晶相及微观结构. 结果显示,加入晶核剂的基础玻璃从930 ℃开始均匀地析出透辉石相晶体;随着温度的升高,晶体尺寸也逐渐增大,在温度达到950 ℃后,对样品进行30 min保温热处理,样品中晶体尺寸达到10～15 μm.     

论逻辑判断仿真和定值判断仿真

逻辑判断仿真和定值判断仿真是当前继电保护仿真的两种主要方法.本文简要的说明其基本的实现原理并提出逻辑法与定值法在工程实践开发中的优势及对遇到的困难作一步探讨.     

超支化聚合物应用于纳米材料的研究进展

超支化聚合物作为一类新兴的高分子材料,因其具有高度支化的"核壳"结构可作为"纳米反应器"制备形态规整、尺寸小、分布窄的纳米簇;利用表面大量的反应性基团,可以对碳纳米管等纳米材料实现表面改性。目前对超支化聚合物的研究已成为高分子领域的又一热点。     

商务语篇中的名词化现象初探

以Halliday的语法隐喻理论为基础，以商务英语中最为常见的三种语篇memo，letter,report为研究对象，对其概念语法隐喻的表现形式之一——名词化进行分析，发现了商务英语语篇中名词化的四种类型，并对其功能做了初步分析。     

基于FPGA的数字传输抖动损伤的可控化实现方法

为了在室内模拟出一套可控的抖动损伤加载系统,省去数字传输网的各种设备室外调试耗费的大量的人力、时间和经费,本文首先简要分析了数字传输抖动产生的原因以及其对网络性能的影响.其次提出了利用正弦调制的方法进行抖动模拟,给出了双直接数字频率合成器(DDS)结构的实现方案.最后基于现场可编程逻辑阵列(FPGA)实现了中心频率、抖动频率和抖动峰-峰值均可控的抖动模拟算法.研究表明,采用双DDS结构实现抖动模拟方法切实可行,具有一定的使用价值.该算法已经在信道模拟器对数字传输的损伤加载模拟中得到应用,效果良好.     

金融恐慌的博弈分析与政策建议

近年来,随着经济全球化、金融一体化的不断发展,金融风险已经成为现代金融业的一个隐患,由金融风险而引发金融恐慌也引起了各国的广泛关注.我国自加入WTO以来,随着资本市场的逐步开放和国际金融市场规模的不断扩大,资金的流动速度逐步加快,跨国交易越来越频繁,债务债权关系的资金链越来越复杂,这些无疑都加大了我国金融风险的多样化和复杂化.因此,研究金融恐慌问题对于我国金融体制改革具有重大的现实意义.     

碳纤维催化石墨化的研究概况

论述了催化剂种类、含量及石墨化温度三因素对碳纤维催化石墨化反应的影响。以非金属元素硼、硅为例,从催化作用机理方面阐述了碳纤维在催化石墨化过程中微观结构的变化及宏观力学性能的改变,并对催化石墨化技术的研究发展进行了展望。     

W-Ni-Fe高比重合金的SPS烧结行为

采用放电等离子烧结(SPS)设备制备了93W-5.6Ni-1.4Fe高比重合金,烧结温度范围为1 100～1 180 ℃,保温时间为5 min.对不同烧结温度下的样品进行了密度、硬度、抗弯强度等性能测试,采用场发射SEM观察了样品表面形貌及断裂行为.结果表明:采用SPS烧结,可以在较低的温度下实现93W-5.6Ni-1.4Fe高比重合金的固相烧结,使合金致密化,并能有效控制钨晶粒长大,提高材料的硬度、抗弯强度等力学性能.     

基于人工智能方法的图像语义检索

根据语义特征进行图像检索是图像检索技术的发展趋势。文章提出了一种基于人工智能以实现图像语义特征提取的方法,即通过模糊逻辑、遗传算法和人工神经网络三者的融合来解决图像语义特征提取这一难题,该方法使图像检索能够满足用户的需求,提高了图像检索的效率和精度。