本文利用分布式数据库技术着力研究和开发了江苏省地震局的测震数据库、前兆数据库的共享、管理与集中发布技术。主要运用JSP(Java Server Page)技术及PHP(Hypertext Preprocessor)语言对测震的JOPENS系统中MySQL数据库、EQIM数据库、...本文利用分布式数据库技术着力研究和开发了江苏省地震局的测震数据库、前兆数据库的共享、管理与集中发布技术。主要运用JSP(Java Server Page)技术及PHP(Hypertext Preprocessor)语言对测震的JOPENS系统中MySQL数据库、EQIM数据库、及前兆Oracle数据库等进行进一步地开发。搭建了一个行业内跨计算机操作平台的可视化的地震科技数据共享、交换及管理平台,实现了多种地震科学数据的(例如近、远震地震信息、各学科的运行率等)在线可视化、基于Google Map检索的地震信息服务等。展开更多
Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no...Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.展开更多
An old drug with a new use can significantly reduce the cost and time for new drug research and development. MAPK （Mitogen-activated protein kinase） plays a very important key role in signal transduction pathways of...An old drug with a new use can significantly reduce the cost and time for new drug research and development. MAPK （Mitogen-activated protein kinase） plays a very important key role in signal transduction pathways of cell proliferation and differentiation. According to the statistics, there are about 30% persons who suffered from cancers related to the MAPK signal transduction pathways. Therefore, many researchers are focused on blocking these pathways in cancers therapies. Ras/Raf/MEK/ERK, however, is one of very important pathways among MAPK message transduction pathways. More and more information about MEK protein inhibitors are unveiled in several recent years. In the present study, the authors utilized MEK inhibitors which were already published and their activities were available to construct 2D-QSAR model by using CADD （multiple linear regression）. Then, the authors searched certified FDA drugs （Drugs@FDA 6184 drugs） making preliminary screening. The secondary screening on 3D structures were followed by using Docking, Scoring and Pharmacophore analysis to find out most suitable MEK inhibitors to become a fundamental database in drug discovery. The results are shown the ALogP, number of aromatic rings, number of hydrogen bond acceptors and number of hydrogen bond donors are all in positive correlation. According to the equation from 2D-QSAR model, the results conform to the previous description.展开更多
文摘本文利用分布式数据库技术着力研究和开发了江苏省地震局的测震数据库、前兆数据库的共享、管理与集中发布技术。主要运用JSP(Java Server Page)技术及PHP(Hypertext Preprocessor)语言对测震的JOPENS系统中MySQL数据库、EQIM数据库、及前兆Oracle数据库等进行进一步地开发。搭建了一个行业内跨计算机操作平台的可视化的地震科技数据共享、交换及管理平台,实现了多种地震科学数据的(例如近、远震地震信息、各学科的运行率等)在线可视化、基于Google Map检索的地震信息服务等。
基金the National Natural Science Foundation of China (60663005, 60563005)the Natural Science Foundation of Guangxi Province (0542036, 0728093, 0728089)
文摘Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.
文摘An old drug with a new use can significantly reduce the cost and time for new drug research and development. MAPK （Mitogen-activated protein kinase） plays a very important key role in signal transduction pathways of cell proliferation and differentiation. According to the statistics, there are about 30% persons who suffered from cancers related to the MAPK signal transduction pathways. Therefore, many researchers are focused on blocking these pathways in cancers therapies. Ras/Raf/MEK/ERK, however, is one of very important pathways among MAPK message transduction pathways. More and more information about MEK protein inhibitors are unveiled in several recent years. In the present study, the authors utilized MEK inhibitors which were already published and their activities were available to construct 2D-QSAR model by using CADD （multiple linear regression）. Then, the authors searched certified FDA drugs （Drugs@FDA 6184 drugs） making preliminary screening. The secondary screening on 3D structures were followed by using Docking, Scoring and Pharmacophore analysis to find out most suitable MEK inhibitors to become a fundamental database in drug discovery. The results are shown the ALogP, number of aromatic rings, number of hydrogen bond acceptors and number of hydrogen bond donors are all in positive correlation. According to the equation from 2D-QSAR model, the results conform to the previous description.
