Study on the general layout of semi-submersible offshore drilling platforms based on process flow

The general layout of 6th generation semi-submersible drilling platforms is the main factor impacting the efficiency of their drilling operations. This paper provides a compound/integrated algorithm based on process flow that is aimed at improving efficiency, while giving attention to stability and safety at the same time. The paper describes the process flow of dual drilling centers and a hierarchical division of rigs based on the different modes of transportation of various drilling support systems. The general layout-centripetal overall arrangement spatially was determined based on drilling efficiency. We derived our modules according to drilling functionality; the modules became our basic layout units. We applied different layout algorithm to mark out the upper and lower decks. That is, the upper deck was designed based on the lowest transportation cost while the lower deck＇s calculations were based on the best-fit scope. Storage configurations in columns and pontoons were also considered for the layout design. Finally the center of gravity was taken into consideration and the general layout was adjusted accordingly, to result in an optimal center of gravity. The methodology of the general layout can provide a reference for implementation of domestic designs of semi-submersible rigs.

An Effective Approach to Verify the Correctness of Workflow Process Models Based on Petri Net

Along with the extensive use of workflow, analysis methods to verify the correctness of the workflow are becoming more and more important. In the paper, we exploit the verification method based on Petri net for workflow process models which deals with the verification of workflow and finds the potential errors in the process design. Additionally, an efficient verification algorithm is given.

Research on Petri Net Based Modeling and Analyzing Methods for Workflow Process

Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the analysis and verification of structural and behavioral correctness of workflow process are discussed. Finally, the algorithm of verification of process definitions is proposed.

Dynamic business process modeling and verification for inter-organizational collaboration

To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new business process model which is multi-role, multi-dimensional, integrated and dynamic is proposed relying on inter-organizational collaboration. Compatible with the traditional linear sequence model, the new model is an M x N multi-dimensional mesh, and provides horizontal and vertical formal descriptions for the collaboration business process model. Finally, the pi-calculus theory is utilized to verify the deadlocks, livelocks and synchronization of the example models. The result shows that the proposed approach is efficient and applicable in inter-organizational business process modeling.

制造业中特殊过程与需确认过程识别方法研究

通过对质量管理体系标准和有关论文的研究,分析比较了特种工艺过程、特殊过程和需确认的过程之间的区别。针对一般过程、特殊过程和需确认的过程提出了一种识别模型,并从个人工作的实践经验出发,依据识别模型设计了识别方法流程图,并对其中的主要工作内容进行了说明。

Product Data Management Implementation

On the basis of PDM(product data management) definition and its connotation, the factors to ensure implementation success are analyzed. The definition phase, analysis phase, design phase, build and test phase, and post production phase during PDM implementation are described. The implementation is divided into ten processes, which consist of the above different phases. The relationships between phases and processes are illustrated. Finally, a workflow is proposed to guide the implementing at a fixed price.

40tEBTEAF-LF-VD-铸锭工艺冶炼模具钢H13的洁净度分析

试验用热作模具钢H13(/%:0.36~0.38C、0.36~0.38Mn、0.89~0.91Si、0.007~0.010P、0.006~0.011s、5.10~5.15Cr、1.12~1.18Mo、0.84~0.89V)的冶炼工艺流程为40 t偏心炉底出钢电弧炉-钢包炉精炼-VD处理4.65 t铸锭工艺。通过对各冶炼工序钢水的总氧和氮含量-T[O]和[N]的分析以及钢中夹杂物的形貌和组成的分析,研究了该工艺流程生产的H13钢的洁净度。结果表明,经LF-VD精炼后H13钢中的平均总氧含量-T[O]为22×10^(-6),平均氮含量-[N]为95×10^(-6);Φ200 mm锻坯中夹杂主要以脱氧产物氧化铝为主,同时含有硫化锰等硫化物和偏析产生的氮化物;夹杂物尺寸集中在5μm左右,较大尺寸的夹杂物为10μm左右。采用该流程冶炼的H13钢可以满足对该钢种洁净度的要求。

“流水线”生产法的探索

管理是保证组织活动实现组织目标的手段，通过对公司现状、生产组织与技术管理进行深入分析，发现问题，制定“流水线”生产法组织管理方案，解决了公司存在的问题，提高了公司的管理水平与工作质量。

Mechanisms of Cyclovirobuxine D on APD Prolongation in Rat Ventricular Myocytes

