营销信息系统功能结构和开发研究

建立营销信息系统对提高企业环境应变力和市场竞争力具有十分重要的作用．本文主要讨论营销信息来源和收集方法、营销信息系统构成及其功能特征、开发营销信息系统应注意的问题．     

锅炉一次风机电机滑动轴承反复发热问题的分析与处理

高压异步电动机是火电厂锅炉风机的常用驱动设备,通常采用滑动轴承.滑动轴承运行中温度过高将导致轴承合金损坏,造成轴径损伤.针对一起因定、转子磁力中心不重合导致的高压电机滑动轴承温度过高故障进行了分析探讨,并提出了解决方案.     

结构相似产品单件订货生产计划方法研究

从相似产品单件订货生产类型特点出发,借鉴传统的生产计划方法,提出在此生产条件下弱化主生产计划、强化粗进度计划和改善零部件生产进度的计划体系优化思路。     

A formal software development approach using refinement calculus

The advantage of COOZ(Complete Object-Oriented Z) is to specify large scale software,but it does not support refinement calculus.Thus its application is comfined for software development.Including refinement calculus into COOZ overcomes its disadvantage during design and implementation.The separation between the design and implementation for structure and notation is removed as well .Then the software can be developed smoothly in the same frame.The combination of COOZ and refinement calculus can build object-oriented frame,in which the specification in COOZ is refined stepwise to code by calculus.In this paper,the development model is established.which is based on COOZ and refinement calculus.Data refinement is harder to deal with in a refinement tool than ordinary algorithmic refinement,since data refinement usually has to be done on a large program component at once.As to the implementation technology of refinement calculus,the data refinement calculator is constructed and an approach for data refinement which is based on data refinement calculus and program window inference is offered.     

一种从Z到精化演算的软件开发方法

一、引言形式化方法的研究和应用已有二十多年的历史,源于Dijkstra和Hoare的程序验证以及Scott、stratchey等人的程序语义研究,指为保证复杂系统的可靠性,以数学为基础对其进行精确描述和验证的语言、技术和工具。形式化方法的关键在于形式规约语言。通过语法和语义有严格数学定义的形式规约语言对系统及其各方面性能的描述,产生系统的形式规约,可以帮助开发者获得对所描述系统的深刻理解,并通     

基于TFD联合要素的图像分类

文中提出了基于时间频率分布联合要素的非平稳时间序列信号的分类方法,其结果显示：对于非平时间序列信号,基于时间频率分布联合要素的分类法比单独基于时间或频率分布要素的方法处理效果好。     

基于IoT的可穿戴远程心电监测设备设计

为了实现人体心电信号的远程实时动态监测,设计了一款可穿戴心电监测系统。此设备由织物电极和控制盒组成,固定于紧身运动背心上,通过织物电极传感心电信号,蓝牙模块采样后,传输到手机APP端和主控制模块,主控制模块完成心率计算、阈值判断、心电压缩、数据存储和上报数据至物联网平台。该系统可以实现控制盒上报数据和蓝牙上传数据两种数据上传方式,具有功耗低、可靠性高、适用于日常生活等特点,具有较高的实用价值。     

米糠保健膨化米果的研制

本文介绍米糠的营养价值及利用米糠制作具有保健功能的膨化米果，确定工艺参数和配方，为米糠的综合利用和开发提供一条新途径。     

面向SOC系统设计的层次化CDFG的扩展

本文主要介绍了层次化CDFG中标准控制结构和并行结构的扩充及转换方法,从而为在高层次SOC设计中真正使用HCDFG提供了基础。同时,文中还给出了HCDFG在系统验证中的作用,它为不同方法的混合验证提供了统一而有效的内部结构。