Quantifying the post-earthquake functional recovery of railway stations presents significant challenges.This paper first establishes a post-earthquake function calculation method for railway stations,encompassing the ...Quantifying the post-earthquake functional recovery of railway stations presents significant challenges.This paper first establishes a post-earthquake function calculation method for railway stations,encompassing the establishment of relationships between the station’s function and the damage state,function loss,and failure probability of components and professional equipment in each layer.Also,the“4 stages-6 sequences”post-earthquake repair method is present,taking into account the functional and structural characteristics of railway stations.Additionally,a novel piecewise function for the post-earthquake functional dynamic recovery of railway stations is developed.A case study is conducted on a typical railway station to demonstrate the analysis procedure.Results indicate that under fortification,rare,and extremely rare earthquake scenarios,the interlayer drift ratio(IDR)of the railway station were 1/276,1/143,and 1/52,respectively,and corresponding peak floor acceleration(PFA)were 6.31 m/s^(2),7.82 m/s^(2),and 8.57 m/s^(2),respectively.The post-earthquake function of the railway station was 93.21%,82.33%,and 64.16%of its initial function.The repair times were 6.66 days,18.65 days,and 37.42 days.The displacement-sensitive,non-structural components were identified as the most vulnerable to damage.And the first repair stage(R_(1))which was mainly used to repair structural components and non-structural transport components,accounted for the highest proportion of total repair time.展开更多
In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity o...In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.展开更多
Animal robots have outstanding advantages over traditional robots in their own energy supplies,orientation,and natural concealment,delivering significant value in the theories and applications of neural science,nation...Animal robots have outstanding advantages over traditional robots in their own energy supplies,orientation,and natural concealment,delivering significant value in the theories and applications of neural science,national security,and other fields.Presently,many animal robots have been fabricated,but researches about the applications of avian robots are still lacking.In this study,we constructed a Pigeon Robot System(PRS),optimized the electric stimulation parameters,assessed the electric stimulus of navigation,and evaluated the navigation efficiency in the field.Biphasic pulse constant current pattern was adapted,and the optimal stimulus parameters of 4 nuclei tested were of amplitude 0.3 mA,5 pulse trains,frequency 25 Hz,5 pulses,and a 25%duty cycle.Effective ratio of left and right steering behavior response to electric stimulus dorsointermedius ventralis anterior nuclei was 67%and 83%,respectively(mean value 75%).Electrical stimulation efficiency was 0.34-0.68 and path efficiency was 0.72-0.85 among pigeon robot individuals in the open field.Neither electrical stimulation efficiency nor path efficiency differed significantly(P>0.05),suggesting that the navigational PRS performance was not biased in either direction.PRS can achieve continuous navigation along simple pathways and provide the necessary application infrastructure and technical reference for the development of animal robot navigation technology.展开更多
systematic verification and validation(V&V)of our previously proposed momentum source wave generation method is performed.Some settings of previous numerical wave tanks(NWTs)of regular and irregular waves have bee...systematic verification and validation(V&V)of our previously proposed momentum source wave generation method is performed.Some settings of previous numerical wave tanks(NWTs)of regular and irregular waves have been optimized.The H2-5 V&V method involving five mesh sizes with mesh refinement ratio being 1.225 is used to verify the NWT of regular waves,in which the wave height and mass conservation are mainly considered based on a Lv3(H s=0.75 m)and a Lv6(H s=5 m)regular wave.Additionally,eight different sea states are chosen to validate the wave height,mass conservation and wave frequency of regular waves.Regarding the NWT of irregular waves,five different sea states with significant wave heights ranging from 0.09 m to 12.5 m are selected to validate the statistical characteristics of irregular waves,including the profile of the wave spectrum,peak frequency and significant wave height.Results show that the verification errors for Lv3 and Lv6 regular wave on the most refined grid are−0.018 and−0.35 for wave height,respectively,and−0.14 and for−0.17 mass conservation,respectively.The uncertainty estimation analysis shows that the numerical error could be partially balanced out by the modelling error to achieve a smaller validation error by adjusting the mesh size elaborately.And the validation errors of the wave height,mass conservation and dominant frequency of regular waves under different sea states are no more than 7%,8% and 2%,respectively.For a Lv3(H_(s)=0.75 m)and a Lv6(H_(s)=5 m)regular wave,simulations are validated on the wave height in wave development section for safety factors FS≈1 and FS≈0.5-1,respectively.Regarding irregular waves,the validation errors of the significant wave height and peak frequency are both lower than 2%.展开更多
The performance of speaker verification systems is often compromised under real world environments. For example, variations in handset characteristics could cause severe performance degradation. This paper presents a...The performance of speaker verification systems is often compromised under real world environments. For example, variations in handset characteristics could cause severe performance degradation. This paper presents a novel method to overcome this problem by using a non linear handset mapper. Under this method, a mapper is constructed by training an elliptical basis function network using distorted speech features as inputs and the corresponding clean features as the desired outputs. During feature recuperation, clean features are recovered by feeding the distorted features to the feature mapper. The recovered features are then presented to a speaker model as if they were derived from clean speech. Experimental evaluations based on 258 speakers of the TIMIT and NTIMIT corpuses suggest that the feature mappers improve the verification performance remarkably.展开更多
Relatively poor in vitro rooting has limited the large-scale commercial production of tree peony.In this study,on the basis of transcriptome sequencing,differentially expressed genes and the associated metabolic pathw...Relatively poor in vitro rooting has limited the large-scale commercial production of tree peony.In this study,on the basis of transcriptome sequencing,differentially expressed genes and the associated metabolic pathways were identified in tree peony roots at different stages of root formation under sandy loam cultivation.A total of 31.63 Gb raw data were generated and 120,188 unigenes(mean length of 911.98 bp)were annotated according to six databases(NR,NT,GO,KEGG,COG,and Swiss-Prot).Analyses of the ungerminated root primordium period,induced root primordium period,and root formation period detected 8,232,6,907,and 10,687 differentially expressed genes related to 133,132,and 133 metabolic pathways,respectively.Two significantly differentially expressed genes(Unigene13430_All and CL10096.Contig1_All)were associated with the auxin pathway.The full-length Unigene13430_All coding sequence(843 bp)encoded 280 amino acids,whereas the full-length CL10096.Contig1_All coding sequence(1,470 bp)encoded 489 amino acids.Unigene13430_All and CL10096.Contig1_All were identified as IAA gene family members and were respectively named PsIAA27 and PsARF19.The qRT-PCR analysis and functional verification indicated that the expressions of PsARF19 and PsIAA27 in tree peony seedlings,cuttings and grafted seedlings were significant different.PsARF19 promoted root development,it might be a regulatory gene related to the formation of tree peony roots,while PsIAA27 inhibited lateral root development,and it might be involved in controlling auxin sensitivity during root formation.The results of this study may form the basis of future investigations on the mechanism mediating peony root formation.The transcriptome data will be an excellent resource for researchers interested in characterizing the rooting-related tree peony genes.展开更多
Saikosaponins are the major pharmacologically active components in Bupleurum genus and exhibit significant application potential in multiple fields such as immune regulation and anti-tumor activity.To elucidate the bi...Saikosaponins are the major pharmacologically active components in Bupleurum genus and exhibit significant application potential in multiple fields such as immune regulation and anti-tumor activity.To elucidate the biosynthetic pathway of saikosaponins,we identified two cytochrome P450 monooxygenases,CYP716A41 and CYP716Y4,in Bupleurum chinense.These enzymes catalyze the C-28 oxidation and C-16 hydroxylation of oleanane-type triterpene skeletons,respectively.The catalytic efficiency of CYP716A41 from a southern B.chinense variety was significantly higher than that from a northern variety.Molecular docking and mutagenesis experiments revealed that amino acid residues at sites 9 and 35 may contribute to this difference in catalytic efficiency.Additionally,under cold stress,the expression levels of both CYP450 genes and the saikosaponin contents in the leaves of southern varieties were significantly higher compared to those in northern varieties.The variation in the catalytic efficiency of CYP716A41 and the differential expression of the two CYP450 genes under cold stress during winter are associated with the differences in saikosaponin biosynthesis in the leaves of southern and northern B.chinense varieties.This is consistent with the distinct medicinal usage practices observed between southern and northern China.展开更多
Experience from past earthquakes has demonstrated the need to account for design goals beyond safety,known as functional recovery objectives,in the interest of community resilience.Frameworks have been proposed in the...Experience from past earthquakes has demonstrated the need to account for design goals beyond safety,known as functional recovery objectives,in the interest of community resilience.Frameworks have been proposed in the literature to assess the post-earthquake functional recovery of a building,but without accounting for utility systems’disruption,which may be a key contributor to determining when a building is functional.This paper integrates a previously proposed probabilistic method for estimating the post-earthquake restoration of critical utility services with an individual building’s functional recovery assessment framework.The integration was performed by incorporating utilities into the building system fault trees embedded into a functional recovery framework for various building occupancies(residential and commercial office buildings).Once incorporated,the results are used to interrogate the functional recovery of a reinforced concrete building,and the recovery time results were presented for seven cases investigating contributing factors in the functional recovery results including the number of crews available for lifeline restoration,the effect of low-quality service on meeting tenant requirements for elevators,heating ventilation and air conditioning(HVAC),plumbing and electrical systems,consideration of fire watch,the effect of building seismic retrofit,as well as different cases of fragility functions for the lifeline systems.Results showed that utility systems’disruption does not have a significant impact on the recoccupancy of a building because only one utility-dependent building system(fire suppression)is needed for the building’s safety.Unlike reoccupancy,utility systems are significant for functional recovery,mainly at moderate hazard levels because,at these levels,lifeline networks could be damaged without significant building damage,such that the lifeline systems restoration governs.Buildings with more restrictive tenant requirements are more sensitive to tenant disruptions.展开更多
As the complexity of autonomous vehicles(AVs)continues to increase and artificial intelligence algorithms are becoming increasingly ubiquitous,a novel safety concern known as the safety of the intended functionality(S...As the complexity of autonomous vehicles(AVs)continues to increase and artificial intelligence algorithms are becoming increasingly ubiquitous,a novel safety concern known as the safety of the intended functionality(SOTIF)has emerged,presenting significant challenges to the widespread deployment of AVs.SOTIF focuses on issues arising from the functional insufficiencies of the AVs’intended functionality or its implementation,apart from conventional safety considerations.From the systems engineering standpoint,this study offers a comprehensive exploration of the SOTIF landscape by reviewing academic research,practical activities,challenges,and perspectives across the development,verification,validation,and operation phases.Academic research encompasses system-level SOTIF studies and algorithm-related SOTIF issues and solutions.Moreover,it encapsulates practical SOTIF activities undertaken by corporations,government entities,and academic institutions spanning international and Chinese contexts,focusing on the overarching methodologies and practices in different phases.Finally,the paper presents future challenges and outlook pertaining to the development,verification,validation,and operation phases,motivating stakeholders to address the remaining obstacles and challenges.展开更多
This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provid...This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization.展开更多
The algorithm for evaluation of fiber orientation distribution function (ODF) by laser scattering method based on 2 - dimentional model of fiber arrangement and the method of determining diffuse scattering intensity a...The algorithm for evaluation of fiber orientation distribution function (ODF) by laser scattering method based on 2 - dimentional model of fiber arrangement and the method of determining diffuse scattering intensity are presented. The fiber ODFs of nonwoven samples measured by the computer-program-controlled laser scattering intensity testing system are compared with that of the data obtained by microprojector method. The results show that the algorithm is feasible for assessing the fiber ODFs of nonwoven fabrics manufactured by different processing methods.展开更多
A safety design applies to every stage in a satellite system development life cycle to identify and analyze hazards in the satellite at a system level, eliminating or controlling various safety risks, while verifying ...A safety design applies to every stage in a satellite system development life cycle to identify and analyze hazards in the satellite at a system level, eliminating or controlling various safety risks, while verifying the functions of the satellite system have safety characteristics, so as to optimize the satellite system for the best performance in terms of time and cost. This article comprehensively leverages such factors as satellite reliability, complexity and life cycle by considering the overall satellite safety work plan, hazard analysis, hazard sources, pyrotechnic devices and other module safety critical designs. Safety design measures were formulated to review and verify the effectiveness of system functions including a safe power supply to a satellite and pyrotechnic explosives to achieve the safety requirements of the satellite from a development stage. Safety design activities for each subsystem will ensure meeting the development requirements of the satellite system as a whole, and ensure the satellite system cannot be the cause of casualties, equipment damage, property loss, or have a health-threatening impact or detrimental impact on the environment.展开更多
Most existing multi-pattern matching algorithms are designed for single English texts leading to issues such as missed matches and space expansion when applied to Chinese-English mixed-text environments.The Hash Trie-...Most existing multi-pattern matching algorithms are designed for single English texts leading to issues such as missed matches and space expansion when applied to Chinese-English mixed-text environments.The Hash Trie-based matching machine demonstrates strong compatibility with both Chinese and English,ensuring high accuracy in text processing and subtree positioning.In this study,a novel functional framework based on the HashTrie structure is proposed and mechanically verified using Isabelle/HOL.This framework is applied to design Functional Multi-Pattern Matching(FMPM),the first functional multi-pattern matching algorithm for Chinese-English mixed texts.FMPM constructs the HashTrie matching machine using character codes and threads the machine according to the associations between pattern strings.The experimental results show that as the stored string information increases,the proposed algorithm demonstrates more significant optimization in retrieval efficiency.FMPM simplifies the implementation of the Threaded Hash Trie(THT)for Chinese-English mixed texts,effectively reducing the uncertainties in the transition from the algorithm description to code implementation.FMPM addresses the problem of space explosion Chinese-English mixed texts and avoids issues such as bound variable iteration errors.The functional framework of the HashTrie structure serves as a reference for the formal verification of future HashTrie-based algorithms.展开更多
基金National Natural Science Foundation of China under Grant No.52278534the Sichuan Provincial Natural Science Foundation of China under Grant No.2022NSFSC0423。
文摘Quantifying the post-earthquake functional recovery of railway stations presents significant challenges.This paper first establishes a post-earthquake function calculation method for railway stations,encompassing the establishment of relationships between the station’s function and the damage state,function loss,and failure probability of components and professional equipment in each layer.Also,the“4 stages-6 sequences”post-earthquake repair method is present,taking into account the functional and structural characteristics of railway stations.Additionally,a novel piecewise function for the post-earthquake functional dynamic recovery of railway stations is developed.A case study is conducted on a typical railway station to demonstrate the analysis procedure.Results indicate that under fortification,rare,and extremely rare earthquake scenarios,the interlayer drift ratio(IDR)of the railway station were 1/276,1/143,and 1/52,respectively,and corresponding peak floor acceleration(PFA)were 6.31 m/s^(2),7.82 m/s^(2),and 8.57 m/s^(2),respectively.The post-earthquake function of the railway station was 93.21%,82.33%,and 64.16%of its initial function.The repair times were 6.66 days,18.65 days,and 37.42 days.The displacement-sensitive,non-structural components were identified as the most vulnerable to damage.And the first repair stage(R_(1))which was mainly used to repair structural components and non-structural transport components,accounted for the highest proportion of total repair time.
基金supported by the National High Technology Research and Development Program of China (863 Program) (2002AA1Z1490)Specialized Research Fund for the Doctoral Program of Higher Education (20040486049)the University Cooperative Research Fund of Huawei Technology Co., Ltd
文摘In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.
基金funded by the Henan Key Laboratory of Brain Science and Brain-Computer Interface Technology(grant no.HNBBL17004)The reviewers are thanked for their helpful advice.
文摘Animal robots have outstanding advantages over traditional robots in their own energy supplies,orientation,and natural concealment,delivering significant value in the theories and applications of neural science,national security,and other fields.Presently,many animal robots have been fabricated,but researches about the applications of avian robots are still lacking.In this study,we constructed a Pigeon Robot System(PRS),optimized the electric stimulation parameters,assessed the electric stimulus of navigation,and evaluated the navigation efficiency in the field.Biphasic pulse constant current pattern was adapted,and the optimal stimulus parameters of 4 nuclei tested were of amplitude 0.3 mA,5 pulse trains,frequency 25 Hz,5 pulses,and a 25%duty cycle.Effective ratio of left and right steering behavior response to electric stimulus dorsointermedius ventralis anterior nuclei was 67%and 83%,respectively(mean value 75%).Electrical stimulation efficiency was 0.34-0.68 and path efficiency was 0.72-0.85 among pigeon robot individuals in the open field.Neither electrical stimulation efficiency nor path efficiency differed significantly(P>0.05),suggesting that the navigational PRS performance was not biased in either direction.PRS can achieve continuous navigation along simple pathways and provide the necessary application infrastructure and technical reference for the development of animal robot navigation technology.
基金supported by the National Key R&D Program of China(Grant No.2022YFB3303500).
文摘systematic verification and validation(V&V)of our previously proposed momentum source wave generation method is performed.Some settings of previous numerical wave tanks(NWTs)of regular and irregular waves have been optimized.The H2-5 V&V method involving five mesh sizes with mesh refinement ratio being 1.225 is used to verify the NWT of regular waves,in which the wave height and mass conservation are mainly considered based on a Lv3(H s=0.75 m)and a Lv6(H s=5 m)regular wave.Additionally,eight different sea states are chosen to validate the wave height,mass conservation and wave frequency of regular waves.Regarding the NWT of irregular waves,five different sea states with significant wave heights ranging from 0.09 m to 12.5 m are selected to validate the statistical characteristics of irregular waves,including the profile of the wave spectrum,peak frequency and significant wave height.Results show that the verification errors for Lv3 and Lv6 regular wave on the most refined grid are−0.018 and−0.35 for wave height,respectively,and−0.14 and for−0.17 mass conservation,respectively.The uncertainty estimation analysis shows that the numerical error could be partially balanced out by the modelling error to achieve a smaller validation error by adjusting the mesh size elaborately.And the validation errors of the wave height,mass conservation and dominant frequency of regular waves under different sea states are no more than 7%,8% and 2%,respectively.For a Lv3(H_(s)=0.75 m)and a Lv6(H_(s)=5 m)regular wave,simulations are validated on the wave height in wave development section for safety factors FS≈1 and FS≈0.5-1,respectively.Regarding irregular waves,the validation errors of the significant wave height and peak frequency are both lower than 2%.
文摘The performance of speaker verification systems is often compromised under real world environments. For example, variations in handset characteristics could cause severe performance degradation. This paper presents a novel method to overcome this problem by using a non linear handset mapper. Under this method, a mapper is constructed by training an elliptical basis function network using distorted speech features as inputs and the corresponding clean features as the desired outputs. During feature recuperation, clean features are recovered by feeding the distorted features to the feature mapper. The recovered features are then presented to a speaker model as if they were derived from clean speech. Experimental evaluations based on 258 speakers of the TIMIT and NTIMIT corpuses suggest that the feature mappers improve the verification performance remarkably.
基金financially supported by the National Key Research and Development Program of China(Grant No.2020YFD1000503)the Natural Science Foundation of China(Grant Nos.31870698,32001353)+1 种基金the Key Scientific and Technological Projects of Henan Province(Grant No.202102110083)the Science and Technology Program of Shanghai(Grant No.21DZ1202000).
文摘Relatively poor in vitro rooting has limited the large-scale commercial production of tree peony.In this study,on the basis of transcriptome sequencing,differentially expressed genes and the associated metabolic pathways were identified in tree peony roots at different stages of root formation under sandy loam cultivation.A total of 31.63 Gb raw data were generated and 120,188 unigenes(mean length of 911.98 bp)were annotated according to six databases(NR,NT,GO,KEGG,COG,and Swiss-Prot).Analyses of the ungerminated root primordium period,induced root primordium period,and root formation period detected 8,232,6,907,and 10,687 differentially expressed genes related to 133,132,and 133 metabolic pathways,respectively.Two significantly differentially expressed genes(Unigene13430_All and CL10096.Contig1_All)were associated with the auxin pathway.The full-length Unigene13430_All coding sequence(843 bp)encoded 280 amino acids,whereas the full-length CL10096.Contig1_All coding sequence(1,470 bp)encoded 489 amino acids.Unigene13430_All and CL10096.Contig1_All were identified as IAA gene family members and were respectively named PsIAA27 and PsARF19.The qRT-PCR analysis and functional verification indicated that the expressions of PsARF19 and PsIAA27 in tree peony seedlings,cuttings and grafted seedlings were significant different.PsARF19 promoted root development,it might be a regulatory gene related to the formation of tree peony roots,while PsIAA27 inhibited lateral root development,and it might be involved in controlling auxin sensitivity during root formation.The results of this study may form the basis of future investigations on the mechanism mediating peony root formation.The transcriptome data will be an excellent resource for researchers interested in characterizing the rooting-related tree peony genes.
基金supported by CARS(CARS-21),the CAMS Innovation Fund for Medical Sciences(2021-I2M-1-032)the Science and Technology Department of Xizang(XZ202401ZY0020)+2 种基金the Science and Technology Department of Sichuan Province(2023YFH0044,2023YFH0018)the Sichuan Province Science Foundation for Distinguished Young Scholars(2022JDJQ0006)the Doctoral Fund of Southwest University of Science and Technology(19ZX7117,21ZX7116).
文摘Saikosaponins are the major pharmacologically active components in Bupleurum genus and exhibit significant application potential in multiple fields such as immune regulation and anti-tumor activity.To elucidate the biosynthetic pathway of saikosaponins,we identified two cytochrome P450 monooxygenases,CYP716A41 and CYP716Y4,in Bupleurum chinense.These enzymes catalyze the C-28 oxidation and C-16 hydroxylation of oleanane-type triterpene skeletons,respectively.The catalytic efficiency of CYP716A41 from a southern B.chinense variety was significantly higher than that from a northern variety.Molecular docking and mutagenesis experiments revealed that amino acid residues at sites 9 and 35 may contribute to this difference in catalytic efficiency.Additionally,under cold stress,the expression levels of both CYP450 genes and the saikosaponin contents in the leaves of southern varieties were significantly higher compared to those in northern varieties.The variation in the catalytic efficiency of CYP716A41 and the differential expression of the two CYP450 genes under cold stress during winter are associated with the differences in saikosaponin biosynthesis in the leaves of southern and northern B.chinense varieties.This is consistent with the distinct medicinal usage practices observed between southern and northern China.
基金Financial support for this work was provided by the US Depart-ment of Commerce,National Institute of Standards and Technology un-der the Financial Assistance Award Number#70NANB19H058.
文摘Experience from past earthquakes has demonstrated the need to account for design goals beyond safety,known as functional recovery objectives,in the interest of community resilience.Frameworks have been proposed in the literature to assess the post-earthquake functional recovery of a building,but without accounting for utility systems’disruption,which may be a key contributor to determining when a building is functional.This paper integrates a previously proposed probabilistic method for estimating the post-earthquake restoration of critical utility services with an individual building’s functional recovery assessment framework.The integration was performed by incorporating utilities into the building system fault trees embedded into a functional recovery framework for various building occupancies(residential and commercial office buildings).Once incorporated,the results are used to interrogate the functional recovery of a reinforced concrete building,and the recovery time results were presented for seven cases investigating contributing factors in the functional recovery results including the number of crews available for lifeline restoration,the effect of low-quality service on meeting tenant requirements for elevators,heating ventilation and air conditioning(HVAC),plumbing and electrical systems,consideration of fire watch,the effect of building seismic retrofit,as well as different cases of fragility functions for the lifeline systems.Results showed that utility systems’disruption does not have a significant impact on the recoccupancy of a building because only one utility-dependent building system(fire suppression)is needed for the building’s safety.Unlike reoccupancy,utility systems are significant for functional recovery,mainly at moderate hazard levels because,at these levels,lifeline networks could be damaged without significant building damage,such that the lifeline systems restoration governs.Buildings with more restrictive tenant requirements are more sensitive to tenant disruptions.
基金supported by the National Science Foundation of China Project(52072215,U1964203,52242213,and 52221005)National Key Research and Development(R&D)Program of China(2022YFB2503003)State Key Laboratory of Intelligent Green Vehicle and Mobility。
文摘As the complexity of autonomous vehicles(AVs)continues to increase and artificial intelligence algorithms are becoming increasingly ubiquitous,a novel safety concern known as the safety of the intended functionality(SOTIF)has emerged,presenting significant challenges to the widespread deployment of AVs.SOTIF focuses on issues arising from the functional insufficiencies of the AVs’intended functionality or its implementation,apart from conventional safety considerations.From the systems engineering standpoint,this study offers a comprehensive exploration of the SOTIF landscape by reviewing academic research,practical activities,challenges,and perspectives across the development,verification,validation,and operation phases.Academic research encompasses system-level SOTIF studies and algorithm-related SOTIF issues and solutions.Moreover,it encapsulates practical SOTIF activities undertaken by corporations,government entities,and academic institutions spanning international and Chinese contexts,focusing on the overarching methodologies and practices in different phases.Finally,the paper presents future challenges and outlook pertaining to the development,verification,validation,and operation phases,motivating stakeholders to address the remaining obstacles and challenges.
文摘This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization.
基金This project is supported by Key Subject Foundation of Shanghai Educational Committee.
文摘The algorithm for evaluation of fiber orientation distribution function (ODF) by laser scattering method based on 2 - dimentional model of fiber arrangement and the method of determining diffuse scattering intensity are presented. The fiber ODFs of nonwoven samples measured by the computer-program-controlled laser scattering intensity testing system are compared with that of the data obtained by microprojector method. The results show that the algorithm is feasible for assessing the fiber ODFs of nonwoven fabrics manufactured by different processing methods.
文摘A safety design applies to every stage in a satellite system development life cycle to identify and analyze hazards in the satellite at a system level, eliminating or controlling various safety risks, while verifying the functions of the satellite system have safety characteristics, so as to optimize the satellite system for the best performance in terms of time and cost. This article comprehensively leverages such factors as satellite reliability, complexity and life cycle by considering the overall satellite safety work plan, hazard analysis, hazard sources, pyrotechnic devices and other module safety critical designs. Safety design measures were formulated to review and verify the effectiveness of system functions including a safe power supply to a satellite and pyrotechnic explosives to achieve the safety requirements of the satellite from a development stage. Safety design activities for each subsystem will ensure meeting the development requirements of the satellite system as a whole, and ensure the satellite system cannot be the cause of casualties, equipment damage, property loss, or have a health-threatening impact or detrimental impact on the environment.
基金Supported by the National Natural Science Foundation of China(62462036,62462037)Jiangxi Provincial Natural Science Foundation(20242BAB26017,20232BAB202010)+1 种基金Cultivation Project for Academic and Technical Leader in Major Disciplines in Jiangxi Province(20232BCJ22013)the Jiangxi Province Graduate Innovation Found Project(YC2024-S214)。
文摘Most existing multi-pattern matching algorithms are designed for single English texts leading to issues such as missed matches and space expansion when applied to Chinese-English mixed-text environments.The Hash Trie-based matching machine demonstrates strong compatibility with both Chinese and English,ensuring high accuracy in text processing and subtree positioning.In this study,a novel functional framework based on the HashTrie structure is proposed and mechanically verified using Isabelle/HOL.This framework is applied to design Functional Multi-Pattern Matching(FMPM),the first functional multi-pattern matching algorithm for Chinese-English mixed texts.FMPM constructs the HashTrie matching machine using character codes and threads the machine according to the associations between pattern strings.The experimental results show that as the stored string information increases,the proposed algorithm demonstrates more significant optimization in retrieval efficiency.FMPM simplifies the implementation of the Threaded Hash Trie(THT)for Chinese-English mixed texts,effectively reducing the uncertainties in the transition from the algorithm description to code implementation.FMPM addresses the problem of space explosion Chinese-English mixed texts and avoids issues such as bound variable iteration errors.The functional framework of the HashTrie structure serves as a reference for the formal verification of future HashTrie-based algorithms.