Aim To study the effects of cyclovirobuxine D on inward rectifier K^- current(I_(k1) ) > transient outward K^+ current (I_(to)), L-type Ca^(2+) current (I_(Ca-L)), and actionpotential duration (APD) in isolated rat ventricular myocytes. Methods The whole cell patch-clamptechniques were used to study the changes of I_(k1), I_(to), I_(Ca-L) and APD in rat ventricularmyocytes. Results Cyclovirobuxine D (1-10 μmol·L^(-1)) significantly prolonged APD_(50) andAPD_(90) in isolated rat ventricular myocytes. Resting potential (RP) was decreased by 10μmol·L^(-1) of cyclovirobuxine D. Cyclovirobuxine D significantly decreased both inward andoutward components of I_(k1) . At - 100 mV, 1 and 10 μmol·L^(-1) of cyclovirobuxine D decreasedI_(k1), density from (-8.0+- 1.1) pA/pF to ( - 4.1 +- 0.7) pA/pF and ( - 3.4 +- 0.8) pA/pF,respectively, whereas at - 30 mV, I-(k1) density was decreased from (1.10 +-0.24) pA/pF to (0.61+-0.18) pA/pF and (0.36+- 0.11) pA/pF, respectively. 1_(to) was markedly inhibited bycyclovirobuxine D from the test potential of 0 mV to + 60 mV. At + 40 mV, 1 and 10μmol·L^(-1) ofcyclovirobuxine D decreased I_(to) density from (8.9+- 2.0) pA/pF to (5.5 +- 1.2) pA/pF and (4.9+-0.9) pA/pF, respectively. Cyclovirobuxine D inhibited I_(Ca-L) in a concentration-dependentmanner. At 10 mV, 1 and 10μmol·L^(-1) of cyclovirobuxine D decreased I_(Ca-L) density from ( - 9.9+- 1.8) pA/pF to ( - 6.4 +- 1.4) pA/pF and (-4.2+-0.6) pA/pF, respectively. ConclusionCyclovirobuxine D significantly prolonged APD and inhibited I_(k1), I_(to), and I_(Ca-L) in ratventricular myocytes. The inhibitory effects of cyclovirobuxine D on _(k1) and I_(to) are majormolecular mechanisms of APD prolongation in rat.

Workflow logs analysis system for enterprise performance measurement

Workflow logs that record the execution of business processes offer very valuable data resource for real-time enterprise performance measurement. In this paper, a novel scheme that uses the technology of data warehouse and OLAP to explore workflow logs and create complex analysis reports for enterprise performance measurement is proposed. Three key points of this scheme are studied: 1) the measure set; 2) the open and flexible architecture for workflow logs analysis system; 3) the data models in WFMS and data warehouse. A case study that shows the validity of the scheme is also provided.

Context-aware Workflow Model for Supporting Composite Workflows

In recent years, several researchers have applied workflow technologies for service automation on ubiquitous compating environments. However, most context-aware workflows do not offer a method to compose several workflows in order to get mare large-scale or complicated workflow. They only provide a simple workflow model, not a composite workflow model. In this paper, the autorhs propose a context-aware workflow model to support composite workflows by expanding the patterns of the existing context-aware wrY：flows, which support the basic woddlow patterns. The suggested workflow model of. fers composite workflow patterns for a context-aware workflow, which consists of various flow patterns, such as simple, split, parallel flows, and subflow. With the suggested model, the model can easily reuse few of existing workflows to make a new workflow. As a result, it can save the development efforts and time of context-aware workflows and increase the workflow reusability. Therefore, the suggested model is expected to make it easy to develop applications related to context-aware workflow services on ubiquitous computing environments.

Trust assessment of business service workflow based on complex trust network

For business service workflow,QoS-based services selection can't guarantee whether the composite service satisfies user' s requirement after delivery,because once any service interrupts or quality of service(QoS) maliciously reduces,the quality of workflow will be reduced.Trustworthy services can provide reliable QoS,so trustworthiness research could improve the efficiency of services selection.This paper investigates trust assessment in the perspective of workflow.Firstly,trust network of business service workflow(TN-BSW) is proposed to analyze trust attributes;then,the trust measurement system of TN-BSW is investigated to assess the trust value quantitatively;and then,a trust-aware service recommendation model(TaSRM) is proposed to enhance the efficiency of QoS-basedservices selection;finally,experiment shows the feasibility of TN-BSWand the performance of TaSRM.

A novel deadline and budget constrained scheduling heuristics for computational grids

The conventional deadline and budget constrained （DBC） scheduling heuristics for economic-based computational grids does not take the inconsistency of grid heterogeneity into account, which can lead to decline of application completion ratios. Motivated by this fact, a novel DI3C scheduling heuristics was proposed to deal with sequential workflow applications. In order to valuate the inconsistency, the relative cost （RC） metric was introduced, which was used to indicate the task-starving degree for resources. The new algorithm assigns tasks to resources, considering completion time, budget and RC together. The GridSim toolkit and the benchmark suites of the standard performance evaluation corporation （SPEC） were used to simulate the heterogeneous grid environment and applications. The experimental results show that the task and workflow completion ratios of the new heuristics are higher than those of the conventional heuristics.

A novel group-based active service protocol for migrating workflows

