显式并行计算机系统的性能特征化方法

本文从应用程序的角度将并行计算机系统分为显式并行和隐式并行两类,给出了显式并行系统的一般性视图,并在此基础上研究了显式并行系统的性能特征化方法,包括选取必要的系统性能特征参数以及对各参数值的测量。我们的研究地显式并行系统的设计者和用户都有一定的参考价值。     

彩管企业制造执行系统的设计与实现

由于各制造企业的管理体系、生产流程相差很大,传统的制造执行系统主要是针对特定企业进行定制式开发,很少考虑通用问题。针对传统MES的不足,提出行业通用MES的建设。通过对彩管业的广泛调查、研究,设计出彩管行业通用MES。在此基础上,将系统成功应用到某彩管企业。实践表明:对彩管企业采用所提出的设计和实现方案效果良好。     

对流扩散方程并行求解方法研究综述

对流扩散方程是一类典型的偏微分方程,其并行求解方法对其他微积分方程的并行求解具有借鉴意义。对对流扩散方程的并行求解方法进行综述,分为显式直接并行、隐式迭代并行、交替分组显式并行和Monte Carlo并行四种并行求解方法,对其中涉及的计算原理进行描述,给出示例,并指出进一步研究方向。     

一种基于MES部署过程的SVG图形文档生成方法

制造执行系统(MES)已得到广泛的研究和应用,有效地提高了制造业的生产效率,并且随之出现了各类软件来模拟MES部署过程,缩短了MES部署周期。然而在MES部署过程中需要大量文档描述其部署过程,繁重的文档工作降低了MES部署效率。提出提高MES部署效率方法之一自动生成描述MES部署过程的视图。首先分析影响IT系统部署实施的因素,特别强调了影响MES的部署因素。其次提出一些图形绘制的方法来描述MES的部署过程。利用SVG矢量图的性质,以多视图的链接的方式,展现一个完整的MES部署过程。     

关于MES应用工程开发的几点看法和建议

围绕MES的应用开发,着重讨论了近些年来MES应用的进展,实施MES应用工程的必要性和可行性,企业商务和运营信息和制造信息的集成问题,从MES入手降低企业信息系统的投入风险和提高投资回报率,最后提出在国内实施MES应用工程的建议。     

开目MES系统产业化项目入选火炬计划

近日,开目公司"制造执行系统(MES)系统产业化"项目获得了科技部立项,被列入2012年国家火炬计划。该项目入围国家火炬计划,标志着开目公司MES产品在面向离散制造业的产业化应用上又迈出坚实一步。开目公司的制造执行系统KMMES秉承了"信息服务生产、制造透明无间"的理念,根据离散制造多品种小批量、研制批产并行、自主工艺设计制造、半自动或手工设备多样等特点,通过对企业生产计划、制造执行、质量管理、物料管控和分析决策各个环节的全方位管理,建立了面向离散制造企业的专业数字化制造专业解决方     

制造执行系统在烟草企业中的应用

介绍了MES系统的热潮现象、MES系统的可集成平台模型及MES系统在烟草企业信息化中的定位和应用实施,并结合烟草行业信息化的现状,对实施MES系统提出了自己的观点和建议。     

制造执行系统的研究现状和发展趋势

制造执行系统（Manufacturing Execution Systems,MES）是制造（生产）过程的计算机在线管理系统,处于制造企业计划层与控制层之间的执行层,是企业资源计划系统和设备控制系统之间的桥梁和纽带,是制造企业实现敏捷化和全局优化的关键系统。综述了制造执行系统MES的产生与发展过程,以及MES的功能模型,给出了协同的MES功能模型和实现综合生产指标优化的流程工业MES功能模型,分析了MES的应用现状,提出了MES的发展趋势和实现管理扁平化和综合生产指标优化的流程工业MF5所需要的关键技术。     

CFD显式差分程序的自动并行技术研究

对CFD显式计算程序的自动并行技术作了研究和探讨，从应用的角度出发，充分利用显式差分的特点和模拟手工并行的过程，集中研究了区域划分，相关性分析以及同步通信与优化等自动并行的核心技术。     

现代集成制造系统中的制造执行系统

