网络管理的研究和发展

网络管理理念，模型和产品的研究和开发与计算机和通信网络相关学科的发展有着紧密联系，分布和智能的网络管理是必然趋势，目前的体系结构需要集成，Web,Java分布对象以及多Agent系统等关键技术，但是通过对现有网络管理标准和系统的分析发现，当前亟需探索和解决的是信息模型问题，DMTF提出的CIM模型和IRTF提出的SMIng是重要的方向，它们都能映射为语法简洁和语义丰富XML模块，借助W3C提出RDF建立网络管理知识模型成为可能，并已经应用在多Agent网络管理原型系统中。     

高级向量优化技巧的实践与经验

本文讨论了将油藏数值模拟中某大型FORTRAN程序(RSP)在向量机KJ89 20上做向量化时所使用的若干技巧.文中首次分析了一类对称型语句间的伪依赖性,提出了引入临时数组的实用方案,并讨论了向量化逻辑IF和转移语句等技巧.     

工作流管理的现状和未来趋势

工作流管理是一个新兴的研究领域,被誉为信息系统的后勤,它让合适的人或软件在恰当的时间执行正确的工作,使计算机上的业务处理流程自动化。本文用历史的观点对工作流管理的发展历程进行了回顾,揭示了工作流管理对未来信息系统的影响。根据分析当前的工作流管理系统,我们总结了两个主要不足之处;（1）工作流管理系统的定义不明确以及缺乏统一的概念模型,（2）工作流管理系统的系统结构和能力上的不足,并对工作流管理的未来发展趋势从建模和实施两个方面进行了预测。     

软件体系结构、应用平台及框架仓库技术

应用平台是新近提出的一种中间件（ｍｉｄｄｌｅｗａｒｅ）技术，其主旨是为应用提供更强大的支持（如提高质量、增加复用、提高生产率、降低维护）。最近几年兴起的软件体系结构研究已为应用平台的研究开发打下了必要的技术基础。ＣＡＳＥ集成工具与环境是应用平台的物理支撑，框架仓库和面向对象组织是应用平台的集成保证。应用平台不仅是新兴的技术和概念，而且具有很大的现实意义和极广阔的应用前景。本文对应用平台和应用平台的关键支撑技术及有关概念（包括：应用平台、软件体系结构和框架仓库等）进行综述，并给出作者的观点。     

An Object-Oriented Framework for Multidisciplinary, Multi-Physics, Computational Mechanics

This paper presents the design and development of an object-oriented framework for computational mechanics. The framework has been designed to address some of the major deficiencies in existing computational mechanics software packages. The framework addresses the deficiencies of existing computational mechanics software packages by (a) having a sound design using the state of the art in software engineering, and (b) providing model manipulation features that are common to a large set of computational mechanics problems. The framework provides features that are essential to a large set of computational mechanics problems. The domainspecific features provided by the framework are a geometry sub-system specifically designed for computational mechanics, an interpreted Computational Mechanics Language (CML), a structure for management of analysis projects, a comprehensive data model, model development, model query and analysis management. The domain independent features provided by the framework are a drawing subsystem for data visualization, a database server, a quantity subsystem, a simple GUI and an online help server. It is demonstrated that the framework can be used to develop applications that can: (a) extend or modify important parts of the framework to suit their own needs; (b) use CML for rapid prototyping and extending the functionality of the framework; (c) significantly ease the task of conducting parametric studies; (d) significantly ease the task of modeling evolutionary problems; (e) be easily interfaced with existing analysis programs; and (f) be used to carry out basic computational mechanics research. It is hoped that the framework will substantially ease the task of creating families of software applications that apply existing and upcoming theories of computational mechanics to solve both academic and real world interdisciplinary simulation problems.     

DFA模型及其语言的结构化代数规约

本文首先阐述了利用ＤＦＡ模型技术进行状态转换系统描述存在的主要问题,提出了利用代数规约技术解决这些问题的可行性,然后介绍了新一代具有松散语义的代数规约语言ＳＰＥＣＴＲＵＭ及其主要规约操作符的语法和语义,并根据ＤＦＡ模型及其语言的数学定义,给出了它们的结构化代数规约,为基于ＤＦＡ模型的状态转换系统的形式化设计和开发奠定了基础。     

On the ontological expressiveness of conceptual modeling grammars for service productivity management

Conceptualizing, analyzing, and optimizing service productivity is imperative to build up and to sustain competitive advantage in today’s global service economy. However, service productivity is yet to be thoroughly conceptualized and supported by IT artifacts so as to design, compute, and interpret meaningful productivity models. The purpose of this study is to evaluate the ontological expressiveness of conceptual modeling grammars for service productivity management. Due to a lack of a complete ontology for service productivity management, we compile evaluation criteria by reviewing authoritative theory. Against these criteria, a selection of conceptual modeling grammars is analyzed by reviewing the grammars’ meta models for completeness. The analysis contributes two major insights. First, theory in productivity management appears equivocal and is too unspecific to guide the design of IT artifacts. Second, conceptual modeling grammars are subject to various ontological deficiencies with respect to service productivity management. Two core implications are identified. First, service productivity theories need to be refined as design theories in order to comprehensively inform the design of IT artifacts. Second, conceptual modeling grammars must be extended and aligned with each other.     

A tools-system in decentralized production management systems

A “Multi-Layered Parallel Production Management” concept and its support tools-system for decentralized production management are proposed, on the basis of a “Sector optimization” concept and a “Tools-system” concept. The necessity for introducing a production system decentralization with a long range/total systematic view, for realizing a flexible and effective production management, is first discussed. Then, discussion is centered on production management quality enhancement and its support methodology. Further, a tools-system for “Multi-Layered Parallel Production Management” support is proposed and its applications are discussed.     

