基于强相关逻辑的不精确应急时态知识表示

在强相关逻辑基础上扩展不精确时态关系,以满足不精确应急时态知识表示与推理的需要。给出了粗糙集及强相关逻辑的相关概念;通过定义不精确时态关系扩展了强相关逻辑,形成了粗糙时态强相关逻辑,给出了可靠性和完备性证明;通过实际例子说明粗糙时态强相关逻辑的知识表示和应用。结果表明扩展后的粗糙时态强相关逻辑可以实现不精确时态知识的表示与推理。     

直觉模糊有限状态机的子系统

提出了直觉模糊有限状态机的子系统(强子系统)在同态作用下的前像与像的概念,讨论了它们的性质,并刻画了子系统与强子系统的性质。     

新至强新动力

熟悉服务器的人都知道,至强处理器是英特尔专门为服务器而设计的处理器。拥有至强,也意味着拥有超强的性能。今年上半年,英特尔在原有至强的基础上设计了新至强处理器,并与基于Intel E7500芯片组的IntelClearwater服务器主板相配合,形成了基于Intel新至强处理器的服务器新标准。英特尔的这个新标准给市场带来了新的冲击,也带来了新的希望。     

同时镇定问题研究

基于互质分解的状态空间描述，首先得到了可同阶强镇定的充要条件，并给出了一种同阶强定控制器的构造方法，本文证明了２对象同时强镇定可转化为同时强镇定－辅助对象与它的子对象，同阶同时强全２对象等价于同时强镇定一个辅助对象与它的一稳定子对象，同时镇定ｒ＋１个对象等价同时强镇定ｒ－１辅助对象它们的一公共子对象。     

强偏序时态模式中数据依赖推导规则研究

随着数据库与信息技术的发展,信息系统面临许多新的应用和需求,对时态信息处理的需求越来越迫切。时态信息处理已成为许多新一代数据库与信息系统的关键技术,时态数据库研究已经成为数据库与信息系统领域研究的热点和难点。就时态数据库中的难点问题强偏序时态数据库的数据依赖问题开展研究,因此选题紧靠学术前沿。针对强偏序时态模式中的数据依赖问题进行了讨论,?提出了强偏序时态模块模式、强偏序模式的时态类型集概念,?给出了强偏序时态模式中函数依赖的推导规则以及多值依赖的推导规则,理论分析的结果表明这些规则是正确的有效的,这对实现强偏序时态数据库的规范化设计具有重要的推动作用。     

强磁选过程智能优化控制仿真实验平台

强磁选系统具有多变量强耦合、强非线性、工况变化频繁、精矿品位和尾矿品位不能在线连续检测等综合复杂性。为开展强磁选系统优化控制研究提供仿真实验环境,解决其工程化验证问题,建立了强磁选过程智能优化控制半实物仿真实验平台。详细介绍了各系统的组成及功能,该实验平台由模拟现场强磁选的虚拟对象系统、仪表与执行机构虚拟装置、PLC、监控系统和优化控制系统组成。并进行了实验验证,实验结果表明了强磁选过程优化控制仿真实验平台的有效性和可行性。     

光电混合式电流互感器

介绍了光电混合式电流互感器在超高压电磁场的情况下,绝缘性能好、可靠性强、质量小、抗干扰能力强等特点;阐述了系统组成与工作原理,并对实验数据进行处理与误差分析。     

具有强导电性的合金分散塑料

日本新东工业公司开发了1种合金分散型强导电性塑料的制造技术,该塑料具有与铁相同的强导电性.     

水电机组智能盘车系统关键技术探讨与实践

传统盘车方法存在布点数量小、停点不准确、读数主观性强、盘车耗时长等问题,因此迫切需要开发一种通用性强、效率高、精度高、智能性强的全自动智能盘车系统,本文对其相关关键技术进行了深入有效的探讨,在此基础上,提出了相应的解决方法与方案。通过现场试验,验证了所提出解决方案的有效性与可行性。     

多维协同构建计算机类专业人才实践与创新能力培养体系

