简介：蜕变测试可解决测试Oracle问题，但不是所有的蜕变关系都能有效地发现软件缺陷。提出了一种基于复合函数的蜕变关系构造方法，通过该方法构造的蜕变关系，集合了复合蜕变关系的所有特点，具有较高测试效率。试验验证表明该方法有效。

简介：经验模态分解（EMD）是由Huang等发展的一种新的数据分析方法,但在利用样条插值获得上下包络过程中存在着棘手的端点问题。文章在该问题已有解决方法的基础上,提出了基于极值点单调性一致的EMD端点问题处理方法。根据信号的极值序列查找与数据末端极值的差值和同时具备最小、单调性一致且在单调性内的点数相等三个条件的极值序列,进而构造方程组进行极值预测。通过与其他两种方法的对比验证,证明了提出的方法可以有效抑制端点效应。

简介：为了解决单脉冲雷达体制中距离分辨率与实际探测距离之间的矛盾，现有雷达一般采用（线性）调频中断连续波（FMICW）体制。根据模糊函数定义推导出（线性）调频中断连续波信号的模糊函数，并对重复周期FMICW信号的距离和多普勒分辨性能进行了分析与研究。分析结果表明，FMICW信号的距离分辨率仅与其发射波形带宽有关，而多普勒分辨率仅与其相干积累时间有关，这对进一步研究雷达新体制有一定的帮助。

简介：FMCWSAR是一种新近被提出来的成像雷达体制，它具有体积小、重量轻、成本低、分辨率高等一系列优点。因此，人们对FMCWSAR越来越关注。首先推导了FMCWSAR的信号模型，然后讨论了方位匹配滤波函数。为了能够精确成像，同时避免计算量过大，提出将场景沿距离向分段，用不同的方位匹配滤波函数进行处理，并给出了分段标准。最后，仿真结果表明此方法可以得到理想的成像结果。

简介：扼要介绍复合叠层的加工技术、特征、应用及发展前景。

简介：有机场效应晶体管（OFETs，OrganicFieldeffecttansistors）在平板显示、智能卡、射频标识牌、塑料电子学等方面存在广泛的应用，引起人们广泛的研究兴趣。本文推导了底部接触电极结构OFETs的解析模型，并且用数值方法研究了OFETs器件参量对OFETs性能的影响，并指出相应的优化途径。

简介：针对接收天线接收的目标散射体的散射强度取决于目标相对于收发天线的位置、目标电性能参数以及目标几何形状的问题,提出一种将不同位置的目标对齐到参考位置的目标对齐框架。该框架创新地从BP（BackProjection）算法与线性波恩近似（BornApproximation,BA）电磁场逆散射数学模型关系入手,结合修正Green函数设计,推导出目标特征受多个参数耦合约束的去相关数学模型。基于电磁场仿真数据,从定性和定量两个角度验证所提出的目标对齐框架的有效性。

简介：证据间冲突程度的有效衡量是解决高冲突证据融合问题的有效途径之一。针对冲突系数无法有效衡量证据间的冲突程度问题，在分析现有冲突衡量方法基础上，提出了一种基于指数函数的证据冲突衡量方法。首先，根据证据间基本概率赋值（BPA）关系将证据分为一致证据和非一致证据2类；然后，根据证据分类结果，综合利用差异性信息和指数函数分别构造冲突衡量系数；最后，用多种冲突衡量方法进行算例分析对比，试验结果表明本文方法可有效衡量证据间冲突程度。

简介：本文主要描述光电复合缆的开发、试点情况。光电复合缆集光纤、输电铜线于一体，同时解决了宽带接入、设备用电、信号传输问题，它适用于用户较为分散的场合，也适用于室内接入。

简介：本文根据大跨越工程档距大．悬点高的特点．对OPGW各种结构性能及其配套金具进行了比较．并且详细讨论从光缆结构．光纤类型和数量．短路电流热容量等三个方面来选择适合江阴大跨越工程用的复合光缆。