在分析企业的自动化孤岛和信息孤岛的基础上，引出了MES的需求必要性。根据MES系统在现代集成制造系统（CIMS，contemporary integrated manufacturing systems）三层体系结构中的定位和作用，首先介绍了MES的一般基础集成模型及其与CIMS中其他信息系统间的关系，在此基础上强调了MES与CIMS中其他信息系统间集成的作用，并给出以MES为中心的整体信息集成所面临的主要问题和相应的解决措施，最后简单介绍了MES的发展状况和趋势。     

Expert system verification and validation: a survey and tutorial

Assuring the quality of an expert system is critical. A poor quality system may make costly errors resulting in considerable damage to the user or owner of the system, such as financial loss or human suffering. Hence verification and validation, methods and techniques aimed at ensuring quality, are fundamentally important. This paper surveys the issues, methods and techniques for verifying and validating expert systems. Approaches to defining the quality of a system are discussed, drawing upon work in both computing and the model building disciplines, which leads to definitions of verification and validation and the associated concepts of credibility, assessment and evaluation. An approach to verification based upon the detection of anomalies is presented, and related to the concepts of consistency, completeness, correctness and redundancy. Automated tools for expert system verification are reviewed. Considerable attention is then given to the issues in structuring the validation process, particularly the establishment of the criteria by which the system is judged, the need to maintain objectivity, and the concept of reliability. This is followed by a review of validation methods for validating both the components of a system and the system as a whole, and includes examples of some useful statistical methods. Management of the verification and validation process is then considered, and it is seen that the location of methods for verification and validation in the development life-cycle is of prime importance.     

联邦开发过程中的校核、验证与确认（VV＆A）

对联邦的VV＆A不仅能够使每一步的工作得到跟踪和衡量,还使每一步能够减少多余的工作量,巩固需要加强的工作,明确开发人员的角色和职责,从而使人力、时间、资金等资源得到更加有效率的利用,仿真的结果变得更加可预测和准确,在很大程度上减少了编程的风险.联邦成员描述了仿真模型的各对象类、交互类、相关的属性、参数等信息,而联邦是各联邦成员的有机集成,构成具有特定功能的仿真系统.因此,联邦成员的正确性是联邦正确性的前提,决定了仿真系统的成败.在VV＆A的过程中,最好采用一些自动化工具以便于工作,同时要根据具体仿真系统的实际情况来确定VV＆A所需要作的工作.     

区块链+物联网在农产品溯源中的应用研究

近年来,农产品安全问题日益严峻,传统的农产品追溯体系面临公信力缺失、监管困境和扩展性问题,农产品质量安全追溯迫在眉睫。随着区块链技术不断发展,其具有的分布式、去中心化、不可篡改、可追溯等特性在改善农产品溯源系统数据安全性、透明性等方面发挥着重要作用,并受到了各个行业的广泛关注。在简述可追溯性和追溯系统概念的基础上,介绍物联网和区块链技术,并探讨了当前国内外学者将区块链和物联网框架融合应用到农产品溯源中的一些相关研究,同时阐述了溯源系统在物联网与区块链结合下带来的安全、可靠、透明等好处及面临可扩展性、效率问题、资源浪费等挑战,最后对当前农产品溯源体系建设提出建议以及未来的研究方向。     

元宇宙发展演变及安全风险研究

近期元宇宙热潮席卷全球,主要国家和知名企业纷纷布局以争夺未来数字领域话语权,但目前关于元宇宙并没有形成较为统一的标准定义和终极形态描述。我国在促进电子信息产业高质量发展、保障网络空间安全的需求下,亟需科学认识元宇宙的本质特征、演变趋势及安全风险。运用文献调研和情报分析相结合的研究方法,首先基于技术应用迭代、经济商业模式、社会关系作用等核心理念归纳提出了元宇宙的基本概念,根据空间范畴、时空维度、关键技术、虚实交互等演进程度,将元宇宙发展演变依次划分为数据创生、数字仿生、虚拟镜生、虚实共生4个阶段并阐述了各阶段特征及对应形态;接着从创新应用需求、虚拟生活转变、商业价值驱动、政治力量推动等角度,分析了元宇宙广受关注的主要原因;然后针对挑战国家治理体系、冲击主流意识形态、操纵收割资本市场、引发诸多社会问题、误导技术产业布局等方面,重点研判了元宇宙浪潮带来的政治、文化、经济、社会和技术等多重安全风险和威胁。研究建议,目前元宇宙尚处于概念完善和产品探索阶段,应理性把握元宇宙发展机遇,立足我国电子信息产业现状,提前做好风险应对准备,构建数字治理监管体系,激发产业创新开放发展,夯实网络信息安全支撑,营...     