Based on the methods of acquaintance cache and group-based intelligent forwarding of service recommendations,a novel group-based active service(GAS) protocol for migrating workflows was proposed.This protocol did not require service requesters to discover services or resources.The semantic acquaintance knowledge representation was exploited to describe service groups and this semantic information was used to recommend service to respective clients.The experimental results show that the new protocol proposed offers better performance than other protocols in terms of first-response-time,success-scope and ratio of success-packet-number to total-packet-number.When the number of service request packet is 20,the first-response-time of GAS protocol is only 5.1 s,which is significantly lower than that of other protocols.The success-scope of GAS protocol is 49.1%,showing that GAS protocol can effectively improve the reliability of mobile transactions.And the ratio of success-packet-number to total-packet-number of GAS protocol is up to 0.080,which is obviously higher than that of other protocols.

A prototype of workflow management system for construction design projects

A great deal of benefits can be achieved if information and process are integrated within the building design project. This paper aims to establish a prototype of workflow management system for construction design project through the application of workflow technology. The composition and function of prototype is presented to satisfy the needs of information share and process integration. By integrating all subsystems and modules of the prototype, the whole system can deal with design information-flow modeling, emulating and optimizing, task planning and distributing, automatic tracking and monitoring, as well as network service, etc. In this way, the collaborative design environment of building design proiect is brought into being.

Novel Hyper-Combined Public Key Based Cloud Storage Key Management Scheme

In order to ensure the security of cloud storage, on the basis of the analysis of cloud storage security requirements, this paper puts forward a kind of＂ hidden mapping hyper-combined public key management scheme based on the hyperelliptic curve crypto system, which is applicable to the distributed cloud storage. A series of operation processes of the key management are elaborated, including key distribution, key updating and key agreement, etc. Analysis shows that the scheme can solve the problem of large-scale key management and storage issues in cloud storage effectively. The scheme feathers high efficiency and good scalability. It is able to resist collusion attack and ensure safe and reliable service provided by the cloud storaee system

Design and Implementation of a BPEL Profiling System by Aspect-oriented Programming

Business Process Exeention Language （BPEL） is being used in various applications as the standard of workflow. As the requirerments increase to describe application processes in BPEL, BPEL documentt is getting more Complplicated. Therefore it is difficult to describe applications in BPEL with high reliability. In order to write highly reliable BPEL document, it is necessary to check if the document is working correctly in accordance with user＇s intention. But it is difficult to carry out the test since BPEL engine doesn＇t provide a profiling function. In this paper, we suggest a BPEL system with a real-time profiling function. The suggested system consists of an integrated development environment and a BPEL nunning environment. BPEL integrated development environment has a BPEL to Java（B2J） engine, which generates and executes a Java workflow program from a BPEL document, and a converter, which converts Java Weaving XML （JWX） documents to Aspect-oriented programs. The new functions are described in JWX, which is Extensive Markup Lan-guage （XML）-based document. Since aspect-oriented programming technique provides the way to modularize main and supplemental requirements, it guarantees the low degree of coupling between BPEL workflow program and new functions by weaving them. Our approach can be extended to add other functions to provide context-aware services.

Graphical-based data placement algorithm for cloud workflow

When workflow task needs several datasets from different locations m cloud, data transfer becomes a challenge. To avoid the unnecessary data transfer, a graphical-based data placement algo- rithm for cloud workflow is proposed. The algorithm uses affinity graph to group datasets while keeping a polynomial time complexity. By integrating the algorithm, the workflow engine can intelligently select locations in which the data will reside to avoid the unnecessary data transfer during the initial stage and runtime stage. Simulations show that the proposed algorithm can effectively reduce data transfer during the workflow＇ s execution.

Vector modeling of robotic helical milling hole movement and theoretical analysis on roughness of hole surface

To avoid the machine problems of excessive axial force, complex process flow and frequent tool changing during robotic drilling holes, a new hole-making technology (i.e., helical milling hole) was introduced for designing a new robotic helical milling hole system, which could further improve robotic hole-making ability in airplane digital assembly. After analysis on the characteristics of helical milling hole, advantages and limitations of two typical robotic helical milling hole systems were summarized. Then, vector model of helical milling hole movement was built on vector analysis method. Finally, surface roughness calculation formula was deduced according to the movement principle of helical milling hole, then the influence of main technological parameters on surface roughness was analyzed. Analysis shows that theoretical surface roughness of hole becomes poor with the increase of tool speed ratio and revolution radius. Meanwhile, the roughness decreases according to the increase of tool teeth number. The research contributes greatly to the construction of roughness prediction model in helical milling hole.

Interactions Between Knowledge Sharing and Organizational Citizenship Behavior

Recently, researches toward the social and psychological structure of organizations have proliferated observably As the quality and quantity of these studies improve, the value of such issues gets more manifest. In this context, efforts toward making employees＇ knowledge, which is an indispensable value for organizations, accessible and efforts to make it available for work processes and social relations extend new behavioral patterns. Organizational citizenship behavior is an example of such patterns. This paper attempts to explain and discuss interactions between organizational citizenship behavior and knowledge sharing, which is reasoned to have a defining role over it, and to draw attention on the issue. Organizational knowledge sharing, the factors influential on it, and the relationships between the antecedents of organizational citizenship behavior and knowledge sharing are being dwelled upon conceptually