智能混合控制器在转炉干法除尘中的应用

转炉干法除尘蒸发冷却器出口烟气温度大多数采用常规串级控制方式,但转炉冶炼前期控制效果并不理想.对转炉冶炼过程及蒸发冷却器出口烟气温度的控制难点进行研究,找出常规串级控制方式的缺点,并设计出一种智能混合控制器.采用智能模糊控制器和常规控制器并联的控制方式,对蒸发冷却器出口烟气温度进行控制,控制效果理想.实际应用表明,同常规串级控制器相比,智能混合控制器具有响应快、被控对象稳定等优点.     

基于空间几何方法的乒乓球机器人最优姿态求取

首先分析了仿人机器人手臂的空间几何构型,特别是针对在给定任务下末端执行器的姿态约束不完整的情况.并在此基础上,以机器人手臂的整体动能最小为目标,优化球拍绕其法线方向的旋转角.同时从整个机器人手臂动能的方面对机器人手臂的末端执行器姿态进行优化分析,并确定最优条件,即手臂所构成的平面与球拍运动速度向量所形成的平面互相垂直,然后根据最优条件及各连杆间的关系建立方程,求解出最优的末端姿态角,以减少机器人手臂运动所引起的振动.最后,通过仿真结果从动能求取和轨迹规划等方面验证了提出的方法的有效性.     

基于VPN的远程粮情检测系统通讯软件研究

针对本地化粮情检测系统实现远程操作,研究Winsock与VPN技术在系统通讯软件中的应用。VPN技术可以大幅降低搭建专网所需的网络设备成本与管理难度,使用Winsock技术可以提供完整的TCP/IP底层协议从而减少程序开发时间。本文设计一种基于VPN的远程粮情检测系统的通讯软件,在多线程下有效利用套接字的拥塞模式并完成网络状态自检,通过设置VPN客户端提升网络传输速度,实现系统通讯软件安全、可靠、快速的运行。     

Fenton氧化法处理废水的机理及应用

阐述了Fenton试剂的氧化机理 ,分析了各项因素对氧化效果的影响。介绍了光 -Fenton法、电 -Fenton法及Fenton -混凝法在废水处理中应用情况以及存在的问题 ,并展望了其发展趋势。     

低熔点合金填充聚合物材料断口形貌研究

研究了合金元素、加工温度、金属含量、第三组分对低熔点金属填充聚合物材料断口形貌的影响。实验结果表明:不同的合金对体系的影响很大,低分子量、低结晶性聚合物,高的成型加工温度可提高材料的相容性。     

A schema aware ETL workflow generator

Extract, Transform and Load (ETL) processes organized as workflows play an important role in data warehousing. As ETL workflows are usually complex, various ETL facilities have been developed to address their control-flow process modeling and execution control. To evaluate the quality of ETL facilities, Synthetic ETL workflow test cases, consisting of control-flow and data-flow aspects are needed to check ETL facility functionalities at construction time and to validate the correctness and performance of ETL facilities at run time. Although there are some synthetic workflow and data set test case generation approaches existed in literatures, little work is done to consider both aspects at the same time specifically for ETL workflow generators. To address this issue, this paper proposes a schema aware ETL workflow generator with which users can characterize their ETL workflows by various parameters and get ETL workflow test cases with control-flow of ETL activities, complied schemas and associated recordsets. Our generator consists of three steps. First, with type and ratio of individual activities and their connection characteristic parameter specification, the generator will produce ETL activities and form ETL skeleton which determine how generated activities are cooperated with each other. Second, with schema transformation characteristic parameter specification, e.g. ranges of numbers of attributes, the generator will resolve attribute dependencies and refine input/output schemas with complied attributes and their data types. In the last step, recordsets are generated following cardinality specifications. ETL workflows in specific patterns are produced in the experiment in order to show the ability of our generator. Also experiments to generate thousands of ETL workflow test cases in seconds have been done to verify the usability of the generator.     

1990年后黑龙江省影视广告产业发展状况考察

20世纪90年代以前,黑龙江省广告制作元素单调,口号化风格明显,"信息告白+产品图像"的新闻报道模式明显。90年代以来黑龙江广告发展在物质条件和技术条件的支持下,开始逐渐向着"好广告"的方向发展。影视广告中的商业广告和公益广告十分活跃,在与时俱进的同时显示出了黑龙江影视广告的个性化特征。     

基于移动互联网的养殖平台开发与应用

将移动互联网和物联网信息关键技术应用于水产养殖中,整合渔业新闻动态、水产养殖技术、手机信息服务等功能模块,为实现健康养殖的渔业生产保驾护航,不仅大大降低了生产人员的劳动强度,方便了技术人员对数据的收集和分析,并提高了养殖动物病害预警的能力,同时也配合了水污染治理工作。     

活性污泥法处理污水两个重要参数的理论探讨

负荷、泥龄是活性污泥法处理城市污水设计、运行中的重要参数.给出了有机负荷的动力学表达形式(称之为动力学负荷),并对有机负荷和泥龄的关系,有机负荷和泥龄对水质、污泥沉降性能影响进行了理论探讨.     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.