With the rapid development of Internet technology,REST APIs(Representational State Transfer Application Programming Interfaces)have become the primary communication standard in modern microservice architectures,raisin...With the rapid development of Internet technology,REST APIs(Representational State Transfer Application Programming Interfaces)have become the primary communication standard in modern microservice architectures,raising increasing concerns about their security.Existing fuzz testing methods include random or dictionary-based input generation,which often fail to ensure both syntactic and semantic correctness,and OpenAPIbased approaches,which offer better accuracy but typically lack detailed descriptions of endpoints,parameters,or data formats.To address these issues,this paper proposes the APIDocX fuzz testing framework.It introduces a crawler tailored for dynamic web pages that automatically simulates user interactions to trigger APIs,capturing and extracting parameter information from communication packets.A multi-endpoint parameter adaptation method based on improved Jaccard similarity is then used to generalize these parameters to other potential API endpoints,filling in gaps in OpenAPI specifications.Experimental results demonstrate that the extracted parameters can be generalized with 79.61%accuracy.Fuzz testing using the enriched OpenAPI documents leads to improvements in test coverage,the number of valid test cases generated,and fault detection capabilities.This approach offers an effective enhancement to automated REST API security testing.展开更多
This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-sta...This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-state opacity cannot completely characterize higher-level security. To ensure the higher-level security requirements of a time-dependent system, we propose a strong version of opacity known as strong current-state opacity. For any path(state-event sequence with time information)π derived from a real-time observation that ends at a secret state, the strong current-state opacity of the real-time observation signifies that there is a non-secret path with the same real-time observation as π. We propose general and non-secret state class graphs, which characterize the general and non-secret states of time-dependent systems, respectively. To capture the observable behavior of non-secret states, a non-secret observer is proposed.Finally, we develop a structure called a real-time concurrent verifier to verify the strong current-state opacity of time labeled Petri nets. This approach is efficient since the real-time concurrent verifier can be constructed by solving a certain number of linear programming problems.展开更多
Regard to the real-time dynamic digital twin modelling problem of a new-type distribution network that includes distributed resources such as distributed photovoltaic,energy storage,charging pile,and electric vehicle,...Regard to the real-time dynamic digital twin modelling problem of a new-type distribution network that includes distributed resources such as distributed photovoltaic,energy storage,charging pile,and electric vehicle,a new-type distribution network digital twin topology modeling method based on Common Information Model(CIM)specifications and spectral clustering is proposed.Firstly,according to the specifications of the CIM standard,the digital twin topology models of distributed resources are extended and established.Secondly,based on the digital twin topology models of distributed resources,a digital twin aggregation modelling method for new-type distribution network is proposed based on spectral clustering.Furthermore,an online linked update strategy for the digital twin model of new-type distribution network that integrates real-time topology states is proposed.Finally,a case study is conducted on a distribution network in a certain demonstration area in China,and the results verify the practicability and effectiveness of the method proposed in this paper.This lays the foundation for the application of electrical network twin analysis,such as power flow calculation,optimal power flow,economic dispatch,and safety check,in a new-type distribution network that includes diversified distributed resources.展开更多
This article outlines the technical specifications of super minimally invasive stepwise full-thickness resection surgery for colorectal cancer(sft-SMIR).sft-SMIR is a super minimally invasive surgery performed through...This article outlines the technical specifications of super minimally invasive stepwise full-thickness resection surgery for colorectal cancer(sft-SMIR).sft-SMIR is a super minimally invasive surgery performed through natural orifices,combining endoscopic submucosal dissection(ESD)and full-thickness resection(EFTR)techniques,aimed at curing the disease while maximizing the preservation of the structure and function of the colorectal organs.The article specifies that this technique is suitable for early colon cancer,early rectal cancer,and locally advanced low rectal cancer after neoadjuvant therapy,detailing its indications and contraindications.It emphasizes the importance of multidisciplinary team(MDT)assessment,meticulous preoperative imaging and endoscopic evaluation,standardized intraoperative procedures(including marking,dissection,traction,full-thickness resection,and wound closure),as well as rigorous postoperative management and follow-up processes.Additionally,the expert consensus highlights the need for a strong focus on infection prevention and the establishment of standardized training and quality control systems to promote the safe and standardized application of this difficult endoscopic technique.展开更多
Probiotics can regulate the body’s immune system through both non-specific and specific immunity,thereby regulating host health.In terms of non-specific immune regulation,probiotics can activate the intrinsic immune ...Probiotics can regulate the body’s immune system through both non-specific and specific immunity,thereby regulating host health.In terms of non-specific immune regulation,probiotics can activate the intrinsic immune system,regulate the mucosal barrier function,and play an immune role by influencing the activity of intrinsic immune cells such as macrophages,dendritic cells and natural killer cells,as well as their differentiation and maturation;in terms of specific immune regulation,probiotics play a role in regulating the immunoglobulin level and the maturation of B cells.Probiotics can also regulate T-cell differentiation according to the condition of the body,thus regulating specific immunity.Many studies have focused on the role of probiotics in metabolism and nutrition,and the mechanisms involved in the immunomodulatory role of probiotics have only been partially described.This review summarises the role of common probiotics such as Lactobacillus plantarum and Lactobacillus rhamnosus in immunomodulation as well as their mechanisms,describing the currently known mechanisms of immunomodulation by probiotics in improving the host immune system.A deeper understanding of probiotics and their specific mechanisms of action will facilitate the use of probiotics for immunomodulation in clinical medicine,functional foods,and other areas.This will also contribute to the development and research of engineered probiotics,next-generation probiotics,and other new functional probiotics with immunomodulatory effects.展开更多
The genus Actinidia is primarily functionally dioecious,and early sex identification plays a crucial role in improving breeding efficiency and reducing production costs.In this study,the accuracy of three sex-linked m...The genus Actinidia is primarily functionally dioecious,and early sex identification plays a crucial role in improving breeding efficiency and reducing production costs.In this study,the accuracy of three sex-linked molecular markers(SyGI[Shy Girl],FrBy[Friendly Boy],and SmY1)in sex identification was evaluated in various Actinidia species.The selected marker products were subsequently cloned and sequenced in six wild Actinidia species.Ninety-six wild A.chinensis chinensis accessions and 74 A.chinensis deliciosa accessions,most of which were wild,with only one cultivated,were used for comprehensive primer validation.Thirty-three juvenile A.chinensis chinensis hybrid seedlings were used for practical application tests.The results showed that the marker SyGI accurately identified the sex of 20 samples from six Actinidia species and 96 A.chinensis chinensis accessions with 100%reliability.For Actinidia chinensis deliciosa,the identification accuracy reached 98.65%.Sequence analysis revealed that SyGI shared the highest similarity with the male-specific genomic region.Furthermore,SyGI achieved 100%accuracy in identifying the sex of 33 juvenile A.chinensis chinensis individuals.The findings confirm that the SyGI marker possesses high accuracy,strong specificity,and broad applicability,making it a valuable tool for kiwifruit breeding programs.The cloned sequences from wild Actinidia species also provide important references for future research on the mechanisms of sexual evolution and determination.展开更多
The brain's functions are governed by molecular metabolic networks.However,due to the sophisticated spatial organization and diverse activities of the brain,characterizing both the minute and large-scale metabolic...The brain's functions are governed by molecular metabolic networks.However,due to the sophisticated spatial organization and diverse activities of the brain,characterizing both the minute and large-scale metabolic activity across the entire brain and its numerous micro-regions remains incredibly challenging.Here,we offer a high-definition spatially resolved metabolomics technique to better understand the metabolic specialization and interconnection throughout the mouse brain using improved ambient mass spectrometry imaging.This method allows for the simultaneous mapping of thousands of metabolites at a 30 μm spatial resolution across the mouse brain,ranging from structural lipids to functional neurotransmitters.This approach effectively reveals the distribution patterns of delicate microregions and their distinctive metabolic characteristics.Using an integrated database,we annotated 259 metabolites,demonstrating that the metabolome and metabolic pathways are unique to each brain microregion.The distribution of metabolites,closely linked to functionally connected brain regions and their interactions,offers profound insights into the complexity of chemical processes and their roles in brain function.An initial dataset for future metabolomics research might be obtained from the high-definition mouse brain's spatial metabolome atlas.展开更多
Prostate-specific membrane antigen(PSMA)is a surface membrane antigen that is highly overexpressed in prostate cancer,with heterogenous expression throughout the natural history of the disease.This has generated signi...Prostate-specific membrane antigen(PSMA)is a surface membrane antigen that is highly overexpressed in prostate cancer,with heterogenous expression throughout the natural history of the disease.This has generated significant interest as a potential biomarker for use in early diagnosis and treatment of prostate cancer.We reviewed the literature surrounding PSMA and its current clinical applications in diagnosing and managing early prostate cancer that is confined to the prostate and local lymph nodes.A search on PubMed,Medline,and Web of Science was performed using the following keywords:“PSMA”,“Prostate Specific Membrane Antigen”,“Prostate cancer”,“Biomarker”,“Diagnosis”.We considered all available articles relevant to the topic of PSMA as a biomarker in early prostate cancer when developing this narrative review.Key articles assessing the biology of PSMA,as well as its use as a potential diagnostic and therapeutic target in early prostate cancer,were assessed.The role of PSMA PET as a potential diagnostic and risk stratification tool was assessed.The current use of antibody-drug conjugates and radioligand therapy targeting PSMA was assessed,along with any current evidence to support their use in early prostate cancer.PSMA is heavily expressed throughout the early stages of prostate cancer,and this has significant therapeutic implications.There is a growing body of evidence that shows PSMA PET can play a role in the diagnosis,risk stratification,and prognostication of localised prostate cancer.PSMA-targeted therapies such as Lu-177 currently do not have any proven benefit in treating early prostate cancer;however,this remains an area of ongoing research.展开更多
Coconut(Cocos nucifera L.),a major oil and fruit crop of the Arecaceae family,is extensively cultivated across the Asia—Pacific region.Despite its agricultural importance,genome assembly in coconut remains challengin...Coconut(Cocos nucifera L.),a major oil and fruit crop of the Arecaceae family,is extensively cultivated across the Asia—Pacific region.Despite its agricultural importance,genome assembly in coconut remains challenging due to its large genome size and high proportion of repetitive sequences.Allele-specific expression(ASE)plays a key role in regulating plant development and evolution,yet research on ASE in coconut is limited(Shao et al.,2019;Li et al.,2021;Zhang et al.,2021;Hu et al.,2022).Among phenotypic traits,fruit color is especially important as an indicator of maturity,guiding harvest timing and post-harvest processes(Kapoor et al.,2022).While prior studies have explored various coconut traits such as salt tolerance,fiber content,and plant height(Wang et al.,2021;Yang et al.,2021),investigations into ASE and fruit color remain scarce.展开更多
Coherence analysis is a powerful tool in seismic interpretation for imaging geological discontinuities such as faults and fractures. However, subtle faults or fractures of one stratum are difficult to be distinguished...Coherence analysis is a powerful tool in seismic interpretation for imaging geological discontinuities such as faults and fractures. However, subtle faults or fractures of one stratum are difficult to be distinguished on coherence sections （time slices or profiles） due to interferences from adjacent strata, especially these with strong reflectivity. In this paper, we propose a coherence enhancement method which applies local histogram specification （LHS） techniques to enhance subtle faults or fractures in the coherence cubes. Unlike the traditional histogram specification （HS） algorithm, our method processes 3D coherence data without discretization. This method partitions a coherence cube into many sub-blocks and self-adaptively specifies the target distribution in each block based on the whole distribution of the coherence cube. Furthermore, the neighboring blocks are partially overlapped to reduce the edge effect. Applications to real datasets show that the new method enhances the details of subtle faults and fractures noticeably.展开更多
s: The farmland shelterbelts in Northeastern Plain of China have formed relatively complete net system. The func-tions of shelterbelt net in omnibearing wind check and prevention of frostbite as well as the field of ...s: The farmland shelterbelts in Northeastern Plain of China have formed relatively complete net system. The func-tions of shelterbelt net in omnibearing wind check and prevention of frostbite as well as the field of integrated climate effect within shelterbelt net were analyzed, through located observation of meteorological factors. Within the shelterbelt net, the area with more than 10% efficiency of omnibearing wind check was determined as benefited area. The analysis of yield and quality of crops indicated that the sheltering range of shelterbelt net was 25 times tree height. The mature heights of the various varieties of poplar composed the shelterbelts were determined according to their height growth. Based on the comprehensive analysis above, the suitable size of farmland shelterbelt net in Northeastern Plain of China was decided to be 400 m×400 m.展开更多
Traditional air conditioner used to be in local control mode. However, with the development of modern information technology, the control of air conditioner will have to support many more functions. As a first step ...Traditional air conditioner used to be in local control mode. However, with the development of modern information technology, the control of air conditioner will have to support many more functions. As a first step in such a development, we have implemented a remote monitoring system of unitary air conditioners, using the manufacturing message specification (MMS). MMS is an OSI application protocol designed for the remote control and monitoring of real devices. The functions supported are those that an operator would do normally at the console of the unitary air conditioner. Due to the accomplishment of UMCS (Unitary air conditioner MMS Control System), there will be a leap of the application of MMS and the control technology of unitary air conditioner.展开更多
On the software module, this paper proposes a visual specification language(VSL). Based on decomposition, the language imitates men's thinking procedure that decomposes aproblem into smaller ones, then independent...On the software module, this paper proposes a visual specification language(VSL). Based on decomposition, the language imitates men's thinking procedure that decomposes aproblem into smaller ones, then independently solves the results of every small problem to get theresult of original problem (decomposition and synthesis). Besides, the language mixes visual withspecification. With computer supporting, we can implement the software module automatically. It willgreatly improve the quality of software and raise the efficiency of software development. Thesimple definition of VSL, the principle of auto-generation, an example and the future research areintroduced.展开更多
基金supported by the Open Foundation of Key Laboratory of Cyberspace Security,Ministry of Education of China(KLCS20240211)。
文摘With the rapid development of Internet technology,REST APIs(Representational State Transfer Application Programming Interfaces)have become the primary communication standard in modern microservice architectures,raising increasing concerns about their security.Existing fuzz testing methods include random or dictionary-based input generation,which often fail to ensure both syntactic and semantic correctness,and OpenAPIbased approaches,which offer better accuracy but typically lack detailed descriptions of endpoints,parameters,or data formats.To address these issues,this paper proposes the APIDocX fuzz testing framework.It introduces a crawler tailored for dynamic web pages that automatically simulates user interactions to trigger APIs,capturing and extracting parameter information from communication packets.A multi-endpoint parameter adaptation method based on improved Jaccard similarity is then used to generalize these parameters to other potential API endpoints,filling in gaps in OpenAPI specifications.Experimental results demonstrate that the extracted parameters can be generalized with 79.61%accuracy.Fuzz testing using the enriched OpenAPI documents leads to improvements in test coverage,the number of valid test cases generated,and fault detection capabilities.This approach offers an effective enhancement to automated REST API security testing.
基金supported by the Special Fund for Scientific and Technological Innovation Strategy of Guangdong Province(2022A0505030025)the Science and Technology Fund,FDCT,Macao SAR(0064/2021/A2)
文摘This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-state opacity cannot completely characterize higher-level security. To ensure the higher-level security requirements of a time-dependent system, we propose a strong version of opacity known as strong current-state opacity. For any path(state-event sequence with time information)π derived from a real-time observation that ends at a secret state, the strong current-state opacity of the real-time observation signifies that there is a non-secret path with the same real-time observation as π. We propose general and non-secret state class graphs, which characterize the general and non-secret states of time-dependent systems, respectively. To capture the observable behavior of non-secret states, a non-secret observer is proposed.Finally, we develop a structure called a real-time concurrent verifier to verify the strong current-state opacity of time labeled Petri nets. This approach is efficient since the real-time concurrent verifier can be constructed by solving a certain number of linear programming problems.
基金Supported by Science and Technology Project of State Grid Corporation of China(5108-202218280A-2-396-XG).
文摘Regard to the real-time dynamic digital twin modelling problem of a new-type distribution network that includes distributed resources such as distributed photovoltaic,energy storage,charging pile,and electric vehicle,a new-type distribution network digital twin topology modeling method based on Common Information Model(CIM)specifications and spectral clustering is proposed.Firstly,according to the specifications of the CIM standard,the digital twin topology models of distributed resources are extended and established.Secondly,based on the digital twin topology models of distributed resources,a digital twin aggregation modelling method for new-type distribution network is proposed based on spectral clustering.Furthermore,an online linked update strategy for the digital twin model of new-type distribution network that integrates real-time topology states is proposed.Finally,a case study is conducted on a distribution network in a certain demonstration area in China,and the results verify the practicability and effectiveness of the method proposed in this paper.This lays the foundation for the application of electrical network twin analysis,such as power flow calculation,optimal power flow,economic dispatch,and safety check,in a new-type distribution network that includes diversified distributed resources.
基金National Key Research and Development Program of China(Project No.:2022YFC2503600)。
文摘This article outlines the technical specifications of super minimally invasive stepwise full-thickness resection surgery for colorectal cancer(sft-SMIR).sft-SMIR is a super minimally invasive surgery performed through natural orifices,combining endoscopic submucosal dissection(ESD)and full-thickness resection(EFTR)techniques,aimed at curing the disease while maximizing the preservation of the structure and function of the colorectal organs.The article specifies that this technique is suitable for early colon cancer,early rectal cancer,and locally advanced low rectal cancer after neoadjuvant therapy,detailing its indications and contraindications.It emphasizes the importance of multidisciplinary team(MDT)assessment,meticulous preoperative imaging and endoscopic evaluation,standardized intraoperative procedures(including marking,dissection,traction,full-thickness resection,and wound closure),as well as rigorous postoperative management and follow-up processes.Additionally,the expert consensus highlights the need for a strong focus on infection prevention and the establishment of standardized training and quality control systems to promote the safe and standardized application of this difficult endoscopic technique.
基金funded by Ausnutria-kabrita Research Fund(RS2022-14).
文摘Probiotics can regulate the body’s immune system through both non-specific and specific immunity,thereby regulating host health.In terms of non-specific immune regulation,probiotics can activate the intrinsic immune system,regulate the mucosal barrier function,and play an immune role by influencing the activity of intrinsic immune cells such as macrophages,dendritic cells and natural killer cells,as well as their differentiation and maturation;in terms of specific immune regulation,probiotics play a role in regulating the immunoglobulin level and the maturation of B cells.Probiotics can also regulate T-cell differentiation according to the condition of the body,thus regulating specific immunity.Many studies have focused on the role of probiotics in metabolism and nutrition,and the mechanisms involved in the immunomodulatory role of probiotics have only been partially described.This review summarises the role of common probiotics such as Lactobacillus plantarum and Lactobacillus rhamnosus in immunomodulation as well as their mechanisms,describing the currently known mechanisms of immunomodulation by probiotics in improving the host immune system.A deeper understanding of probiotics and their specific mechanisms of action will facilitate the use of probiotics for immunomodulation in clinical medicine,functional foods,and other areas.This will also contribute to the development and research of engineered probiotics,next-generation probiotics,and other new functional probiotics with immunomodulatory effects.
基金funded by Sichuan Science and Technology Program,grant numbers 2021YFYZ0010,2023YFH0006,2025YFHZ0295The Basic Research Program of Sichuan Provincial Research Institutes,grant numbers 2024JDKY0001 and 2023JDKY0001.
文摘The genus Actinidia is primarily functionally dioecious,and early sex identification plays a crucial role in improving breeding efficiency and reducing production costs.In this study,the accuracy of three sex-linked molecular markers(SyGI[Shy Girl],FrBy[Friendly Boy],and SmY1)in sex identification was evaluated in various Actinidia species.The selected marker products were subsequently cloned and sequenced in six wild Actinidia species.Ninety-six wild A.chinensis chinensis accessions and 74 A.chinensis deliciosa accessions,most of which were wild,with only one cultivated,were used for comprehensive primer validation.Thirty-three juvenile A.chinensis chinensis hybrid seedlings were used for practical application tests.The results showed that the marker SyGI accurately identified the sex of 20 samples from six Actinidia species and 96 A.chinensis chinensis accessions with 100%reliability.For Actinidia chinensis deliciosa,the identification accuracy reached 98.65%.Sequence analysis revealed that SyGI shared the highest similarity with the male-specific genomic region.Furthermore,SyGI achieved 100%accuracy in identifying the sex of 33 juvenile A.chinensis chinensis individuals.The findings confirm that the SyGI marker possesses high accuracy,strong specificity,and broad applicability,making it a valuable tool for kiwifruit breeding programs.The cloned sequences from wild Actinidia species also provide important references for future research on the mechanisms of sexual evolution and determination.
基金financial support from the National Natural Science Foundation of China (Nos.82473887 and 21927808)the Scientific and Technological Innovation Program of Shanghai (No.23DZ2202500)the CAMS Innovation Fund for Medical Sciences (No.2021-1-I2M-026)。
文摘The brain's functions are governed by molecular metabolic networks.However,due to the sophisticated spatial organization and diverse activities of the brain,characterizing both the minute and large-scale metabolic activity across the entire brain and its numerous micro-regions remains incredibly challenging.Here,we offer a high-definition spatially resolved metabolomics technique to better understand the metabolic specialization and interconnection throughout the mouse brain using improved ambient mass spectrometry imaging.This method allows for the simultaneous mapping of thousands of metabolites at a 30 μm spatial resolution across the mouse brain,ranging from structural lipids to functional neurotransmitters.This approach effectively reveals the distribution patterns of delicate microregions and their distinctive metabolic characteristics.Using an integrated database,we annotated 259 metabolites,demonstrating that the metabolome and metabolic pathways are unique to each brain microregion.The distribution of metabolites,closely linked to functionally connected brain regions and their interactions,offers profound insights into the complexity of chemical processes and their roles in brain function.An initial dataset for future metabolomics research might be obtained from the high-definition mouse brain's spatial metabolome atlas.
文摘Prostate-specific membrane antigen(PSMA)is a surface membrane antigen that is highly overexpressed in prostate cancer,with heterogenous expression throughout the natural history of the disease.This has generated significant interest as a potential biomarker for use in early diagnosis and treatment of prostate cancer.We reviewed the literature surrounding PSMA and its current clinical applications in diagnosing and managing early prostate cancer that is confined to the prostate and local lymph nodes.A search on PubMed,Medline,and Web of Science was performed using the following keywords:“PSMA”,“Prostate Specific Membrane Antigen”,“Prostate cancer”,“Biomarker”,“Diagnosis”.We considered all available articles relevant to the topic of PSMA as a biomarker in early prostate cancer when developing this narrative review.Key articles assessing the biology of PSMA,as well as its use as a potential diagnostic and therapeutic target in early prostate cancer,were assessed.The role of PSMA PET as a potential diagnostic and risk stratification tool was assessed.The current use of antibody-drug conjugates and radioligand therapy targeting PSMA was assessed,along with any current evidence to support their use in early prostate cancer.PSMA is heavily expressed throughout the early stages of prostate cancer,and this has significant therapeutic implications.There is a growing body of evidence that shows PSMA PET can play a role in the diagnosis,risk stratification,and prognostication of localised prostate cancer.PSMA-targeted therapies such as Lu-177 currently do not have any proven benefit in treating early prostate cancer;however,this remains an area of ongoing research.
基金supported by Central Public-interest Scientific Institution Basal Research Fund(CATAS-Nos.1630152023007,1630152023011,1630152023012,1630152023013)the National Natural Science Foundation of China(Grant No.32071805).
文摘Coconut(Cocos nucifera L.),a major oil and fruit crop of the Arecaceae family,is extensively cultivated across the Asia—Pacific region.Despite its agricultural importance,genome assembly in coconut remains challenging due to its large genome size and high proportion of repetitive sequences.Allele-specific expression(ASE)plays a key role in regulating plant development and evolution,yet research on ASE in coconut is limited(Shao et al.,2019;Li et al.,2021;Zhang et al.,2021;Hu et al.,2022).Among phenotypic traits,fruit color is especially important as an indicator of maturity,guiding harvest timing and post-harvest processes(Kapoor et al.,2022).While prior studies have explored various coconut traits such as salt tolerance,fiber content,and plant height(Wang et al.,2021;Yang et al.,2021),investigations into ASE and fruit color remain scarce.
基金sponsored by Important National Science and Technology Specific Projects of China (Grant No.2008ZX05023-005-011 and No. 2008ZX05040-003)the National 973 Program of China (Grant No. 2006CB202208)
文摘Coherence analysis is a powerful tool in seismic interpretation for imaging geological discontinuities such as faults and fractures. However, subtle faults or fractures of one stratum are difficult to be distinguished on coherence sections （time slices or profiles） due to interferences from adjacent strata, especially these with strong reflectivity. In this paper, we propose a coherence enhancement method which applies local histogram specification （LHS） techniques to enhance subtle faults or fractures in the coherence cubes. Unlike the traditional histogram specification （HS） algorithm, our method processes 3D coherence data without discretization. This method partitions a coherence cube into many sub-blocks and self-adaptively specifies the target distribution in each block based on the whole distribution of the coherence cube. Furthermore, the neighboring blocks are partially overlapped to reduce the edge effect. Applications to real datasets show that the new method enhances the details of subtle faults and fractures noticeably.
文摘s: The farmland shelterbelts in Northeastern Plain of China have formed relatively complete net system. The func-tions of shelterbelt net in omnibearing wind check and prevention of frostbite as well as the field of integrated climate effect within shelterbelt net were analyzed, through located observation of meteorological factors. Within the shelterbelt net, the area with more than 10% efficiency of omnibearing wind check was determined as benefited area. The analysis of yield and quality of crops indicated that the sheltering range of shelterbelt net was 25 times tree height. The mature heights of the various varieties of poplar composed the shelterbelts were determined according to their height growth. Based on the comprehensive analysis above, the suitable size of farmland shelterbelt net in Northeastern Plain of China was decided to be 400 m×400 m.
文摘Traditional air conditioner used to be in local control mode. However, with the development of modern information technology, the control of air conditioner will have to support many more functions. As a first step in such a development, we have implemented a remote monitoring system of unitary air conditioners, using the manufacturing message specification (MMS). MMS is an OSI application protocol designed for the remote control and monitoring of real devices. The functions supported are those that an operator would do normally at the console of the unitary air conditioner. Due to the accomplishment of UMCS (Unitary air conditioner MMS Control System), there will be a leap of the application of MMS and the control technology of unitary air conditioner.
文摘On the software module, this paper proposes a visual specification language(VSL). Based on decomposition, the language imitates men's thinking procedure that decomposes aproblem into smaller ones, then independently solves the results of every small problem to get theresult of original problem (decomposition and synthesis). Besides, the language mixes visual withspecification. With computer supporting, we can implement the software module automatically. It willgreatly improve the quality of software and raise the efficiency of software development. Thesimple definition of VSL, the principle of auto-generation, an example and the future research areintroduced.
