一种基于抽象解释的WCET自动分析工具

利用基于抽象解释的变量值范围传播技术,提出了一种自动分析高级语言程序流信息的方法;并在白盒测试工具NPCA的基础上,利用该方法实现了WCET分析工具NPCA-WCET。     

基于RTSP/RTP的媒体点播服务器的设计与实现

流媒体技术作为Intemet上的重要媒体传输技术,已被广泛应用于视频会议、远程教育、交互式电视等许多领域。从流媒体技术入手,介绍了用于流媒体传榆的RTP协议和实时流化协议RTSP;给出了一个基于RTSP／RTP协议的媒体点播（MOD）服务系统的构成,介绍了媒体点播服务器的设计和实现,讨论了利用RTCP协议实现媒体点播带宽自适应的方法．     

杜仲胶提取与规模化生产现状及其产业发展面临的问题

杜仲是我国非常宝贵的战略资源,杜仲胶是带动杜仲大产业发展的核心动力.杜仲胶产业的发展不仅能够改善我国天然橡胶不足的现状,还可以为我国提供新的来源充足的后备胶种,形成以我国杜仲胶新兴产业为龙头的国际天然橡胶市场新格局.近年来,杜仲胶产业化和应用开发虽然取得突出进展,但还远不能适应形势发展的需要,究其原因是杜仲产业链的发展...     

基于可编程器件的实验平台设计与实现

描述了基于可编程器件的实验平台的功能——多模式可配置、支持新总线实验等,并给出了具体的软硬件设计方案和实现技术,详细描述了系统配置技术、时钟控制技术、总线处理技术和相应的软件设计技术等。该平台能够作为接口和可编程逻辑教学实验平台和研究开发平台,其实现技术可以容易的应用于嵌入式系统设计。     

基于独立分量分析的极化SAR图像的相干斑抑制

研究基于独立分量分析( ICA)的极化合成孔径雷达（SAR）图像相干斑抑制方法。该方法将极化SAR图像斑点噪声的乘积模型,变换为应用ICA的信号独立加噪模型。并且将HV/VV的比值图像,也作为ICA的输入数据。利用ICA 的分离性,得到了分别对应于HH、HV和VV极化的三幅降噪图像。经本文方法处理后的图像,其相干斑噪声得到了有效的抑制,具有较高的等效视数,明显地改善了图像的质量。     

一种基于信任机制的混合式P2P模型

以改善P2P网络的安全性能为目标,介绍了基于关键节点的混合式P2P结构和基于信誉的信任机制,提出了一种基于该信任机制的混合式P2P模型,描述了该模型的工作机制。利用该模型可以在两个对等实体之间建立高效、可靠的信任关系,有效防止恶意攻击,提高P2P网络的效率和安全。     

无局部自交的轴变形新方法

提出了一种无局部自交的轴变形的新算法.不同于传统的方法,新方法通过调整轴曲线的控制顶点及形状来调整轴曲线的曲率,从而避免物体发生局部自交.另外,文中还给出了一种快速判断轴变形中物体发生局部自交的方法,并给出了快速求解交点并去除自交的算法.上述方法计算量少,效率高,能应用于实时的计算机动画和几何造型系统中,具有广泛的应用前景.     

织物紧度和抗皱整理工艺对纯棉机织物折皱回复性的影响

为提升棉织物的抗皱性能,研究了织物紧度和抗皱整理工艺的协同作用对棉织物抗皱性能的影响.选取了不同紧度的斜纹、平纹2组棉织物试样,测试了其在抗皱整理前后的急弹与延迟回复角、表面形貌和化学结构.在实验基础上,结合双因素方差分析,确认了织物紧度、树脂质量浓度双因素的协同作用对织物抗皱性影响的显著性,分析了双因素单独和协同情况...     

油页岩含油率测定方法及其影响因素的研究

借助煤的低温干馏方法及采用自制加热装置和温度控制调节仪,主要针对油页岩中含油率的测定方法以及影响因素进行了研究。实验中采用对油页岩进行低温干馏后测定产物中的水分,从而间接测定油页岩的含油率。同时,对测定过程中的影响因素进行了考察,得到最佳升温速率为15℃/min、干馏终温为500℃、持温时间为20 min、颗粒度<3 mm。     

基于数据驱动的聚合空调特性建模及控制策略

随着越来越多的可控负荷接入电网,空调负荷(air conditioning loads, ACLs)由于其响应速度快、调节潜力大、具有蓄冷储热等特征可作为柔性负荷参与平抑可再生能源引起的波动。在实际对ACLs进行聚合的过程中,室外温度、ACLs的温度和ACLs的数量等外部条件的变化会对聚合模型造成一定的影响。但现有大多数对ACLs的控制方法未考虑聚合ACLs外部特性模型(aggregate ACLs′external model, AAEM)的时变特征。文中提出一种基于数据驱动的AAEM及相应的负荷跟踪控制策略,考虑到基于ACLs热力学特性的ACLs的成本函数,采用神经网络对时变聚合ACLs的AAEM进行快速计算,降低AAEM的计算复杂程度。基于数据驱动的AAEM负荷跟踪控制策略有效减少了ACLs的开关状态切换次数及其调用总成本。基于实际用户的仿真结果验证了该方法的有效性。