土木工程施工管理对提升建筑业的经济效益,保障工程项目的质量与安全具有至关重要的意义。然而,传统的土木工程施工管理方式存在一定的局限性,难以应对当前日益复杂多变的建设环境。对此,本文将BIM(Building Information Modeling,建筑...土木工程施工管理对提升建筑业的经济效益,保障工程项目的质量与安全具有至关重要的意义。然而,传统的土木工程施工管理方式存在一定的局限性,难以应对当前日益复杂多变的建设环境。对此,本文将BIM(Building Information Modeling,建筑信息模型)技术引入土木工程施工管理中,研究其在解决传统管理方式中存在问题方面的效益。基于BIM技术,建立了全流程的施工管理模型,并对该模型进行了实证研究。结果表明,BIM技术能全方位地提升土木工程的施工管理效率,尤其表现在工程量计算、施工进度控制和安全管理三个环节,实现了信息的全生命周期管理和多参与方协同工作,极大地提高了工程项目管理的效率和效果。此外,BIM技术还对工程成本控制和工程质量管理产生了积极影响,进一步推动了土木工程项目的顺利完成。本研究的成果可为构建现代化的、高效的、知识型的土木工程施工管理提供新的理论依据和实践指导。展开更多
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 ...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.展开更多
The basic conditions of the enterprise informatization in Heilongjiang province are analyzed and 4 models are designed to drive the industrial and commercial information enterprise. The 4 models are the Resource Integ...The basic conditions of the enterprise informatization in Heilongjiang province are analyzed and 4 models are designed to drive the industrial and commercial information enterprise. The 4 models are the Resource Integration Informatization Model, the Flow Management Informatization Model, the Intranet E-commerce Informatization Model and the Network Enterprise Informatization Model. The conditions for using and problems needing attentions of these 4 models are also analyzed.展开更多
With the growing popularity of data-intensive services on the Internet, the traditional process-centric model for business process meets challenges due to the lack of abilities to describe data semantics and dependenc...With the growing popularity of data-intensive services on the Internet, the traditional process-centric model for business process meets challenges due to the lack of abilities to describe data semantics and dependencies, resulting in the inflexibility of the design and implement for the processes. This paper proposes a novel data-aware business process model which is able to describe both explicit control flow and implicit data flow. Data model with dependencies which are formulated by Linear-time Temporal Logic(LTL) is presented, and their satisfiability is validated by an automaton-based model checking algorithm. Data dependencies are fully considered in modeling phase, which helps to improve the efficiency and reliability of programming during developing phase. Finally, a prototype system based on j BPM for data-aware workflow is designed using such model, and has been deployed to Beijing Kingfore heating management system to validate the flexibility, efficacy and convenience of our approach for massive coding and large-scale system management in reality.展开更多
The specification of authorization policies in access control models proposed so far cannot satisfy the requirements in workflow management systems(WFMSs).Furthermore,existing approaches have not provided effective co...The specification of authorization policies in access control models proposed so far cannot satisfy the requirements in workflow management systems(WFMSs).Furthermore,existing approaches have not provided effective conflict detection and resolution methods to maintain the consistency of authorization polices in WFMSs.To address these concerns,we propose the definition of authorization policies in which context constraints are considered and the complicated requirements in WFMSs can be satisfied.Based on the definition,we put forward static and dynamic conflict detection methods for authorization policies.By defining two new concepts,the precedence establishment rule and the conflict resolution policy,we provide a flexible approach to resolving conflicts.展开更多
文摘土木工程施工管理对提升建筑业的经济效益,保障工程项目的质量与安全具有至关重要的意义。然而,传统的土木工程施工管理方式存在一定的局限性,难以应对当前日益复杂多变的建设环境。对此,本文将BIM(Building Information Modeling,建筑信息模型)技术引入土木工程施工管理中,研究其在解决传统管理方式中存在问题方面的效益。基于BIM技术,建立了全流程的施工管理模型,并对该模型进行了实证研究。结果表明,BIM技术能全方位地提升土木工程的施工管理效率,尤其表现在工程量计算、施工进度控制和安全管理三个环节,实现了信息的全生命周期管理和多参与方协同工作,极大地提高了工程项目管理的效率和效果。此外,BIM技术还对工程成本控制和工程质量管理产生了积极影响,进一步推动了土木工程项目的顺利完成。本研究的成果可为构建现代化的、高效的、知识型的土木工程施工管理提供新的理论依据和实践指导。
文摘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.
文摘The basic conditions of the enterprise informatization in Heilongjiang province are analyzed and 4 models are designed to drive the industrial and commercial information enterprise. The 4 models are the Resource Integration Informatization Model, the Flow Management Informatization Model, the Intranet E-commerce Informatization Model and the Network Enterprise Informatization Model. The conditions for using and problems needing attentions of these 4 models are also analyzed.
基金supported by the National Natural Science Foundation of China (No. 61502043, No. 61132001)Beijing Natural Science Foundation (No. 4162042)BeiJing Talents Fund (No. 2015000020124G082)
文摘With the growing popularity of data-intensive services on the Internet, the traditional process-centric model for business process meets challenges due to the lack of abilities to describe data semantics and dependencies, resulting in the inflexibility of the design and implement for the processes. This paper proposes a novel data-aware business process model which is able to describe both explicit control flow and implicit data flow. Data model with dependencies which are formulated by Linear-time Temporal Logic(LTL) is presented, and their satisfiability is validated by an automaton-based model checking algorithm. Data dependencies are fully considered in modeling phase, which helps to improve the efficiency and reliability of programming during developing phase. Finally, a prototype system based on j BPM for data-aware workflow is designed using such model, and has been deployed to Beijing Kingfore heating management system to validate the flexibility, efficacy and convenience of our approach for massive coding and large-scale system management in reality.
基金supported by the National Natural Science Foundation of China (Nos.50705084 and 60473129)the Science and Technology Plan of Zhejiang Province,China (No.2007C13018)
文摘The specification of authorization policies in access control models proposed so far cannot satisfy the requirements in workflow management systems(WFMSs).Furthermore,existing approaches have not provided effective conflict detection and resolution methods to maintain the consistency of authorization polices in WFMSs.To address these concerns,we propose the definition of authorization policies in which context constraints are considered and the complicated requirements in WFMSs can be satisfied.Based on the definition,we put forward static and dynamic conflict detection methods for authorization policies.By defining two new concepts,the precedence establishment rule and the conflict resolution policy,we provide a flexible approach to resolving conflicts.
