期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
面向状态的车间控制策略研究
1
作者 王操 马登哲 严隽琪 《机械设计与制造》 北大核心 1999年第6期67-69,共3页
当前的生产计划和控制系统较好地解决了企业中期的物料需求计划与能力需求计划问题,而车间以下层次的生产作业计划与控制是其薄弱环节。这里通过对现代车间生产活动控制的功能、目标和现代车间制造系统基本特征的考察、分析,揭示了现... 当前的生产计划和控制系统较好地解决了企业中期的物料需求计划与能力需求计划问题,而车间以下层次的生产作业计划与控制是其薄弱环节。这里通过对现代车间生产活动控制的功能、目标和现代车间制造系统基本特征的考察、分析,揭示了现代车间控制的根本矛盾,提出了面向状态的车间控制策略和方法并进行了应用研究。 展开更多
关键词 车间控制 生产活动控制 面向状态 控制策略
下载PDF
面向状态维修的计划系统—维修的策略与战术规划
2
作者 剑萍 《管理观察》 1997年第10期14-14,共1页
关键词 状态维修 计划系统 维修策略 维修成本 战术规划 战术规则 面向状态 自动化设备 提高生产效率 降低生产成本
下载PDF
面向状态维修的计划系统──维修的策略与战术规划 被引量:1
3
作者 H.-H.Gerlach C.Xu 陈炳森 《工业工程与管理》 1997年第3期45-50,共6页
面向状态的维修策略有其优缺点。它带来经济上的效益,因为它延缓设备的磨损,并由于经常检查而提高了设备的利用率。其缺点则是对维修计划与控制的要求较高。战术规划的任务就是将维修策略付之实施,并将维修成本降至最低。
关键词 面向状态 维修策略 成本 保养 工业设备
原文传递
一种基于CSP的面向方面状态图形式化描述方法 被引量:1
4
作者 王斌 刘菲 +1 位作者 桂卫华 陈松乔 《计算机工程与科学》 CSCD 2008年第5期41-43,83,共4页
面向方面通过分离关注点解决软件系统中的横切问题,通过扩展UML可实现对面向方面的建模。本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML... 面向方面通过分离关注点解决软件系统中的横切问题,通过扩展UML可实现对面向方面的建模。本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺点。最后,以ATM自动取款机为例验证了基于CSP的面向方面状态图形式化描述的有效性。 展开更多
关键词 编织 形式化语义 CSP 面向方面的状态
下载PDF
C800型摩擦焊机状态评估液压系统构建研究
5
作者 杨正强 杜随更 《宝鸡文理学院学报(自然科学版)》 CAS 2015年第3期34-39,共6页
目的针对摩擦焊机液压系统状态评估的特点及其对检测系统的要求,建立面向状态评估的摩擦焊机液压系统。方法定义状态评估检测系统完备状态表示概念和亚完备状态表示概念,在亚完备状态表示最优系统构建方法基础上提出了亚完备状态系统生... 目的针对摩擦焊机液压系统状态评估的特点及其对检测系统的要求,建立面向状态评估的摩擦焊机液压系统。方法定义状态评估检测系统完备状态表示概念和亚完备状态表示概念,在亚完备状态表示最优系统构建方法基础上提出了亚完备状态系统生长最优构建法构建面向状态评估的摩擦焊机液压系统。结果构建了C800型摩擦焊机状态评估液压系统,实现了参数检测和目标最小化。结论本文提出的生长最优构建法适用于亚完备状态系统的模型构建,特别是如C800型摩擦焊机液压系统这种复杂系统。 展开更多
关键词 摩擦焊机 液压系统 面向状态评估 亚完备状态 最优系统构建
下载PDF
层次状态机可复用软件框架的设计与应用 被引量:7
6
作者 何伟 金远平 金鑫 《计算机应用与软件》 CSCD 北大核心 2007年第10期34-36,共3页
随着软件复用技术的发展,可复用的软件框架日益受到人们的重视。软件框架有助于实现领域内体系结构层次较大粒度的设计复用,已成为一个软件系统的核心。在对层次状态机基本概念说明的基础上对嵌入式软件开发领域中的层次结构进行了深入... 随着软件复用技术的发展,可复用的软件框架日益受到人们的重视。软件框架有助于实现领域内体系结构层次较大粒度的设计复用,已成为一个软件系统的核心。在对层次状态机基本概念说明的基础上对嵌入式软件开发领域中的层次结构进行了深入研究,最后设计并实现了一个可复用的软件框架State Machine Engine,在嵌入式软件开发中有很强的应用价值。 展开更多
关键词 软件框架 层次状态 面向状态 UML
下载PDF
面向CPS系统仿真的建模方法研究与设计 被引量:12
7
作者 刘厦 王宇英 +1 位作者 周兴社 张凡 《计算机科学》 CSCD 北大核心 2012年第7期32-35,68,共5页
CPS仿真建模在构建CPS系统时具有重要意义,不仅能够在系统开发过程中对系统进行验证和测试,而且是模型驱动开发中的重要环节。CPS系统通过精化和提炼可分为物理实体和计算实体,采用具有动态连续性、基于时间的运动状态行为模型构建物理... CPS仿真建模在构建CPS系统时具有重要意义,不仅能够在系统开发过程中对系统进行验证和测试,而且是模型驱动开发中的重要环节。CPS系统通过精化和提炼可分为物理实体和计算实体,采用具有动态连续性、基于时间的运动状态行为模型构建物理实体;计算实体模型则采用基于有限状态机的离散系统行为模型进行构建。通过面向时间的状态精化对两种行为模型进行扩展,将两种扩展模型进行融合,完成CPS系统的建模仿真。分析了构建计算实体模型的统一建模语言(UML)以及构建物理实体模型的simulink/RTW建模工具的可行性,提出了基于UML框架的两种异质模型融合方法。 展开更多
关键词 CPS仿真建模 物理实体 计算实体 行为模型 面向时间的状态精化
下载PDF
基于SystemC的寄存器传输级编程方法探讨
8
作者 洪沙 吴垣甫 《计算机工程与设计》 CSCD 北大核心 2008年第14期3752-3756,共5页
寄存器传输级建模在数字电路设计、仿真、验证过程中应用广泛。在介绍使用SystemC进行数字电路设计的优势后,详细阐述了基于SystemC的RTL设计方法。随后针对RTL设计需要较深的专业知识、代码复用率低、验证困难等问题,分析了一种计算模... 寄存器传输级建模在数字电路设计、仿真、验证过程中应用广泛。在介绍使用SystemC进行数字电路设计的优势后,详细阐述了基于SystemC的RTL设计方法。随后针对RTL设计需要较深的专业知识、代码复用率低、验证困难等问题,分析了一种计算模型——有限状态机的基本原理,并在此基础上提出了面向状态的RTL编程解决方案。两种不同方法均以通用移位寄存器的建模为例。最终通过对比仿真,展示了使用面向状态方法编程在寄存器传输级设计过程中的一系列优点。 展开更多
关键词 SYSTEMC 寄存器传输级 有限状态 面向状态 计算模型
下载PDF
支持协同工作的超媒体版本模型
9
作者 吴海英 文栋辉 赵振西 《计算机科学》 CSCD 北大核心 1998年第5期103-106,共4页
本文综合面向任务和面向状态的概念,提出了一个超媒体版本模型,使系统具有跟踪协同变化的能力,始终可以保持一致的状态,极大地降低了用户的认知负载。同时,系统能很好地支持协同工作,并能在各种工作模式间平滑切换。
关键词 超媒体 版本模型 面向任务 面向状态 CSCW
下载PDF
MODELING METHOD FOR CROSSCUTTING CONCERNS IN CONCURRENT SOFTWARE SYSTEM
10
作者 苏旸 张敏情 +1 位作者 潘峰 陈平 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 2007年第3期250-256,共7页
A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented(A-O) technique and the statechart of unified modeling language (UML). Modeled with UML statec... A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented(A-O) technique and the statechart of unified modeling language (UML). Modeled with UML statechart diagrams, the primary system functions and corresponding traversal features are enveloped into various orthogonal regions of a composite state. The mutual relationships between orthogonal regions are implied by the orders of broadcast events. Using a modular transition system as a basic computational model, the formalization description of A-O statechart models is proposed. The precise semantics of model elements and modeling procedures is given. The example study indicates that the separation strategy of crosscutting concerns is implemented in the design phase of the concurrent software system with this method. Meanwhile, the software modeling method has advantages of loose coupling, adaptability and traceability. 展开更多
关键词 ASPECT-ORIENTED UML statechart concurrent software system crosscutting concern modular transition system
下载PDF
Problem of interoperability in semantic web service system
11
作者 满君丰 彭三城 +1 位作者 向剑伟 胡永祥 《Journal of Southeast University(English Edition)》 EI CAS 2006年第3期306-310,共5页
In order to fully realize semantic interoperability among distributed and heterogeneous applications on the web, a set of effective interoperability mechanisms is presented. This mechanism adopts service interactive i... In order to fully realize semantic interoperability among distributed and heterogeneous applications on the web, a set of effective interoperability mechanisms is presented. This mechanism adopts service interactive interfaces (SII) and service aggregative interfaces (SAI) modeled with abstract state machine (ASM) to abstractly describe the behavior of the invoked web service instances, which makes business processing accurately specify tasks and effectively solves the problems of communication and collaboration between service providers and service requesters. The mechanism also uses appropriate mediators to solve the problems of information and coinmunication incompatibility during the course of service interaction, which is convenient for service interoperability, sharing and integration. The mechanism' s working principle and interoperability implementation are illustrated by a use case in detail. 展开更多
关键词 semantic services-oriented architecture abstract state machine service interface INTEROPERABILITY
下载PDF
Stress analytical solution for plane problem of a double-layered thick-walled cylinder subjected to a type of non-uniform distributed pressure 被引量:4
12
作者 吴庆良 吕爱钟 +2 位作者 高永涛 吴顺川 张宁 《Journal of Central South University》 SCIE EI CAS 2014年第5期2074-2082,共9页
The stress state around circular openings,such as boreholes,shafts,and tunnels,is usually needed to be evaluated.Solutions for stresses,strains and ultimate bearing capacities of pressurized hollow cylinder are common... The stress state around circular openings,such as boreholes,shafts,and tunnels,is usually needed to be evaluated.Solutions for stresses,strains and ultimate bearing capacities of pressurized hollow cylinder are common cases.Stress analytical method for plane problem of a double-layered thick-walled cylinder subjected to a type of non-uniform pressure on the outer surface and uniform radial pressure on the inner surface is given.The power series method of complex function is used.The stress analytical solution is obtained with the assumption that two layers of a cylinder are fully contacted.The distributions of normal and tangential contact stress along the interface,tangential stress on the inner boundary and stresses in the radial direction at θ=0°,45° and 90°,are obtained.An example indicates that,when the elastic modulus of the inner layer of a double-layered thick-walled cylinder is smaller than that of the outer layer,the tangential stress is smaller than that in the corresponding point for a traditional cylinder composed of homogeneous materials.In that way,stress concentration at the inner surface can be alleviated and the stress distribution is more uniform.This is a capable way to enhance the elastic ultimate bearing capacity of thick-walled cylinder. 展开更多
关键词 thick-walled cylinder stress analytical solution complex variable function non-uniform distributed pressure stressconcentration combination of different elastic moduli
下载PDF
A Novel Stateful PCE-Cloud Based Control Architecture of Optical Networks for Cloud Services 被引量:1
13
作者 QIN Panke CHEN Xue +1 位作者 WANG Lei WANG Liqian 《China Communications》 SCIE CSCD 2015年第10期117-127,共11页
The next-generation optical network is a service oriented network,which could be delivered by utilizing the generalized multiprotocol label switching(GMPLS) based control plane to realize lots of intelligent features ... The next-generation optical network is a service oriented network,which could be delivered by utilizing the generalized multiprotocol label switching(GMPLS) based control plane to realize lots of intelligent features such as rapid provisioning,automated protection and restoration(P&R),efficient resource allocation,and support for different quality of service(QoS) requirements.In this paper,we propose a novel stateful PCE-cloud(SPC)based architecture of GMPLS optical networks for cloud services.The cloud computing technologies(e.g.virtualization and parallel computing) are applied to the construction of SPC for improving the reliability and maximizing resource utilization.The functions of SPC and GMPLS based control plane are expanded according to the features of cloud services for different QoS requirements.The architecture and detailed description of the components of SPC are provided.Different potential cooperation relationships between public stateful PCE cloud(PSPC) and region stateful PCE cloud(RSPC) are investigated.Moreover,we present the policy-enabled and constraint-based routing scheme base on the cooperation of PSPC and RSPC.Simulation results for verifying the performance of routing and control plane reliability are analyzed. 展开更多
关键词 optical networks control plane GMPLS stateful PCE cloud computing Qo S
下载PDF
Service Oriented Approach State of the Art
14
作者 Baroudi Mohammed Yassine Fethi Tarik Bendimerad 《Computer Technology and Application》 2013年第11期599-605,共7页
For many years, computer systems have emerged; they now occupy an important place in our daily lives. The growing needs and ever increasing use of computer systems have made application development more and more compl... For many years, computer systems have emerged; they now occupy an important place in our daily lives. The growing needs and ever increasing use of computer systems have made application development more and more complicated, The complexity of these applications poses problems such as reuse, installation, administration and evolution of applications. The development of applications is related to the evolution of paradigms and approaches to developing them. This paper presents different approaches and paradigms of development starting with the procedural approach, coming up for service, through the component and object-oriented approaches. Also, for each of the approaches we determine the advantages and limitations. 展开更多
关键词 SERVICE reusing dynamic application and service oriented approach.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部