基于RFID的供港蔬菜安全监管溯源系统

为保障供港蔬菜的安全,提高供港蔬菜的安全监管能力,本文从检验检疫部门监管工作实际出发,提出了基于射频识别技术的供港蔬菜安全监管溯源系统．首先介绍了RFID技术及其主要功能,通过检验检疫角度提出供港蔬菜的业务框架结构、技术框架结构和安全保障体系结构,在此基础上设计溯源系统种植基地、加工厂、口岸和超市四个点的功能需求,并规定了溯源系统与RFID的接口标准．实践证明,该系统能够实现供港蔬菜流转中的每一管理节点的上下游追溯,实现管理者对蔬菜从原料、生产、运输到销售全过程的了解和把握,使企业的生产、仓储、通关、配送过程更加便捷,全面保证了蔬菜集装箱在运输过程的完好性,满足了供港蔬菜的安全溯源监管体系需求．该系统对食品的安全监管、产品的伪劣甄别有着重要的启示作用和意义．     

基于WinSocket远程控制程序的设计与实现

详细介绍了Socket通信的初始化、建立,以及信息的传输、读取和执行控制指令的过程。该程序直接应用Windows系统的API函数,通过获取桌面图象,转换为位图格式进行发送和接收,以及图象处理和显示,还包括鼠标事件的获取、传输及实现相应鼠标操作事件等,实现屏幕控制技术。     

功能-行为-结构(FBS)模型方法研究综述

功能-行为-结构(FBS)模型通过引入行为变量(Behavior),丰富了传统功能-结构(FS)模型,目前已被广泛应用于设计领域。对FBS模型的发展和应用进行综述。首先,从FBS模型的定义、相关变量概念的提出和发展、及优化和完善等方面对FBS模型进行介绍;其次,通过对国内外相关文献的分析,对FBS模型的研究及应用进行分类,总结现有主要研究集中于：FBS模型自身的发展、基于FBS模型的方法集成和映射机制的应用等方面;最后,提出FBS模型目前仍存在的问题,并给出研究建议,为FBS模型的研究和应用提供参考。     

一种典型场景区块链平台性能测试方法及应用研究

Hyperledger Fabric区块链平台作为一种经典代表广泛应用于各种现实场景,其性能及其指标的量化影响成为众多科研人员的关注焦点。本文针对基于Hyperledger Fabric区块链平台的交通产品质量控制系统,通过性能测试过程模型及架构的明确,基于平台性能基准测试,研究建立以选取吞吐率、读写吞吐量、响应时间、区块生成速率以及交易延迟来分析出块时间、区块最大交易条数、区块首选字节数、区块最大字节数以及总连接数等因素对平台性能影响的方法体系,其研究和分析应用源于工程领域典型案例,具体化、针对性和可移植性特征明显。结果表明该方法体系可有效测试区块链平台的服务性能,并能对各指标的影响进行量化分析,测试评估工作质量和效率明显提升,对平台服务性能优化提升具有实际指导意义。     

一种基于对象信息的MIS自适应生成器

为解决MIS在开发和运行过程中因需求频繁变更所带来的开发和维护的工作量上升问题,提出一种新的MIS软件基础模块自适应生成管理器。通过信息化管理MIS的版本、用户与权限、系统结构、系统模块、对象信息、通用视图元素、通用业务逻辑元素和通用数据访问方式,并基于通用的界面层基础元素、业务逻辑层基础元素、数据访问层基础元素和对象信息自适应生成或重构MIS软件基础模块的数据库、交互界面、业务逻辑、数据交互部分和软件内部结构,以达到动态构建和管理MIS软件基础模块,实现基础模块信息化和系统对自身信息化、自动化管理的目的。通过将该生成器技术实现并实际应用于MIS开发,验证其能够较好地应对MIS基础模块的快捷构建与变更,有效降低MIS开发与维护的工作量。该生成器较好地解决了MIS软件基础模块快速构建与重构问题,能较好地应对MIS在开发和运行过程中的频繁变更。