Software Process Workshop (SPW 2005) was held in Beijing on May 25-27, 2005. This paper introduces the motivation of organizing such a workshop, as well as its theme and paper gathering and review; and summarizes the ...Software Process Workshop (SPW 2005) was held in Beijing on May 25-27, 2005. This paper introduces the motivation of organizing such a workshop, as well as its theme and paper gathering and review; and summarizes the main content and insights of 11 keynote speeches, 30 regular papers in five sessions of “Process Content”, “Process Tools and Metrics”, “Process Management”, “Process Representation and Analysis”, and “Experience Reports”, 8 software development support tools demonstration, and the ending panel “Where Are We Now? Where Should We Go Next?”.展开更多
Multispectral imaging (MSI) technique is often used to capture imagesof the fundus by illuminating it with different wavelengths of light. However,these images are taken at different points in time such that eyeball m...Multispectral imaging (MSI) technique is often used to capture imagesof the fundus by illuminating it with different wavelengths of light. However,these images are taken at different points in time such that eyeball movementscan cause misalignment between consecutive images. The multispectral imagesequence reveals important information in the form of retinal and choroidal bloodvessel maps, which can help ophthalmologists to analyze the morphology of theseblood vessels in detail. This in turn can lead to a high diagnostic accuracy of several diseases. In this paper, we propose a novel semi-supervised end-to-end deeplearning framework called “Adversarial Segmentation and Registration Nets”(ASRNet) for the simultaneous estimation of the blood vessel segmentation andthe registration of multispectral images via an adversarial learning process. ASRNet consists of two subnetworks: (i) A segmentation module S that fulfills theblood vessel segmentation task, and (ii) A registration module R that estimatesthe spatial correspondence of an image pair. Based on the segmention-drivenregistration network, we train the segmentation network using a semi-supervisedadversarial learning strategy. Our experimental results show that the proposedASRNet can achieve state-of-the-art accuracy in segmentation and registrationtasks performed with real MSI datasets.展开更多
This paper investigates the H∞ controller design method for a class of singular networked control systems (SNCS) based on the singular plant. In view of the network-induced delay less than or equal to a sampling peri...This paper investigates the H∞ controller design method for a class of singular networked control systems (SNCS) based on the singular plant. In view of the network-induced delay less than or equal to a sampling period, finite external disturbance, clock-driven sensors, event-driven controller and actuators as well as impulse behavior and structural instability of singular plants, the H∞ controller design method of SNCS with state feed- back way and dynamic output feedback way is investigated respectively by means of the linear matrix inequality method. The existence condition of H∞ control law, the solving approaches of H∞ controller parameters and disturbance attenuation degree are presented. Finally, a simulation example is given to illustrate the effectiveness and feasibility of the presented method.展开更多
Optical Coherence Tomography(OCT)is very important in medicine and provide useful diagnostic information.Measuring retinal layer thicknesses plays a vital role in pathophysiologic factors of many ocular conditions.Amo...Optical Coherence Tomography(OCT)is very important in medicine and provide useful diagnostic information.Measuring retinal layer thicknesses plays a vital role in pathophysiologic factors of many ocular conditions.Among the existing retinal layer segmentation approaches,learning or deep learning-based methods belong to the state-of-art.However,most of these techniques rely on manual-marked layers and the performances are limited due to the image quality.In order to overcome this limitation,we build a framework based on gray value curve matching,which uses depth learning to match the curve for semi-automatic segmentation of retinal layers from OCT.The depth convolution network learns the column correspondence in the OCT image unsupervised.The whole OCT image participates in the depth convolution neural network operation,compares the gray value of each column,and matches the gray value sequence of the transformation column and the next column.Using this algorithm,when a boundary point is manually specified,we can accurately segment the boundary between retinal layers.Our experimental results obtained from a 54-subjects database of both normal healthy eyes and affected eyes demonstrate the superior performances of our approach.展开更多
Internetware is envisioned as a general software paradigm for the application style of resources integration and sharing in the open, dynamic and uncertain platforms such as the Internet. Continuing the agent-based In...Internetware is envisioned as a general software paradigm for the application style of resources integration and sharing in the open, dynamic and uncertain platforms such as the Internet. Continuing the agent-based Internetware model presented in a previous paper, in this paper, after an analysis of the behavioral patterns and the technical challenges of environment-driven applications, a software-structuring model is proposed for environment-driven Internetware applications. A series of explorations on the enabling techniques for the model, especially the modeling, management and utilization of context information are presented. Several proto-typical systems have also been built to prove the concepts and evaluate the techniques. These research efforts make a further step toward the Internetware paradigm by providing an initial framework for the construction of context-aware and self-adaptive software application systems in the open network environment.展开更多
Due to the independency, variability, and tailorability of software service in the open environment, the research of middleware which supports software services multi-mode interaction is thus of great importance. In t...Due to the independency, variability, and tailorability of software service in the open environment, the research of middleware which supports software services multi-mode interaction is thus of great importance. In this paper, an agent-based multi-mode interaction middleware model and its supporting system for software services were proposed. This model includes an interaction feature decomposition and configuration model to enable interaction programming, an agent-based middleware model, and a programmable coordination media based on reflection technology. The decomposition and configuration model for interaction features can assist programmers in interaction programming by analyzing and synthesizing interaction features. The agent-based middleware model provides a runtime framework for service multi-mode interaction. The programmable coordination media is able to effectively support software service coordination based on multimode interaction. To verify feasibility and efficiency of the above method, the design, implementation and performance analysis of Artemis-M3C, a multi-mode interaction middleware for software services, were introduced. The result shows that the above method is feasible and that the Artemis-M3C system is practical and effective in multi-mode interaction.展开更多
An important concept proposed in the early stage of robot path planning field is the shrinking of a robot to a point and meanwhile the expanding of obstacles in the workspace as a set of new obstacles. The resulting g...An important concept proposed in the early stage of robot path planning field is the shrinking of a robot to a point and meanwhile the expanding of obstacles in the workspace as a set of new obstacles. The resulting grown obstacles are called the Configuration Space （Cspace） obstacles. The find-path problem is then transformed into that of finding a collision-free path for a point robot among the Cspace obstacles. However, the research experiences have shown that the Cspace transformation is very hard when the following situations occur： 1） both the robot and obstacles are not polygons, and 2） the robot is allowed to rotate. This situation gets even worse when the robot and obstacles are three dimensional （3D） objects with various shapes. For this reason, direct path planning approaches without the Cspace transformation is quite useful and expected. Motivated by the practical requirements of robot path planning, a generalized constrained optimization problem （GCOP） with not only logic AND but also logic OR relationships was proposed and a mathematical solution developed previously. This paper inherits the fundamental ideas of inequality and optimization techniques from the previous work, converts the obstacle avoidance problem into a semi-infinite constrained optimization problem with the help of the mathematical transformation, and proposes a direct path planning approach without Cspace calculation, which is quite different from traditional methods. To show its merits, simulation results in 3D space have been presented.展开更多
The sound and complete rules for data reification in the algebraic framework are discussed. Based on these rules, the retrieve function approach in VDM is extended and the biased model and non-determinacy can be treat...The sound and complete rules for data reification in the algebraic framework are discussed. Based on these rules, the retrieve function approach in VDM is extended and the biased model and non-determinacy can be treated in some sense展开更多
文摘Software Process Workshop (SPW 2005) was held in Beijing on May 25-27, 2005. This paper introduces the motivation of organizing such a workshop, as well as its theme and paper gathering and review; and summarizes the main content and insights of 11 keynote speeches, 30 regular papers in five sessions of “Process Content”, “Process Tools and Metrics”, “Process Management”, “Process Representation and Analysis”, and “Experience Reports”, 8 software development support tools demonstration, and the ending panel “Where Are We Now? Where Should We Go Next?”.
基金supported by the National Natural Science Foundation of China(Grant Nos.81871508 and 61773246)the Major Program of Shandong Province Natural Science Foundation(Grant No.ZR2019ZD04 and ZR2018ZB0419)the Taishan Scholar Program of Shandong Province of China(Grant No.TSHW201502038).
文摘Multispectral imaging (MSI) technique is often used to capture imagesof the fundus by illuminating it with different wavelengths of light. However,these images are taken at different points in time such that eyeball movementscan cause misalignment between consecutive images. The multispectral imagesequence reveals important information in the form of retinal and choroidal bloodvessel maps, which can help ophthalmologists to analyze the morphology of theseblood vessels in detail. This in turn can lead to a high diagnostic accuracy of several diseases. In this paper, we propose a novel semi-supervised end-to-end deeplearning framework called “Adversarial Segmentation and Registration Nets”(ASRNet) for the simultaneous estimation of the blood vessel segmentation andthe registration of multispectral images via an adversarial learning process. ASRNet consists of two subnetworks: (i) A segmentation module S that fulfills theblood vessel segmentation task, and (ii) A registration module R that estimatesthe spatial correspondence of an image pair. Based on the segmention-drivenregistration network, we train the segmentation network using a semi-supervisedadversarial learning strategy. Our experimental results show that the proposedASRNet can achieve state-of-the-art accuracy in segmentation and registrationtasks performed with real MSI datasets.
文摘This paper investigates the H∞ controller design method for a class of singular networked control systems (SNCS) based on the singular plant. In view of the network-induced delay less than or equal to a sampling period, finite external disturbance, clock-driven sensors, event-driven controller and actuators as well as impulse behavior and structural instability of singular plants, the H∞ controller design method of SNCS with state feed- back way and dynamic output feedback way is investigated respectively by means of the linear matrix inequality method. The existence condition of H∞ control law, the solving approaches of H∞ controller parameters and disturbance attenuation degree are presented. Finally, a simulation example is given to illustrate the effectiveness and feasibility of the presented method.
基金This work was supported in part by the National Nature Science Foundation of China under Grant 61572300,Grant 81871508,and Grant61773246in part by the Taishan Scholar Program of Shandong Province of China under Grant TSHW201502038+2 种基金in part by the Major Program of Shandong Province Natural Science Foundation under Grant ZR2018ZB0419in part by the Primary Research and Development Plan of Shandong Province under Grant 2017GGX10112,2019GNC106115Shandong Province Higher Educational Science and Technology Program(No.J18KA308).
文摘Optical Coherence Tomography(OCT)is very important in medicine and provide useful diagnostic information.Measuring retinal layer thicknesses plays a vital role in pathophysiologic factors of many ocular conditions.Among the existing retinal layer segmentation approaches,learning or deep learning-based methods belong to the state-of-art.However,most of these techniques rely on manual-marked layers and the performances are limited due to the image quality.In order to overcome this limitation,we build a framework based on gray value curve matching,which uses depth learning to match the curve for semi-automatic segmentation of retinal layers from OCT.The depth convolution network learns the column correspondence in the OCT image unsupervised.The whole OCT image participates in the depth convolution neural network operation,compares the gray value of each column,and matches the gray value sequence of the transformation column and the next column.Using this algorithm,when a boundary point is manually specified,we can accurately segment the boundary between retinal layers.Our experimental results obtained from a 54-subjects database of both normal healthy eyes and affected eyes demonstrate the superior performances of our approach.
基金the National 973 Program (Grant No. 2002CB312002)the National 863 Program (Grant Nos. 2007AA01Z178, 2007AA01Z140 and 2006AA01Z159)+2 种基金the Program for New Century Excellent Talents in University (Grant No. NCET-07-0419)the National Natural Science Foundation of China (Grant Nos. 60403014, 60721002 and 60736015)the Jiangsu Nature Science Foundation (Grant No. BK2006712)
文摘Internetware is envisioned as a general software paradigm for the application style of resources integration and sharing in the open, dynamic and uncertain platforms such as the Internet. Continuing the agent-based Internetware model presented in a previous paper, in this paper, after an analysis of the behavioral patterns and the technical challenges of environment-driven applications, a software-structuring model is proposed for environment-driven Internetware applications. A series of explorations on the enabling techniques for the model, especially the modeling, management and utilization of context information are presented. Several proto-typical systems have also been built to prove the concepts and evaluate the techniques. These research efforts make a further step toward the Internetware paradigm by providing an initial framework for the construction of context-aware and self-adaptive software application systems in the open network environment.
基金the Major State Basic Research Development Program of China(973 Program)(Grant No.2002CB312002)the National Natural Science Foundation of China(Grant No.60403014)Nature Science Foundation of Jiangsu Province Project(Grant No.BK2006712)
文摘Due to the independency, variability, and tailorability of software service in the open environment, the research of middleware which supports software services multi-mode interaction is thus of great importance. In this paper, an agent-based multi-mode interaction middleware model and its supporting system for software services were proposed. This model includes an interaction feature decomposition and configuration model to enable interaction programming, an agent-based middleware model, and a programmable coordination media based on reflection technology. The decomposition and configuration model for interaction features can assist programmers in interaction programming by analyzing and synthesizing interaction features. The agent-based middleware model provides a runtime framework for service multi-mode interaction. The programmable coordination media is able to effectively support software service coordination based on multimode interaction. To verify feasibility and efficiency of the above method, the design, implementation and performance analysis of Artemis-M3C, a multi-mode interaction middleware for software services, were introduced. The result shows that the above method is feasible and that the Artemis-M3C system is practical and effective in multi-mode interaction.
文摘An important concept proposed in the early stage of robot path planning field is the shrinking of a robot to a point and meanwhile the expanding of obstacles in the workspace as a set of new obstacles. The resulting grown obstacles are called the Configuration Space （Cspace） obstacles. The find-path problem is then transformed into that of finding a collision-free path for a point robot among the Cspace obstacles. However, the research experiences have shown that the Cspace transformation is very hard when the following situations occur： 1） both the robot and obstacles are not polygons, and 2） the robot is allowed to rotate. This situation gets even worse when the robot and obstacles are three dimensional （3D） objects with various shapes. For this reason, direct path planning approaches without the Cspace transformation is quite useful and expected. Motivated by the practical requirements of robot path planning, a generalized constrained optimization problem （GCOP） with not only logic AND but also logic OR relationships was proposed and a mathematical solution developed previously. This paper inherits the fundamental ideas of inequality and optimization techniques from the previous work, converts the obstacle avoidance problem into a semi-infinite constrained optimization problem with the help of the mathematical transformation, and proposes a direct path planning approach without Cspace calculation, which is quite different from traditional methods. To show its merits, simulation results in 3D space have been presented.
基金Project supported by the National Science Foundation for Excellent Young Scientists, Trans-Century Training Programme Foundation for the Talents and the National Climbing Program.
文摘The sound and complete rules for data reification in the algebraic framework are discussed. Based on these rules, the retrieve function approach in VDM is extended and the biased model and non-determinacy can be treated in some sense
