This paper addresses the issue of designing the detailed architectures of Field-Programmable Gate Arrays(FPGAs), which has a great impact on the overall performances of an FPGA in practice. Firstly, a novel FPGA archi...This paper addresses the issue of designing the detailed architectures of Field-Programmable Gate Arrays(FPGAs), which has a great impact on the overall performances of an FPGA in practice. Firstly, a novel FPGA architecture description model is proposed based on an easy-to-use file format known as YAML. This format permits the description of any detailed architecture of hard blocks and channels. Then a general algorithm of building FPGA resource graph is presented. The proposed model is scalable and capable of dealing with detailed architecture design and can be used in FPGA architecture evaluation system which is developed to enable detailed architecture design. Experimental results show that a maximum of 16.36% reduction in total wirelength and a maximum of 9.34% reduction in router effort can be obtained by making very little changes to detailed architectures, which verifies the necessity and effectiveness of the proposed model.展开更多
This article reports the discussion about the multiple relations between architectural design and "place" using two different approaches in order to characterize the interfaces of design challenges. The first is qua...This article reports the discussion about the multiple relations between architectural design and "place" using two different approaches in order to characterize the interfaces of design challenges. The first is qualitative, highlighting the lack of dialogue between the standard-project architecture, the guidelines recommended by the COEDI (Coordenagao Geral de Educao Infantil (General Coordination of Early Childhood Education)) of the Ministry of Education, socio-technical and cultural-environmental context and pedagogy. The second, more quantitative, addresses the problems generated by dissociation between the constructive solutions and the bioclimatic demands of different insertion contexts of architectural design in the Brazilian Bioclimatic Zone 2. Initially planned to use a conventional building system, it was transposed to the Wall System, developed by MVC Componentes Pl^tsticos Ltda. The simulation evaluates and compares the level of thermal comfort of the building with two envelope systems. The study reports the analysis of the thermal comfort of a Type C unit, based on thermodynamic simulation, through the software Design Builder (version 4.2.0.054). The analysis of the building simulation results was based on the adaptive comfort model ASHRAE 55/2010. Later, three optimization measures of the thermal comfort level of the building were tested, based on thermal insulation and absorptance coverage, in addition to sun protection system design for the window frames. Preliminary results for the level of comfort of long permanence environments indicate a tow level of thermal comfort, the 50% in MVC system and around 60% in the conventional system, and also that the greater discomfort comes from the heat. Based on performance optimization measures of building, the MVC system reached 66.4% of thermal comfort compared to 62% in the conventional system. The results show the importance of adapting the standard project to the local climatic context.展开更多
To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from ...To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from the top-level perspective of multi-service joint warfare.First,an overall planning and analysis method of architecture modeling is proposed with the idea of a bionic analogy for battlefield target intelligence system architecture modeling,which reduces the difficulty of the planning and design process.The method introduces the Department of Defense architecture framework(DoDAF)modeling method,the multi-living agent(MLA)theory modeling method,and other combinations for planning and modeling.A set of rapid planning methods that can be applied to model the architecture of various types of complex systems is formed.Further,the liveness analysis of the battlefield target intelligence system is carried out,and the problems of the existing system are presented from several aspects.And the technical prediction of the development and construction is given,which provides directional ideas for the subsequent research and development of the battlefield target intelligence system.In the end,the proposed architecture model of the battlefield target intelligence system is simulated and verified by applying the colored Petri nets(CPN)simulation software.The analysis demonstrates the reasonable integrity of its logic.展开更多
The integral practical and aesthetic design teaching of architecture and site environment is expected to deal with the junior-grade design teaching in architecture major with a current situation that the insufficient ...The integral practical and aesthetic design teaching of architecture and site environment is expected to deal with the junior-grade design teaching in architecture major with a current situation that the insufficient consideration of the site environment and the chaotic city image, which caused by long-term emphasis on single function and personality performance of architecture. The key to the integral practicability and aesthetics is the emphasis on the integrality of spatial logical order of those two factors, which contains the integral harmony of function attributes, scale, logics, and modal relationships and so on. Combine with the teaching of kindergarten architecture design, using architecture and site logic model teaching methodology, through the extraction cognitive teaching approach of the site environment order logics, the cognitive teaching approach of kindergarten architecture spatial logics, the strategic teaching approach of the congruent design of the integral order of architecture and site environment logics, module and model congruent counterpoint design teaching approach of architecture and large site environment order logics, organization and construction integrated design teaching approach of architecture and small site environment spatial logics, and result design teaching approach of architectures integrated into the landscape of large site environment and their surrounding small site environment and other teaching procedures to complete die teaching tasks of the integral practical and aesthetic design of kindergarten architecture and site environment.展开更多
With the rapid growth of urbanization and the increasing demand for transportation, urban traffic congestion has become a hindrance to individuals’ travel experience. Urban intersections are one of the primary source...With the rapid growth of urbanization and the increasing demand for transportation, urban traffic congestion has become a hindrance to individuals’ travel experience. Urban intersections are one of the primary sources of traffic congestion, and these bottlenecks have a negative impact not only on traffic efficacy but also on the surrounding road traffic in the region. To alleviate urban traffic congestion, cyber-physical systems have been widely implemented in the transportation industry, allowing for the perception, analysis, calculation, and dispatching of urban traffic flow, as well as making urban transportation safe, efficient, and quick. As the system scale and functions increase, system design has become increasingly complex, necessitating a deeper comprehension of the system’s structure and interaction relationships to construct a stable and reliable system. Therefore, this study proposes a method for designing cyber-physical systems for urban traffic intersections based on Model-Based Systems Engineering (MBSE). This method models and analyses exhaustively the system’s requirements, functions, and logical architecture using System Modeling Language (SysML). After the architecture design has been completed, an architecture verification and optimization method based on Failure Mode and Effect Analysis (FMEA) for urban road intersection cyber-physical systems is utilized to analyze the architecture’s reliability by analyzing the failure modes of activities and to optimize the system architecture to improve the design’s efficiency and reliability.展开更多
With the acceleration of urbanization, city complex as an intensive urban organization form has gradually grown up in China. By consulting relevant documents of city complex, emergence background and related concepts ...With the acceleration of urbanization, city complex as an intensive urban organization form has gradually grown up in China. By consulting relevant documents of city complex, emergence background and related concepts of city complex were introduced, landscape design of Chenglong-International was analyzed to propose landscape design principles and concepts of city complex under the compound development model, landscape processing techniques of outdoor functional subareas and transitional areas were introduced to provide useful reference for the landscape design of city complex.展开更多
This research provides an exploration of a biomimetic approach in the process of designing a candelabra model using linear shaped leaves of a Bell flower.The design process described in this research contains two step...This research provides an exploration of a biomimetic approach in the process of designing a candelabra model using linear shaped leaves of a Bell flower.The design process described in this research contains two steps:biological and geometrical.In the first biological step,a proper model for the creation of an urban element was found from nature in a Bell flower(Campanula persicifolia L.).The upper leaves of the selected plant,which are small with a linear spear and sharpening at the top,were chosen for the modeling process.The second step included applying two geometrical methods,i.e.,Voronoi diagrams and Delaunay triangulation.A geometrical leaf form of the selected plant species and the modeling process were obtained using aparametric modeling software,Blender.Using different Blender plug-ins and modifiers,Delaunay triangulation and Voronoi diagram were implemented by marking the starting points on the leaf form in the image data source,adjusting the Delaunay triangulation parameters,and creating Voronoi diagrams in which the Voronoi points were located at the shortest distance from the edges of the Voronoi polygon.Consequently,a three dimensional model of a candelabra was developed through this study.展开更多
Given a set of requirements structured as design problems, we can apply design patterns to solve each problem individually. Much of the published literature on design patterns addresses this problem—pattern associati...Given a set of requirements structured as design problems, we can apply design patterns to solve each problem individually. Much of the published literature on design patterns addresses this problem—pattern association;however, there is no systematic and practical way that shows how to integrate those individual solutions together. We propose a compositional model based on design patterns by abstracting their behavioral model using role modeling constructs. This approach describes how to transform a design pattern into a role model that can be used to assemble a software application. The role model captures the behavioral relationship between participant components in the design pattern. Our approach offers a complete practical design and implementation strategies, adapted from DCI (Data, Context, and Interaction) architecture. We demonstrate our technique by presenting a simple case study complete with design and implementation code. We also present a simple to follow process that provides guidelines of what to do and how to do it.展开更多
China’s space technology has gradually improved from the early stages’ introduction, absorption and re-innovation based on backward design to independent innovation based on forward design. It is necessary to develo...China’s space technology has gradually improved from the early stages’ introduction, absorption and re-innovation based on backward design to independent innovation based on forward design. It is necessary to develop a new approach of systems engineering to improve the quality and efficiency of space systems design considering the large number of original design problems expected in the future. Adopting Model-Based Systems Engineering(MBSE) and Digital Twin method are important development initiatives in the field of modern engineering design. In the initial phase of system design, it is necessary to generate firm system architecture models based on the needs of stakeholders. The quality of the system design in this phase has a great impact on the detailed design and implementation for the subsequent system, and also plays an important role in the performance, development progress and cost of the whole system. Through the collaboration of cross-professional teams, modeling and model execution, comparing the model execution with expected results, MBSE has enabled digital model-level verification and validation before test verification and validation based on physical products, thus improving the design exactness, completeness and greatly reducing design errors or defects. This paper explores the logical ideas behind modeling of system architectures in order to promote the adoption of MBSE in the field of space systems.展开更多
Architecture analysis and design language (AADL) is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion an...Architecture analysis and design language (AADL) is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion and analysis, model transformation is one of the methods. A synchronous subset of AADL and a general methodology for translating the AADL subset into timed abstract state machine (TASM) were studied. Based on the arias transformation language ( ATL ) framework, the associated translating tool AADL2TASM was implemented by defining the meta-model of both AADL and TASM, and the ATL transformation rules. A case study with property verification of the AADL model was also presented for validating the tool.展开更多
Existing soundscape prediction model application conditions and calculation processes are very complex,and difficult to combine with design processes.Therefore,in this study,a visual soundscape prediction model is con...Existing soundscape prediction model application conditions and calculation processes are very complex,and difficult to combine with design processes.Therefore,in this study,a visual soundscape prediction model is constructed for sound pressure level(SPL)prediction,sound source prediction,and soundscape evaluation prediction by inputting the elements of urban design under the meshing method(grid 50 m)into a machine learning Gaussian mixture model(GMM).Taking three typical urban parks as examples,the soundwalk method is used to collect subjective perception information on-site to verify prediction accuracy.The results show that by applying geographic information data,including the minimum distance values from predicted points to roads,entrances and exits,and internal nodes,the SPL can be predicted.When the accuracy rate is stable within a 3 dBA error range,the prediction accuracy rate is 67.7%.The visual perception information added is used to quickly predict the sound source type,and the output is the visualized distribution of the natural,human,and mechanical sound perception with a 77.4%accuracy rate.Finally,combining geographic,visual and sound data to predict soundscape evaluation,the model's output are good,medium,and poor categories for each descriptor of the soundscape evaluation,and the prediction results are visualized in three colours with a 74.2%accuracy rate.The convenient soundscape prediction model proposed in this paper can be applied to design practice.By adjusting park design elements,the distribution results can be compared,and an optimal design scheme from the soundscape perspective can be obtained.Combined with the model output,this study compares the model simulation results after adjusting the design elements and the original,and proposes targeted optimisation strategies for urban park soundscape.展开更多
This paper explores the networks of thoughts behind words by reading architectural texts in the context of linguistics.Using a corpus-based model,our main interest is what the collocational data contribute at an archi...This paper explores the networks of thoughts behind words by reading architectural texts in the context of linguistics.Using a corpus-based model,our main interest is what the collocational data contribute at an architectural level.The notion of“collocation identification in architecture”was drawn from an analysis of the use of the data for Rem Koolhaas.The data for this study were collected from Rem Koolhaas’s articles from 1977 to 2014.An analysis of Koolhaas’s ideas about architecture and urban planning was conducted using the AntConc 3.4.4.0 corpus analysis toolkit.The corpus-based model reduced selected articles to words and lexical bundles using the corpus analysis toolkit.This paper explores Koolhaas’s thoughts on understanding architecture and the metaphors he uses by analyzing articles using the corpus-based analysis model.The discourse codes in the texts of Koolhaas are examined.A corpus-based model proposal tested on architectural texts has the potential to create new areas of knowledge for architectural discourse.Deciphering the texts and analyzing the codes contribute to the development of new models.展开更多
Large-scale cryogenic air separation units(ASUs),which are widely used in global petrochemical and semiconductor industries,are being developed with high operating elasticity under variable working conditions.Differen...Large-scale cryogenic air separation units(ASUs),which are widely used in global petrochemical and semiconductor industries,are being developed with high operating elasticity under variable working conditions.Different from discrete processes in traditional machinery manufacturing,the ASU process is continuous and involves the compression,adsorption,cooling,condensation,liquefaction,evaporation,and distillation of multiple streams.This feature indicates that thousands of technical parameters in adsorption,heat transfer,and distillation processes are correlated and merged into a large-scale complex system.A lumped parameter model(LPM)of ASU is proposed by lumping the main factors together and simplifying the secondary ones to achieve accurate and fast performance design.On the basis of material and energy conservation laws,the piecewise-lumped parameters are extracted under variable working conditions by using LPM.Takagi–Sugeno(T–S)fuzzy interval detection is recursively utilized to determine whether the critical point is detected or not by using different thresholds.Compared with the traditional method,LPM is particularly suitable for“rough first then precise”modeling by expanding the feasible domain using fuzzy intervals.With LPM,the performance of the air compressor,molecular sieve adsorber,turbo expander,main plate-fin heat exchangers,and packing column of a 100000 Nm3 O2/h large-scale ASU is enhanced to adapt to variable working conditions.The designed value of net power consumption per unit of oxygen production(kW/(Nm3 O2))is reduced by 6.45%.展开更多
This article deals with the usage of building bricks as a didactic material for the development of architectural design. The building brick game chosen for analysis was the Arckit, since it is suitable for the archite...This article deals with the usage of building bricks as a didactic material for the development of architectural design. The building brick game chosen for analysis was the Arckit, since it is suitable for the architectural practice. It is estimated that this game can contribute to the design, representation and presentation of projects. In order to investigate in which aspects Arckit presents possibilities of applications, as well as limitations of use, the article approaches the importance of building bricks as a didactic tool and its use in the field of the architectural design process. From a literature review and an empirical experience, this article reports a qualitative research, where the applicability of the Arckit game was checked. Through a critical reflection based on that experience, it was possible to conclude that whereas its limitations to urban form and linked to the formal vocabulary that composes the grammar of these bricks, the Arckit building bricks represent in architecture a playful and experimental way to think and design, fomenting the creativity and the spatial perception, resulting in a particular experience that can make architecture better connected with dreams and joy.展开更多
IT (information technology) services are diverse and complex. Numerous service design methods have been developed for designing and developing products. However, owing to the limited availability of useful tools in ...IT (information technology) services are diverse and complex. Numerous service design methods have been developed for designing and developing products. However, owing to the limited availability of useful tools in IT service design, these methods are ineffective. This study proposes an innovative three-dimensional method for designing IT services. The proposed method considers user requirements, an organization's business requirements, service providers' management requirements as well as the decision-making criteria of management representatives to ensure a smooth implementation of a designed IT service. Using this method, a prototype system to improve campus wireless local area network services was developed and tested at a university in Taiwan. The prototype system reduced the need for repetitive authentication and the time required to solve service problems and address user complaints. In addition, the service design team observed an approximately 70% reduction in project cycle time. The proposed method provided a systematic means to organize the design and implementation of IT services.展开更多
This paper presents a methodology driven by database constraints for designing and developing(database)software applications.Much needed and with excellent results,this paradigm guarantees the highest possible quality...This paper presents a methodology driven by database constraints for designing and developing(database)software applications.Much needed and with excellent results,this paradigm guarantees the highest possible quality of the managed data.The proposed methodology is illustrated with an easy to understand,yet complex medium-sized genealogy software application driven by more than 200 database constraints,which fully meets such expectations.展开更多
基金Supported by National High Technology Research and Develop Program of China(No.2012AA012301)National Science and Technology Major Project of China(No.2013ZX03006004)
文摘This paper addresses the issue of designing the detailed architectures of Field-Programmable Gate Arrays(FPGAs), which has a great impact on the overall performances of an FPGA in practice. Firstly, a novel FPGA architecture description model is proposed based on an easy-to-use file format known as YAML. This format permits the description of any detailed architecture of hard blocks and channels. Then a general algorithm of building FPGA resource graph is presented. The proposed model is scalable and capable of dealing with detailed architecture design and can be used in FPGA architecture evaluation system which is developed to enable detailed architecture design. Experimental results show that a maximum of 16.36% reduction in total wirelength and a maximum of 9.34% reduction in router effort can be obtained by making very little changes to detailed architectures, which verifies the necessity and effectiveness of the proposed model.
文摘This article reports the discussion about the multiple relations between architectural design and "place" using two different approaches in order to characterize the interfaces of design challenges. The first is qualitative, highlighting the lack of dialogue between the standard-project architecture, the guidelines recommended by the COEDI (Coordenagao Geral de Educao Infantil (General Coordination of Early Childhood Education)) of the Ministry of Education, socio-technical and cultural-environmental context and pedagogy. The second, more quantitative, addresses the problems generated by dissociation between the constructive solutions and the bioclimatic demands of different insertion contexts of architectural design in the Brazilian Bioclimatic Zone 2. Initially planned to use a conventional building system, it was transposed to the Wall System, developed by MVC Componentes Pl^tsticos Ltda. The simulation evaluates and compares the level of thermal comfort of the building with two envelope systems. The study reports the analysis of the thermal comfort of a Type C unit, based on thermodynamic simulation, through the software Design Builder (version 4.2.0.054). The analysis of the building simulation results was based on the adaptive comfort model ASHRAE 55/2010. Later, three optimization measures of the thermal comfort level of the building were tested, based on thermal insulation and absorptance coverage, in addition to sun protection system design for the window frames. Preliminary results for the level of comfort of long permanence environments indicate a tow level of thermal comfort, the 50% in MVC system and around 60% in the conventional system, and also that the greater discomfort comes from the heat. Based on performance optimization measures of building, the MVC system reached 66.4% of thermal comfort compared to 62% in the conventional system. The results show the importance of adapting the standard project to the local climatic context.
基金supported by the National Natural Science Foundation of China(41927801).
文摘To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from the top-level perspective of multi-service joint warfare.First,an overall planning and analysis method of architecture modeling is proposed with the idea of a bionic analogy for battlefield target intelligence system architecture modeling,which reduces the difficulty of the planning and design process.The method introduces the Department of Defense architecture framework(DoDAF)modeling method,the multi-living agent(MLA)theory modeling method,and other combinations for planning and modeling.A set of rapid planning methods that can be applied to model the architecture of various types of complex systems is formed.Further,the liveness analysis of the battlefield target intelligence system is carried out,and the problems of the existing system are presented from several aspects.And the technical prediction of the development and construction is given,which provides directional ideas for the subsequent research and development of the battlefield target intelligence system.In the end,the proposed architecture model of the battlefield target intelligence system is simulated and verified by applying the colored Petri nets(CPN)simulation software.The analysis demonstrates the reasonable integrity of its logic.
文摘The integral practical and aesthetic design teaching of architecture and site environment is expected to deal with the junior-grade design teaching in architecture major with a current situation that the insufficient consideration of the site environment and the chaotic city image, which caused by long-term emphasis on single function and personality performance of architecture. The key to the integral practicability and aesthetics is the emphasis on the integrality of spatial logical order of those two factors, which contains the integral harmony of function attributes, scale, logics, and modal relationships and so on. Combine with the teaching of kindergarten architecture design, using architecture and site logic model teaching methodology, through the extraction cognitive teaching approach of the site environment order logics, the cognitive teaching approach of kindergarten architecture spatial logics, the strategic teaching approach of the congruent design of the integral order of architecture and site environment logics, module and model congruent counterpoint design teaching approach of architecture and large site environment order logics, organization and construction integrated design teaching approach of architecture and small site environment spatial logics, and result design teaching approach of architectures integrated into the landscape of large site environment and their surrounding small site environment and other teaching procedures to complete die teaching tasks of the integral practical and aesthetic design of kindergarten architecture and site environment.
基金supported by the National Key R&D Program of China(2021YFB2501000).
文摘With the rapid growth of urbanization and the increasing demand for transportation, urban traffic congestion has become a hindrance to individuals’ travel experience. Urban intersections are one of the primary sources of traffic congestion, and these bottlenecks have a negative impact not only on traffic efficacy but also on the surrounding road traffic in the region. To alleviate urban traffic congestion, cyber-physical systems have been widely implemented in the transportation industry, allowing for the perception, analysis, calculation, and dispatching of urban traffic flow, as well as making urban transportation safe, efficient, and quick. As the system scale and functions increase, system design has become increasingly complex, necessitating a deeper comprehension of the system’s structure and interaction relationships to construct a stable and reliable system. Therefore, this study proposes a method for designing cyber-physical systems for urban traffic intersections based on Model-Based Systems Engineering (MBSE). This method models and analyses exhaustively the system’s requirements, functions, and logical architecture using System Modeling Language (SysML). After the architecture design has been completed, an architecture verification and optimization method based on Failure Mode and Effect Analysis (FMEA) for urban road intersection cyber-physical systems is utilized to analyze the architecture’s reliability by analyzing the failure modes of activities and to optimize the system architecture to improve the design’s efficiency and reliability.
文摘With the acceleration of urbanization, city complex as an intensive urban organization form has gradually grown up in China. By consulting relevant documents of city complex, emergence background and related concepts of city complex were introduced, landscape design of Chenglong-International was analyzed to propose landscape design principles and concepts of city complex under the compound development model, landscape processing techniques of outdoor functional subareas and transitional areas were introduced to provide useful reference for the landscape design of city complex.
基金The Ministry of Education,Science and Technological Development of the Republic of Serbia,No.TP 36008(451–02-68/2020/14/2000169).
文摘This research provides an exploration of a biomimetic approach in the process of designing a candelabra model using linear shaped leaves of a Bell flower.The design process described in this research contains two steps:biological and geometrical.In the first biological step,a proper model for the creation of an urban element was found from nature in a Bell flower(Campanula persicifolia L.).The upper leaves of the selected plant,which are small with a linear spear and sharpening at the top,were chosen for the modeling process.The second step included applying two geometrical methods,i.e.,Voronoi diagrams and Delaunay triangulation.A geometrical leaf form of the selected plant species and the modeling process were obtained using aparametric modeling software,Blender.Using different Blender plug-ins and modifiers,Delaunay triangulation and Voronoi diagram were implemented by marking the starting points on the leaf form in the image data source,adjusting the Delaunay triangulation parameters,and creating Voronoi diagrams in which the Voronoi points were located at the shortest distance from the edges of the Voronoi polygon.Consequently,a three dimensional model of a candelabra was developed through this study.
文摘Given a set of requirements structured as design problems, we can apply design patterns to solve each problem individually. Much of the published literature on design patterns addresses this problem—pattern association;however, there is no systematic and practical way that shows how to integrate those individual solutions together. We propose a compositional model based on design patterns by abstracting their behavioral model using role modeling constructs. This approach describes how to transform a design pattern into a role model that can be used to assemble a software application. The role model captures the behavioral relationship between participant components in the design pattern. Our approach offers a complete practical design and implementation strategies, adapted from DCI (Data, Context, and Interaction) architecture. We demonstrate our technique by presenting a simple case study complete with design and implementation code. We also present a simple to follow process that provides guidelines of what to do and how to do it.
文摘China’s space technology has gradually improved from the early stages’ introduction, absorption and re-innovation based on backward design to independent innovation based on forward design. It is necessary to develop a new approach of systems engineering to improve the quality and efficiency of space systems design considering the large number of original design problems expected in the future. Adopting Model-Based Systems Engineering(MBSE) and Digital Twin method are important development initiatives in the field of modern engineering design. In the initial phase of system design, it is necessary to generate firm system architecture models based on the needs of stakeholders. The quality of the system design in this phase has a great impact on the detailed design and implementation for the subsequent system, and also plays an important role in the performance, development progress and cost of the whole system. Through the collaboration of cross-professional teams, modeling and model execution, comparing the model execution with expected results, MBSE has enabled digital model-level verification and validation before test verification and validation based on physical products, thus improving the design exactness, completeness and greatly reducing design errors or defects. This paper explores the logical ideas behind modeling of system architectures in order to promote the adoption of MBSE in the field of space systems.
基金National Natural Science Foundations of China (No. 61073013,No. 90818024)Aviation Science Foundation of China(No.2010ZAO4001)
文摘Architecture analysis and design language (AADL) is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion and analysis, model transformation is one of the methods. A synchronous subset of AADL and a general methodology for translating the AADL subset into timed abstract state machine (TASM) were studied. Based on the arias transformation language ( ATL ) framework, the associated translating tool AADL2TASM was implemented by defining the meta-model of both AADL and TASM, and the ATL transformation rules. A case study with property verification of the AADL model was also presented for validating the tool.
基金supported by the National Natural Science Foundation of China(NSFC)(No.52178070,No.51878210,No.51678180,and No.51608147)the Open Projects Fund of Key Laboratory of Ecology and Energy-saving Study of Dense Habitat(Tongji University),Ministry of Education(No.2020030103)+1 种基金the Ministry of Science and Technology of China(No.G2021179030L)the Natural Science Foundation of Heilongjiang Province(YQ2019E022).
文摘Existing soundscape prediction model application conditions and calculation processes are very complex,and difficult to combine with design processes.Therefore,in this study,a visual soundscape prediction model is constructed for sound pressure level(SPL)prediction,sound source prediction,and soundscape evaluation prediction by inputting the elements of urban design under the meshing method(grid 50 m)into a machine learning Gaussian mixture model(GMM).Taking three typical urban parks as examples,the soundwalk method is used to collect subjective perception information on-site to verify prediction accuracy.The results show that by applying geographic information data,including the minimum distance values from predicted points to roads,entrances and exits,and internal nodes,the SPL can be predicted.When the accuracy rate is stable within a 3 dBA error range,the prediction accuracy rate is 67.7%.The visual perception information added is used to quickly predict the sound source type,and the output is the visualized distribution of the natural,human,and mechanical sound perception with a 77.4%accuracy rate.Finally,combining geographic,visual and sound data to predict soundscape evaluation,the model's output are good,medium,and poor categories for each descriptor of the soundscape evaluation,and the prediction results are visualized in three colours with a 74.2%accuracy rate.The convenient soundscape prediction model proposed in this paper can be applied to design practice.By adjusting park design elements,the distribution results can be compared,and an optimal design scheme from the soundscape perspective can be obtained.Combined with the model output,this study compares the model simulation results after adjusting the design elements and the original,and proposes targeted optimisation strategies for urban park soundscape.
文摘This paper explores the networks of thoughts behind words by reading architectural texts in the context of linguistics.Using a corpus-based model,our main interest is what the collocational data contribute at an architectural level.The notion of“collocation identification in architecture”was drawn from an analysis of the use of the data for Rem Koolhaas.The data for this study were collected from Rem Koolhaas’s articles from 1977 to 2014.An analysis of Koolhaas’s ideas about architecture and urban planning was conducted using the AntConc 3.4.4.0 corpus analysis toolkit.The corpus-based model reduced selected articles to words and lexical bundles using the corpus analysis toolkit.This paper explores Koolhaas’s thoughts on understanding architecture and the metaphors he uses by analyzing articles using the corpus-based analysis model.The discourse codes in the texts of Koolhaas are examined.A corpus-based model proposal tested on architectural texts has the potential to create new areas of knowledge for architectural discourse.Deciphering the texts and analyzing the codes contribute to the development of new models.
基金This work was funded by the National Natural Science Foundation of China(Grant Nos.51775494,51821093,and 51935009)the National Key Research and Development Project(Grant No.2018YFB1700701)Zhejiang Key Research and Development Project(Grant No.2019C01141).
文摘Large-scale cryogenic air separation units(ASUs),which are widely used in global petrochemical and semiconductor industries,are being developed with high operating elasticity under variable working conditions.Different from discrete processes in traditional machinery manufacturing,the ASU process is continuous and involves the compression,adsorption,cooling,condensation,liquefaction,evaporation,and distillation of multiple streams.This feature indicates that thousands of technical parameters in adsorption,heat transfer,and distillation processes are correlated and merged into a large-scale complex system.A lumped parameter model(LPM)of ASU is proposed by lumping the main factors together and simplifying the secondary ones to achieve accurate and fast performance design.On the basis of material and energy conservation laws,the piecewise-lumped parameters are extracted under variable working conditions by using LPM.Takagi–Sugeno(T–S)fuzzy interval detection is recursively utilized to determine whether the critical point is detected or not by using different thresholds.Compared with the traditional method,LPM is particularly suitable for“rough first then precise”modeling by expanding the feasible domain using fuzzy intervals.With LPM,the performance of the air compressor,molecular sieve adsorber,turbo expander,main plate-fin heat exchangers,and packing column of a 100000 Nm3 O2/h large-scale ASU is enhanced to adapt to variable working conditions.The designed value of net power consumption per unit of oxygen production(kW/(Nm3 O2))is reduced by 6.45%.
文摘This article deals with the usage of building bricks as a didactic material for the development of architectural design. The building brick game chosen for analysis was the Arckit, since it is suitable for the architectural practice. It is estimated that this game can contribute to the design, representation and presentation of projects. In order to investigate in which aspects Arckit presents possibilities of applications, as well as limitations of use, the article approaches the importance of building bricks as a didactic tool and its use in the field of the architectural design process. From a literature review and an empirical experience, this article reports a qualitative research, where the applicability of the Arckit game was checked. Through a critical reflection based on that experience, it was possible to conclude that whereas its limitations to urban form and linked to the formal vocabulary that composes the grammar of these bricks, the Arckit building bricks represent in architecture a playful and experimental way to think and design, fomenting the creativity and the spatial perception, resulting in a particular experience that can make architecture better connected with dreams and joy.
文摘IT (information technology) services are diverse and complex. Numerous service design methods have been developed for designing and developing products. However, owing to the limited availability of useful tools in IT service design, these methods are ineffective. This study proposes an innovative three-dimensional method for designing IT services. The proposed method considers user requirements, an organization's business requirements, service providers' management requirements as well as the decision-making criteria of management representatives to ensure a smooth implementation of a designed IT service. Using this method, a prototype system to improve campus wireless local area network services was developed and tested at a university in Taiwan. The prototype system reduced the need for repetitive authentication and the time required to solve service problems and address user complaints. In addition, the service design team observed an approximately 70% reduction in project cycle time. The proposed method provided a systematic means to organize the design and implementation of IT services.
文摘This paper presents a methodology driven by database constraints for designing and developing(database)software applications.Much needed and with excellent results,this paradigm guarantees the highest possible quality of the managed data.The proposed methodology is illustrated with an easy to understand,yet complex medium-sized genealogy software application driven by more than 200 database constraints,which fully meets such expectations.