Sea ice in the western Antarctic Peninsula (WAP) region is both highly variable and rapidly changing. In the Palmer Station region, the ice season duration has decreased by 92 d since 1978. The sea-ice changes affec...Sea ice in the western Antarctic Peninsula (WAP) region is both highly variable and rapidly changing. In the Palmer Station region, the ice season duration has decreased by 92 d since 1978. The sea-ice changes affect ocean stratification and freshwater balance and in turn impact every component of the polar marine ecosystem. Long-term observations from the WAP nearshore and offshore regions show a pattern of chlorophyll (Chl) variability with three to five years of negative Chl anomalies interrupted by one or two years of positive anomalies (high and low Chl regimes). Both field observations and results from an inverse food-web model show that these high and low Chl regimes differed significantly from each other, with high primary productivity and net community production (NCP) and other rates associated with the high Chl years and low rates with low Chl years. Gross primary production rates (GPP) averaged 30 mmolC.m^-2.d^-1 in the low Chl years and 100 mmolC.m-2.d1 in the high Chl years. Both large and small phytoplankton were more abundant and more productive in high Chl years than in low Chl years. Similarly, krill were more important as grazers in high Chl years, but did not differ from microzooplankton in high or low Chl years. Microzooplankton did not differ between high and low Chl years. Net community production differed significantly between high and low Chl years, but mobilized a similar proportion of GPP in both high and low Chl years. The composition of the NCP was uniform in high and low Chl years. These results emphasize the importance of microbial components in the WAP plankton system and suggest that food webs dominated by small phytoplankton can have pathways that funnel production into NCP, and likely, export.展开更多
In this paper, we present a novel approach to model user request patterns in the World Wide Web. Instead of focusing on the user traffic for web pages, we capture the user interaction at the object level of the web pa...In this paper, we present a novel approach to model user request patterns in the World Wide Web. Instead of focusing on the user traffic for web pages, we capture the user interaction at the object level of the web pages. Our framework model consists of three sub-models: one for user file access, one for web pages, and one for storage servers. Web pages are assumed to consist of different types and sizes of objects, which are characterized using several categories: articles, media, and mosaics. The model is implemented with a discrete event simulation and then used to investigate the performance of our system over a variety of parameters in our model. Our performance measure of choice is mean response time and by varying the composition of web pages through our categories, we find that our framework model is able to capture a wide range of conditions that serve as a basis for generating a variety of user request patterns. In addition, we are able to establish a set of parameters that can be used as base cases. One of the goals of this research is for the framework model to be general enough that the parameters can be varied such that it can serve as input for investigating other distributed applications that require the generation of user request access patterns.展开更多
Today, in the field of computer networks, new services have been developed on the Internet or intranets, including the mail server, database management, sounds, videos and the web server itself Apache. The number of s...Today, in the field of computer networks, new services have been developed on the Internet or intranets, including the mail server, database management, sounds, videos and the web server itself Apache. The number of solutions for this server is therefore growing continuously, these services are becoming more and more complex and expensive, without being able to fulfill the needs of the users. The absence of benchmarks for websites with dynamic content is the major obstacle to research in this area. These users place high demands on the speed of access to information on the Internet. This is why the performance of the web server is critically important. Several factors influence performance, such as server execution speed, network saturation on the internet or intranet, increased response time, and throughputs. By measuring these factors, we propose a performance evaluation strategy for servers that allows us to determine the actual performance of different servers in terms of user satisfaction. Furthermore, we identified performance characteristics such as throughput, resource utilization, and response time of a system through measurement and modeling by simulation. Finally, we present a simple queue model of an Apache web server, which reasonably represents the behavior of a saturated web server using the Simulink model in Matlab (Matrix Laboratory) and also incorporates sporadic incoming traffic. We obtain server performance metrics such as average response time and throughput through simulations. Compared to other models, our model is conceptually straightforward. The model has been validated through measurements and simulations during the tests that we conducted.展开更多
探索将万维网地理信息系统(Web Geographic Information System,WebGIS)技术引入数字无线电广播发射覆盖分析领域,重点研究数据处理、平台搭建、模型构建及可视化分析等关键技术环节,并探讨覆盖优化调整的策略与方法。通过构建高精度数...探索将万维网地理信息系统(Web Geographic Information System,WebGIS)技术引入数字无线电广播发射覆盖分析领域,重点研究数据处理、平台搭建、模型构建及可视化分析等关键技术环节,并探讨覆盖优化调整的策略与方法。通过构建高精度数据集、搭建高效WebGIS平台、改进传播模型、开发可视化分析工具等手段,力图为无线电广播网络的精细化规划和智能化管理提供新的思路和方法。展开更多
为在智慧建造的基础上,创新竣工交付模式。以Web与建筑信息模型(Building Information Modeling,BIM)技术为基础,通过对服务器选型、网络设备选型等硬件设计;软件框架设计、基于Web与BIM技术的项目模型标准化处理、BIM模型轻量化与质检...为在智慧建造的基础上,创新竣工交付模式。以Web与建筑信息模型(Building Information Modeling,BIM)技术为基础,通过对服务器选型、网络设备选型等硬件设计;软件框架设计、基于Web与BIM技术的项目模型标准化处理、BIM模型轻量化与质检资料的智能关联、电子档案全过程信息化管理与交付等软件设计,提出一种全新的数字化跋工交付平台。将该平台应用于北京市朝阳站建设项目中,实现朝阳站数字建筑和物理建筑的数字李生交付,为运维阶段提供基础数据,探索平台与城建档案馆档案接收系统的业务对接。展开更多
目的:从文献计量学角度探讨国内外临床药学教学模式的研究现状和研究热点。方法:检索Web of Science(WOS)和中国知网(CNKI)数据库,对所纳入的相关研究论文发表的国家、期刊、作者及关键词共现等情况,运用文献计量分析软件VOSviewer和His...目的:从文献计量学角度探讨国内外临床药学教学模式的研究现状和研究热点。方法:检索Web of Science(WOS)和中国知网(CNKI)数据库,对所纳入的相关研究论文发表的国家、期刊、作者及关键词共现等情况,运用文献计量分析软件VOSviewer和HistCite进行可视化分析。结果:得到了AMERICAN JOURNAL OF PHARMACEUTICAL EDUCATION(《美国药学教育杂志》)等10种临床药学教学模式研究领域的核心期刊,确定了临床药学教学模式的热门研究主题,并用编年图直观地展示临床药学教学模式研究领域的发展历史。结论:采用文献计量学研究方法,可以清晰、直观地了解临床药学教学模式的研究现状和热点。展开更多
As the increasing popularity and complexity of Web applications and the emergence of their new characteristics, the testing and maintenance of large, complex Web applications are becoming more complex and difficult. W...As the increasing popularity and complexity of Web applications and the emergence of their new characteristics, the testing and maintenance of large, complex Web applications are becoming more complex and difficult. Web applications generally contain lots of pages and are used by enormous users. Statistical testing is an effective way of ensuring their quality. Web usage can be accurately described by Markov chain which has been proved to be an ideal model for software statistical testing. The results of unit testing can be utilized in the latter stages, which is an important strategy for bottom-to-top integration testing, and the other improvement of extended Markov chain model (EMM) is to present the error type vector which is treated as a part of page node. this paper also proposes the algorithm for generating test cases of usage paths. Finally, optional usage reliability evaluation methods and an incremental usability regression testing model for testing and evaluation are presented. Key words statistical testing - evaluation for Web usability - extended Markov chain model (EMM) - Web log mining - reliability evaluation CLC number TP311. 5 Foundation item: Supported by the National Defence Research Project (No. 41315. 9. 2) and National Science and Technology Plan (2001BA102A04-02-03)Biography: MAO Cheng-ying (1978-), male, Ph.D. candidate, research direction: software testing. Research direction: advanced database system, software testing, component technology and data mining.展开更多
A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagra...A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagram as the object model is employed to describe the object structure of a Web application design and can be translated into the behavior model. A key problem of model checking-based test generation for a Web application is how to construct a set of trap properties that intend to cause the violations of model checking against the behavior model and output of counterexamples used to construct the test sequences. We give an algorithm that derives trap properties from the object model with respect to node and edge coverage criteria.展开更多
In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the reliability and maintainability of composite services are improved. The composite con...In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the reliability and maintainability of composite services are improved. The composite constructs in the model are sequence, concurrent, choice, loop and replace. The web service is formally defined by a CPN. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Availability, confidentiality, and integrity of composite service are analyzed within the framework of the model based CPN.展开更多
Smart sustainable city is that uses the technology to transform their core systems and optimize the exploitation of limited resources;it is a knowledge-based system that provides real-time insights to stakeholders. As...Smart sustainable city is that uses the technology to transform their core systems and optimize the exploitation of limited resources;it is a knowledge-based system that provides real-time insights to stakeholders. As a result of the challenges facing the cities of the Gaza Strip regarding population growth, lack of resources, increased demand for materials, the siege imposed on the Gaza Strip for more than twelve years, the smart city approach can contribute to mitigating these challenges and creating opportunities and solutions for many of these problems. Thus, this study aims to promote sustainable urban development through the adoption of smart city approaches using the city’s 3D representation and analysis capabilities to reflect and define the current situation and formulate a future vision using GIS and Building Information Modeling (BIM) considering Sheikh Hamad city as a case study. This involves developing a GIS web-based 3D model of the urban landscape of the city and creating a geometric descriptive database that includes the various elements of the city such as buildings, services and other facilities. The constructed database is to be automatically updated and can be used to facilitate documentation, transparency and help in decision-making process. The 3D smart city can also benefit stakeholders, government officials, private sectors as well as the city citizens. Therefore, urban services will be more efficient, and the cities of the Gaza Strip will be able to achieve sustainable development and competition in difficult economic, environmental and social conditions. This study recommends the use of BIM and GIS technologies in the transformation to a smart city concept as well as the rehabilitation of existing cadres to enable them to use those technologies to achieve the goal of improving the quality of life and facilitating the daily lives of people.展开更多
基金supported by NSF Polar Programs awards ANT-1344502 and PLR-1440435 to HWD at Lamont-Doherty Earth ObservatorySFS and SCD were supported partly by Woods Hole Oceanographic Institution
文摘Sea ice in the western Antarctic Peninsula (WAP) region is both highly variable and rapidly changing. In the Palmer Station region, the ice season duration has decreased by 92 d since 1978. The sea-ice changes affect ocean stratification and freshwater balance and in turn impact every component of the polar marine ecosystem. Long-term observations from the WAP nearshore and offshore regions show a pattern of chlorophyll (Chl) variability with three to five years of negative Chl anomalies interrupted by one or two years of positive anomalies (high and low Chl regimes). Both field observations and results from an inverse food-web model show that these high and low Chl regimes differed significantly from each other, with high primary productivity and net community production (NCP) and other rates associated with the high Chl years and low rates with low Chl years. Gross primary production rates (GPP) averaged 30 mmolC.m^-2.d^-1 in the low Chl years and 100 mmolC.m-2.d1 in the high Chl years. Both large and small phytoplankton were more abundant and more productive in high Chl years than in low Chl years. Similarly, krill were more important as grazers in high Chl years, but did not differ from microzooplankton in high or low Chl years. Microzooplankton did not differ between high and low Chl years. Net community production differed significantly between high and low Chl years, but mobilized a similar proportion of GPP in both high and low Chl years. The composition of the NCP was uniform in high and low Chl years. These results emphasize the importance of microbial components in the WAP plankton system and suggest that food webs dominated by small phytoplankton can have pathways that funnel production into NCP, and likely, export.
文摘In this paper, we present a novel approach to model user request patterns in the World Wide Web. Instead of focusing on the user traffic for web pages, we capture the user interaction at the object level of the web pages. Our framework model consists of three sub-models: one for user file access, one for web pages, and one for storage servers. Web pages are assumed to consist of different types and sizes of objects, which are characterized using several categories: articles, media, and mosaics. The model is implemented with a discrete event simulation and then used to investigate the performance of our system over a variety of parameters in our model. Our performance measure of choice is mean response time and by varying the composition of web pages through our categories, we find that our framework model is able to capture a wide range of conditions that serve as a basis for generating a variety of user request patterns. In addition, we are able to establish a set of parameters that can be used as base cases. One of the goals of this research is for the framework model to be general enough that the parameters can be varied such that it can serve as input for investigating other distributed applications that require the generation of user request access patterns.
文摘Today, in the field of computer networks, new services have been developed on the Internet or intranets, including the mail server, database management, sounds, videos and the web server itself Apache. The number of solutions for this server is therefore growing continuously, these services are becoming more and more complex and expensive, without being able to fulfill the needs of the users. The absence of benchmarks for websites with dynamic content is the major obstacle to research in this area. These users place high demands on the speed of access to information on the Internet. This is why the performance of the web server is critically important. Several factors influence performance, such as server execution speed, network saturation on the internet or intranet, increased response time, and throughputs. By measuring these factors, we propose a performance evaluation strategy for servers that allows us to determine the actual performance of different servers in terms of user satisfaction. Furthermore, we identified performance characteristics such as throughput, resource utilization, and response time of a system through measurement and modeling by simulation. Finally, we present a simple queue model of an Apache web server, which reasonably represents the behavior of a saturated web server using the Simulink model in Matlab (Matrix Laboratory) and also incorporates sporadic incoming traffic. We obtain server performance metrics such as average response time and throughput through simulations. Compared to other models, our model is conceptually straightforward. The model has been validated through measurements and simulations during the tests that we conducted.
文摘探索将万维网地理信息系统(Web Geographic Information System,WebGIS)技术引入数字无线电广播发射覆盖分析领域,重点研究数据处理、平台搭建、模型构建及可视化分析等关键技术环节,并探讨覆盖优化调整的策略与方法。通过构建高精度数据集、搭建高效WebGIS平台、改进传播模型、开发可视化分析工具等手段,力图为无线电广播网络的精细化规划和智能化管理提供新的思路和方法。
文摘为在智慧建造的基础上,创新竣工交付模式。以Web与建筑信息模型(Building Information Modeling,BIM)技术为基础,通过对服务器选型、网络设备选型等硬件设计;软件框架设计、基于Web与BIM技术的项目模型标准化处理、BIM模型轻量化与质检资料的智能关联、电子档案全过程信息化管理与交付等软件设计,提出一种全新的数字化跋工交付平台。将该平台应用于北京市朝阳站建设项目中,实现朝阳站数字建筑和物理建筑的数字李生交付,为运维阶段提供基础数据,探索平台与城建档案馆档案接收系统的业务对接。
文摘目的:从文献计量学角度探讨国内外临床药学教学模式的研究现状和研究热点。方法:检索Web of Science(WOS)和中国知网(CNKI)数据库,对所纳入的相关研究论文发表的国家、期刊、作者及关键词共现等情况,运用文献计量分析软件VOSviewer和HistCite进行可视化分析。结果:得到了AMERICAN JOURNAL OF PHARMACEUTICAL EDUCATION(《美国药学教育杂志》)等10种临床药学教学模式研究领域的核心期刊,确定了临床药学教学模式的热门研究主题,并用编年图直观地展示临床药学教学模式研究领域的发展历史。结论:采用文献计量学研究方法,可以清晰、直观地了解临床药学教学模式的研究现状和热点。
文摘As the increasing popularity and complexity of Web applications and the emergence of their new characteristics, the testing and maintenance of large, complex Web applications are becoming more complex and difficult. Web applications generally contain lots of pages and are used by enormous users. Statistical testing is an effective way of ensuring their quality. Web usage can be accurately described by Markov chain which has been proved to be an ideal model for software statistical testing. The results of unit testing can be utilized in the latter stages, which is an important strategy for bottom-to-top integration testing, and the other improvement of extended Markov chain model (EMM) is to present the error type vector which is treated as a part of page node. this paper also proposes the algorithm for generating test cases of usage paths. Finally, optional usage reliability evaluation methods and an incremental usability regression testing model for testing and evaluation are presented. Key words statistical testing - evaluation for Web usability - extended Markov chain model (EMM) - Web log mining - reliability evaluation CLC number TP311. 5 Foundation item: Supported by the National Defence Research Project (No. 41315. 9. 2) and National Science and Technology Plan (2001BA102A04-02-03)Biography: MAO Cheng-ying (1978-), male, Ph.D. candidate, research direction: software testing. Research direction: advanced database system, software testing, component technology and data mining.
基金Supported by the National Natural Science Foundation of China (60673115)the National Basic Research Program of China (973 Program) (2002CB312001)the Open Foundation of State Key Laboratory of Soft-ware Engineering (SKLSE05-13)
文摘A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagram as the object model is employed to describe the object structure of a Web application design and can be translated into the behavior model. A key problem of model checking-based test generation for a Web application is how to construct a set of trap properties that intend to cause the violations of model checking against the behavior model and output of counterexamples used to construct the test sequences. We give an algorithm that derives trap properties from the object model with respect to node and edge coverage criteria.
基金Project supported by the National Natural Science Foundation of China (Grant No.60403027)
文摘In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the reliability and maintainability of composite services are improved. The composite constructs in the model are sequence, concurrent, choice, loop and replace. The web service is formally defined by a CPN. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Availability, confidentiality, and integrity of composite service are analyzed within the framework of the model based CPN.
文摘Smart sustainable city is that uses the technology to transform their core systems and optimize the exploitation of limited resources;it is a knowledge-based system that provides real-time insights to stakeholders. As a result of the challenges facing the cities of the Gaza Strip regarding population growth, lack of resources, increased demand for materials, the siege imposed on the Gaza Strip for more than twelve years, the smart city approach can contribute to mitigating these challenges and creating opportunities and solutions for many of these problems. Thus, this study aims to promote sustainable urban development through the adoption of smart city approaches using the city’s 3D representation and analysis capabilities to reflect and define the current situation and formulate a future vision using GIS and Building Information Modeling (BIM) considering Sheikh Hamad city as a case study. This involves developing a GIS web-based 3D model of the urban landscape of the city and creating a geometric descriptive database that includes the various elements of the city such as buildings, services and other facilities. The constructed database is to be automatically updated and can be used to facilitate documentation, transparency and help in decision-making process. The 3D smart city can also benefit stakeholders, government officials, private sectors as well as the city citizens. Therefore, urban services will be more efficient, and the cities of the Gaza Strip will be able to achieve sustainable development and competition in difficult economic, environmental and social conditions. This study recommends the use of BIM and GIS technologies in the transformation to a smart city concept as well as the rehabilitation of existing cadres to enable them to use those technologies to achieve the goal of improving the quality of life and facilitating the daily lives of people.