依托多维协同改革思路,紧密跟踪计算机学科发展前沿,顺应人才培养教育的时代需求,构建了"行业协同、校企协同、科教协同、学科交叉"的计算机类专业人才实践与创新能力培养模式,利用教学云平台将六个实践与创新能力培养平台整合为一体,并通过专业基础型、综合设计型、研究创新型三个层次的教学来提升学生实践与创新能力,构建了一套能力评估与质量监控机制,形成了"三层次六平台一机制"的实践与创新能力培养体系,着力培养"适应能力强、实干精神强、创新意识强"的计算机类新型"三强人才"。     

模糊决策树在高校师资管理中的应用

良好的教师资源是高校持续发展的重要保证。文中分析了当前高校教师资源管理中存在的问题,进而把融合了模糊理论和决策树优点的模糊决策树应用到这一领域;简要介绍了模糊决策树构造思想和Fuzzy ID3决策树学习算法,并将该思想和算法运用于高校师资管理之中,对引起高校教师资源流失的原因进行了初步分析。以若干高校提供的数据为基础的实验表明,本方法产生的分类结果基本符合实际情况,从而也为高校如何解决师资流失问题提供了理论依据。     

基于集群技术构建电力系统高性能计算平台

高性能计算是解决大规模电力系统分析计算的有效途径。该文介绍如何基于集群技术构建电力系统高性能计算平台。作者以自己的构建过程为例,分析电力系统高性能计算集群的基本体系结构,从硬件、网络和软件三个方面详细解析其高性价比的构建技术。最后,运用基准测试程序(LinPACK、NPB和PMB)对这一高性能计算平台的进行测试,显示了该平台高效的并行计算性能,以及对程序可移植性的良好支持。基于集群技术构建的电力系统高性能计算平台能为真正解决大电网快速、详细的仿真计算奠定基础。     

应用驱动的高效能计算机系统的研究与发展

在分析并行应用为高效能计算机系统提出的挑战的基础上,针对Cray和IBM的相关计划,探讨了应用对高效能计算机研发计划、系统决策、系统架构以及系统软件的影响,总结了有代表性的千万亿次计算机计划及其系统,并从应用范围的角度对高效能计算机系统进行了分类;进一步综述了高效能计算机系统在体系结构、编程环境、管理以及鲁棒性等方面取得的进展.最后从应用的角度展望了高效能计算机系统的发展.     

基于核聚类的机动多目标数据关联问题研究

针对新型作战样式条件下空中多机动目标密集回波的数据关联问题,采用核学习方法和K-均值聚类相结合的算法,即基于核的K-均值聚类来解决此问题.该方法的主要思想是,将原空间中的样本通过一个非线性映射,映射到高维的核空间中,以突出各类样本之间的特征差异,然后在核空间中进行K-均值聚类.仿真结果表明,该方法有效提高了密集回波环境下系统跟踪机动多目标的关联精度和可靠性.     

一种支持负载均衡的多机选举模型

在当前的分布式多机系统中，为了保证服务的高可用性，节点的状态检测和单点失效时任务的平滑迁移变得十分重要。本文在实际研发过程中设计实现了一套高效和高可靠的状态检测和任务选举机制。该机制具有状态少、效率高和支持负载均衡等优点。     

An experimental research on single discharge machining of insulating ceramics efficiently with high energy capacitor

Insulating ceramics are applied to modern manufacturing industries for their improved material properties.But they are the difficult-to-machine materials because of their high rigidity,high brittleness and non-electrical conductivity.A new method which employs a high energy capacitor for electric discharge machining of insulating ceramics efficiently is presented in this paper,and the single discharge experiments have been carried out.The process uses the high voltage,large capacitor and high discharge ener...     

基于单目视觉的小位移测量技术研究

视觉测量技术是建立在计算机视觉研究基础上的一门新兴学科,随着科学技术的发展,视觉测量也越来越受到重视,基于单目视觉的小位移非接触测量是一种高效、快速、方便的测量方法,本文给出具体的测量算法,并对基于二次曲面拟合的亚像素定位技术的计算过程进行了改进,在确保精度的前提下提高了亚像素定位的速度,通过实验证明算法达到较高的精度,能够满足一般的工程测量。     

电容传感式玻璃厚度测量仪

介绍了一种玻璃厚度测量系统。该系统的信号检测部分采用平行极板结构电容器，将测得的信号用电容─频率变换电路转换成脉冲频率信号，然后利用光纤传输，因而系统具有高速、高精度、高抗干扰能力。