To facilitate system integration and evolution, modeling of complex systems requires a complementary management of system requirements and the architecture. Software tools are essential to support the above management...To facilitate system integration and evolution, modeling of complex systems requires a complementary management of system requirements and the architecture. Software tools are essential to support the above management effectively. The envisaged analysis tool for requirement and architecture management (ATRAM) is used to address the following 3 issues: (1) system requirements; (2) architecture presentation (modeling); (3) representation (marking-up) and traceability between the components of both sides. In ATRAM, a set of analysis tools is proposed. It includes a tool assisting in the generation/development of requirement documents pertaining to the architecture of composed systems, and an XML based tool for interoperability checking. It is useful for analyzing the influences of the change on enterprise system requirements or the architecture.展开更多
In this paper a modeling method of ATC system is developed by using object Petri net. The formalized definition of the senior Petri net is given and illustrated by a practical example.
Trust management has been proven to be a useful technology for providing security service and as a consequence has been used in many applications such as P2P, Grid, ad hoc network and so on. However, few researches ab...Trust management has been proven to be a useful technology for providing security service and as a consequence has been used in many applications such as P2P, Grid, ad hoc network and so on. However, few researches about trust mechanism for Internet of Things (IoT) could be found in the literature, though we argue that considerable necessity is held for applying trust mechanism to IoT. In this paper, we establish a formal trust management control mechanism based on architecture modeling of IoT. We decompose the IoT into three layers, which are sensor layer, core layer and application layer, from aspects of network composition of loT. Each layer is controlled by trust management for special purpose: self-organized, affective routing and multi-service respectively. And the final decision-making is performed by service requester according to the collected trust information as well as requester' policy. Finally, we use a formal semantics-based and fuzzy set theory to realize all above trust mechanism, the result of which provides a general framework for the development of trust models of IoT.展开更多
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 pro...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.展开更多
In this paper, using UML modeling tool (Rational Rose) conducted a needs analysis and modeling system, and on this basis, we design the interface modnle functions, system architecture and database. The paper finally...In this paper, using UML modeling tool (Rational Rose) conducted a needs analysis and modeling system, and on this basis, we design the interface modnle functions, system architecture and database. The paper finally designed and realized the system based on the. NET platform and Ajax technology. The system uses SQL Server as the background data management system, and in the end using ADO.NET technology to realize data access. According to the actual scientific research management, system design includes integrated office, scientific research institutions, scientific research personnel, research projects and other subsystems, the majority of teachers and the laboratory research team can within the prescribed time limit, in any location by logging into the science and Technology Department of scientific research project management webpage query declaration, provides great convenience for research teachers.展开更多
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.展开更多
Water is one of the basic materials in human existence and the development of society and economy. Its sustainable management has always been an eternal subject for the management of human society and also a complex s...Water is one of the basic materials in human existence and the development of society and economy. Its sustainable management has always been an eternal subject for the management of human society and also a complex systemic problem. How to take advantages of water has been a big event in such an agricultural country like China. As economically developed areas, coastal areas are facing water shortage problems due to the rapid economic and social development and inappropriate and unsustainable water management measures. To fully understand and study such problems faced by the coastal areas needs a systematic and integrated framework to consider the various social-economic, natural and engineering factors that affect the sustainable development of water in those areas. The SD (system dynamics) methodology, which is an approach that has been successfully used in solving complex systematic problems in general, and in solving water management problems in particular for more than 50 years, was applied to a typical coastal area, Longkou City in Shandong Province of China, to study and analyze the future sustainable water management of this city. Then the quantitative modeling and analysis of the water development were carried out through scenario analysis. Four different scenarios (business as usual, economic development, water resources protection, and comprehensive) were designed by changing the values of decision-making variables. The total water demand in 2030 of these four scenarios are 0.455 billion m3, 0.793 billion m3, 0.412 billion m3 and 0.487 billion m3, respectively; the corresponding water deficit of these scenarios are 0.292 billion m3, 0.634 billion m3, 0.254 billion m3 and 0.329 billion m3, respectively. The comparison results indicated that the comprehensive scenario is the optimal one among these designed scenarios. To totally solve the water shortage problem with the economy developed in Longkou City needs to take more effective measures to reduce water consumption and improve water conservation technologies.展开更多
The heat generation model and three-dimensional computational fluid dynamics model for lithium ion cells were established with boundary conditions defined.In order to provide a better insight about the behaviors of hi...The heat generation model and three-dimensional computational fluid dynamics model for lithium ion cells were established with boundary conditions defined.In order to provide a better insight about the behaviors of high-power lithium ion cells under realistic discharge conditions,the temperature difference of the cells and an active thermal management system with a pure air-cooling mode were analyzed and predicted with the factors affecting the unevenness of temperature field discussed.The results show a significant effect of the cooling flow rate on the temperature rise of the cells for all discharge rates.Average surface temperatures are relatively uniform at lower discharge rate that makes it easier to control the temperature of the pack.Cell temperatures are expected to rise significantly toward the end of discharge and they show non-uniformity at higher discharge rates.Adequate air flow rate of active cooling is required at high discharge rate and high ambient temperature for practical pack thermal management system.展开更多
Secretoneurin (SN) is a neuropeptide derived from specific proteolytic processing of the precursor secretogranin II (Sgll). In zebrafish and other teleosts, there are two paralogs named sglla and sgllb. Our result...Secretoneurin (SN) is a neuropeptide derived from specific proteolytic processing of the precursor secretogranin II (Sgll). In zebrafish and other teleosts, there are two paralogs named sglla and sgllb. Our results showed that neurons expressing sgllb were aligned with central arteries in the hindbrain, demonstrating a close neurovascular association. Both sgllb-/- and sgllo-/-/sgllb-/- mutant embryos were defective in hindbrain central artery development due to impairment of migration and proliferation of central artery cells. Further study revealed that sgllb is non-ceU autonomous and required for central artery development. Hindbrain arterial and venous network identities were not affected in sgllb-/- mutant embryos, and the mRNA levels of Notch and VEGF pathway-related genes were not altered. However, the activation of MAPK and PI3K/AKT pathways was inhibited in sgllb-/- mutant embryos. Reactivation of MAPK or PI3K/AKT in endothelial cells could partially rescue the central artery developmental defects in the sgllb mutants. This studV provides the first in vivo evidence that sgllb ptavs a critical rote in neurovascutar modeling of the hindbrain. Targeting the Sgll system may, therefore, represent a new avenue for the treatment of vascular defects in the central nervous system.展开更多
文摘To facilitate system integration and evolution, modeling of complex systems requires a complementary management of system requirements and the architecture. Software tools are essential to support the above management effectively. The envisaged analysis tool for requirement and architecture management (ATRAM) is used to address the following 3 issues: (1) system requirements; (2) architecture presentation (modeling); (3) representation (marking-up) and traceability between the components of both sides. In ATRAM, a set of analysis tools is proposed. It includes a tool assisting in the generation/development of requirement documents pertaining to the architecture of composed systems, and an XML based tool for interoperability checking. It is useful for analyzing the influences of the change on enterprise system requirements or the architecture.
文摘In this paper a modeling method of ATC system is developed by using object Petri net. The formalized definition of the senior Petri net is given and illustrated by a practical example.
文摘Trust management has been proven to be a useful technology for providing security service and as a consequence has been used in many applications such as P2P, Grid, ad hoc network and so on. However, few researches about trust mechanism for Internet of Things (IoT) could be found in the literature, though we argue that considerable necessity is held for applying trust mechanism to IoT. In this paper, we establish a formal trust management control mechanism based on architecture modeling of IoT. We decompose the IoT into three layers, which are sensor layer, core layer and application layer, from aspects of network composition of loT. Each layer is controlled by trust management for special purpose: self-organized, affective routing and multi-service respectively. And the final decision-making is performed by service requester according to the collected trust information as well as requester' policy. Finally, we use a formal semantics-based and fuzzy set theory to realize all above trust mechanism, the result of which provides a general framework for the development of trust models of IoT.
基金Supported by the Doctorate Degree Program Foundation of the State Education Ministry (yu ji[2003] 172 ) and the Scientific Research Foundation for Returned Overseas Chinese Scholars under the State Education Ministry (jiao wai si[2003] 14)
文摘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.
文摘In this paper, using UML modeling tool (Rational Rose) conducted a needs analysis and modeling system, and on this basis, we design the interface modnle functions, system architecture and database. The paper finally designed and realized the system based on the. NET platform and Ajax technology. The system uses SQL Server as the background data management system, and in the end using ADO.NET technology to realize data access. According to the actual scientific research management, system design includes integrated office, scientific research institutions, scientific research personnel, research projects and other subsystems, the majority of teachers and the laboratory research team can within the prescribed time limit, in any location by logging into the science and Technology Department of scientific research project management webpage query declaration, provides great convenience for research teachers.
基金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.
文摘Water is one of the basic materials in human existence and the development of society and economy. Its sustainable management has always been an eternal subject for the management of human society and also a complex systemic problem. How to take advantages of water has been a big event in such an agricultural country like China. As economically developed areas, coastal areas are facing water shortage problems due to the rapid economic and social development and inappropriate and unsustainable water management measures. To fully understand and study such problems faced by the coastal areas needs a systematic and integrated framework to consider the various social-economic, natural and engineering factors that affect the sustainable development of water in those areas. The SD (system dynamics) methodology, which is an approach that has been successfully used in solving complex systematic problems in general, and in solving water management problems in particular for more than 50 years, was applied to a typical coastal area, Longkou City in Shandong Province of China, to study and analyze the future sustainable water management of this city. Then the quantitative modeling and analysis of the water development were carried out through scenario analysis. Four different scenarios (business as usual, economic development, water resources protection, and comprehensive) were designed by changing the values of decision-making variables. The total water demand in 2030 of these four scenarios are 0.455 billion m3, 0.793 billion m3, 0.412 billion m3 and 0.487 billion m3, respectively; the corresponding water deficit of these scenarios are 0.292 billion m3, 0.634 billion m3, 0.254 billion m3 and 0.329 billion m3, respectively. The comparison results indicated that the comprehensive scenario is the optimal one among these designed scenarios. To totally solve the water shortage problem with the economy developed in Longkou City needs to take more effective measures to reduce water consumption and improve water conservation technologies.
基金supported by the National Natural Science Foundation of China(No.50976011)the Fundamental Research Funds for the Central Universities(No.2009JBM090)
文摘The heat generation model and three-dimensional computational fluid dynamics model for lithium ion cells were established with boundary conditions defined.In order to provide a better insight about the behaviors of high-power lithium ion cells under realistic discharge conditions,the temperature difference of the cells and an active thermal management system with a pure air-cooling mode were analyzed and predicted with the factors affecting the unevenness of temperature field discussed.The results show a significant effect of the cooling flow rate on the temperature rise of the cells for all discharge rates.Average surface temperatures are relatively uniform at lower discharge rate that makes it easier to control the temperature of the pack.Cell temperatures are expected to rise significantly toward the end of discharge and they show non-uniformity at higher discharge rates.Adequate air flow rate of active cooling is required at high discharge rate and high ambient temperature for practical pack thermal management system.
文摘Secretoneurin (SN) is a neuropeptide derived from specific proteolytic processing of the precursor secretogranin II (Sgll). In zebrafish and other teleosts, there are two paralogs named sglla and sgllb. Our results showed that neurons expressing sgllb were aligned with central arteries in the hindbrain, demonstrating a close neurovascular association. Both sgllb-/- and sgllo-/-/sgllb-/- mutant embryos were defective in hindbrain central artery development due to impairment of migration and proliferation of central artery cells. Further study revealed that sgllb is non-ceU autonomous and required for central artery development. Hindbrain arterial and venous network identities were not affected in sgllb-/- mutant embryos, and the mRNA levels of Notch and VEGF pathway-related genes were not altered. However, the activation of MAPK and PI3K/AKT pathways was inhibited in sgllb-/- mutant embryos. Reactivation of MAPK or PI3K/AKT in endothelial cells could partially rescue the central artery developmental defects in the sgllb mutants. This studV provides the first in vivo evidence that sgllb ptavs a critical rote in neurovascutar modeling of the hindbrain. Targeting the Sgll system may, therefore, represent a new avenue for the treatment of vascular defects in the central nervous system.