This paper examines how cybersecurity is developing and how it relates to more conventional information security. Although information security and cyber security are sometimes used synonymously, this study contends t...This paper examines how cybersecurity is developing and how it relates to more conventional information security. Although information security and cyber security are sometimes used synonymously, this study contends that they are not the same. The concept of cyber security is explored, which goes beyond protecting information resources to include a wider variety of assets, including people [1]. Protecting information assets is the main goal of traditional information security, with consideration to the human element and how people fit into the security process. On the other hand, cyber security adds a new level of complexity, as people might unintentionally contribute to or become targets of cyberattacks. This aspect presents moral questions since it is becoming more widely accepted that society has a duty to protect weaker members of society, including children [1]. The study emphasizes how important cyber security is on a larger scale, with many countries creating plans and laws to counteract cyberattacks. Nevertheless, a lot of these sources frequently neglect to define the differences or the relationship between information security and cyber security [1]. The paper focus on differentiating between cybersecurity and information security on a larger scale. The study also highlights other areas of cybersecurity which includes defending people, social norms, and vital infrastructure from threats that arise from online in addition to information and technology protection. It contends that ethical issues and the human factor are becoming more and more important in protecting assets in the digital age, and that cyber security is a paradigm shift in this regard [1].展开更多
Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and emb...Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing (SUT), test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.展开更多
The current research of real-time observation for vehicle roll steer angle and compliance steer angle(both of them comprehensively referred as the additional steer angle in this paper) mainly employs the linear vehi...The current research of real-time observation for vehicle roll steer angle and compliance steer angle(both of them comprehensively referred as the additional steer angle in this paper) mainly employs the linear vehicle dynamic model, in which only the lateral acceleration of vehicle body is considered. The observation accuracy resorting to this method cannot meet the requirements of vehicle real-time stability control, especially under extreme driving conditions. The paper explores the solution resorting to experimental method. Firstly, a multi-body dynamic model of a passenger car is built based on the ADAMS/Car software, whose dynamic accuracy is verified by the same vehicle's roadway test data of steady static circular test. Based on this simulation platform, several influencing factors of additional steer angle under different driving conditions are quantitatively analyzed. Then ε-SVR algorithm is employed to build the additional steer angle prediction model, whose input vectors mainly include the sensor information of standard electronic stability control system(ESC). The method of typical slalom tests and FMVSS 126 tests are adopted to make simulation, train model and test model's generalization performance. The test result shows that the influence of lateral acceleration on additional steer angle is maximal (the magnitude up to 1°), followed by the longitudinal acceleration-deceleration and the road wave amplitude (the magnitude up to 0.3°). Moreover, both the prediction accuracy and the calculation real-time of the model can meet the control requirements of ESC This research expands the accurate observation methods of the additional steer angle under extreme driving conditions.展开更多
Real-time hybrid simulation is an efficient and cost-effective dynamic testing technique for performance evaluation of structural systems subjected to earthquake loading with rate-dependent behavior. A loading assembl...Real-time hybrid simulation is an efficient and cost-effective dynamic testing technique for performance evaluation of structural systems subjected to earthquake loading with rate-dependent behavior. A loading assembly with multiple actuators is required to impose realistic boundary conditions on physical specimens. However, such a testing system is expected to exhibit significant dynamic coupling of the actuators and suffer from time lags that are associated with the dynamics of the servo-hydraulic system, as well as control-structure interaction (CSI). One approach to reducing experimental errors considers a multi-input, multi-output (MIMO) controller design, yielding accurate reference tracking and noise rejection. In this paper, a framework for multi-axial real-time hybrid simulation (maRTHS) testing is presented. The methodology employs a real-time feedback-feedforward controller for multiple actuators commanded in Cartesian coordinates. Kinematic transformations between actuator space and Cartesian space are derived for all six-degrees-of- freedom of the moving platform. Then, a frequency domain identification technique is used to develop an accurate MIMO transfer function of the system. Further, a Cartesian-domain model-based feedforward-feedback controller is implemented for time lag compensation and to increase the robustness of the reference tracking for given model uncertainty. The framework is implemented using the 1/5th-scale Load and Boundary Condition Box (LBCB) located at the University of Illinois at Urbana- Champaign. To demonstrate the efficacy of the proposed methodology, a single-story frame subjected to earthquake loading is tested. One of the columns in the fraane is represented physically in the laboratory as a cantilevered steel column. For real- time execution, the numerical substructure, kinematic transformations, and controllers are implemented on a digital signal processor. Results show excellent performance of the maRTHS framework when six-degrees-of-freedom are controUed at the interface between substructures.展开更多
Since IGY (International Geophysical Year), through coordinated global observations, ionospheric research has been carried out by many countries. This effort primarily helped in the design and operation of HF radio wa...Since IGY (International Geophysical Year), through coordinated global observations, ionospheric research has been carried out by many countries. This effort primarily helped in the design and operation of HF radio wave communication systems. The Indian region covers a highly variable part of the equatorial electrojet and EIA (Equatorial Ionisation Anomaly) phenomena making its predictability difficult. With the advent of satellite communication and navigation, the need for accurate ionospheric TEC (Total Electron Content) models at global and regional scales has been stressed. The GAGAN (GPS Aided Geo Augmented Navigation) project jointly undertaken by the Indian Space Research Organisation (ISRO) and the Airport Authority of India (AAI) aims at effectively utilising the Global Navigational Satellite System (GNSS) to determine position coordinates accurately for aircraft precision landing applications. For this purpose the range errors are estimated by using a ground network of TEC stations spread over Indian region. The near simultaneous data collected from these dual frequency GPS stations can be used to generate the geo-referenced TEC values for various applications. The author has developed necessary algorithm and associated computer programmes for a real-time vertical TEC (VTEC) model based on TEC data collected from the GAGAN ground based network stations. The model has been tested and sample results presented here show that it adequately provides for the latitudinal resolution of 1° for the entire longitude span and also for two longitude blocks (73 - 83 & 83 - 93°E) separately. Cubic spline and bilinear interpolation techniques are used for filling up temporal and spatial data gaps. The model provides tabulated output of hourly average VTEC data with latitude for ready use, as well as graphical displays of VTEC maps and contours for monitoring purpose. The real-time model and its extensions are also being used for detailed scientific studies;examples of these show small day to day variability of VTEC without any change in solar activity and indication of the change in the shape of the VTEC diurnal curve with season. The present model will be used for further studies to derive the monthly average variation of the diurnal pattern and the relationship between VTEC peak amplitudes with changes in solar activity. The new information generated can be fed back to improve the real-time model so that eventually the dependence of such models on ground based network stations data can be minimised.展开更多
This paper presents, without altering the AADL meta-model, a formal description of static and behavioral aspects of the AADL thread component. This active and concurrent applicative component of AADL poses many challe...This paper presents, without altering the AADL meta-model, a formal description of static and behavioral aspects of the AADL thread component. This active and concurrent applicative component of AADL poses many challenges to its formalization and analysis including instantaneous and/or delayed communications, concurrent tasks and time-dependent features, and the need to analyze correctness. This formalization, based on real-time object-oriented theories, allows not only a precise description of the semantics of threads composition with respect to their timing requirements but also makes possible the formal verification of behavioral properties.展开更多
A real-time operating system (RTOS), also named OS, is designed based on the hardware platform of MC68376, and is implemented in the electronic control system for unit pump in diesel engine. A parallel and time-base...A real-time operating system (RTOS), also named OS, is designed based on the hardware platform of MC68376, and is implemented in the electronic control system for unit pump in diesel engine. A parallel and time-based task division method is introduced and the multi-task software architecture is built in the software system for electronic unit pump (EUP) system. The V-model software development process is used to control algorithm of each task. The simulation results of the hardware-in-the-loop simulation system (HILSS) and the engine experimental results show that the OS is an efficient real-time kernel, and can meet the real-time demands of EUP system; The built multi-task software system is real-time, determinate and reliable. V-model development is a good development process of control algorithms for EUP system, the control precision of control system can be ensured, and the development cycle and cost are also decreased.展开更多
Aiming at issues on multimedia communication in synchronous real-time teleteaching (SRT) systems over IP network, a 4-tuple structural mode of multimedia communication is proposed in the paper, and an SRT-oriented dis...Aiming at issues on multimedia communication in synchronous real-time teleteaching (SRT) systems over IP network, a 4-tuple structural mode of multimedia communication is proposed in the paper, and an SRT-oriented distributed MCU model is built according to the mode. Moreover, the mechanism of multicast communication across subnets is discussed. The distributed MCU model has been applied successfully in our interactive synchronous real-time telesteaching system RealClass and has shown good extendibility in operation.展开更多
Nuclear security usually requires the simultaneous detection of neutrons and gamma rays.With the development of crystalline materials in recent years,Cs2LiLaBr6(CLLB)dual-readout detectors have attracted extensive att...Nuclear security usually requires the simultaneous detection of neutrons and gamma rays.With the development of crystalline materials in recent years,Cs2LiLaBr6(CLLB)dual-readout detectors have attracted extensive attention from researchers,where real-time neutron/gamma pulse discrimination is the critical factor among detector performance parameters.This study investigated the discrimination performance of the charge comparison,amplitude comparison,time comparison,and pulse gradient_(m)ethods and the effects of a Sallen–Key filter on their performance.Experimental results show that the figure of merit(FOM)of all four methods is improved by proper filtering.Among them,the charge comparison method exhibits excellent noise resistance;moreover,it is the most_(s)uitable method of real-time discrimination for CLLB detectors.However,its discrimination performance depends on the parameters t_(s),t_(m),and t_(e).When t_(s)corresponds to the moment at which the pulse is at 10%of its peak value,t_(e)requires a delay of only 640–740 ns compared to t_(s),at which time the potentially optimal FOM of the charge comparison method at 3.1–3.3 MeV is greater than 1.46.The FOM obtained using the t_(m)value calculated by a proposed maximized discrimination difference model(MDDM)and the potentially optimal FOM differ by less than 3.9%,indicating that the model can provide good guidance for parameter selection in the charge comparison method.展开更多
Recent advances in intelligent transportation system allow traffic safety studies to extend from historic data-based analyses to real-time applications. The study presents a new method to predict crash likelihood with...Recent advances in intelligent transportation system allow traffic safety studies to extend from historic data-based analyses to real-time applications. The study presents a new method to predict crash likelihood with traffic data collected by discrete loop detectors as well as the web-crawl weather data. Matched case-control method and support vector machines (SVMs) technique were employed to identify the risk status. The adaptive synthetic over-sampling technique was applied to solve the imbalanced dataset issues. Random forest technique was applied to select the contributing factors and avoid the over-fitting issues. The results indicate that the SVMs classifier could successfully classify 76.32% of the crashes on the test dataset and 87.52% of the crashes on the overall dataset, which were relatively satisfactory compared with the results of the previous studies. Compared with the SVMs classifier without the data, the SVMs classifier with the web-crawl weather data increased the crash prediction accuracy by 1.32% and decreased the false alarm rate by 1.72%, showing the potential value of the massive web weather data. Mean impact value method was employed to evaluate the variable effects, and the results are identical with the results of most of previous studies. The emerging technique based on the discrete traffic data and web weather data proves to be more applicable on real- time safety management on freeways.展开更多
In this article,a high-order scheme,which is formulated by combining the quadratic finite element method in space with a second-order time discrete scheme,is developed for looking for the numerical solution of a two-d...In this article,a high-order scheme,which is formulated by combining the quadratic finite element method in space with a second-order time discrete scheme,is developed for looking for the numerical solution of a two-dimensional nonlinear time fractional thermal diffusion model.The time Caputo fractional derivative is approximated by using the L2-1formula,the first-order derivative and nonlinear term are discretized by some second-order approximation formulas,and the quadratic finite element is used to approximate the spatial direction.The error accuracy O(h3+t2)is obtained,which is verified by the numerical results.展开更多
Deepwater oil and gas projects embody high risks from geology and engineering aspects, which exert substantial influence on project valuation. But the uncer- tainties may be converted to additional value to the projec...Deepwater oil and gas projects embody high risks from geology and engineering aspects, which exert substantial influence on project valuation. But the uncer- tainties may be converted to additional value to the projects in the case of flexible management. Given the flexibility of project management, this paper extends the classical real options model to a multi-factor model which contains oil price, geology, and engineering uncertainties. It then gives an application example of the new model to evaluate deepwater oil and gas projects with a numerical analytical method. Compared with other methods and models, this multi-factor real options model contains more project information. It reflects the potential value deriving not only from oil price variation but also from geology and engi- neering uncertainties, which provides more accurate and reliable valuation information for decision makers.展开更多
This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this m...This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this model, one rule corresponds to one state transition of FSM and one template corresponds to one FSM. Rules and information with respect to a FSM can be written in a template. So templates include not only state diagrams, but also information that can not be described by FSM, such as performance requirements. The specification using this model consists of a collection of templates and it is easy for users to understand and to review. After introduced the related researches and principles of the model, this paper specifies requirements of a real-time system with this model, and discusses characters of this model in the end.展开更多
文摘This paper examines how cybersecurity is developing and how it relates to more conventional information security. Although information security and cyber security are sometimes used synonymously, this study contends that they are not the same. The concept of cyber security is explored, which goes beyond protecting information resources to include a wider variety of assets, including people [1]. Protecting information assets is the main goal of traditional information security, with consideration to the human element and how people fit into the security process. On the other hand, cyber security adds a new level of complexity, as people might unintentionally contribute to or become targets of cyberattacks. This aspect presents moral questions since it is becoming more widely accepted that society has a duty to protect weaker members of society, including children [1]. The study emphasizes how important cyber security is on a larger scale, with many countries creating plans and laws to counteract cyberattacks. Nevertheless, a lot of these sources frequently neglect to define the differences or the relationship between information security and cyber security [1]. The paper focus on differentiating between cybersecurity and information security on a larger scale. The study also highlights other areas of cybersecurity which includes defending people, social norms, and vital infrastructure from threats that arise from online in addition to information and technology protection. It contends that ethical issues and the human factor are becoming more and more important in protecting assets in the digital age, and that cyber security is a paradigm shift in this regard [1].
文摘Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing (SUT), test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.
基金supported by National Natural Science Foundation of China(Grant No.51105001)State Key Laboratory of Automotive Safety and Energy,Tsinghua University,China(Grant No.KF14022)
文摘The current research of real-time observation for vehicle roll steer angle and compliance steer angle(both of them comprehensively referred as the additional steer angle in this paper) mainly employs the linear vehicle dynamic model, in which only the lateral acceleration of vehicle body is considered. The observation accuracy resorting to this method cannot meet the requirements of vehicle real-time stability control, especially under extreme driving conditions. The paper explores the solution resorting to experimental method. Firstly, a multi-body dynamic model of a passenger car is built based on the ADAMS/Car software, whose dynamic accuracy is verified by the same vehicle's roadway test data of steady static circular test. Based on this simulation platform, several influencing factors of additional steer angle under different driving conditions are quantitatively analyzed. Then ε-SVR algorithm is employed to build the additional steer angle prediction model, whose input vectors mainly include the sensor information of standard electronic stability control system(ESC). The method of typical slalom tests and FMVSS 126 tests are adopted to make simulation, train model and test model's generalization performance. The test result shows that the influence of lateral acceleration on additional steer angle is maximal (the magnitude up to 1°), followed by the longitudinal acceleration-deceleration and the road wave amplitude (the magnitude up to 0.3°). Moreover, both the prediction accuracy and the calculation real-time of the model can meet the control requirements of ESC This research expands the accurate observation methods of the additional steer angle under extreme driving conditions.
基金CONICYT-Chile through Becas Chile Scholarship under Grant No.72140204Universidad Tecnica Federico Santa Maria(Chile)through Faculty Development Scholarship under Grant No.208-13
文摘Real-time hybrid simulation is an efficient and cost-effective dynamic testing technique for performance evaluation of structural systems subjected to earthquake loading with rate-dependent behavior. A loading assembly with multiple actuators is required to impose realistic boundary conditions on physical specimens. However, such a testing system is expected to exhibit significant dynamic coupling of the actuators and suffer from time lags that are associated with the dynamics of the servo-hydraulic system, as well as control-structure interaction (CSI). One approach to reducing experimental errors considers a multi-input, multi-output (MIMO) controller design, yielding accurate reference tracking and noise rejection. In this paper, a framework for multi-axial real-time hybrid simulation (maRTHS) testing is presented. The methodology employs a real-time feedback-feedforward controller for multiple actuators commanded in Cartesian coordinates. Kinematic transformations between actuator space and Cartesian space are derived for all six-degrees-of- freedom of the moving platform. Then, a frequency domain identification technique is used to develop an accurate MIMO transfer function of the system. Further, a Cartesian-domain model-based feedforward-feedback controller is implemented for time lag compensation and to increase the robustness of the reference tracking for given model uncertainty. The framework is implemented using the 1/5th-scale Load and Boundary Condition Box (LBCB) located at the University of Illinois at Urbana- Champaign. To demonstrate the efficacy of the proposed methodology, a single-story frame subjected to earthquake loading is tested. One of the columns in the fraane is represented physically in the laboratory as a cantilevered steel column. For real- time execution, the numerical substructure, kinematic transformations, and controllers are implemented on a digital signal processor. Results show excellent performance of the maRTHS framework when six-degrees-of-freedom are controUed at the interface between substructures.
文摘Since IGY (International Geophysical Year), through coordinated global observations, ionospheric research has been carried out by many countries. This effort primarily helped in the design and operation of HF radio wave communication systems. The Indian region covers a highly variable part of the equatorial electrojet and EIA (Equatorial Ionisation Anomaly) phenomena making its predictability difficult. With the advent of satellite communication and navigation, the need for accurate ionospheric TEC (Total Electron Content) models at global and regional scales has been stressed. The GAGAN (GPS Aided Geo Augmented Navigation) project jointly undertaken by the Indian Space Research Organisation (ISRO) and the Airport Authority of India (AAI) aims at effectively utilising the Global Navigational Satellite System (GNSS) to determine position coordinates accurately for aircraft precision landing applications. For this purpose the range errors are estimated by using a ground network of TEC stations spread over Indian region. The near simultaneous data collected from these dual frequency GPS stations can be used to generate the geo-referenced TEC values for various applications. The author has developed necessary algorithm and associated computer programmes for a real-time vertical TEC (VTEC) model based on TEC data collected from the GAGAN ground based network stations. The model has been tested and sample results presented here show that it adequately provides for the latitudinal resolution of 1° for the entire longitude span and also for two longitude blocks (73 - 83 & 83 - 93°E) separately. Cubic spline and bilinear interpolation techniques are used for filling up temporal and spatial data gaps. The model provides tabulated output of hourly average VTEC data with latitude for ready use, as well as graphical displays of VTEC maps and contours for monitoring purpose. The real-time model and its extensions are also being used for detailed scientific studies;examples of these show small day to day variability of VTEC without any change in solar activity and indication of the change in the shape of the VTEC diurnal curve with season. The present model will be used for further studies to derive the monthly average variation of the diurnal pattern and the relationship between VTEC peak amplitudes with changes in solar activity. The new information generated can be fed back to improve the real-time model so that eventually the dependence of such models on ground based network stations data can be minimised.
文摘This paper presents, without altering the AADL meta-model, a formal description of static and behavioral aspects of the AADL thread component. This active and concurrent applicative component of AADL poses many challenges to its formalization and analysis including instantaneous and/or delayed communications, concurrent tasks and time-dependent features, and the need to analyze correctness. This formalization, based on real-time object-oriented theories, allows not only a precise description of the semantics of threads composition with respect to their timing requirements but also makes possible the formal verification of behavioral properties.
文摘A real-time operating system (RTOS), also named OS, is designed based on the hardware platform of MC68376, and is implemented in the electronic control system for unit pump in diesel engine. A parallel and time-based task division method is introduced and the multi-task software architecture is built in the software system for electronic unit pump (EUP) system. The V-model software development process is used to control algorithm of each task. The simulation results of the hardware-in-the-loop simulation system (HILSS) and the engine experimental results show that the OS is an efficient real-time kernel, and can meet the real-time demands of EUP system; The built multi-task software system is real-time, determinate and reliable. V-model development is a good development process of control algorithms for EUP system, the control precision of control system can be ensured, and the development cycle and cost are also decreased.
基金ThisworkwassupportedbytheNationalScienceFoundationofChina (No .60 10 3 0 2 2 ) .
文摘Aiming at issues on multimedia communication in synchronous real-time teleteaching (SRT) systems over IP network, a 4-tuple structural mode of multimedia communication is proposed in the paper, and an SRT-oriented distributed MCU model is built according to the mode. Moreover, the mechanism of multicast communication across subnets is discussed. The distributed MCU model has been applied successfully in our interactive synchronous real-time telesteaching system RealClass and has shown good extendibility in operation.
基金supported by cooperation projects between an enterprise(CNPE)and a research institute(ASIPP)(Y15HX16706).
文摘Nuclear security usually requires the simultaneous detection of neutrons and gamma rays.With the development of crystalline materials in recent years,Cs2LiLaBr6(CLLB)dual-readout detectors have attracted extensive attention from researchers,where real-time neutron/gamma pulse discrimination is the critical factor among detector performance parameters.This study investigated the discrimination performance of the charge comparison,amplitude comparison,time comparison,and pulse gradient_(m)ethods and the effects of a Sallen–Key filter on their performance.Experimental results show that the figure of merit(FOM)of all four methods is improved by proper filtering.Among them,the charge comparison method exhibits excellent noise resistance;moreover,it is the most_(s)uitable method of real-time discrimination for CLLB detectors.However,its discrimination performance depends on the parameters t_(s),t_(m),and t_(e).When t_(s)corresponds to the moment at which the pulse is at 10%of its peak value,t_(e)requires a delay of only 640–740 ns compared to t_(s),at which time the potentially optimal FOM of the charge comparison method at 3.1–3.3 MeV is greater than 1.46.The FOM obtained using the t_(m)value calculated by a proposed maximized discrimination difference model(MDDM)and the potentially optimal FOM differ by less than 3.9%,indicating that the model can provide good guidance for parameter selection in the charge comparison method.
基金supported by the National Natural Science Foundation (71301119)the Shanghai Natural Science Foundation (12ZR1434100)
文摘Recent advances in intelligent transportation system allow traffic safety studies to extend from historic data-based analyses to real-time applications. The study presents a new method to predict crash likelihood with traffic data collected by discrete loop detectors as well as the web-crawl weather data. Matched case-control method and support vector machines (SVMs) technique were employed to identify the risk status. The adaptive synthetic over-sampling technique was applied to solve the imbalanced dataset issues. Random forest technique was applied to select the contributing factors and avoid the over-fitting issues. The results indicate that the SVMs classifier could successfully classify 76.32% of the crashes on the test dataset and 87.52% of the crashes on the overall dataset, which were relatively satisfactory compared with the results of the previous studies. Compared with the SVMs classifier without the data, the SVMs classifier with the web-crawl weather data increased the crash prediction accuracy by 1.32% and decreased the false alarm rate by 1.72%, showing the potential value of the massive web weather data. Mean impact value method was employed to evaluate the variable effects, and the results are identical with the results of most of previous studies. The emerging technique based on the discrete traffic data and web weather data proves to be more applicable on real- time safety management on freeways.
基金the National Natural Science Fund(11661058,11761053)Natural Science Fund of Inner Mongolia Autonomous Region(2016MS0102,2017MS0107)+1 种基金Program for Young Talents of Science and Technology in Universities of Inner Mongolia Autonomous Region(NJYT-17-A07)National Undergraduate Innovative Training Project of Inner Mongolia University(201710126026).
文摘In this article,a high-order scheme,which is formulated by combining the quadratic finite element method in space with a second-order time discrete scheme,is developed for looking for the numerical solution of a two-dimensional nonlinear time fractional thermal diffusion model.The time Caputo fractional derivative is approximated by using the L2-1formula,the first-order derivative and nonlinear term are discretized by some second-order approximation formulas,and the quadratic finite element is used to approximate the spatial direction.The error accuracy O(h3+t2)is obtained,which is verified by the numerical results.
基金supported from the National Science and Technology Major Project under Grant No.2011ZX05030
文摘Deepwater oil and gas projects embody high risks from geology and engineering aspects, which exert substantial influence on project valuation. But the uncer- tainties may be converted to additional value to the projects in the case of flexible management. Given the flexibility of project management, this paper extends the classical real options model to a multi-factor model which contains oil price, geology, and engineering uncertainties. It then gives an application example of the new model to evaluate deepwater oil and gas projects with a numerical analytical method. Compared with other methods and models, this multi-factor real options model contains more project information. It reflects the potential value deriving not only from oil price variation but also from geology and engi- neering uncertainties, which provides more accurate and reliable valuation information for decision makers.
基金Supported by the National Natural Science F oundation of China(6 98730 35 ) and the Research Fund for the Doctoral Program of Hi
文摘This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this model, one rule corresponds to one state transition of FSM and one template corresponds to one FSM. Rules and information with respect to a FSM can be written in a template. So templates include not only state diagrams, but also information that can not be described by FSM, such as performance requirements. The specification using this model consists of a collection of templates and it is easy for users to understand and to review. After introduced the related researches and principles of the model, this paper specifies requirements of a real-time system with this model, and discusses characters of this model in the end.