时间自动机两种模型的构造互模拟研究

基于时间自动机不同模型的验证被工业界广泛应用，本文形式描述了两种这样的模型，给出了从事件时钟自动机到双向时间自动机的构造方法，证明了二者识别语言之间的包含关系。     

具有深度视觉感的车载红外图像彩色化方法

提出了一种实现具有深度视觉感的车载红外图像彩色化的方法,对车载红外图像采用区域生长分割算法进行景物分类,分为天空、树木和道路,再分别对每一景物估计深度,然后根据得出的深度信息再结合景物的色彩先验知识,实现具有深度视觉感的红外图像彩色化。实验结果显示该方法能够得到较接近真实的深度和色彩视觉效果。     

基于PLC控制的远程故障诊断系统

当今工业控制现场的设备的特点是自动化、复杂化和连续化,为了保证现场人员的人身安全同时为使这些设备的正常、可靠、高效地运行,有必要监测可诊断这些现场的设备。该文基于传统故障诊断理论和现代故障诊断理论,应用故障树分析(FTA)建立了胎面线控制系统的故障诊断模型。     

湿地-水塘-地下灌排改进系统的效应

从湿地、湿地植被、灌排系统和水塘4方面对美国湿地-水塘-地下灌排系统(WRSIS)进行改进,分析改进的WRSIS的效应。结果表明,WRSIS改进系统具有显著的节水、增产和改善水质(减污)的效应,值得在全国范围内示范推广。     

无线数传模块的设计

讨论了基于单片机及nRF401无线数传模块的设计,并重点介绍了其硬件及软件的实现.本设计模块结构简单、数据传输可靠,可广泛应用于无线通信系统.     

基于ASP的数据库发布技术

结合开发WEB应用系统的体会,着重阐述了基于ASP技术的数据库应用解决方案,其中包括ASP的概念、ASP访问后台数据库的运作机制,并举例说明ASP的语法及其具体实现方法。     

不同柱体布局模式下圆柱贴附通风气流组织特性研究

针对大空间建筑中存在的多种圆柱布局模式,研究了单、双及四柱贴附通风气流组织特性。选取14种柱体布局模型,采用流场可视化实验和数值模拟方法研究了圆柱贴附通风的流场形态和气流组织特性,并选取速度场、温度场、头脚温差、吹风感指数和通风效率分析了4种单柱布局模式的通风性能。结果表明:单、双及四柱贴附通风均能在工作区形成类似于置换通风的空气湖气流组织分布;双柱和四柱贴附通风可以简化为单柱通风模式来研究。     

面向对象数据库中的频繁模式发现

提出了基于高阶归纳逻辑编程发现面向对象数据库中的频繁模式的算法.此算法使用高阶逻辑编程语言Escher作为数据及模式表示语言.由于高阶逻辑编程语言不仅能描述复杂结构的数据而且还能描述复杂的模式,以及Escher语言的强类型语法能有效缩小由于高阶逻辑编程语言较强表达能力所带来的较大的模式搜索空间,故此算法能充分利用面向对...     

基于复杂结构数据聚类的推荐系统

针对目前推荐系统存在的不能处理结构复杂、语义丰富领域的推荐问题以及对项目空间和用户空间本质特征理解的狭窄性和简单性、稀疏性问题、可扩展性问题,研究了基于复杂结构数据聚类的推荐方法,提出了一个新颖、有效、具有高可扩展性的基于复杂结构数据聚类的混合型推荐系统HRSCCSD.该系统能同时融合用户语义、项目语义和项目协同多方面...