A Type-Safe Embedding of XDuce into ML

We consider the problem of integrating XDuce into ML. This is difficult because of incompatible type and value representations. Our solution is a type-driven translation scheme from XDuce to ML based on a structured representation of XDuce values. XDuce type inference guides the insertion of appropriate coercion functions to translate regular expression pattern matching and uses of semantic subtyping. We can extend our translation scheme to include ML function calls and patterns into XDuce. Thus, we can embed XDuce into ML. Our results allow to enrich the ML language with support for dealing with semi-structured data.     

技术杠杆系数的研究——技术进步对企业息税前收益的影响

提出了技术杠杆的概念,并就技术成本杠杆和技术价格杠杆对企业息税前收益变化的影响程度进行了探讨,经理论计算说明了通过技术进步不但可以提高企业的息税前收益,而且当企业的经济效益越差时,技术进步使产品的变动成本降低或使产品的单位售价提高而带来的企业息税前收益提高的速度越快。     

添加尖晶石对氧化锌压敏电阻性能的影响

通过添加尖晶石（Ｚｎ７Ｓｂ２Ｏ（１２））改性研制出电位梯度为１００Ｖ／ｍｍ左右，压敏电压在８２～１５０Ｖ，通流容量可达１６００Ａ／ｃｍ２，漏电流＜２μＡ系列压敏电阻器，从而满足了国内电话交换机行业对８２Ｖ、１００Ｖ、１２０Ｖ、１５０Ｖ压敏电阻器的电性能要求。从工艺的角度解释了尖晶石对氧化锌瓷晶粒的作用原理，并分析了尖晶石的微观结构及粒度对瓷片电性能的影响。     

Hastelloy B-2封头加工

HastelloyB - 2是哈氏合金中最难制造和加工的镍基合金之一 ,尤其是化工容器中的封头 ,其制作工艺过程较复杂 ,这种材料较昂贵 ,目前在国内化工行业应用很少 ,因此掌握这种材料的制造技术具有重要的意义 ,本文阐述了HastelloyB - 2封头的坯料焊接、旋压成形、固溶处理及酸洗等工艺过程。     

An online multiple object tracker based on structure keeper net

We propose a novel online multiple object tracker taking structure information into account. State-of-the-art multi-object tracking (MOT) approaches commonly focus on discriminative appearance features, while neglect in different levels structure information and the core of data association. Addressing this, we design a new tracker fully exploiting structure information and encoding such information into the cost function of the graph matching model. Firstly, a new measurement is proposed to compare the structure similarity of two graphs whose nodes are equal. With this measurement, we define a complete matching which performs association in high efficiency. Secondly, for incomplete matching scenarios, a structure keeper net (SKnet) is designed to adaptively establish the graph for matching. Finally, we conduct extensive experiments on benchmarks including MOT2015 and MOT17. The results demonstrate the competitiveness and practicability of our tracker.

     

基于HIP的网络防火墙系统设计与实现

在Internet所使用的TCP/IP协议中,网络层IP地址同时代表了主机标识符和定位符,使得IP地址无法支持主机移动性与多宿主性,更加无法保障用户之间的可信任性。为了解决这一系列问题,文章深入研究了主机标识协议（HIP）的体系结构。该体系通过主机标志层来标志连接终端,加强了安全性和可移动性,满足了人们对保密通信和移动通信上的要求。文章基于ARM嵌入式系统,提出以透明网桥为载体架设防火墙过滤HIP包,达到对一个网段进行网络安全防范的目的。     

短波chirp探测的遗传退火频率分配算法研究

针对短波chirp探测系统的通信网络频率分配问题,建立了合理的干扰模型;利用系统所提供的测量参数,结合基本遗传算法,同时进行模拟退火操作以克服基本遗传算法易陷入局部最优解的不足,并最终趋于全局最优化;仿真结果表明,该算法在寻优性、收敛速度和稳定性等方面都要优于基本遗传算法。     

基于ARM9无线监控系统的设计

进入二十一世纪以来,随着数字信息技术和网络技术高速发展,嵌入式系统已经深入到工作和生活的方方面面,嵌入式应用拉近了人与计算机的距离,形成一个人机和谐的工作与生活环境,并将发挥更大的作用,无线局域网的应用将会成为未来无线网络的技术主流。该文主要研究内容有嵌入式系统的设计,嵌入式操作系统的研究和移植,视频图像的采集和处理,无线传输技术及无线网络配置的方法。     

LabVIEW机械故障诊断系统的Web实现

本文针对机械设备远程故障诊断的振动数据分析问题,设计了一种在Web浏览器中进行机械设备振动数据实时显示和频谱分析的方法。首先,LabVIEW程序通过以太网从工业现场采集实时振动数据并以网络共享变量发布;然后,LabVIEW Web Service服务程序根据用户请求获取实时振动波形数据或对数据进行频谱分析,将数据以XML方式返回;最后,客户端的浏览器中分别采用Flex和Ajax对XML进行解析并显示实时波形和特征参数。该方法快速、稳定、可靠,很好地解决了远程故障诊断的问题。