简介：利用MATLAB提供的工具箱可以有效地解决各种科学及工程问题。但其对.NET的支持非常差,而.NET又是各种应用的主流平台,因此有必要研究二者的接口。本文使用MATLAB的引擎库函数实现在C#.NET下调用MATLAB。

简介：基于在软件开发过程中有很多静态缺陷函数检测方法与工具都具有局限性,且对软件开发后期的黑盒测试关联不大,文中提出了一种在软件开发早期运用的静态缺陷函数检测框架,该框架不仅可以解决静态分析工具误报的问题,还可以为后期的安全性黑盒测试提供数据流约束,为自动生成数据流提供有效支持。

简介：本文采用饱和吸收器的快饱和模型,对描述飞秒脉冲固体激光器的Haus主方程进行了数值求解.在假设固体激光器腔中色散与自相位调制相互平衡时,分析了不同小信号增益的情况下,脉冲可达到的稳定程度,以及所产生短脉冲的强度和脉宽.结果表明:小信号增益越大,更易得到稳定的脉冲,此脉冲脉宽越窄,能量越大.

简介：摘要水性聚氨酯是以水代替有机溶剂作为分散介质的新型聚氨酯体系，具有无污染、安全可靠、易于改性等优点。本文从wPu分子改性、共混改性以及聚合物改性等方面对水性聚氨酯进行改性，探究其性能以及效益。

简介：她在报告中回顾了功率变换技术的发展历史，对如何获得高效、优波负载适应性和强鲁棒性的综合特征进行了阐述。效率、优波、负载鲁棒性以及对负载尖刺的危害等问题的合理解决，关键是如何得到与输出波形同步、同形、同频、同相的纹波供电电压波形，并始终跟随其幅频变化，保持线性功率管工作在临

简介：

简介：介绍光电复合缆的设计，着重介绍了光电复合缆根据不同场景，不同距离对低压导线截面积的计算。

简介：采用磁控溅射法在阳极氧化预处理过的铝板上沉积氮化铝薄膜,制备氮化铝-铝复合基板。制备的氮化铝为非晶态,抗电强度超过700V/μm,阳极氧化铝抗电强度达75V/μm。当阳极氧化铝膜厚约10μm、氮化铝膜约1μm时,制备的复合封装基板击穿电压超过1350V,绝缘电阻率1.7×106MΩ·cm,氮化铝与铝板的结合强度超过8MPa;阳极氧化铝膜作为缓冲层有效缓解了氮化铝与铝热膨胀系数失配的问题,在260℃热冲击下,铝板未发生形变,氮化铝膜未破裂,电学性能无明显变化。氮化铝与阳极氧化膜的可见光高透性保持了镜面抛光金属铝的高反射率,当该复合基板应用于LED芯片COB封装时,有助于提高封装光效。

简介：针对无源定位中的时差频差联合估计问题，利用内积公式推导出了基于互模糊函数的时差频差联合估计公式，并提出了相应的快速实现算法。其中通过适当变换互模糊函数计算公式，将传统的二维时差频差搜索算法变为对信号内积进行快速傅里叶变换，然后对变换后的数据进行二维搜索，大大提高了时差频差联合估计的速度，降低了运算量。通过重构离散傅里叶变换项，并进行近似，进一步降低了运算量。仿真结果说明，两种算法都能得出准确的结果，改进的算法计算时间更少。

简介：文章提出一种基于DCT系数值排序预测的加密域JPEG图像可逆信息隐藏方案,该方案能够抵抗针对JPEG图像加密的轮廓攻击方法。区别于现有加密域JPEG图像信息隐藏方法,文章利用混沌加密方法置乱JPEG图像标识符,掩盖了加密域JPEG图像中的分块信息,利用基于DCT系数值排序预测的方法将秘密信息可逆嵌入加密JPEG图像中。在进行信息嵌入和提取的过程中,基于DCT系数值排序预测的可逆信息隐藏方法无需利用JPEG图像的分块信息,且信息嵌入的效率高,提取准确。实验结果显示,文章方案的安全性和嵌入容量都得到很大程度的提升,含密图像的图像质量也有一定程度的提高。