In this paper, sensitivity approaches are taken to analyze and design an integrated flight propulsion control system where the interaction between subsystems direitly affects the stability property and handling perfor...In this paper, sensitivity approaches are taken to analyze and design an integrated flight propulsion control system where the interaction between subsystems direitly affects the stability property and handling performances of the aircraft. The eigenvalue sen sitivity approach is employed to study the effect of coupling parameters on system stability and gain sensitivity approach is used to direct the reduced states feedback suboptimal control system design. Simulation results show that the integrated flight propulsion control system designed by sensitivity approaches is of good performance.展开更多
At the end of 2021 to create a new model of characteristic software talent training for independent and controllable key software fields,the Ministry of Education and the Ministry of Industry and Information Technolog...At the end of 2021 to create a new model of characteristic software talent training for independent and controllable key software fields,the Ministry of Education and the Ministry of Industry and Information Technology jointly approved the establishment of the first batch of 33 Characteristic Pilot Schools of software.As a member of characteristic software schools,the HIT School of Software has been approved and will focus on the construction of 2 characteristic directions,which are large-scale industrial software and industrial professional application software.In order to achieve the goal,it is urgent to develop a comprehensive management platform to control the entire process of talent training,so that we can standardize,modelling,and digitized the entire process of characteristic software talent training.By relating all aspects of student training with and implementing the ability-index mechanisms,we will continuously collect big-data of the entire process of student growth,and generate multidimensional student ability portraits for evaluating the effect of talent training,and adjust as well as optimizing the growth path for students themselves during their studying.Employers will be able to identify talents accurately and provide effective reference for colleges to adjust training plans.This paper will analyze the needs of the platform,provide demand analysis of the platform,extract the correlation model between training,conclude the relations between ability-index activities and ability indicators,and give a reasonable overall system design scheme.展开更多
Hydrated Cement Treated Crushed Rock Base (HCTCRB) is widely used as a base course in Western Australian pavements. HCTCRB has been designed and used as a basis for empirical approaches and in empirical practices. T...Hydrated Cement Treated Crushed Rock Base (HCTCRB) is widely used as a base course in Western Australian pavements. HCTCRB has been designed and used as a basis for empirical approaches and in empirical practices. These methods are not all-encompassing enough to adequately explain the behaviour of HCTCRB in the field. Recent developments in mechanistic approaches have proven more reliable in the design and analysis of pavement, making it possible to more effectively document the characteristics of HCTCRB. The aim of this study was to carry out laboratory testing to assess the mechanical characteristics of HCTCRB. Conventional triaxial tests and repeated load triaxial tests (RLT tests) were performed. Factors affecting the performance of HCTCRB, namely hydration periods and the amount of added water were also investigated. It was found that the shear strength parameters of HCTCRB were 177 kPa for cohesion (c) and 42~ for the internal friction angle (~). The hydration period, and the water added in this investigation affected the performance of HCTCRB. However, the related trends associated with such factors could not be assessed. All HCTCRB samples showed stress-dependency behaviour. Based on the stress stages of this experiment, the resilient modulus values of HCTCRB ranged from 300 MPa to 1100 MPa. CIRCLY, a computer program based on the multi-layer elastic theory was used in the mechanistic approach to pavement design and analysis, to determine the performance of a typical pavement model using HCTCRB as a base course layer. The mechanistic pavement design parameters for HCTCRB as a base course material were then introduced. The analysis suggests that the suitable depth for HCTCRB as a base layer for WA roads is at least 185 mm for the design equivalent standard axle (ESA) of 10 million.展开更多
Cyber-physical systems (CPSs) are new emerging systems that seamlessly integrate physical systems, communication systems and computation systems. Their wide use has been witnessed in the past decades in many crossdi...Cyber-physical systems (CPSs) are new emerging systems that seamlessly integrate physical systems, communication systems and computation systems. Their wide use has been witnessed in the past decades in many crossdiscipline fields such as smart energy systems, industrial process control, aerospace and automobile engineering, health-care and assisted living, to just name a few. For many of these systems, secure operations are of key con- cerns. In particular, for some safety-critical applications, security is of paramount importance. Diverse motivations and strong incentives exist everywhere and at any time for launching malicious attacks on the CPSs, for example, economic reasons (e.g., by reducing or even not paying electricity charge) and terrorism the purpose of which is apparent.展开更多
In this paper,using potential flow theory and assuming that the pressure in the air cabin is proportional to the vertical velocity of the water column,we establish a hydrodynamic model for OWC wave energy convertors,r...In this paper,using potential flow theory and assuming that the pressure in the air cabin is proportional to the vertical velocity of the water column,we establish a hydrodynamic model for OWC wave energy convertors,resulting in a collection of illustrative plates,from which the behaviour of an OWC and the relation between its parameters are discussed. Optimization theory is used to design an optimum convertor working in irregular waves. It is found that the numerical results fit well the experimental data.展开更多
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.展开更多
Although computer architectures incorporate fast processing hardware resources, high performance real-time implementation of a complex control algorithm requires an efficient design and software coding of the algorith...Although computer architectures incorporate fast processing hardware resources, high performance real-time implementation of a complex control algorithm requires an efficient design and software coding of the algorithm so as to exploit special features of the hardware and avoid associated architecture shortcomings. This paper presents an investigation into the analysis and design mechanisms that will lead to reduction in the execution time in implementing real-time control algorithms. The proposed mechanisms are exemplified by means of one algorithm, which demonstrates their applicability to real-time applications. An active vibration control (AVC) algorithm for a flexible beam system simulated using the finite difference (FD) method is considered to demonstrate the effectiveness of the proposed methods. A comparative performance evaluation of the proposed design mechanisms is presented and discussed through a set of experiments.展开更多
In order to maximize the return of investments and at the same time improve the quality in the construction industry of midrise buildings, it is very important to derive an optimal solution to the building structural ...In order to maximize the return of investments and at the same time improve the quality in the construction industry of midrise buildings, it is very important to derive an optimal solution to the building structural system, which would facilitate faster and easier construction activities with minimal quantity of construction material, while maintaining the satisfactory level of building safety and performance. This paper makes a comparative study between a "solid" and a "waffle" slab system. A typical 14-story RC building structure is selected as an example for this study purpose. The first part of this study is focused in deriving an optimal solution for a solid and waffle slab system which are later on considered as constituents of all stories of the 14-story building. In the second part, it is elaborated the effect of both slab systems over the 14-story building model. This study aims to emphasize the advantages of mid-rise buildings constituted of waffle slab system over the buildings characterized with solid types of slabs, in terms of economy, structural safety and performance.展开更多
Timely investigating post-disaster situations to locate survivors and secure hazardous sources is critical,but also very challenging and risky.Despite first responders putting their lives at risk in saving others,huma...Timely investigating post-disaster situations to locate survivors and secure hazardous sources is critical,but also very challenging and risky.Despite first responders putting their lives at risk in saving others,human-physical limits cause delays in response time,resulting in fatality and property damage.In this paper,we proposed and implemented a framework intended for creating collaboration between heterogeneous unmanned vehicles and first responders to make search and rescue operations safer and faster.The framework consists of unmanned aerial vehicles(UAVs),unmanned ground vehicles(UGVs),a cloud-based remote control station(RCS).A light-weight message queuing telemetry transport(MQTT)based communication is adopted for facilitating collaboration between autonomous systems.To effectively work under unfavorable disaster conditions,antenna tracker is developed as a tool to extend network coverage to distant areas,and mobile charging points for the UAVs are also implemented.The proposed framework’s performance is evaluated in terms of end-to-end delay and analyzed using architectural analysis and design language(AADL).Experimental measurements and simulation results show that the adopted communication protocol performs more efficiently than other conventional communication protocols,and the implemented UAV control mechanisms are functioning properly.Several scenarios are implemented to validate the overall effectiveness of the proposed framework and demonstrate possible use cases.展开更多
Cyber-physical systems(CPSs)are becoming increasingly important in safety-critical systems.Particular risk analysis(PRA)is an essential step in the safety assessment process to guarantee the quality of a system in the...Cyber-physical systems(CPSs)are becoming increasingly important in safety-critical systems.Particular risk analysis(PRA)is an essential step in the safety assessment process to guarantee the quality of a system in the early phase of system development.Human factors like the physical environment are the most important part of particular risk assessment.Therefore,it is necessary to analyze the safety of the system considering human factor and physical factor.In this paper,we propose a new particular risk model(PRM)to improve the modeling ability of the Architecture Analysis and Design Language(AADL).An architecture-based PRA method is presented to support safety assessment for the AADL model of a cyber-physical system.To simulate the PRM with the proposed PRA method,model transformation from PRM to a deterministic and stochastic Petri net model is implemented.Finally,a case study on the power grid system of CPS is modeled and analyzed using the proposed method.展开更多
The main concern of this paper is to provide an extensive study for the structural behavior of low/medium/high rise office buildings aiming to deepen structure and architect designers understanding for such type of bu...The main concern of this paper is to provide an extensive study for the structural behavior of low/medium/high rise office buildings aiming to deepen structure and architect designers understanding for such type of buildings. The study is performed on reinforced concrete and emphasized only on Kuwait city conditions for wind. Regular layout plan building with different heights ranging from five to fifty typical office stories are investigated in this study. Three dimensional finite element techniques through ETABS software are used in conducting analysis for structures presented here-in. A serviceability study is performed to ensure that buildings have sufficient stability to limit lateral drift and peak acceleration within the acceptable range of occupancy comfort. In addition, an ultimate strength study is carried out to design and verify that all the structural elements are designed to withstand factored gravity and lateral loadings in a safe manner according to the international building codes. The building slenderness ratio and the building core size and location are the studied parameters since they are the key drivers for the efficient structural design. Analysis results are presented and discussed and finally conclusions are summarized as guidelines for designers of concrete office buildings in Kuwait.展开更多
An embedded method which can provide privacy-safeguard and data-security layer for the Personal Health Records (PHR) is proposed. In our method, the fingerprint image of a patient or doctor is obtained with fingerprin...An embedded method which can provide privacy-safeguard and data-security layer for the Personal Health Records (PHR) is proposed. In our method, the fingerprint image of a patient or doctor is obtained with fingerprint scanner and the values of fingerprint features points are calculated and saved in an IC card. As a result, saving the fingerprint image is not required in our method. Based on the user's password, a transformation is applied on the fingerprint topology structural values. After that, we take these points' coordinates on the transformed topology structure as a cryptographic key, which is used with Advanced Encryption Standard (AES) algorithm to encrypt the users' privacy information, such as prescription, laboratory sheet, medical certificate, etc. The experimental results demonstrate that our method could bring patients the self-control and self-management on their own medical privacy information.展开更多
The main concern of this paper is to study the influence of the building slenderness ratio on the structural behavior of the residential concrete tall buildings aiming to deepen structure and architect designers under...The main concern of this paper is to study the influence of the building slenderness ratio on the structural behavior of the residential concrete tall buildings aiming to deepen structure and architect designers understanding for such type of buildings. The study is emphasized only on Kuwait city design conditions for wind and seismic loadings. The paper presents an actual case study for adding two thirty stories residential towers with two different slenderness ratios to an existing residential complex. Wind loading is considered using both code values and wind tunnel results. Three dimensional finite element techniques through ETABS software are used in conducting analysis for structures presented here. A serviceability study is performed to ensure that buildings have sufficient stability to limit lateral drift and peak acceleration within the acceptable range of occupancy comfort. In addition, an ultimate strength study is carried out to verify that all the structural elements are designed to withstand factored gravity and lateral loads in a safe manner according to the international building codes. Analysis results are presented and discussed. A brief idea about foundation design of the new towers and its connection to the existing foundation is presented. Finally conclusions are summarized as guidelines for the structural professions of concrete residential tall buildings.展开更多
Architectural modeling and behavior analysis are two important concerns in the software development. They are often implemented separately, and specified by their own supporting notations. Architectural modeling helps...Architectural modeling and behavior analysis are two important concerns in the software development. They are often implemented separately, and specified by their own supporting notations. Architectural modeling helps to guarantee the system design to satisfy the requirement, and behavior analysis can ensure the interaction correctness. To improve the trustworthiness, methods trying to combine architectural modeling and behavior analysis notations together have been proposed, e.g., establishing a one-way mapping relation. However, the one-way relation cannot ensure updating one notation specifications in accordance with the other one, which results in inconsistency problems. In this paper, we present an approach to integrating behavior analysis into architectural modeling, which establishes the interoperability between architectural modeling notation and behavior analysis notation by a bidirectional mapping. The architecture is specified by the modeling language, architecture analysis and design language (AADL), and then mapped to behavior analysis notation, Darwin/FSP (finite state process) through the bidirectional transformation. The bidirectional transformarion provides traceability, which makes behavior analysis result provided by a model checker can be traced and reflected back to the original AADL specifications. In this way, the behavior analysis is integrated into architectural modeling. The feasibility of our approach is shown by a control system example.展开更多
This paper discussed some issues about information system integration and presented a methodology for dealing with it. The IS integration is comprised of information integration, function integration, platform integra...This paper discussed some issues about information system integration and presented a methodology for dealing with it. The IS integration is comprised of information integration, function integration, platform integration and human integration. Among them, Information Integration is the goal of the system integration, while the Human integration is the basis. Based upon the practice of an airline integration information system, a phase based methodology has developed, which combines different methods of development into the integration process.展开更多
The unified modeling language(UML) is one of the most commonly used modeling languages in the software industry.It simplifies the complex process of design by providing a set of graphical notations,which helps express...The unified modeling language(UML) is one of the most commonly used modeling languages in the software industry.It simplifies the complex process of design by providing a set of graphical notations,which helps express the objectoriented analysis and design of software projects.Although UML is applicable to different types of systems,domains,methods,and processes,it cannot express certain problem domain needs.Therefore,many extensions to UML have been proposed.In this paper,we propose a framework for integrating the UML extensions and then use the framework to propose an integrated unified modeling language-graphical(iUML-g) form.iUML-g integrates the existing UML extensions into one integrated form.This includes an integrated diagram for UML class,sequence,and use case diagrams.The proposed approach is evaluated using a case study.The proposed iUML-g is capable of modeling systems that use different domains.展开更多
In this paper, digital signal processor (DSP) based fuzzy controller for series parallel resonant converter (SPRC) has been estimated, and the performance of the converter is analyzed by using state space model. T...In this paper, digital signal processor (DSP) based fuzzy controller for series parallel resonant converter (SPRC) has been estimated, and the performance of the converter is analyzed by using state space model. The method to predict the steady-state and dynamic perfor-mance of the converter with load independent operation has been presented. The proposed converter has been analyzed with the closed-loop and open-loop conditions. The simple form of transfer function for SPRC is developed, and it is used to analyze the stability of the converter with closed-loop operation. The stability analy-sis of the converter is carried out by using frequency response plan. The fuzzy controller regulates the output voltage with change supply voltage and load disturbance. The controller performance of inductance capacitance inductance - T network (LCL-T) SPRC is compared with inductance inductance capacitance - T network (LLC-T) SPRC through simulation TMS320F2407 processor. and experimental studies using展开更多
文摘In this paper, sensitivity approaches are taken to analyze and design an integrated flight propulsion control system where the interaction between subsystems direitly affects the stability property and handling performances of the aircraft. The eigenvalue sen sitivity approach is employed to study the effect of coupling parameters on system stability and gain sensitivity approach is used to direct the reduced states feedback suboptimal control system design. Simulation results show that the integrated flight propulsion control system designed by sensitivity approaches is of good performance.
基金supported by the National Key Research and Development Program of China(Grant No.2020AAA0108803).
文摘At the end of 2021 to create a new model of characteristic software talent training for independent and controllable key software fields,the Ministry of Education and the Ministry of Industry and Information Technology jointly approved the establishment of the first batch of 33 Characteristic Pilot Schools of software.As a member of characteristic software schools,the HIT School of Software has been approved and will focus on the construction of 2 characteristic directions,which are large-scale industrial software and industrial professional application software.In order to achieve the goal,it is urgent to develop a comprehensive management platform to control the entire process of talent training,so that we can standardize,modelling,and digitized the entire process of characteristic software talent training.By relating all aspects of student training with and implementing the ability-index mechanisms,we will continuously collect big-data of the entire process of student growth,and generate multidimensional student ability portraits for evaluating the effect of talent training,and adjust as well as optimizing the growth path for students themselves during their studying.Employers will be able to identify talents accurately and provide effective reference for colleges to adjust training plans.This paper will analyze the needs of the platform,provide demand analysis of the platform,extract the correlation model between training,conclude the relations between ability-index activities and ability indicators,and give a reasonable overall system design scheme.
文摘Hydrated Cement Treated Crushed Rock Base (HCTCRB) is widely used as a base course in Western Australian pavements. HCTCRB has been designed and used as a basis for empirical approaches and in empirical practices. These methods are not all-encompassing enough to adequately explain the behaviour of HCTCRB in the field. Recent developments in mechanistic approaches have proven more reliable in the design and analysis of pavement, making it possible to more effectively document the characteristics of HCTCRB. The aim of this study was to carry out laboratory testing to assess the mechanical characteristics of HCTCRB. Conventional triaxial tests and repeated load triaxial tests (RLT tests) were performed. Factors affecting the performance of HCTCRB, namely hydration periods and the amount of added water were also investigated. It was found that the shear strength parameters of HCTCRB were 177 kPa for cohesion (c) and 42~ for the internal friction angle (~). The hydration period, and the water added in this investigation affected the performance of HCTCRB. However, the related trends associated with such factors could not be assessed. All HCTCRB samples showed stress-dependency behaviour. Based on the stress stages of this experiment, the resilient modulus values of HCTCRB ranged from 300 MPa to 1100 MPa. CIRCLY, a computer program based on the multi-layer elastic theory was used in the mechanistic approach to pavement design and analysis, to determine the performance of a typical pavement model using HCTCRB as a base course layer. The mechanistic pavement design parameters for HCTCRB as a base course material were then introduced. The analysis suggests that the suitable depth for HCTCRB as a base layer for WA roads is at least 185 mm for the design equivalent standard axle (ESA) of 10 million.
文摘Cyber-physical systems (CPSs) are new emerging systems that seamlessly integrate physical systems, communication systems and computation systems. Their wide use has been witnessed in the past decades in many crossdiscipline fields such as smart energy systems, industrial process control, aerospace and automobile engineering, health-care and assisted living, to just name a few. For many of these systems, secure operations are of key con- cerns. In particular, for some safety-critical applications, security is of paramount importance. Diverse motivations and strong incentives exist everywhere and at any time for launching malicious attacks on the CPSs, for example, economic reasons (e.g., by reducing or even not paying electricity charge) and terrorism the purpose of which is apparent.
文摘In this paper,using potential flow theory and assuming that the pressure in the air cabin is proportional to the vertical velocity of the water column,we establish a hydrodynamic model for OWC wave energy convertors,resulting in a collection of illustrative plates,from which the behaviour of an OWC and the relation between its parameters are discussed. Optimization theory is used to design an optimum convertor working in irregular waves. It is found that the numerical results fit well the experimental data.
基金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.
文摘Although computer architectures incorporate fast processing hardware resources, high performance real-time implementation of a complex control algorithm requires an efficient design and software coding of the algorithm so as to exploit special features of the hardware and avoid associated architecture shortcomings. This paper presents an investigation into the analysis and design mechanisms that will lead to reduction in the execution time in implementing real-time control algorithms. The proposed mechanisms are exemplified by means of one algorithm, which demonstrates their applicability to real-time applications. An active vibration control (AVC) algorithm for a flexible beam system simulated using the finite difference (FD) method is considered to demonstrate the effectiveness of the proposed methods. A comparative performance evaluation of the proposed design mechanisms is presented and discussed through a set of experiments.
文摘In order to maximize the return of investments and at the same time improve the quality in the construction industry of midrise buildings, it is very important to derive an optimal solution to the building structural system, which would facilitate faster and easier construction activities with minimal quantity of construction material, while maintaining the satisfactory level of building safety and performance. This paper makes a comparative study between a "solid" and a "waffle" slab system. A typical 14-story RC building structure is selected as an example for this study purpose. The first part of this study is focused in deriving an optimal solution for a solid and waffle slab system which are later on considered as constituents of all stories of the 14-story building. In the second part, it is elaborated the effect of both slab systems over the 14-story building model. This study aims to emphasize the advantages of mid-rise buildings constituted of waffle slab system over the buildings characterized with solid types of slabs, in terms of economy, structural safety and performance.
基金supported partially by AirForce Research Laboratory,the Office of the Secretary of Defense(OSD)(FA8750-15-2-0116)the National Science Foundation(NSF)(1832110)the National Institute of Aerospace and Langley(C16-2B00-NCAT)。
文摘Timely investigating post-disaster situations to locate survivors and secure hazardous sources is critical,but also very challenging and risky.Despite first responders putting their lives at risk in saving others,human-physical limits cause delays in response time,resulting in fatality and property damage.In this paper,we proposed and implemented a framework intended for creating collaboration between heterogeneous unmanned vehicles and first responders to make search and rescue operations safer and faster.The framework consists of unmanned aerial vehicles(UAVs),unmanned ground vehicles(UGVs),a cloud-based remote control station(RCS).A light-weight message queuing telemetry transport(MQTT)based communication is adopted for facilitating collaboration between autonomous systems.To effectively work under unfavorable disaster conditions,antenna tracker is developed as a tool to extend network coverage to distant areas,and mobile charging points for the UAVs are also implemented.The proposed framework’s performance is evaluated in terms of end-to-end delay and analyzed using architectural analysis and design language(AADL).Experimental measurements and simulation results show that the adopted communication protocol performs more efficiently than other conventional communication protocols,and the implemented UAV control mechanisms are functioning properly.Several scenarios are implemented to validate the overall effectiveness of the proposed framework and demonstrate possible use cases.
基金the State Power Grid Company Science and Technical Plan Project,China(No.5100-201940008A-0-0-00)。
文摘Cyber-physical systems(CPSs)are becoming increasingly important in safety-critical systems.Particular risk analysis(PRA)is an essential step in the safety assessment process to guarantee the quality of a system in the early phase of system development.Human factors like the physical environment are the most important part of particular risk assessment.Therefore,it is necessary to analyze the safety of the system considering human factor and physical factor.In this paper,we propose a new particular risk model(PRM)to improve the modeling ability of the Architecture Analysis and Design Language(AADL).An architecture-based PRA method is presented to support safety assessment for the AADL model of a cyber-physical system.To simulate the PRM with the proposed PRA method,model transformation from PRM to a deterministic and stochastic Petri net model is implemented.Finally,a case study on the power grid system of CPS is modeled and analyzed using the proposed method.
文摘The main concern of this paper is to provide an extensive study for the structural behavior of low/medium/high rise office buildings aiming to deepen structure and architect designers understanding for such type of buildings. The study is performed on reinforced concrete and emphasized only on Kuwait city conditions for wind. Regular layout plan building with different heights ranging from five to fifty typical office stories are investigated in this study. Three dimensional finite element techniques through ETABS software are used in conducting analysis for structures presented here-in. A serviceability study is performed to ensure that buildings have sufficient stability to limit lateral drift and peak acceleration within the acceptable range of occupancy comfort. In addition, an ultimate strength study is carried out to design and verify that all the structural elements are designed to withstand factored gravity and lateral loadings in a safe manner according to the international building codes. The building slenderness ratio and the building core size and location are the studied parameters since they are the key drivers for the efficient structural design. Analysis results are presented and discussed and finally conclusions are summarized as guidelines for designers of concrete office buildings in Kuwait.
文摘An embedded method which can provide privacy-safeguard and data-security layer for the Personal Health Records (PHR) is proposed. In our method, the fingerprint image of a patient or doctor is obtained with fingerprint scanner and the values of fingerprint features points are calculated and saved in an IC card. As a result, saving the fingerprint image is not required in our method. Based on the user's password, a transformation is applied on the fingerprint topology structural values. After that, we take these points' coordinates on the transformed topology structure as a cryptographic key, which is used with Advanced Encryption Standard (AES) algorithm to encrypt the users' privacy information, such as prescription, laboratory sheet, medical certificate, etc. The experimental results demonstrate that our method could bring patients the self-control and self-management on their own medical privacy information.
文摘The main concern of this paper is to study the influence of the building slenderness ratio on the structural behavior of the residential concrete tall buildings aiming to deepen structure and architect designers understanding for such type of buildings. The study is emphasized only on Kuwait city design conditions for wind and seismic loadings. The paper presents an actual case study for adding two thirty stories residential towers with two different slenderness ratios to an existing residential complex. Wind loading is considered using both code values and wind tunnel results. Three dimensional finite element techniques through ETABS software are used in conducting analysis for structures presented here. A serviceability study is performed to ensure that buildings have sufficient stability to limit lateral drift and peak acceleration within the acceptable range of occupancy comfort. In addition, an ultimate strength study is carried out to verify that all the structural elements are designed to withstand factored gravity and lateral loads in a safe manner according to the international building codes. Analysis results are presented and discussed. A brief idea about foundation design of the new towers and its connection to the existing foundation is presented. Finally conclusions are summarized as guidelines for the structural professions of concrete residential tall buildings.
基金The authors would like to thank anonymous reviewers for their helpful comments and suggestions. Special thanks to Raymond Cheng, Andrew Liu and Yuan Yao for their careful revisions. This work was supported by the National Natural Science Foundation of China under (Grant Nos. 91118004, 61232007), and the Innovation Program of Shanghai Municipal Education Commission (13ZZ023).
文摘Architectural modeling and behavior analysis are two important concerns in the software development. They are often implemented separately, and specified by their own supporting notations. Architectural modeling helps to guarantee the system design to satisfy the requirement, and behavior analysis can ensure the interaction correctness. To improve the trustworthiness, methods trying to combine architectural modeling and behavior analysis notations together have been proposed, e.g., establishing a one-way mapping relation. However, the one-way relation cannot ensure updating one notation specifications in accordance with the other one, which results in inconsistency problems. In this paper, we present an approach to integrating behavior analysis into architectural modeling, which establishes the interoperability between architectural modeling notation and behavior analysis notation by a bidirectional mapping. The architecture is specified by the modeling language, architecture analysis and design language (AADL), and then mapped to behavior analysis notation, Darwin/FSP (finite state process) through the bidirectional transformation. The bidirectional transformarion provides traceability, which makes behavior analysis result provided by a model checker can be traced and reflected back to the original AADL specifications. In this way, the behavior analysis is integrated into architectural modeling. The feasibility of our approach is shown by a control system example.
文摘This paper discussed some issues about information system integration and presented a methodology for dealing with it. The IS integration is comprised of information integration, function integration, platform integration and human integration. Among them, Information Integration is the goal of the system integration, while the Human integration is the basis. Based upon the practice of an airline integration information system, a phase based methodology has developed, which combines different methods of development into the integration process.
基金supported by the King Fahd University of Petroleum and Minerals,Saudi Arabia(No.IN100046)
文摘The unified modeling language(UML) is one of the most commonly used modeling languages in the software industry.It simplifies the complex process of design by providing a set of graphical notations,which helps express the objectoriented analysis and design of software projects.Although UML is applicable to different types of systems,domains,methods,and processes,it cannot express certain problem domain needs.Therefore,many extensions to UML have been proposed.In this paper,we propose a framework for integrating the UML extensions and then use the framework to propose an integrated unified modeling language-graphical(iUML-g) form.iUML-g integrates the existing UML extensions into one integrated form.This includes an integrated diagram for UML class,sequence,and use case diagrams.The proposed approach is evaluated using a case study.The proposed iUML-g is capable of modeling systems that use different domains.
文摘In this paper, digital signal processor (DSP) based fuzzy controller for series parallel resonant converter (SPRC) has been estimated, and the performance of the converter is analyzed by using state space model. The method to predict the steady-state and dynamic perfor-mance of the converter with load independent operation has been presented. The proposed converter has been analyzed with the closed-loop and open-loop conditions. The simple form of transfer function for SPRC is developed, and it is used to analyze the stability of the converter with closed-loop operation. The stability analy-sis of the converter is carried out by using frequency response plan. The fuzzy controller regulates the output voltage with change supply voltage and load disturbance. The controller performance of inductance capacitance inductance - T network (LCL-T) SPRC is compared with inductance inductance capacitance - T network (LLC-T) SPRC through simulation TMS320F2407 processor. and experimental studies using