一种带重力补偿的机械手混合模型跟随自适应控制方法

本文将系统参数辨识引进 MFAC 中,从而突破了常规的 MFAC,提出了混合 MFAC 的新思想。根据这种思想,应用 Popov 超稳定性理论和正实性概念,我们提出了一种带重力补偿的机器人混合 MFAC控制方案,该方案具有适用性广,计算量不大而控制性能好的优点。     

Human‐computer interaction and lean production: The shop floor example

The approach in industrial engineering to computer‐integrated manufacturing (CIM) proved not to be the concept needed for the majority of German companies. At the moment, lean production is the focal point of discussion about production engineering. It tries to combine concepts such as human‐centered organization, internationalization of business, decentralization of decisions, increased development times, total quality management, and process‐oriented business management. There are a variety of implementation areas for lean production. One implementation has been the shop floor‐oriented production support concept as developed by the Fraunhofer Institute IAO in Stuttgart. It focuses on functions such as Computer Numeric Control (CNC) machine tool programming, shop floor control, quality assurance, and resource management, and it aims at decentralized work organization, comprehensive work contents, and support for highly skilled workers on the shop floor. This support is provided by Information Technology (IT) systems that follow the ideas of work enrichment and work enlargement, and use a so‐called shop floor metaphor and graphical user interfaces with standard tool kits. In this way, the shop floor‐oriented production support concept represents a future concept that takes into consideration particularly human factors and human‐computer interaction.     

基于业务流、GPS和GIS的城市管理系统的设计与实现

针对国内数字化城市管理建设的现状和发展趋势,开发一个基于业务流、GPS和GIS的数字化城市管理系统.该系统通过流程再造简化了城市管理复杂的业务流程,规范了城市管理的工作程序,提高了城市管理的管理水平和管理效率,同时系统通过GIS和GPS技术的结合,更好地提高了城市管理人员处理业务的工作质量和工作效率.     

供应链模型及其优化研究的现状与进展

这是一篇关于供应链模型及其优化分析工作的综述性文章．本文综述了生产运作 管理和供应链管理模型分析．关于供应链的局部情况，评述了生产运作中库存、生产销售、 库存销售、质量控制、财务等问题的模型及其优化应用；关于供应链整体情况，评述了集成 化、供应合同、信息价值、产品管理和国际运作等问题的模型及其优化应用．最后，提出了 供应链模型及其优化分析工作进一步研究的问题．     

网格资源实概念格模型及其算法研究

如何对资源进行组织与管理,是网格研究与应用问题中的关键课题。为了解决这个问题,出现了一系列理论方法和应用原型。首次提出了实概念格和实概念Trie树的网格资源管理策略,将形式概念分析理论和网格资源管理技术进行了有机的结合。给出了网格、资源的形式概念定义,建立了网格资源实概念格模型。利用形式概念分析方法,构造了网格资源实概念的外延Trie树和内涵Trie树,并给出了树的生成和资源与服务检索算法。实验和实例表明,这种资源组织方式是可行的和有效的。     

Java语言编码过程中的质量保证方法和工具

在基于Java软件产品开发过程申,如何保证编码阶段的质量,是软件开发人员关注的关键问题之一.软件质量中的方法和工具是保证软件质量的关键,介绍了软件质量的基本概念和模型,说明了基于Java语言编码过程质量保证的关键方法和工具.     

关于开放型物理系统的QP理论

本文探讨物理系统定性推理的描述方法．在分析已有的定性推理方法所存在不足的基础上，给出了一种基于事件与进程的开放系统的定性推理的描述手段QUIOS．此方法一方面拓广了定性进程理论QPT（qualitahveProcesstheory）关于参量的类型，引入了参量视图的概念，描述了参量的两种继承关系，并证明在一定条件下参量的双重继承关系不会引起矛盾；另一方面通过事件制约进程而引入开放系统定性推理的表现机制．     

并行算法与并行机相结合的可扩展性

可扩展性是设计并行算法和高性能并行机所要考虑的一个重要问题。文中首先分析了等效率和等速度两种可扩展性评价准则,指出其优缺点,然后在分析并行计算时间的基础上提出一种新的可扩展性评价准则（等并行开销计算比可扩展性评价准则）,新准则可用来评价并行算法与并行机相结合的可扩展性。最后用该评价准则分析了两个并行算法与ＹＨ０３高性能并行机相结合的可扩展性。     

基于概念职责的软件设计分析

软件的结构质量是软件理解、维护、重用和软件工业化生产的核心保证.它应满足高内聚和低耦合的质量特点.业界为此已提出较多结构质量标准和模式,但从领域需求模型概念的角度实现这些质量要求的理论和方法不多.本文提出概念职责驱动的需求分析方法,从逻辑概念的内涵出发,定义了识别概念职责的三种视角,并提供了根据这些质量模式基于软件二维结构的概念职责识别的方法.     

电水气"一卡通"后勤综合收费管理系统的设计与实现

本文介绍了“以电控水”、“以电控气”、“以电控费”的全新理念,探讨了小区物业管理的新思路,并以IC卡预付费电能表为基础,实现了电、水、气“一卡通”后勤物业管理的综合收费管理。     

基于JAVA的业务规则管理系统设计和开发

介绍了业务规则管理系统的概念,建立了业务规则管理系统模型,对业务规则管理系统所涉及的规则文件、业务数据对象、规则定制器、规则引擎和在线管理的技术作了深入讨论。在此模型的基础上使用JAVA语言开发了一个业务规则管理系统VRules。