Safe and just operating spaces(SJOS)are influenced by complex cross-scale interactions and cascading effects spanning global,regional,and local landscape scales.However,existing SJOS research has often focused on sing...Safe and just operating spaces(SJOS)are influenced by complex cross-scale interactions and cascading effects spanning global,regional,and local landscape scales.However,existing SJOS research has often focused on single-scale assessments,overlooking the impacts of multiscale interactions and within-region heterogeneity on urban SJOS.To address this gap,we developed a cross-scale framework for assessing urban SJOS,explicitly incorporating top-down influences from upper-level constraints and bottom-up effects from lower-level heterogeneity.This approach was applied to China's five major metropolises to examine the states and cross-scale dynamics influencing urban SJOS between 1990 and 2020.Our findings reveal that the SJOS of China's metropolises were primarily influenced by factors at national and local landscape scales,with weaker influences from the global and continental scales.A persistent trade-off between social justice and environmental safety was identified across spatiotemporal scales.For instance,Chongqing in southwestern China lagged behind the eastern four metropolises in social performance but exhibited stronger environmental safety due to its extensive natural landscapes,which mitigated the anthropogenic impacts of urban centers.Regional issues,such as the overshoot of PM_(2.5)and ecological footprints(EF),were primarily driven by the bottom-up accumulation of localized pressures,while the overshoot of CO_(2)was attributed to national policy constraints and the universal exceedance of safe thresholds across scales.Addressing urban sustainability requires avoiding adverse cascading effects from other levels by emphasizing landscape heterogeneity within metropolises and fostering coordinated collaboration across scales,particularly at the regional landscape and national levels.展开更多
Extracting typical operational scenarios is essential for making flexible decisions in the dispatch of a new power system.A novel deep time series aggregation scheme(DTSAs)is proposed to generate typical operational s...Extracting typical operational scenarios is essential for making flexible decisions in the dispatch of a new power system.A novel deep time series aggregation scheme(DTSAs)is proposed to generate typical operational scenarios,considering the large amount of historical operational snapshot data.Specifically,DTSAs analyse the intrinsic mechanisms of different scheduling operational scenario switching to mathematically represent typical operational scenarios.A Gramian angular summation field-based operational scenario image encoder was designed to convert operational scenario sequences into highdimensional spaces.This enables DTSAs to fully capture the spatiotemporal characteristics of new power systems using deep feature iterative aggregation models.The encoder also facilitates the generation of typical operational scenarios that conform to historical data distributions while ensuring the integrity of grid operational snapshots.Case studies demonstrate that the proposed method extracted new fine-grained power system dispatch schemes and outperformed the latest high-dimensional feature-screening methods.In addition,experiments with different new energy access ratios were conducted to verify the robustness of the proposed method.DTSAs enable dispatchers to master the operation experience of the power system in advance,and actively respond to the dynamic changes of the operation scenarios under the high access rate of new energy.展开更多
Relaxation processes in quantum systems coupled to external environments represent one of the most fundamental nonequilibrium phenomena in condensed matter physics.The Lindblad master equation provides a powerful fram...Relaxation processes in quantum systems coupled to external environments represent one of the most fundamental nonequilibrium phenomena in condensed matter physics.The Lindblad master equation provides a powerful framework for characterizing such open quantum dynamics.In this work,we systematically investigate how different types of quantum jump operators and system geometries influence the Liouvillian gap and the properties of the nonequilibrium steady state(NESS)in finite-size systems.We demonstrate that,due to the intricate structure of the Liouvillian superoperator,multiple NESSs with unphysical characteristics can emerge.The physically meaningful steady state must instead be understood as a superposition of these NESSs that collectively satisfy the required physical constraints.Furthermore,we find that the Liouvillian gap does not necessarily increase monotonically with the system-environment coupling strength.Instead,it can exhibit a nontrivial peak structure,corresponding to a minimum in the relaxation time.The magnitude of this peak is closely related to the symmetry properties of the system.Our results provide a deeper understanding of nonequilibrium behavior in finite quantum systems and offer new insights into the design and control of open quantum dynamics.展开更多
With the flourishing development of Unmanned Aerial Vehicles(UAVs), the mission tasks of UAVs have become more and more complex. Consequently, a Real-Time Operating System(RTOS) that provides operating environments fo...With the flourishing development of Unmanned Aerial Vehicles(UAVs), the mission tasks of UAVs have become more and more complex. Consequently, a Real-Time Operating System(RTOS) that provides operating environments for various mission services on these UAVs has become crucial, which leads to the necessity of having a deep understanding of an RTOS. In this paper, an empirical study is conducted on FreeRTOS, a commonly used RTOS for UAVs, from a complex network perspective. A total of 85 releases of FreeRTOS, from V2.4.2 to V10.0.0, are modeled as directed networks, in which the nodes represent functions and the edges denote function calls. It is found that the size of the FreeRTOS network has grown almost linearly with the evolution of the versions, while its main core has evolved steadily. In addition, a k-core analysis-based metric is proposed to identify major functionality changes of FreeRTOS during its evolution.The result shows that the identified versions are consistent with the version change logs. Finally,it is found that the clustering coefficient of the Linux OS scheduler is larger than that of the FreeRTOS scheduler. In conclusion, the empirical results provide useful guidance for developers and users of UAV RTOSs.展开更多
In recent years, the invert anomalies of operating railway tunnels in water-rich areas occur frequently,which greatly affect the transportation capacity of the railway lines. Tunnel drainage system is a crucial factor...In recent years, the invert anomalies of operating railway tunnels in water-rich areas occur frequently,which greatly affect the transportation capacity of the railway lines. Tunnel drainage system is a crucial factor to ensure the invert stability by regulating the external water pressure(EWP). By means of a threedimensional(3D) printing model, this paper experimentally investigates the deformation behavior of the invert for the tunnels with the traditional drainage system(TDS) widely used in China and its optimized drainage system(ODS) with bottom drainage function. Six test groups with a total of 110 test conditions were designed to consider the design factors and environmental factors in engineering practice,including layout of the drainage system, blockage of the drainage system and groundwater level fluctuation. It was found that there are significant differences in the water discharge, EWP and invert stability for the tunnels with the two drainage systems. Even with a dense arrangement of the external blind tubes, TDS was still difficult to eliminate the excessive EWP below the invert, which is the main cause for the invert instability. Blockage of drainage system further increased the invert uplift and aggravated the track irregularity, especially when the blockage degree is more than 50%. However, ODS can prevent these invert anomalies by reasonably controlling the EWP at tunnel bottom. Even when the groundwater level reached 60 m and the blind tubes were fully blocked, the invert stability can still be maintained and the railway track experienced a settlement of only 1.8 mm. Meanwhile, the on-site monitoring under several rainstorms further showed that the average EWP of the invert was controlled within 84 k Pa, while the maximum settlement of the track slab was only 0.92 mm, which also was in good agreement with the results of model test.展开更多
The complex systems are often in the structure of multi-operating modes, and the components implementing system functions are different under different operation modes, which results in the problems that components of...The complex systems are often in the structure of multi-operating modes, and the components implementing system functions are different under different operation modes, which results in the problems that components often fail in different operating modes, faults can be only detected in specified operating modes, tests can be available in specified operating modes,and the cost and efficiency of detecting and isolating faults are different under different operating modes and isolation levels. Aiming at these problems, an optimal test selection method for fault detection and isolation in the multi-operating mode system is proposed by using the fault pair coding and rollout algorithm. Firstly,the faults in fault-test correlation matrices under different operating modes are combined to fault-pairs, which is used to construct the fault pair-test correlation matrices under different operating modes.Secondly, the final fault pair-test correlation matrix of the multioperating mode system is obtained by operating the fault pair-test correlation matrices under different operating modes. Based on the final fault pair-test correlation matrix, the necessary tests are selected by the rollout algorithm orderly. Finally, the effectiveness of the proposed method is verified by examples of the optimal test selection in the multi-operating mode system with faults isolated to different levels. The result shows that the proposed method can effectively mine the fault detection and isolation ability of tests and it is suitable for the optimal test selection of the multi-operating mode system with faults isolated to the replacement unit and specific fault.展开更多
Trusted path is one of the crucial features that operating systems must provide for fundamental security support. In order to explore the possibility of implementing a trusted path mechanism with the support of truste...Trusted path is one of the crucial features that operating systems must provide for fundamental security support. In order to explore the possibility of implementing a trusted path mechanism with the support of trusted platform module （TPM） technologies, and to support TPM capabilities in operating systems, the paper extended the scope of the conventional trusted path to cover the situation in which a user communicates with software residing on a remote host. The paper combined the concept of operating system support for trusted path with that for TPM platforms, and proposed the architecture of an extended trusted path mechanism in operating system with considerations on TPM-capable platforms support. As part of the author＇s research in secure operating systems, the work of the paper was carried out with Linux as an experimental prototype system. The research result shows that TPM capabilities can strengthen extended trusted path mechanisms of operating systems.展开更多
Real-time kinematic GPS precise positioning has been playing an increasing role in both surveying and navigation. Based on the city’s fibre LAN network, Shenzhen Continuous Operating Reference Stations (SZCORS) syste...Real-time kinematic GPS precise positioning has been playing an increasing role in both surveying and navigation. Based on the city’s fibre LAN network, Shenzhen Continuous Operating Reference Stations (SZCORS) system has been established and consists of GPS reference stations, system control center, user’s data center, and real-time datacom network. The SZCORS system provides users the real-time centimeter positioning or post-processing millimeter positioning. This paper makes discussion on the structure of SZCORS system. Some experiments have been made to test the usablity, and then the data has been analyzed.展开更多
The variable cycle engine is distinguished by its highly adjustable compression system,whose aerodynamic characteristic is extremely complex.To explore the regulation range of a double bypass engine compression system...The variable cycle engine is distinguished by its highly adjustable compression system,whose aerodynamic characteristic is extremely complex.To explore the regulation range of a double bypass engine compression system,a multi-dimensional analysis method is developed,through which the coupling mechanism between the compressor component and the bypass is examined.The operation zones of the compressor components and the bypass system are proposed,and the operation range of the compression system is obtained by calculating the overlapping part of the operation zones.The results show that in the double bypass mode,there exists a minimum mode selector valve area and a minimum core driven fan stage stall margin that ensures a feasible bypass flow,the two parameters correspond to each other.Under the given fan and core driven fan stage conditions,the maximum value of the inner bypass ratio is restricted by the upper limit of the forward variable area bypass injector and the maximum Mach number in the total bypass,while the minimum value of the inner bypass ratio depends on the lower limit of the forward variable area bypass injector geometry and the system recirculation margin.The single bypass mode is a unique condition of the double bypass mode,as the operation zone of the compressor component degenerates from a two-dimensional surface to a straight line.There are multiple bypass states available in the single bypass mode,while the regulation range of the bypass ratio is jointly restricted by the operation range of the high pressure compressor and the aerodynamic boundary of the forward variable area bypass injector.展开更多
One of the most important features of modern minor satellites is to realize autonomous moving. The performance of the satellite autonomous computer operating system acting as the control center is utmost important. Th...One of the most important features of modern minor satellites is to realize autonomous moving. The performance of the satellite autonomous computer operating system acting as the control center is utmost important. The recent trend in operating system development is adopting microkernel architecture which holds such advantages as microminiaturization, modularity, portability and extendibility. The performance of I/O subsystem is currently receiving considerable research attention. Object-orientation offers an approach to application development in which software system can be constructed by composing and refining the pre-designed plug-compatible software components.It also starts with some basic notions fairly well accepted in computer science, namely encapsulation and reuse. In this paper, a new object-oriented real-time I/O subsystem model has been designed.In this model, the traditional I/O subsystem framework is discarded and a stream mechanism based on the object-oriented concept is introduced. In addition, the I/O requests are classified according to their time emergency to obtain real-time performance. So, this model meets such satelliteperformance requirements as reliability, flexibility, portability and real-time performance.展开更多
In recent years,with the changes in the international competitive environment,the development strategic focuses of the national software industry have also shifted.To adapt to these changes,we analyze and summarize th...In recent years,with the changes in the international competitive environment,the development strategic focuses of the national software industry have also shifted.To adapt to these changes,we analyze and summarize the problems existing in the teaching content and methods of the traditional“Operating System”course and carry out the reform and practice of this core course for software engineering majors.First,we design and integrate domestic operating system examples into the course to meet the needs of national strategic development,thus cultivating operating system software talents in line with China’s national conditions and needs.Second,we reconstruct the teaching content of the course,strengthen the assessment of comprehensive ability,and establish a 3-level progressive teaching structure.Third,we carry out the deep integration of university and enterprise to realize the combination of theory and practice and establish a comprehensive and whole process university-enterprise course co-construction mode.Through the above reform measures,students show a strong interest in learning the operating system course.The operating system course has won the honor of the first-class course of Beijing Jiaotong University and has been approved for 4 industry-education cooperation projects of the Ministry of Education.展开更多
The represent paper will study the performance of the power plant with the combination of dry and wet cooling systems in different operating conditions. A thermodynamic performance analysis of the steam cycle system w...The represent paper will study the performance of the power plant with the combination of dry and wet cooling systems in different operating conditions. A thermodynamic performance analysis of the steam cycle system was performed by means of a program code dedicated to power plant modeling in design operating condition. Then the off-design behavior was studied by varying not only the ambient temperature and relative humidity but also several parameters connected to the cooling performance, like the exhaust steam flow rate, the air cooling fan load and the number of operating cooling water pumps and cooling towers. The result is an optimum set of variables allowing the dry and wet cooling system be regulated in such a way that the maximum power is achieved and low water consumption.展开更多
This paper presents a description and analysis of the most important models to predict each of the Road User Costs components （Vehicle Operating Costs, Accident Costs and Value of Time） and proposes a model for esti...This paper presents a description and analysis of the most important models to predict each of the Road User Costs components （Vehicle Operating Costs, Accident Costs and Value of Time） and proposes a model for estimating RUC components suitable for the Portuguese road network. These results are part of a research which aimed to obtain a Road User Cost Model to be used as a tool in road management systems. This model is different from other models by the fact that it includes a simple formulation that allows calibration and calculation of cost parameters, for any year, in a simple and fast way, providing trustworthy results. The required data is already available in Portuguese institutions, allowing periodic revision of cost parameters to insure accuracy.展开更多
Today, the number of embedded system was applied in the field of automation and control has far exceeded a variety of general-purpose computer. Embedded system is gradually penetrated into all fields of human society,...Today, the number of embedded system was applied in the field of automation and control has far exceeded a variety of general-purpose computer. Embedded system is gradually penetrated into all fields of human society, and ubiquitous embedded applications constitute the 'ubiquitous' computing era. Embedded operating system is the core of the em-bedded system, and it directly affects the performance of the whole system. Our Liaoning Provincial Key Laboratory of Embedded Technology has successfully developed five kinds of device-level embedded operating systems by more than ten years’ efforts, and these systems are Webit 5.0, Worix, μKernel, iDCX 128 and μc/os-II 128. This paper mainly analyses and compares the implementation mechanism and performance of these five kinds of device-level embedded operating systems in detail.展开更多
Traditional operating range prediction methods assume that the atmospheric radiances in a target path and a background path are equal. But they are different in a real-world environment. To solve this problem,the infl...Traditional operating range prediction methods assume that the atmospheric radiances in a target path and a background path are equal. But they are different in a real-world environment. To solve this problem,the influence of atmospheric radiance on operating range prediction is analyzed in this paper. Range estimation model in thermal imaging based on background radiation（ REBR） is proposed. Infrared image radiometric calibration is used to calculate the background radiation of a system entrance pupil. The result shows that,compared with traditional operating range prediction methods,the REBR method is more suitable for the actual atmospheric transmission process and the physical process of infrared imaging.展开更多
A new methodology was created to measure the energy consumption and related green house gas （GHG） emissions of a computer operating system （OS） across different device platforms. The methodology involved the direc...A new methodology was created to measure the energy consumption and related green house gas （GHG） emissions of a computer operating system （OS） across different device platforms. The methodology involved the direct power measurement of devices under different activity states. In order to include all aspects of an OS, the methodology included measurements in various OS modes, whilst uniquely, also incorporating measurements when running an array of defined software activities, so as to include OS application management features. The methodology was demonstrated on a laptop and phone that could each run multiple OSs, results confirmed that OS can significantly impact the energy consumption of devices. In particular, the new versions of the Microsoft Windows OS were tested and highlighted significant differences between the OS versions on the same hardware. The developed methodology could enable a greater awareness of energy consumption, during both the software development and software marketing processes.展开更多
As an outstanding asymmetric cryptography, RSA algorithm has a lot of virtues and thus is well applied in the scope of IC card applications. The paper deals with the application of RSA in smart cards and the approach ...As an outstanding asymmetric cryptography, RSA algorithm has a lot of virtues and thus is well applied in the scope of IC card applications. The paper deals with the application of RSA in smart cards and the approach in which the modular exponentiation of huge number is simplified by using the Chinese Remainder Theorem. We have already succeeded in completing RSA in IC cards. Results indicate that RSA algorithm applied in IC cards has the equivalent speed of DES algorithm with the same environment.展开更多
In this paper, a new concept of simulation operating system (SIMOS) is described. A detailed definition of SIMOS is given, and two integrated simulation software (IPSOS and IMSS) are introduced based on SIMOS.
A digital arc welding power supply was designed with the advanced reduced instruction set computer machine （ARM） and embedded real-time multi-task operating system micro C/OS- Ⅱ. The ARM, with its powerful calculat...A digital arc welding power supply was designed with the advanced reduced instruction set computer machine （ARM） and embedded real-time multi-task operating system micro C/OS- Ⅱ. The ARM, with its powerful calculating speed and complete peripheral equipments, is very suitable to work as the controller of the digital power supply. The micro C/OS- Ⅱ transplanted in ARM, helps to improve the respondent speed against various welding signals, as well as the reliability of the controlling software. The welding process consists of nine tasks. The tasks of great significance on reliability of the welder, for example, the A/D conversion of current and voltage, enjoy top priority. To avoid simultaneous-sharing on A/D converter and LCD module, two semaphores are introduced in to ensure the smooth performance of the welding power supply. Proven by experiments ,the ARM and the micro C/OS- Ⅱ can greatly improve both the respondent speed and the reliability of the digital welder.展开更多
Operation control of power systems has become challenging with an increase in the scale and complexity of power distribution systems and extensive access to renewable energy.Therefore,improvement of the ability of dat...Operation control of power systems has become challenging with an increase in the scale and complexity of power distribution systems and extensive access to renewable energy.Therefore,improvement of the ability of data-driven operation management,intelligent analysis,and mining is urgently required.To investigate and explore similar regularities of the historical operating section of the power distribution system and assist the power grid in obtaining high-value historical operation,maintenance experience,and knowledge by rule and line,a neural information retrieval model with an attention mechanism is proposed based on graph data computing technology.Based on the processing flow of the operating data of the power distribution system,a technical framework of neural information retrieval is established.Combined with the natural graph characteristics of the power distribution system,a unified graph data structure and a data fusion method of data access,data complement,and multi-source data are constructed.Further,a graph node feature-embedding representation learning algorithm and a neural information retrieval algorithm model are constructed.The neural information retrieval algorithm model is trained and tested using the generated graph node feature representation vector set.The model is verified on the operating section of the power distribution system of a provincial grid area.The results show that the proposed method demonstrates high accuracy in the similarity matching of historical operation characteristics and effectively supports intelligent fault diagnosis and elimination in power distribution systems.展开更多
基金supported by the National Natural Science Foundation of China(Grant No.42101296)the Natural Science Foundation of Chongqing(Grant No.CSTB2023NSCQ-MSX0041)Chongqing Municipal Training Program of Innovation and Entrepreneurship Project(Grants No.S202410635155 and X202410635116)。
文摘Safe and just operating spaces(SJOS)are influenced by complex cross-scale interactions and cascading effects spanning global,regional,and local landscape scales.However,existing SJOS research has often focused on single-scale assessments,overlooking the impacts of multiscale interactions and within-region heterogeneity on urban SJOS.To address this gap,we developed a cross-scale framework for assessing urban SJOS,explicitly incorporating top-down influences from upper-level constraints and bottom-up effects from lower-level heterogeneity.This approach was applied to China's five major metropolises to examine the states and cross-scale dynamics influencing urban SJOS between 1990 and 2020.Our findings reveal that the SJOS of China's metropolises were primarily influenced by factors at national and local landscape scales,with weaker influences from the global and continental scales.A persistent trade-off between social justice and environmental safety was identified across spatiotemporal scales.For instance,Chongqing in southwestern China lagged behind the eastern four metropolises in social performance but exhibited stronger environmental safety due to its extensive natural landscapes,which mitigated the anthropogenic impacts of urban centers.Regional issues,such as the overshoot of PM_(2.5)and ecological footprints(EF),were primarily driven by the bottom-up accumulation of localized pressures,while the overshoot of CO_(2)was attributed to national policy constraints and the universal exceedance of safe thresholds across scales.Addressing urban sustainability requires avoiding adverse cascading effects from other levels by emphasizing landscape heterogeneity within metropolises and fostering coordinated collaboration across scales,particularly at the regional landscape and national levels.
基金The Key R&D Project of Jilin Province,Grant/Award Number:20230201067GX。
文摘Extracting typical operational scenarios is essential for making flexible decisions in the dispatch of a new power system.A novel deep time series aggregation scheme(DTSAs)is proposed to generate typical operational scenarios,considering the large amount of historical operational snapshot data.Specifically,DTSAs analyse the intrinsic mechanisms of different scheduling operational scenario switching to mathematically represent typical operational scenarios.A Gramian angular summation field-based operational scenario image encoder was designed to convert operational scenario sequences into highdimensional spaces.This enables DTSAs to fully capture the spatiotemporal characteristics of new power systems using deep feature iterative aggregation models.The encoder also facilitates the generation of typical operational scenarios that conform to historical data distributions while ensuring the integrity of grid operational snapshots.Case studies demonstrate that the proposed method extracted new fine-grained power system dispatch schemes and outperformed the latest high-dimensional feature-screening methods.In addition,experiments with different new energy access ratios were conducted to verify the robustness of the proposed method.DTSAs enable dispatchers to master the operation experience of the power system in advance,and actively respond to the dynamic changes of the operation scenarios under the high access rate of new energy.
基金supported by the National Natural Science Foundation of China(Grant Nos.12275193 and11975166)。
文摘Relaxation processes in quantum systems coupled to external environments represent one of the most fundamental nonequilibrium phenomena in condensed matter physics.The Lindblad master equation provides a powerful framework for characterizing such open quantum dynamics.In this work,we systematically investigate how different types of quantum jump operators and system geometries influence the Liouvillian gap and the properties of the nonequilibrium steady state(NESS)in finite-size systems.We demonstrate that,due to the intricate structure of the Liouvillian superoperator,multiple NESSs with unphysical characteristics can emerge.The physically meaningful steady state must instead be understood as a superposition of these NESSs that collectively satisfy the required physical constraints.Furthermore,we find that the Liouvillian gap does not necessarily increase monotonically with the system-environment coupling strength.Instead,it can exhibit a nontrivial peak structure,corresponding to a minimum in the relaxation time.The magnitude of this peak is closely related to the symmetry properties of the system.Our results provide a deeper understanding of nonequilibrium behavior in finite quantum systems and offer new insights into the design and control of open quantum dynamics.
基金supported by the National Natural Science Foundation of China (No. 61772055)Equipment Preliminary R&D Project of China (No. 41402020102)
文摘With the flourishing development of Unmanned Aerial Vehicles(UAVs), the mission tasks of UAVs have become more and more complex. Consequently, a Real-Time Operating System(RTOS) that provides operating environments for various mission services on these UAVs has become crucial, which leads to the necessity of having a deep understanding of an RTOS. In this paper, an empirical study is conducted on FreeRTOS, a commonly used RTOS for UAVs, from a complex network perspective. A total of 85 releases of FreeRTOS, from V2.4.2 to V10.0.0, are modeled as directed networks, in which the nodes represent functions and the edges denote function calls. It is found that the size of the FreeRTOS network has grown almost linearly with the evolution of the versions, while its main core has evolved steadily. In addition, a k-core analysis-based metric is proposed to identify major functionality changes of FreeRTOS during its evolution.The result shows that the identified versions are consistent with the version change logs. Finally,it is found that the clustering coefficient of the Linux OS scheduler is larger than that of the FreeRTOS scheduler. In conclusion, the empirical results provide useful guidance for developers and users of UAV RTOSs.
基金supported by the National Natural Science Foundation of China (Grant No. U1934211)the Open Foundation of National Engineering Research Center of High-speed Railway Construction Technology (Grant No. HSR202005)Scientific Research Project of Hunan Education Department (Grant No.20B596)。
文摘In recent years, the invert anomalies of operating railway tunnels in water-rich areas occur frequently,which greatly affect the transportation capacity of the railway lines. Tunnel drainage system is a crucial factor to ensure the invert stability by regulating the external water pressure(EWP). By means of a threedimensional(3D) printing model, this paper experimentally investigates the deformation behavior of the invert for the tunnels with the traditional drainage system(TDS) widely used in China and its optimized drainage system(ODS) with bottom drainage function. Six test groups with a total of 110 test conditions were designed to consider the design factors and environmental factors in engineering practice,including layout of the drainage system, blockage of the drainage system and groundwater level fluctuation. It was found that there are significant differences in the water discharge, EWP and invert stability for the tunnels with the two drainage systems. Even with a dense arrangement of the external blind tubes, TDS was still difficult to eliminate the excessive EWP below the invert, which is the main cause for the invert instability. Blockage of drainage system further increased the invert uplift and aggravated the track irregularity, especially when the blockage degree is more than 50%. However, ODS can prevent these invert anomalies by reasonably controlling the EWP at tunnel bottom. Even when the groundwater level reached 60 m and the blind tubes were fully blocked, the invert stability can still be maintained and the railway track experienced a settlement of only 1.8 mm. Meanwhile, the on-site monitoring under several rainstorms further showed that the average EWP of the invert was controlled within 84 k Pa, while the maximum settlement of the track slab was only 0.92 mm, which also was in good agreement with the results of model test.
基金supported by the Natural Science Foundation of Shannxi Province(2017JQ5016)the Joint Laboratory for Sea Measurement and Control of Aircraft(DOM2016OF011)
文摘The complex systems are often in the structure of multi-operating modes, and the components implementing system functions are different under different operation modes, which results in the problems that components often fail in different operating modes, faults can be only detected in specified operating modes, tests can be available in specified operating modes,and the cost and efficiency of detecting and isolating faults are different under different operating modes and isolation levels. Aiming at these problems, an optimal test selection method for fault detection and isolation in the multi-operating mode system is proposed by using the fault pair coding and rollout algorithm. Firstly,the faults in fault-test correlation matrices under different operating modes are combined to fault-pairs, which is used to construct the fault pair-test correlation matrices under different operating modes.Secondly, the final fault pair-test correlation matrix of the multioperating mode system is obtained by operating the fault pair-test correlation matrices under different operating modes. Based on the final fault pair-test correlation matrix, the necessary tests are selected by the rollout algorithm orderly. Finally, the effectiveness of the proposed method is verified by examples of the optimal test selection in the multi-operating mode system with faults isolated to different levels. The result shows that the proposed method can effectively mine the fault detection and isolation ability of tests and it is suitable for the optimal test selection of the multi-operating mode system with faults isolated to the replacement unit and specific fault.
基金Supported by the National Natural Science Foun-dation of China (60373054)
文摘Trusted path is one of the crucial features that operating systems must provide for fundamental security support. In order to explore the possibility of implementing a trusted path mechanism with the support of trusted platform module （TPM） technologies, and to support TPM capabilities in operating systems, the paper extended the scope of the conventional trusted path to cover the situation in which a user communicates with software residing on a remote host. The paper combined the concept of operating system support for trusted path with that for TPM platforms, and proposed the architecture of an extended trusted path mechanism in operating system with considerations on TPM-capable platforms support. As part of the author＇s research in secure operating systems, the work of the paper was carried out with Linux as an experimental prototype system. The research result shows that TPM capabilities can strengthen extended trusted path mechanisms of operating systems.
文摘Real-time kinematic GPS precise positioning has been playing an increasing role in both surveying and navigation. Based on the city’s fibre LAN network, Shenzhen Continuous Operating Reference Stations (SZCORS) system has been established and consists of GPS reference stations, system control center, user’s data center, and real-time datacom network. The SZCORS system provides users the real-time centimeter positioning or post-processing millimeter positioning. This paper makes discussion on the structure of SZCORS system. Some experiments have been made to test the usablity, and then the data has been analyzed.
基金co-supported by the National Natural Science Foundation of China(No.52206038)the National Science and Technology Major Project,China(No.Y2022-Ⅱ-0003)the Science Center for Gas Turbine Project,China(Nos.P2022-A-Ⅱ-001-001 and P2022-B-Ⅱ-002-001).
文摘The variable cycle engine is distinguished by its highly adjustable compression system,whose aerodynamic characteristic is extremely complex.To explore the regulation range of a double bypass engine compression system,a multi-dimensional analysis method is developed,through which the coupling mechanism between the compressor component and the bypass is examined.The operation zones of the compressor components and the bypass system are proposed,and the operation range of the compression system is obtained by calculating the overlapping part of the operation zones.The results show that in the double bypass mode,there exists a minimum mode selector valve area and a minimum core driven fan stage stall margin that ensures a feasible bypass flow,the two parameters correspond to each other.Under the given fan and core driven fan stage conditions,the maximum value of the inner bypass ratio is restricted by the upper limit of the forward variable area bypass injector and the maximum Mach number in the total bypass,while the minimum value of the inner bypass ratio depends on the lower limit of the forward variable area bypass injector geometry and the system recirculation margin.The single bypass mode is a unique condition of the double bypass mode,as the operation zone of the compressor component degenerates from a two-dimensional surface to a straight line.There are multiple bypass states available in the single bypass mode,while the regulation range of the bypass ratio is jointly restricted by the operation range of the high pressure compressor and the aerodynamic boundary of the forward variable area bypass injector.
文摘One of the most important features of modern minor satellites is to realize autonomous moving. The performance of the satellite autonomous computer operating system acting as the control center is utmost important. The recent trend in operating system development is adopting microkernel architecture which holds such advantages as microminiaturization, modularity, portability and extendibility. The performance of I/O subsystem is currently receiving considerable research attention. Object-orientation offers an approach to application development in which software system can be constructed by composing and refining the pre-designed plug-compatible software components.It also starts with some basic notions fairly well accepted in computer science, namely encapsulation and reuse. In this paper, a new object-oriented real-time I/O subsystem model has been designed.In this model, the traditional I/O subsystem framework is discarded and a stream mechanism based on the object-oriented concept is introduced. In addition, the I/O requests are classified according to their time emergency to obtain real-time performance. So, this model meets such satelliteperformance requirements as reliability, flexibility, portability and real-time performance.
基金This work is supported by the Fundamental Research Funds for the Central Universities(Grant No.2019RC026).
文摘In recent years,with the changes in the international competitive environment,the development strategic focuses of the national software industry have also shifted.To adapt to these changes,we analyze and summarize the problems existing in the teaching content and methods of the traditional“Operating System”course and carry out the reform and practice of this core course for software engineering majors.First,we design and integrate domestic operating system examples into the course to meet the needs of national strategic development,thus cultivating operating system software talents in line with China’s national conditions and needs.Second,we reconstruct the teaching content of the course,strengthen the assessment of comprehensive ability,and establish a 3-level progressive teaching structure.Third,we carry out the deep integration of university and enterprise to realize the combination of theory and practice and establish a comprehensive and whole process university-enterprise course co-construction mode.Through the above reform measures,students show a strong interest in learning the operating system course.The operating system course has won the honor of the first-class course of Beijing Jiaotong University and has been approved for 4 industry-education cooperation projects of the Ministry of Education.
文摘The represent paper will study the performance of the power plant with the combination of dry and wet cooling systems in different operating conditions. A thermodynamic performance analysis of the steam cycle system was performed by means of a program code dedicated to power plant modeling in design operating condition. Then the off-design behavior was studied by varying not only the ambient temperature and relative humidity but also several parameters connected to the cooling performance, like the exhaust steam flow rate, the air cooling fan load and the number of operating cooling water pumps and cooling towers. The result is an optimum set of variables allowing the dry and wet cooling system be regulated in such a way that the maximum power is achieved and low water consumption.
文摘This paper presents a description and analysis of the most important models to predict each of the Road User Costs components （Vehicle Operating Costs, Accident Costs and Value of Time） and proposes a model for estimating RUC components suitable for the Portuguese road network. These results are part of a research which aimed to obtain a Road User Cost Model to be used as a tool in road management systems. This model is different from other models by the fact that it includes a simple formulation that allows calibration and calculation of cost parameters, for any year, in a simple and fast way, providing trustworthy results. The required data is already available in Portuguese institutions, allowing periodic revision of cost parameters to insure accuracy.
文摘Today, the number of embedded system was applied in the field of automation and control has far exceeded a variety of general-purpose computer. Embedded system is gradually penetrated into all fields of human society, and ubiquitous embedded applications constitute the 'ubiquitous' computing era. Embedded operating system is the core of the em-bedded system, and it directly affects the performance of the whole system. Our Liaoning Provincial Key Laboratory of Embedded Technology has successfully developed five kinds of device-level embedded operating systems by more than ten years’ efforts, and these systems are Webit 5.0, Worix, μKernel, iDCX 128 and μc/os-II 128. This paper mainly analyses and compares the implementation mechanism and performance of these five kinds of device-level embedded operating systems in detail.
文摘Traditional operating range prediction methods assume that the atmospheric radiances in a target path and a background path are equal. But they are different in a real-world environment. To solve this problem,the influence of atmospheric radiance on operating range prediction is analyzed in this paper. Range estimation model in thermal imaging based on background radiation（ REBR） is proposed. Infrared image radiometric calibration is used to calculate the background radiation of a system entrance pupil. The result shows that,compared with traditional operating range prediction methods,the REBR method is more suitable for the actual atmospheric transmission process and the physical process of infrared imaging.
基金part supported by an Eng.D.studentship provided by the U.K.Engineering and Physical Sciences Research Council(EPSRC) and Microsoft(U.K.) Ltd
文摘A new methodology was created to measure the energy consumption and related green house gas （GHG） emissions of a computer operating system （OS） across different device platforms. The methodology involved the direct power measurement of devices under different activity states. In order to include all aspects of an OS, the methodology included measurements in various OS modes, whilst uniquely, also incorporating measurements when running an array of defined software activities, so as to include OS application management features. The methodology was demonstrated on a laptop and phone that could each run multiple OSs, results confirmed that OS can significantly impact the energy consumption of devices. In particular, the new versions of the Microsoft Windows OS were tested and highlighted significant differences between the OS versions on the same hardware. The developed methodology could enable a greater awareness of energy consumption, during both the software development and software marketing processes.
文摘As an outstanding asymmetric cryptography, RSA algorithm has a lot of virtues and thus is well applied in the scope of IC card applications. The paper deals with the application of RSA in smart cards and the approach in which the modular exponentiation of huge number is simplified by using the Chinese Remainder Theorem. We have already succeeded in completing RSA in IC cards. Results indicate that RSA algorithm applied in IC cards has the equivalent speed of DES algorithm with the same environment.
文摘In this paper, a new concept of simulation operating system (SIMOS) is described. A detailed definition of SIMOS is given, and two integrated simulation software (IPSOS and IMSS) are introduced based on SIMOS.
基金Supported by the National Natural Science Foundation of China under Grant No 50575074by the Scientific and TechnologicalProject of Guangdong Province, China, under Grant No 2003A1040310
文摘A digital arc welding power supply was designed with the advanced reduced instruction set computer machine （ARM） and embedded real-time multi-task operating system micro C/OS- Ⅱ. The ARM, with its powerful calculating speed and complete peripheral equipments, is very suitable to work as the controller of the digital power supply. The micro C/OS- Ⅱ transplanted in ARM, helps to improve the respondent speed against various welding signals, as well as the reliability of the controlling software. The welding process consists of nine tasks. The tasks of great significance on reliability of the welder, for example, the A/D conversion of current and voltage, enjoy top priority. To avoid simultaneous-sharing on A/D converter and LCD module, two semaphores are introduced in to ensure the smooth performance of the welding power supply. Proven by experiments ,the ARM and the micro C/OS- Ⅱ can greatly improve both the respondent speed and the reliability of the digital welder.
基金supported by the National Key R&D Program of China(2020YFB0905900).
文摘Operation control of power systems has become challenging with an increase in the scale and complexity of power distribution systems and extensive access to renewable energy.Therefore,improvement of the ability of data-driven operation management,intelligent analysis,and mining is urgently required.To investigate and explore similar regularities of the historical operating section of the power distribution system and assist the power grid in obtaining high-value historical operation,maintenance experience,and knowledge by rule and line,a neural information retrieval model with an attention mechanism is proposed based on graph data computing technology.Based on the processing flow of the operating data of the power distribution system,a technical framework of neural information retrieval is established.Combined with the natural graph characteristics of the power distribution system,a unified graph data structure and a data fusion method of data access,data complement,and multi-source data are constructed.Further,a graph node feature-embedding representation learning algorithm and a neural information retrieval algorithm model are constructed.The neural information retrieval algorithm model is trained and tested using the generated graph node feature representation vector set.The model is verified on the operating section of the power distribution system of a provincial grid area.The results show that the proposed method demonstrates high accuracy in the similarity matching of historical operation characteristics and effectively supports intelligent fault diagnosis and elimination in power distribution systems.
