继承异常的分析与解决

继承异常是用来描述在并发面向对象语言中继承与并发的冲突 .为分析并解决这种冲突 ,人们做了大量的工作 ,但我们认为以前的分类是不完全的 .本文对继承异常做了系统的分析 ,并设计了一个新的同步模型 ,为每个方法增加了同步策略与同步状态控制 ,加大了并发对象的代码可重用性 .本文用实例说明了该模型 ,在很大程度上避免或减少了“继承异常”的发生 .     

An Improved Method for the Determination of 3D Cutting Force Coefficients and Runout Parameters in End Milling

A simple improved method is suggested for determining constant cutting force coefficients, irrespective of the cutting condition and cutter rotation angle. This can be achieved through the combination of experimentally deternimed cutting forces with those from simulation, performed by a mechanistic cutting force model and a geometric uncut chip thickness model. Additionally, this study presents an approach that estimates runout-related parameters, and the runout offset and its location angle, using only one measurement of cutting force. This method of estimating 3D end milling force coefficients was experimentally verified for a wide range of cutting conditions, and gave significantly better predictions of cutting forces than any other methods. The estimated value of the runout offset also agreed well with the measured value.     

A generic architecture to synchronise design models issued from heterogeneous business tools: towards more interoperability between design expertises

Product development involves many experts collaborating to the same design goal. Every expert has his own formalisms and tools leading to a high heterogeneity of information systems supporting design activities. Interoperability became a major challenge to avoid information incompatibility along the product life cycle. To synchronise heterogeneous representations of product will be a major step to integrate expert activities. In this paper, the authors propose a meta-model framework to connect together heterogeneous design models. This meta-model framework is used to formalise possible interactions between heterogeneous representations. Interaction formalisation is considered as a key point to synchronise heterogeneous models and to provide more interoperability between various computer assisted systems. The synchronisation loop is also presented as a major sequence of activities to manage collaborative design. Tools to support synchronisation are proposed. However, through a basic case study, authors highlight what can be automated and where human intervention is still expected.     

Shopfloor logistics for flexible manufacturing based on distributed intelligence

The general constraints restricting the application of flexible manufacturing are summarised and related to the requirements of factory automation. Such specifications are compared with the combined functional and behavioural characteristics that can be obtained by employing robotics. A new (interconnected-decentralised) control architecture is presented, which has been specifically developed for raising productivity, whilst assuring extended flexibility for the plant operation.     

Improved results on synchronisation of delayed complex dynamical networks via sampled-data control

This paper focuses on the synchronisation problem of delayed complex dynamical networks via sampled-data control. A novel input-delay-dependent Lyapunov–Krasovskii functional (LKF) is constructed for the first time, which can make full use of the information on the input delay. To strengthen the combinations of the vectors in the resulting augmented vector, a new zero value equality is founded. Based on the input-delay-dependent LKF and zero value equality, synchronisation criteria are established. In comparison with some existing synchronisation criteria, the criteria in this paper are less conservative. The desired sampled-data controller is designed by solving a set of linear matrix inequalities. Finally, numerical examples are given to demonstrate the superiorities of proposed results.     

超大型高架门座式起重机液压同步顶升装置液压系统分析

文章详细介绍了超大型高架门座式起重机液压同步预升设备的工作原理和液压系统组成,并对液压系统进行了较全面的分析。     

Interactions among dynamic sets of objects

In this paper, we present an operator to model interactions among objects. Our proposal allows a variable number of participant objects in an interaction, and this number will be fixed during the execution of the model. This provides a very flexible interaction model based on synchronous interactions among several objects. Our interaction model is based on events and allows a multiple-way communication among objects. Concrete values of a communication are generated through constraints which are imposed locally on each participant object. The proposed interaction (and communication) model is very versatile and can be used as an abstract specification mechanism.     

Designing a multiway synchronization protocol

A multiway synchronization protocol makes it possible for several processes to synchronize in an environment where communication is asynchronous. We present the design of such a protocol. The design methodology is based on formulating the behaviour of the entities as transition systems. This admits a correctness proof: we show that the protocol is correct relatively an ‘ideal’ non-distributed algorithm, in the sense that the protocol and the ideal algorithm cannot be separated by any amount of testing. The proof method is based on cs-equivalence.     

Resource-aware policies

In previous papers, we proposed an extension of Spider Diagrams to object-oriented modelling, called Modelling Spider Diagrams (MSDs), as a visual notation for specifying admissible states of instances of types, and for verifying the conformance of configurations of instances with such specifications. Based on this formalisation, we developed a notion of transformation of MSDs, modelling admissible evolutions of configurations. In the original version of MSD, individual instances evolve independently, but in reality evolutions often occur in the context of available resources, so transformations must be extended to take this into account. In this paper we provide an abstract syntax for MSDs, in terms of typed attributed graphs, and a semantics for the specification of policies based on notions from the theory of graph transformations, and we associate with them a notion of resources. We also introduce a synchronisation mechanism, based on annotation of instances with resources, so that the transformations required by a policy occur with respect to available resources. In particular, resources can be atomically produced or consumed or can change their state consistently with the evolution of the spiders subject to the policy.