主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证...主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.展开更多
[Objective] The aim was to investigate ecological carrying capacity of Fangshan District in Beijing. [Method] Ecological footprint and carrying capacity of Fangshan District in 2007 and 2008 were analyzed with ecologi...[Objective] The aim was to investigate ecological carrying capacity of Fangshan District in Beijing. [Method] Ecological footprint and carrying capacity of Fangshan District in 2007 and 2008 were analyzed with ecological footprint model and the difference between ecological footprint and carrying capacity there was con- cluded. Furthermore, an assessment was made on relation between Fangshan de- velopment with local ecological carrying capacity to evaluate sustainable development of Fangshan District. [Result] Fangshan District is of lightly ecological deficit; ecologi- cal footprint per capita in 2007-2008 was deficit and tended to expand. Two meth- ods are available to reduce ecological ：deficit, including reduction of ecological foot- print and increase of carrying capacity. In general, supply and demand of carrying capacity in Fangshan are better, though with some problems. It is necessary to fur- ther develop related industries to final eliminate ecological deficit in order to achieve ecological conservation-orientation and sustainable development of Fangshan District. [Conclusion] The research provides theoretical references for overall evaluation on eco- logical carrying capacity of Fangshan District.展开更多
WT5 'BZThis paper presents an unsteady and nonlinear wake model based on th e widely used Peters He finite state dynamic wake model with improvements. The swirl component in the tip trace plane (TTP) can be pr...WT5 'BZThis paper presents an unsteady and nonlinear wake model based on th e widely used Peters He finite state dynamic wake model with improvements. The swirl component in the tip trace plane (TTP) can be predicted, nonlinear items are added into the linear theory, and the old small angle assumption use d in matrix prediction is removed. All of these enha ncements are aimed at the low speed flight phase and formulations for the induce d velocity field just in the TTP frame are derived. The corresponding FORTRAN pr ogram is tested and optimized for the real time applications on PCs.展开更多
Based on the theory of emergy analysis,a modified model of ecological footprint accounting,termed emergetic ecological footprint(EMEF)in contrast to the conventional ecological footprint(EF)model,is formulated and app...Based on the theory of emergy analysis,a modified model of ecological footprint accounting,termed emergetic ecological footprint(EMEF)in contrast to the conventional ecological footprint(EF)model,is formulated and applied to a case study of Jiangsu cropland,China.Comparisons between the EF and the EMEF with respect to grain,cotton,and food oil were outlined.Per capita EF and EMEF of cropland were also presented to depict the resources consumption level by comparing the biocapacity(BC)or emergetic biocapacity(EMBC,a new BC calculation by emergy analysis) of the same area.In the meanwhile,the ecological sustainability index(ESI),a new concept initiated by the authors, was established in the modified model to indicate and compare the sustainability of cropland use at different levels and between different regions.The results from conventional EF showed that per capita EF of the cropland has exceeded its per capita BC in Jiangsu since 1986.In contrast,based on the EMBC,the per capita EMEF exceeded the per capita EMBC 5 years earlier.The ESIs of Jiangsu cropland use were between 0.7 and 0.4 by the conventional method,while the numbers were between 0.7 and 0.3 by the modified one.The fact that the results of the two methods were similar showed that the modified model was reasonable and feasible,although some principles of the EF and EMEF were quite different. Also,according to the realities of Jiangsu cropland use,the results from the modified model were more acceptable.展开更多
This is the first of a three-part series of pape rs which introduces a general background of building trajectory-oriented road net work data models, including motivation, related works, and basic concepts. The p urpos...This is the first of a three-part series of pape rs which introduces a general background of building trajectory-oriented road net work data models, including motivation, related works, and basic concepts. The p urpose of the series is to develop a trajectory-oriented road network data mode l, namely carriageway-based road network data model (CRNM). Part 1 deals with t he modeling background. Part 2 proposes the principle and architecture of the CR NM. Part 3 investigates the implementation of the CRNM in a case study. In the p resent paper, the challenges of managing trajectory data are discussed. Then, de veloping trajectory-oriented road network data models is proposed as a solution and existing road network data models are reviewed. Basic representation approa ches of a road network are introduced as well as its constitution.展开更多
Through vector analysis the kinetic vector model is built in a machining cylinder surface through axial turn-milling. When building a kinetic vector model in the machining field, machining through axial turn-milling a...Through vector analysis the kinetic vector model is built in a machining cylinder surface through axial turn-milling. When building a kinetic vector model in the machining field, machining through axial turn-milling and using equilateral triangles and square prism surfaces, the kinetic vector model is given any equilateral polygon prismic surface. Kinetic tracks are simulated through these kinetic models respectively, thus it can be seen that the axial turn-milling is a very effective method in manufacturing any equilateral, polygon, prismic surface.展开更多
Objective: To investigate the effect of 5-aminolevulinic(ALA)-photodynamic therapy(PDT) on the expressions of MMP-9, MMP-13 and TIMP-1 of hypertrophic scar model in rabbit ears, and analyze the possible therapeutic me...Objective: To investigate the effect of 5-aminolevulinic(ALA)-photodynamic therapy(PDT) on the expressions of MMP-9, MMP-13 and TIMP-1 of hypertrophic scar model in rabbit ears, and analyze the possible therapeutic mechanisms of ALA-PDT treatment to hypertrophic scars of rabbit ears. Methods: The experimental animals were randomly divided into normal control, negative control, high concentration of ALA-PDT, low concentration of ALA-PDT and PDT groups. The latter three groups received ALA-PDT treatment or PDT treatment once a week for 3 weeks. The specimens of the rabbits were collected respectively 1, 2 and 3 months after treatment to be used for RT-PCR and Western-blot test. Results: 1, 2 and 3 months after PDT treatment, the expressions of MMP-9 and MMP-13(including mRNA and protein) in hypertrophic scar tissues of three treatment groups were significantly higher than those of the negative control group(P<0.01), and the expression of TIMP-1 mRNA and protein of three treatment groups were significantly lower than that of the negative control group(P<0.01). There were also significant differences between high-concentration ALA-PDT treatment group and the low one(P<0.05). Conclusion: ALA-PDT is effective in treating hypertrophic scars of rabbit ears, and its possible therapeutic mechanisms are that ALA-PDT treatment generates oxidation activation effect to activate the activity of MMPs and induces the photoaging of fibroblasts of hypertrophic scar tissues of rabbit ears to inhibit the activity of TIMPs, which causes the up-regulation of MMPs and the down-regulation of TIMPs. Because of this, the degradation of collagen and ECM is accelerated and the formation of scars is suppressed.展开更多
Most research on anomaly detection has focused on event that is different from its spatial-temporal neighboring events.It is still a significant challenge to detect anomalies that involve multiple normal events intera...Most research on anomaly detection has focused on event that is different from its spatial-temporal neighboring events.It is still a significant challenge to detect anomalies that involve multiple normal events interacting in an unusual pattern.In this work,a novel unsupervised method based on sparse topic model was proposed to capture motion patterns and detect anomalies in traffic surveillance.scale-invariant feature transform(SIFT)flow was used to improve the dense trajectory in order to extract interest points and the corresponding descriptors with less interference.For the purpose of strengthening the relationship of interest points on the same trajectory,the fisher kernel method was applied to obtain the representation of trajectory which was quantized into visual word.Then the sparse topic model was proposed to explore the latent motion patterns and achieve a sparse representation for the video scene.Finally,two anomaly detection algorithms were compared based on video clip detection and visual word analysis respectively.Experiments were conducted on QMUL Junction dataset and AVSS dataset.The results demonstrated the superior efficiency of the proposed method.展开更多
文摘CSP(Communicating Sequential Processes)是构建并发系统和网络安全协议的经典方法。当前主流的CSP模型验证方法需将进程转化为迁移系统,转化过程比较复杂;性质采用迹进行规范,不利于活性的描述。提出了一种基于进程迹的CSP模型验证框架,其性质采用通用的规范方法LTL进行描述。利用ASP(Answer Set Programming)技术实现了一个CSP验证系统。实验表明,与类似系统相比,该系统的描述能力更强,验证结果的准确性更高,在性质不满足时还可提供反例。
文摘[Objective] The aim was to investigate ecological carrying capacity of Fangshan District in Beijing. [Method] Ecological footprint and carrying capacity of Fangshan District in 2007 and 2008 were analyzed with ecological footprint model and the difference between ecological footprint and carrying capacity there was con- cluded. Furthermore, an assessment was made on relation between Fangshan de- velopment with local ecological carrying capacity to evaluate sustainable development of Fangshan District. [Result] Fangshan District is of lightly ecological deficit; ecologi- cal footprint per capita in 2007-2008 was deficit and tended to expand. Two meth- ods are available to reduce ecological ：deficit, including reduction of ecological foot- print and increase of carrying capacity. In general, supply and demand of carrying capacity in Fangshan are better, though with some problems. It is necessary to fur- ther develop related industries to final eliminate ecological deficit in order to achieve ecological conservation-orientation and sustainable development of Fangshan District. [Conclusion] The research provides theoretical references for overall evaluation on eco- logical carrying capacity of Fangshan District.
文摘WT5 'BZThis paper presents an unsteady and nonlinear wake model based on th e widely used Peters He finite state dynamic wake model with improvements. The swirl component in the tip trace plane (TTP) can be predicted, nonlinear items are added into the linear theory, and the old small angle assumption use d in matrix prediction is removed. All of these enha ncements are aimed at the low speed flight phase and formulations for the induce d velocity field just in the TTP frame are derived. The corresponding FORTRAN pr ogram is tested and optimized for the real time applications on PCs.
基金the National Natural Science Foundation of China(No.40401059)the Natural Science Foundation of the Education Department of Jiangsu Province(No.07KJD170123)the Natural Science Foundation of Nanjing Xiaozhuang University(No.2007NXY06)
文摘Based on the theory of emergy analysis,a modified model of ecological footprint accounting,termed emergetic ecological footprint(EMEF)in contrast to the conventional ecological footprint(EF)model,is formulated and applied to a case study of Jiangsu cropland,China.Comparisons between the EF and the EMEF with respect to grain,cotton,and food oil were outlined.Per capita EF and EMEF of cropland were also presented to depict the resources consumption level by comparing the biocapacity(BC)or emergetic biocapacity(EMBC,a new BC calculation by emergy analysis) of the same area.In the meanwhile,the ecological sustainability index(ESI),a new concept initiated by the authors, was established in the modified model to indicate and compare the sustainability of cropland use at different levels and between different regions.The results from conventional EF showed that per capita EF of the cropland has exceeded its per capita BC in Jiangsu since 1986.In contrast,based on the EMBC,the per capita EMEF exceeded the per capita EMBC 5 years earlier.The ESIs of Jiangsu cropland use were between 0.7 and 0.4 by the conventional method,while the numbers were between 0.7 and 0.3 by the modified one.The fact that the results of the two methods were similar showed that the modified model was reasonable and feasible,although some principles of the EF and EMEF were quite different. Also,according to the realities of Jiangsu cropland use,the results from the modified model were more acceptable.
文摘This is the first of a three-part series of pape rs which introduces a general background of building trajectory-oriented road net work data models, including motivation, related works, and basic concepts. The p urpose of the series is to develop a trajectory-oriented road network data mode l, namely carriageway-based road network data model (CRNM). Part 1 deals with t he modeling background. Part 2 proposes the principle and architecture of the CR NM. Part 3 investigates the implementation of the CRNM in a case study. In the p resent paper, the challenges of managing trajectory data are discussed. Then, de veloping trajectory-oriented road network data models is proposed as a solution and existing road network data models are reviewed. Basic representation approa ches of a road network are introduced as well as its constitution.
基金Sponsored by the National High Technology Research and Development Program of China(Grant No.2003AA424020), Important Scientech ProblemTackling Subject Foundation Under the State 9th 5 -Year Plan(Grant No.96 -A22 -01 -01) and Provincial Doctoral Science Foundation of LiaoningProvince, China(Grant No.2001102034).
文摘Through vector analysis the kinetic vector model is built in a machining cylinder surface through axial turn-milling. When building a kinetic vector model in the machining field, machining through axial turn-milling and using equilateral triangles and square prism surfaces, the kinetic vector model is given any equilateral polygon prismic surface. Kinetic tracks are simulated through these kinetic models respectively, thus it can be seen that the axial turn-milling is a very effective method in manufacturing any equilateral, polygon, prismic surface.
基金Supported by the National Natural Science Foundation of China(30901298)
文摘Objective: To investigate the effect of 5-aminolevulinic(ALA)-photodynamic therapy(PDT) on the expressions of MMP-9, MMP-13 and TIMP-1 of hypertrophic scar model in rabbit ears, and analyze the possible therapeutic mechanisms of ALA-PDT treatment to hypertrophic scars of rabbit ears. Methods: The experimental animals were randomly divided into normal control, negative control, high concentration of ALA-PDT, low concentration of ALA-PDT and PDT groups. The latter three groups received ALA-PDT treatment or PDT treatment once a week for 3 weeks. The specimens of the rabbits were collected respectively 1, 2 and 3 months after treatment to be used for RT-PCR and Western-blot test. Results: 1, 2 and 3 months after PDT treatment, the expressions of MMP-9 and MMP-13(including mRNA and protein) in hypertrophic scar tissues of three treatment groups were significantly higher than those of the negative control group(P<0.01), and the expression of TIMP-1 mRNA and protein of three treatment groups were significantly lower than that of the negative control group(P<0.01). There were also significant differences between high-concentration ALA-PDT treatment group and the low one(P<0.05). Conclusion: ALA-PDT is effective in treating hypertrophic scars of rabbit ears, and its possible therapeutic mechanisms are that ALA-PDT treatment generates oxidation activation effect to activate the activity of MMPs and induces the photoaging of fibroblasts of hypertrophic scar tissues of rabbit ears to inhibit the activity of TIMPs, which causes the up-regulation of MMPs and the down-regulation of TIMPs. Because of this, the degradation of collagen and ECM is accelerated and the formation of scars is suppressed.
基金Project(50808025)supported by the National Natural Science Foundation of ChinaProject(20090162110057)supported by the Doctoral Fund of Ministry of Education,China
文摘Most research on anomaly detection has focused on event that is different from its spatial-temporal neighboring events.It is still a significant challenge to detect anomalies that involve multiple normal events interacting in an unusual pattern.In this work,a novel unsupervised method based on sparse topic model was proposed to capture motion patterns and detect anomalies in traffic surveillance.scale-invariant feature transform(SIFT)flow was used to improve the dense trajectory in order to extract interest points and the corresponding descriptors with less interference.For the purpose of strengthening the relationship of interest points on the same trajectory,the fisher kernel method was applied to obtain the representation of trajectory which was quantized into visual word.Then the sparse topic model was proposed to explore the latent motion patterns and achieve a sparse representation for the video scene.Finally,two anomaly detection algorithms were compared based on video clip detection and visual word analysis respectively.Experiments were conducted on QMUL Junction dataset and AVSS dataset.The results demonstrated the superior efficiency of the proposed method.
