IC-6高温合金及其防护性涂层的摩擦特性

采用电弧离子镀技术在IC－高温合金上沉积NiCrAlY涂层。研究了NiCrAlY涂层及IC－6高温合金在室温和600℃空气中无润滑状态下，以K17高温合金为摩擦副的摩擦特性。采用带有能谱的扫描电镜（SEM／EDX）分析IC－6高温合金和NiCrAlY涂层磨损表面的形貌和成分。实验结果表明，室温条件下摩擦时，一些碎屑从K17合金上脱落下来，在IC－6合金及NiCrAlY涂层表面上形成磨粒，随着摩擦时间延长，磨损表面元素发生氧化。试样在环境温度在600℃摩擦时，NiCrAlY涂层的表面比较快的形成氧化膜，减少金属－金属间的直接接触。环境温度升高后，摩擦表面温度也随之升高，氧化物的粘滞性增强，600℃时，合金和涂层摩擦系数都有不同程度的减小。     

面向函数的循环优化序列定制方法

讨论了一种可针对程序中的不同函数(routine)采用不同的循环优化序列的方法,该方法基于polyhedron模型,使用简化cache失效率方程分别对每一个函数作优化序列评估,以迭代编译方式为每个函数寻找一个独特的循环优化序列。该方法降低了变换实施的复杂度,降低了对编译器具体实现的依赖;考虑程序中不同函数的差异以获得更好的优化效果。对SPEC2006的实验数据表明,经过定制优化之后,较之Open64-O3,加速比为1.05～1.13。     

以太网中交换设备安全性能主要技术分析与对策

交换设备的安全特性直接影响着网络的安全稳定运行和网络的服务质量,无论是传统的交换设备还是目前广泛运用的交换设备都存在着一些安全隐患.本文分析了交换设备的安全性能和交换机数据处理过程中的缺陷和问题,提出了提高交换设备性能和加强交换设备安全的新思路.     

环境一号B星热红外波段单通道算法温度反演

文中在考虑环境一号B星(HJ-1B)热红外波段(infrared scanner,IRS4)光谱响应函数和有效波长的基础上,通过MODTRAN4模型模拟,对Jimenez-Munoz和Sobrino(JM&S)单通道算法中的大气函数进行改进,重新计算得到了适合HJ-1B星IRS4地表温度(land surface temperature,LST)反演的3个大气函数公式,并反演了福州地区的地表温度.采用基于星上辐亮度法对反演的地表温度进行精度评价,并将反演的地表温度与JM&S算法、段四波等修正的JM&S算法反演的地表温度进行对比分析.结果表明:使用文中改进后的大气参数对HJ-1B星IRS4进行地表温度反演,可取得较好结果.     

The next generation models for crops and agro-ecosystems

Growth in population, decrease in arable land area, and change in climate are endangering our food security. Precision agriculture has the potential to increase crop productivity thorough tailored agricultural practices for different growing areas. Many models of crops and agro-ecosystems capable of predicting interaction between plants and environments have been developed for precision agriculture. Currently, there are several representative categories of crop and agro-ecosystem models, including the de Wi...     

数控加工中的二次曲线拟合与最优插补控制算法

本文提出一种基于二次B样条曲线对G01代码的拟合及插补方法,先通过自适应方法选取G01代码所描述的加工轨迹形状特征的各个特征点,再用通过所有特征点的二次B样条曲线拟合待加工路径.由于Timar等人提出的最优速度规划算法对于三次及三次以上的高阶次样条曲线的计算极为复杂,本文提出了一种改进的基于二次B样条曲线的时间最优插补计算方法.最后,将所提出的算法应用到实际的图案加工仿真与实际数控加工中.     

一类控制量非负的新型脉冲随机控制模型

提出并研究了一类新型的脉冲随机控制模型,其状态结构由关于半鞅的线性随机微分方程所确定,其控制费用函数为关于控制前状态与控制量的二元函数且其控制量保持非负.首先建立了一类新型的变分方程并证明了其解的存在性.通过对变分方程的解函数进行一系列随机分析处理,证明了最佳控制的存在性且对其结构进行了深入分析.此外,由于本文模型与以往文献中的随机控制模型有着重大差异,因而在分析手法上与以往文献相比颇多差异之处.可以预期,本文不仅在随机控制的研究中将具有重要的理论意义,而且在金融控制及证券管理方面也将有着广泛的应用价值.     

Zero-knowledge proofs of retrievability

Proof of retrievability (POR) is a technique for ensuring the integrity of data in outsourced storage services.In this paper,we address the construction of POR protocol on the standard model of interactive proof systems.We propose the first interactive POR scheme to prevent the fraudulence of prover and the leakage of verified data.We also give full proofs of soundness and zero-knowledge properties by constructing a polynomial-time rewindable knowledge extractor under the computational Diffie-Hellman assump...     

光学遥感器薄膜加热片阻值计算及应用

论述了航天用薄膜加热器的工作原理,推导和总结了同一加热区内三种不同串、并联关系的薄膜加热片单位面积阻值的通用计算公式。最后通过实例验证了该公式的正确性。对于具有复杂加热区的空间光学遥感器,依据该公式可以方便快捷地设计出各种串、并联关系的薄膜加热器。     

Absolute Stability of Nonlinear Systems with Two Additive Time-varying Delay Components

In this paper, we present a new sufficient condition for absolute stability of Lure system with two additive time-varying delay components. This criterion is expressed as a set of linear matrix inequalities (LMIs), which can be readily tested by using standard numerical software. We use this new criterion to stabilize a class of nonlinear time-delay systems. Some numerical examples are given to illustrate the applicability of the results using standard numerical software.