Different solvothermal reactions of ZnC2O_(4)with oxalic acid(H_(2)ox)and 1,2,4-triazole(Htrz)successfully gave a new quaternary(NJTU-Bai83,NJTU-Bai=Nanjing Tech University Bai's group)and a new quinary(NJTU-Bai84...Different solvothermal reactions of ZnC2O_(4)with oxalic acid(H_(2)ox)and 1,2,4-triazole(Htrz)successfully gave a new quaternary(NJTU-Bai83,NJTU-Bai=Nanjing Tech University Bai's group)and a new quinary(NJTU-Bai84)anionic metal-organic frameworks(MOFs),where NJTU-Bai83=(Me_(2)NH_(2))2[Zn_(3)(trz)_(2)(ox)_(3)]·2H_(2)O and NJTU-Bai84=(Me_(2)NH_(2))[Zn_(3)(trz)_(3)(ox)_(2)]·H_(2)O,respectively.With the[Zn_(2)(ox)4(trz)_(2)]secondary building unit(SBU)in NJTU-Bai83 replaced by the[Zn_(3)(ox)_(2)(trz)_(6)]and planar[Zn(ox)_(2)(trz)_(2)]ones in NJTU-Bai84,2D supramolecular building layers(SBLs)are changed from the A-layer and B-layer to another A-layer,while pillars are transformed from the tetrahedral[Zn(ox)_(2)(trz)_(2)]SBU to the irregular tetrahedral[Zn(ox)_(2)(trz)_(2)]and planar[Zn(ox)_(2)(trz)_(2)]SBUs.Thus,cdq-topological quaternary NJTU-Bai83 is tuned to(4,4,8)-c new topological quinary NJTU-Bai84.Two MOFs were well characterized by powder X-ray diffraction,thermogravimetric analysis,elemental analysis,etc.CCDC:2351819,NJTU-Bai83;2351820,NJTU-Bai84.展开更多
Building a model for a object through model composition is a interesting topics, this paper research the interface composit ion of models in the Zeigler’s modeling methodology DEVS.
In order to solve the surrounding rock control problem of large section gangue replacement roadway under complicated conditions, this paper analyzed the impact to the roadway controlling produced by the geological con...In order to solve the surrounding rock control problem of large section gangue replacement roadway under complicated conditions, this paper analyzed the impact to the roadway controlling produced by the geological conditions such as high ground stress, folded structure tilted roof asymmetry and soft wall rock, and built the tilt layered roof structural mechanics model to clarify the increase span mechanism of the weak coal instability. Then, we proposed the combined control system including roof inclined truss cable, coal-side cable-channel steel and intensive bolt support. And then by building the structural mechanics model of roof inclined truss cable system, the support principle was described. Besides, according to this model, we deduced the calculation formula of cable anchoring force and its tensile stress. Finally surrounding rock control technology of large section roadway in fold coal pillar area was formed. Field practice shows that the greatest roof convergence of gangue replacement roadway is 158 mm and coal-side deformation is 243 mm. Roadway deformation is controlled effectively and technical support is provided for replacement mining.展开更多
An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defin...An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defined according to the meta-model of DoD Architecture Framework.The meta-ontology is used for extending UML Profile so that the domain experts can model the C4ISR domains using the C4ISR capability meta-concepts to define a domain-specific modeling language.The domain models can be then checked to guarantee the consistency and completeness through converting the UML models into the Description Logic ontology and making use of inference engine Pellet to verify the ontology.展开更多
To better evaluate the quality of software architecture,a metrics suite is proposed to measure the coupling of software architecture models,in which CBC is used to measure the coupling between components,CBCC is used ...To better evaluate the quality of software architecture,a metrics suite is proposed to measure the coupling of software architecture models,in which CBC is used to measure the coupling between components,CBCC is used to measure the coupling of transferring message between components,CBCCT is used to measure the coupling of software architecture,WCBCC is used to measure the coupling of transferring message with weight between components,and WCBCCT is used to measure the coupling of message transmission with weight in the whole software architecture. The proposed algorithm for the coupling metrics is applied to the design of serve software architecture. Analysis of an example validates the feasibility of this metrics suite.展开更多
As a key technology to realize smart services of Internet of Things（IoT）, network virtualization technology can support the network diversification and ubiquity, and improve the utilization rate of network resources...As a key technology to realize smart services of Internet of Things（IoT）, network virtualization technology can support the network diversification and ubiquity, and improve the utilization rate of network resources. This paper studies the service-ori- ented network virtualization architecture for loT services. Firstly the semantic description method for loT services is proposed, then the resource representation model and resource management model in the environment of network virtualization are presented. Based on the above models, the service-oriented virtual network architecture for loT is established. Finally, a smart campus system is designed and deployed based on the service-oriented virtual network architecture. Moreover, the proposed architecture and models are verified in experiments.展开更多
Based on optimization wharf structure type of triangle flame pier proposed, namely＂ Spatial triangular flame pier ＋ Big span bent which taking Slant supports＂ Simulating three-dimensional pier model of a variety of...Based on optimization wharf structure type of triangle flame pier proposed, namely＂ Spatial triangular flame pier ＋ Big span bent which taking Slant supports＂ Simulating three-dimensional pier model of a variety of conditions in the actual loading by structural finite element software. Under the guidance of the three-dimensional structure of the most unfavorable load combination algorithm, three-dimensional combination algorithm is applied to the new structure by the MATLAB software programming. Search and calculate the most unfavorable combination of action effects and the corresponding intemal force of the main member, checking the feasibility of the three-dimensional algorithms, Calculating the new wharf structure structural features and stability, Providing numerical reference for the design of this sort of wharf.展开更多
The beam-to-column semirigid connection in a steel frame structure is represented by a zero-length rotational spring at the end of the beam element. The beam-to-column semirigid connection behavior is represented by i...The beam-to-column semirigid connection in a steel frame structure is represented by a zero-length rotational spring at the end of the beam element. The beam-to-column semirigid connection behavior is represented by its moment-rotation relationship. Several traditional mathematical models have been proposed to fit the moment-rotation curves from the experimental database,but they may be more reliable within certain ranges. In this paper, the intellectualized analytical model is proposed in the semirigid connections for top and seat angles with double web angles using the feed-forward back-propagation artificial neural network （BP-ANN） technique. the intellectualized analytical model from experimental results based on BP-ANN is more reliable and it is a better choice to the moment-rotation curves for beam-to-column semirigid connection. The results are found to provide effectiveness to the experimental response that is satisfactory for use in steel structural engineering design.展开更多
This research paper describes an SEE （Structural Engineering Encounter） Lab project. The paper reports on the development of a single-story, single-bay portal frame model as part of the AIMS2 （attract, inspire, men...This research paper describes an SEE （Structural Engineering Encounter） Lab project. The paper reports on the development of a single-story, single-bay portal frame model as part of the AIMS2 （attract, inspire, mentor and support students） grant supported through the US DOE （Department of Education） summer research program at California State University, Northridge. This research effort is part of a comprehensive program to develop laboratory models of structures commonly encountered in civil engineering practice, which can serve the dual purpose of accomplishing engineering education and research in the areas of structural and earthquake engineering. The objective of the present study was to construct a physical model of the aforementioned frame to experimentally collect data due to the application of vertical and lateral loadings through instrumentation such as strain gages and an LVDT （linear variable differential transformer） displacement transducer, and also to make comparisons with theoretical and numerical predictions.展开更多
This paper analyses the demand of intelligent bookshelf system, designed the overall structure of intelligent Library shelves system based on RFID and create the system use case model. The analysis and design of the i...This paper analyses the demand of intelligent bookshelf system, designed the overall structure of intelligent Library shelves system based on RFID and create the system use case model. The analysis and design of the intelligent bookshelf system structure from two aspects of hardware and software, puts forward the three layer system structure model of intelligent bookshelf system based on RFID technology. The paper provide the analysis method and the design ideas of library intelligent bookshelf system, has the very high application value, contribute to the realization of library intelligent management and improve the level of library services, provide a useful reference to the development of current book positioning system and intelligent goods shelf system solution.展开更多
文摘Different solvothermal reactions of ZnC2O_(4)with oxalic acid(H_(2)ox)and 1,2,4-triazole(Htrz)successfully gave a new quaternary(NJTU-Bai83,NJTU-Bai=Nanjing Tech University Bai's group)and a new quinary(NJTU-Bai84)anionic metal-organic frameworks(MOFs),where NJTU-Bai83=(Me_(2)NH_(2))2[Zn_(3)(trz)_(2)(ox)_(3)]·2H_(2)O and NJTU-Bai84=(Me_(2)NH_(2))[Zn_(3)(trz)_(3)(ox)_(2)]·H_(2)O,respectively.With the[Zn_(2)(ox)4(trz)_(2)]secondary building unit(SBU)in NJTU-Bai83 replaced by the[Zn_(3)(ox)_(2)(trz)_(6)]and planar[Zn(ox)_(2)(trz)_(2)]ones in NJTU-Bai84,2D supramolecular building layers(SBLs)are changed from the A-layer and B-layer to another A-layer,while pillars are transformed from the tetrahedral[Zn(ox)_(2)(trz)_(2)]SBU to the irregular tetrahedral[Zn(ox)_(2)(trz)_(2)]and planar[Zn(ox)_(2)(trz)_(2)]SBUs.Thus,cdq-topological quaternary NJTU-Bai83 is tuned to(4,4,8)-c new topological quinary NJTU-Bai84.Two MOFs were well characterized by powder X-ray diffraction,thermogravimetric analysis,elemental analysis,etc.CCDC:2351819,NJTU-Bai83;2351820,NJTU-Bai84.
文摘Building a model for a object through model composition is a interesting topics, this paper research the interface composit ion of models in the Zeigler’s modeling methodology DEVS.
文摘In order to solve the surrounding rock control problem of large section gangue replacement roadway under complicated conditions, this paper analyzed the impact to the roadway controlling produced by the geological conditions such as high ground stress, folded structure tilted roof asymmetry and soft wall rock, and built the tilt layered roof structural mechanics model to clarify the increase span mechanism of the weak coal instability. Then, we proposed the combined control system including roof inclined truss cable, coal-side cable-channel steel and intensive bolt support. And then by building the structural mechanics model of roof inclined truss cable system, the support principle was described. Besides, according to this model, we deduced the calculation formula of cable anchoring force and its tensile stress. Finally surrounding rock control technology of large section roadway in fold coal pillar area was formed. Field practice shows that the greatest roof convergence of gangue replacement roadway is 158 mm and coal-side deformation is 243 mm. Roadway deformation is controlled effectively and technical support is provided for replacement mining.
基金Project(2007AA01Z126) supported by the National High Technology Research and Development Program of ChinaProject(51306010202) supported by the National Defense Advance Research Program of China
文摘An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defined according to the meta-model of DoD Architecture Framework.The meta-ontology is used for extending UML Profile so that the domain experts can model the C4ISR domains using the C4ISR capability meta-concepts to define a domain-specific modeling language.The domain models can be then checked to guarantee the consistency and completeness through converting the UML models into the Description Logic ontology and making use of inference engine Pellet to verify the ontology.
基金Sponsored by the Science and Technology Department Term of Education of Heilongjiang Province(Grant No. 10541098)
文摘To better evaluate the quality of software architecture,a metrics suite is proposed to measure the coupling of software architecture models,in which CBC is used to measure the coupling between components,CBCC is used to measure the coupling of transferring message between components,CBCCT is used to measure the coupling of software architecture,WCBCC is used to measure the coupling of transferring message with weight between components,and WCBCCT is used to measure the coupling of message transmission with weight in the whole software architecture. The proposed algorithm for the coupling metrics is applied to the design of serve software architecture. Analysis of an example validates the feasibility of this metrics suite.
基金supported by the national 973 project of China under Grants 2013CB329104the Natural Science Foundation of China under Grants 61372124,61427801,61271237,61271236Jiangsu Collaborative Innovation Center for Technology and Application of Internet of Things under Grants SJ213003
文摘As a key technology to realize smart services of Internet of Things（IoT）, network virtualization technology can support the network diversification and ubiquity, and improve the utilization rate of network resources. This paper studies the service-ori- ented network virtualization architecture for loT services. Firstly the semantic description method for loT services is proposed, then the resource representation model and resource management model in the environment of network virtualization are presented. Based on the above models, the service-oriented virtual network architecture for loT is established. Finally, a smart campus system is designed and deployed based on the service-oriented virtual network architecture. Moreover, the proposed architecture and models are verified in experiments.
文摘Based on optimization wharf structure type of triangle flame pier proposed, namely＂ Spatial triangular flame pier ＋ Big span bent which taking Slant supports＂ Simulating three-dimensional pier model of a variety of conditions in the actual loading by structural finite element software. Under the guidance of the three-dimensional structure of the most unfavorable load combination algorithm, three-dimensional combination algorithm is applied to the new structure by the MATLAB software programming. Search and calculate the most unfavorable combination of action effects and the corresponding intemal force of the main member, checking the feasibility of the three-dimensional algorithms, Calculating the new wharf structure structural features and stability, Providing numerical reference for the design of this sort of wharf.
文摘The beam-to-column semirigid connection in a steel frame structure is represented by a zero-length rotational spring at the end of the beam element. The beam-to-column semirigid connection behavior is represented by its moment-rotation relationship. Several traditional mathematical models have been proposed to fit the moment-rotation curves from the experimental database,but they may be more reliable within certain ranges. In this paper, the intellectualized analytical model is proposed in the semirigid connections for top and seat angles with double web angles using the feed-forward back-propagation artificial neural network （BP-ANN） technique. the intellectualized analytical model from experimental results based on BP-ANN is more reliable and it is a better choice to the moment-rotation curves for beam-to-column semirigid connection. The results are found to provide effectiveness to the experimental response that is satisfactory for use in steel structural engineering design.
文摘This research paper describes an SEE （Structural Engineering Encounter） Lab project. The paper reports on the development of a single-story, single-bay portal frame model as part of the AIMS2 （attract, inspire, mentor and support students） grant supported through the US DOE （Department of Education） summer research program at California State University, Northridge. This research effort is part of a comprehensive program to develop laboratory models of structures commonly encountered in civil engineering practice, which can serve the dual purpose of accomplishing engineering education and research in the areas of structural and earthquake engineering. The objective of the present study was to construct a physical model of the aforementioned frame to experimentally collect data due to the application of vertical and lateral loadings through instrumentation such as strain gages and an LVDT （linear variable differential transformer） displacement transducer, and also to make comparisons with theoretical and numerical predictions.
文摘This paper analyses the demand of intelligent bookshelf system, designed the overall structure of intelligent Library shelves system based on RFID and create the system use case model. The analysis and design of the intelligent bookshelf system structure from two aspects of hardware and software, puts forward the three layer system structure model of intelligent bookshelf system based on RFID technology. The paper provide the analysis method and the design ideas of library intelligent bookshelf system, has the very high application value, contribute to the realization of library intelligent management and improve the level of library services, provide a useful reference to the development of current book positioning system and intelligent goods shelf system solution.
