As an introductory course for the emerging major of big data management and application,“Introduction to Big Data”has not yet formed a curriculum standard and implementation plan that is widely accepted and used by ...As an introductory course for the emerging major of big data management and application,“Introduction to Big Data”has not yet formed a curriculum standard and implementation plan that is widely accepted and used by everyone.To this end,we discuss some of our explorations and attempts in the construction and teaching process of big data courses for the major of big data management and application from the perspective of course planning,course implementation,and course summary.After interviews with students and feedback from questionnaires,students are highly satisfied with some of the teaching measures and programs currently adopted.展开更多
Reconfiguration is the key to produce an applicable ternary optical computer(TOC).The method to implement the reconfiguration function determines whether a TOC can step into applied fields or not.In this work,a design...Reconfiguration is the key to produce an applicable ternary optical computer(TOC).The method to implement the reconfiguration function determines whether a TOC can step into applied fields or not.In this work,a design of the reconfiguration circuit based on field programmable gates array(FPGA)is proposed,and the structure of the entire hardware system is discussed.展开更多
In this paper an overall scheme of the task management system of ternary optical computer(TOC)is proposed,and the software architecture chart is given.The function and accomplishment of each module in the system are d...In this paper an overall scheme of the task management system of ternary optical computer(TOC)is proposed,and the software architecture chart is given.The function and accomplishment of each module in the system are described in general.In addition,according to the aforementioned scheme a prototype of TOC task management system is implemented,and the feasibility,rationality and completeness of the scheme are verified via running and testing the prototype.展开更多
The division operation is not frequent relatively in traditional applications,but it is increasingly indispensable and important in many modern applications.In this paper,the implementation of modified signed-digit(MS...The division operation is not frequent relatively in traditional applications,but it is increasingly indispensable and important in many modern applications.In this paper,the implementation of modified signed-digit(MSD)floating-point division using Newton-Raphson method on the system of ternary optical computer(TOC)is studied.Since the addition of MSD floating-point is carry-free and the digit width of the system of TOC is large,it is easy to deal with the enough wide data and transform the division operation into multiplication and addition operations.And using data scan and truncation the problem of digits expansion is effectively solved in the range of error limit.The division gets the good results and the efficiency is high.The instance of MSD floating-point division shows that the method is feasible.展开更多
A large number of Web APIs have been released as services in mobile communications,but the service provided by a single Web API is usually limited.To enrich the services in mobile communications,developers have combin...A large number of Web APIs have been released as services in mobile communications,but the service provided by a single Web API is usually limited.To enrich the services in mobile communications,developers have combined Web APIs and developed a new service,which is known as a mashup.The emergence of mashups greatly increases the number of services in mobile communications,especially in mobile networks and the Internet-of-Things(IoT),and has encouraged companies and individuals to develop even more mashups,which has led to the dramatic increase in the number of mashups.Such a trend brings with it big data,such as the massive text data from the mashups themselves and continually-generated usage data.Thus,the question of how to determine the most suitable mashups from big data has become a challenging problem.In this paper,we propose a mashup recommendation framework from big data in mobile networks and the IoT.The proposed framework is driven by machine learning techniques,including neural embedding,clustering,and matrix factorization.We employ neural embedding to learn the distributed representation of mashups and propose to use cluster analysis to learn the relationship among the mashups.We also develop a novel Joint Matrix Factorization(JMF)model to complete the mashup recommendation task,where we design a new objective function and an optimization algorithm.We then crawl through a real-world large mashup dataset and perform experiments.The experimental results demonstrate that our framework achieves high accuracy in mashup recommendation and performs better than all compared baselines.展开更多
For Printed Circuit Board(PCB)surface defect detection,traditional detection methods mostly focus on template matching-based reference method and manual detections,which have the disadvantages of low defect detection ...For Printed Circuit Board(PCB)surface defect detection,traditional detection methods mostly focus on template matching-based reference method and manual detections,which have the disadvantages of low defect detection efficiency,large errors in defect identification and localization,and low versatility of detectionmethods.In order to furthermeet the requirements of high detection accuracy,real-time and interactivity required by the PCB industry in actual production life.In the current work,we improve the Youonly-look-once(YOLOv4)defect detection method to train and detect six types of PCB small target defects.Firstly,the original Cross Stage Partial Darknet53(CSPDarknet53)backbone network is preserved for PCB defect feature information extraction,and secondly,the original multi-layer cascade fusion method is changed to a single-layer feature layer structure to greatly avoid the problem of uneven distribution of priori anchor boxes size in PCB defect detection process.Then,the K-means++clustering method is used to accurately cluster the anchor boxes to obtain the required size requirements for the defect detection,which further improves the recognition and localization of small PCB defects.Finally,the improved YOLOv4 defect detection model is compared and analyzed on PCB dataset with multi-class algorithms.The experimental results show that the average detection accuracy value of the improved defect detection model reaches 99.34%,which has better detection capability,lower leakage rate and false detection rate for PCB defects in comparison with similar defect detection algorithms.展开更多
The earliest and most accurate detection of the pathological manifestations of hepatic diseases ensures effective treatments and thus positive prognostic outcomes.In clinical settings,screening and determining the ext...The earliest and most accurate detection of the pathological manifestations of hepatic diseases ensures effective treatments and thus positive prognostic outcomes.In clinical settings,screening and determining the extent of a pathology are prominent factors in preparing remedial agents and administering approp-riate therapeutic procedures.Moreover,in a patient undergoing liver resection,a realistic preoperative simulation of the subject-specific anatomy and physiology also plays a vital part in conducting initial assessments,making surgical decisions during the procedure,and anticipating postoperative results.Conventionally,various medical imaging modalities,e.g.,computed tomography,magnetic resonance imaging,and positron emission tomography,have been employed to assist in these tasks.In fact,several standardized procedures,such as lesion detection and liver segmentation,are also incorporated into prominent commercial software packages.Thus far,most integrated software as a medical device typically involves tedious interactions from the physician,such as manual delineation and empirical adjustments,as per a given patient.With the rapid progress in digital health approaches,especially medical image analysis,a wide range of computer algorithms have been proposed to facilitate those procedures.They include pattern recognition of a liver,its periphery,and lesion,as well as pre-and postoperative simulations.Prior to clinical adoption,however,software must conform to regulatory requirements set by the governing agency,for instance,valid clinical association and analytical and clinical validation.Therefore,this paper provides a detailed account and discussion of the state-of-the-art methods for liver image analyses,visualization,and simulation in the literature.Emphasis is placed upon their concepts,algorithmic classifications,merits,limitations,clinical considerations,and future research trends.展开更多
The fingerprinting-based approach using the wireless local area network(WLAN)is widely used for indoor localization.However,the construction of the fingerprint database is quite time-consuming.Especially when the posi...The fingerprinting-based approach using the wireless local area network(WLAN)is widely used for indoor localization.However,the construction of the fingerprint database is quite time-consuming.Especially when the position of the access point(AP)or wall changes,updating the fingerprint database in real-time is difficult.An appropriate indoor localization approach,which has a low implementation cost,excellent real-time performance,and high localization accuracy and fully considers complex indoor environment factors,is preferred in location-based services(LBSs)applications.In this paper,we proposed a fine-grained grid computing(FGGC)model to achieve decimeter-level localization accuracy.Reference points(RPs)are generated in the grid by the FGGC model.Then,the received signal strength(RSS)values at each RP are calculated with the attenuation factors,such as the frequency band,three-dimensional propagation distance,and walls in complex environments.As a result,the fingerprint database can be established automatically without manual measurement,and the efficiency and cost that the FGGC model takes for the fingerprint database are superior to previous methods.The proposed indoor localization approach,which estimates the position step by step from the approximate grid location to the fine-grained location,can achieve higher real-time performance and localization accuracy simultaneously.The mean error of the proposed model is 0.36 m,far lower than that of previous approaches.Thus,the proposed model is feasible to improve the efficiency and accuracy of Wi-Fi indoor localization.It also shows high-accuracy performance with a fast running speed even under a large-size grid.The results indicate that the proposed method can also be suitable for precise marketing,indoor navigation,and emergency rescue.展开更多
Optical image-based ship detection can ensure the safety of ships and promote the orderly management of ships in offshore waters.Current deep learning researches on optical image-based ship detection mainly focus on i...Optical image-based ship detection can ensure the safety of ships and promote the orderly management of ships in offshore waters.Current deep learning researches on optical image-based ship detection mainly focus on improving one-stage detectors for real-time ship detection but sacrifices the accuracy of detection.To solve this problem,we present a hybrid ship detection framework which is named EfficientShip in this paper.The core parts of the EfficientShip are DLA-backboned object location(DBOL)and CascadeRCNN-guided object classification(CROC).The DBOL is responsible for finding potential ship objects,and the CROC is used to categorize the potential ship objects.We also design a pixel-spatial-level data augmentation(PSDA)to reduce the risk of detection model overfitting.We compare the proposed EfficientShip with state-of-the-art(SOTA)literature on a ship detection dataset called Seaships.Experiments show our ship detection framework achieves a result of 99.63%(mAP)at 45 fps,which is much better than 8 SOTA approaches on detection accuracy and can also meet the requirements of real-time application scenarios.展开更多
In order to assure quality and control process in the development of the aircraft collaborative design software, a maturity assessment model is proposed. The requirements designing—house of quality is designed to eva...In order to assure quality and control process in the development of the aircraft collaborative design software, a maturity assessment model is proposed. The requirements designing—house of quality is designed to evaluate the maturity degree of the solution, and the evaluation results can help to manage and control the development process. Furthermore, a fuzzy evaluation method based on the minimum deviation is proposed to deal with the fuzzy information. The quantitative evaluation result of the maturity degree can be calculated by optimizing the semantic discount factor aim for the minimum deviation. Finally, this model is illustrated and analyzed by an example study of the aircraft collaborative design software.展开更多
Based on the features of marine environmental data and processing requirements,a cloud computing architecture of marine environment information is proposed,which provides a new cloud technology framework for the integ...Based on the features of marine environmental data and processing requirements,a cloud computing architecture of marine environment information is proposed,which provides a new cloud technology framework for the integration and sharing of marine environmental information resources.A physical layer,software platform layer and an application layer are illustrated systematically,at the same time,a corresponding solutions for many difficult technical problems such as parallel query processing of multi-dimensional,spatiotemporal information,data slice storage,software service flow customization,analysis,reorganization and so on.A prototype system is developed and many different data-size experiments and a comparative analysis are done based on it.The experiment results show that the cloud platform based on this framework can achieve high performance and scalability when dealing with large-scale marine data.展开更多
As a coprocessor,field-programmable gate array(FPGA)is the hardware computing processor accelerating the computing capacity of computers.To efficiently manage the hardware free resources for the placing of tasks on FP...As a coprocessor,field-programmable gate array(FPGA)is the hardware computing processor accelerating the computing capacity of computers.To efficiently manage the hardware free resources for the placing of tasks on FPGA and take full advantage of the partially reconfigurable units,good utilization of chip resources is an important and necessary work.In this paper,a new method is proposed to find the complete set of maximal free resource rectangles based on the cross point of edge lines of running tasks on FPGA area,and the prove process is provided to make sure the correctness of this method.展开更多
Fault diagnosis is a key issue of the CCBII(computer controlled brake II) braking system, because the CCBII braking system is very complicated and nonlinear, which may exhibit isolated and multi-component coupled faul...Fault diagnosis is a key issue of the CCBII(computer controlled brake II) braking system, because the CCBII braking system is very complicated and nonlinear, which may exhibit isolated and multi-component coupled faults. A parity space-based method was proposed for fault diagnosis of CCBII braking systems. Firstly, the mathematical models were established according to three function modules of CCBII braking systems where the air fluid theory was utilized. Then, parity vector and threshold function were designed for each output of the system so as to identify more system faults. Fault character matrix was built based on the causal relationship between the output and the fault according to the system function and internal structure. Finally, fault detection and isolation can be realized by the comparison of the observed system output and the fault character matrix. Simulation results show that the proposed method is entirely feasible and effective.展开更多
Laser scanning confocal endomicroscope(LSCEM)has emerged as an imaging modality which provides noninvasive,in vivo imaging of biological tissue on a microscopic scale.Scientific visualizations for LSCEM datasets captu...Laser scanning confocal endomicroscope(LSCEM)has emerged as an imaging modality which provides noninvasive,in vivo imaging of biological tissue on a microscopic scale.Scientific visualizations for LSCEM datasets captured by current imaging systems require these datasets to be fully acquired and brought to a separate rendering machine.To extend the features and capabilities of this modality,we propose a system which is capable of performing realtime visualization of LSCEM datasets.Using field-programmable gate arrays,our system performs three tasks in parallel:(1)automated control of dataset acquisition;(2)imaging-rendering system synchronization;and(3)realtime volume rendering of dynamic datasets.Through fusion of LSCEM imaging and volume rendering processes,acquired datasets can be visualized in realtime to provide an immediate perception of the image quality and biological conditions of the subject,further assisting in realtime cancer diagnosis.Subsequently,the imaging procedure can be improved for more accurate diagnosis and reduce the need for repeating the process due to unsatisfactory datasets.展开更多
This note is devoted to the study on the traveling wavefronts to the Nicholson's blowflies equation with diffusion,a time-delayed reaction-diffusion equation.For the critical speed of traveling waves,we give a det...This note is devoted to the study on the traveling wavefronts to the Nicholson's blowflies equation with diffusion,a time-delayed reaction-diffusion equation.For the critical speed of traveling waves,we give a detailed analysis on its location and asymptotic behavior with respect to the mature age.展开更多
Nonlinear errors always exist in data obtained from tracker in augmented reality (AR), which badly influence the effect of AR. This paper proposes to rectify the errors using BP neural network. As BP neural network is...Nonlinear errors always exist in data obtained from tracker in augmented reality (AR), which badly influence the effect of AR. This paper proposes to rectify the errors using BP neural network. As BP neural network is prone to getting into local extrema and convergence is slow, genetic algorithm is employed to optimize the initial weights and threshold of neural network. This paper discusses how to set the crucial parameters in the algorithm. Experimental results show that the method ensures that the neural network achieves global convergence quickly and correctly. Tracking precision of AR system is improved after the tracker is rectified, and the third dimension of AR system is enhanced.展开更多
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 prob-lem of model checking-based test generation for a Web applica-tion 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.展开更多
A system-Asynchronous JavaScript and XML(AJAX)and a Model-View-Controller(MVC)pattern algorithm were proposed for design and implementation of an office automation(OA)system.Adopting the.NET framework as development p...A system-Asynchronous JavaScript and XML(AJAX)and a Model-View-Controller(MVC)pattern algorithm were proposed for design and implementation of an office automation(OA)system.Adopting the.NET framework as development platform,the system modifies the classic MVC pattern,induces AJAX in the ASP.NET 2.0,and includes several modules,namely login,messaging,notice board,personal work,research management,document management,personnel information and maintenance.We discussed the overall structure of the system,functional and database design.The main functions of several modules and their final realization are explained in details.The system yields high efficiency,along with features of clear frame,easy maintainability,reliability,etc.展开更多
A detailed experiment of 1-pixel bit reconfigurable ternary optical processor(TOP)is proposed in the paper.42 basic operation units(BOUs)and 28 typical logic operators of the TOP are realized in the experiment.Results...A detailed experiment of 1-pixel bit reconfigurable ternary optical processor(TOP)is proposed in the paper.42 basic operation units(BOUs)and 28 typical logic operators of the TOP are realized in the experiment.Results of the test cases elaborately cover the every combination of BOUs and all the nine inputs of ternary processor.Both the experiment process and results analysis are given in this paper.The experimental results demonstrate that the theory of reconfiguring a TOP is valid and that the reconfiguration circuitry is effective.展开更多
In remote sensing sea surface temperature(SST),the traditional fusion method is used to compute the dot product of a subjective weight vector with a satellite measurement vector,while the result requires validation by...In remote sensing sea surface temperature(SST),the traditional fusion method is used to compute the dot product of a subjective weight vector with a satellite measurement vector,while the result requires validation by field measurement.However,field measurement that relative to the satellite measurement is very sparse,many information may not be verified.A relative objective weight vector is constructed by using the limited field measurement,which is based on coefficient of variation method.And then it make an application of the data fusion by the weighted average method in the SST data.fuse SST data with the weighted average method.In this way,some posteriori information can be added to the fusion process.The model reduces the dependence on verification,and some of the satellite measurement can be handled without corresponding to the field measurement,and the fusion result matches transfer errors theory.展开更多
文摘As an introductory course for the emerging major of big data management and application,“Introduction to Big Data”has not yet formed a curriculum standard and implementation plan that is widely accepted and used by everyone.To this end,we discuss some of our explorations and attempts in the construction and teaching process of big data courses for the major of big data management and application from the perspective of course planning,course implementation,and course summary.After interviews with students and feedback from questionnaires,students are highly satisfied with some of the teaching measures and programs currently adopted.
基金Project supported by the National Natural Science Foundation of China(Grant No.61073049)the Shanghai Leading Academic Discipline Project(Grant No.J50103)the Doctorate Foundation of Education Ministry of China(Grant No.20093108110016)
文摘Reconfiguration is the key to produce an applicable ternary optical computer(TOC).The method to implement the reconfiguration function determines whether a TOC can step into applied fields or not.In this work,a design of the reconfiguration circuit based on field programmable gates array(FPGA)is proposed,and the structure of the entire hardware system is discussed.
基金Project supported by the National Natural Science Foundation of China(Grant No.61073049)the Ph D Programs Foundation of the Ministry of Education of China(Grant No.20093108110016)the Shanghai Leading Academic Discipline Project(Grant No.J50103)
文摘In this paper an overall scheme of the task management system of ternary optical computer(TOC)is proposed,and the software architecture chart is given.The function and accomplishment of each module in the system are described in general.In addition,according to the aforementioned scheme a prototype of TOC task management system is implemented,and the feasibility,rationality and completeness of the scheme are verified via running and testing the prototype.
基金Project supported by the Shanghai Leading Academic Discipline Project(Grant No.J50103)the National Natural Science Foundation of China(Grant No.61073049)
文摘The division operation is not frequent relatively in traditional applications,but it is increasingly indispensable and important in many modern applications.In this paper,the implementation of modified signed-digit(MSD)floating-point division using Newton-Raphson method on the system of ternary optical computer(TOC)is studied.Since the addition of MSD floating-point is carry-free and the digit width of the system of TOC is large,it is easy to deal with the enough wide data and transform the division operation into multiplication and addition operations.And using data scan and truncation the problem of digits expansion is effectively solved in the range of error limit.The division gets the good results and the efficiency is high.The instance of MSD floating-point division shows that the method is feasible.
基金supported by the National Key R&D Program of China (No.2021YFF0901002)the National Natural Science Foundation of China (No.61802291)+1 种基金Fundamental Research Funds for the Provincial Universities of Zhejiang (GK199900299012-025)Fundamental Research Funds for the Central Universities (No.JB210311).
文摘A large number of Web APIs have been released as services in mobile communications,but the service provided by a single Web API is usually limited.To enrich the services in mobile communications,developers have combined Web APIs and developed a new service,which is known as a mashup.The emergence of mashups greatly increases the number of services in mobile communications,especially in mobile networks and the Internet-of-Things(IoT),and has encouraged companies and individuals to develop even more mashups,which has led to the dramatic increase in the number of mashups.Such a trend brings with it big data,such as the massive text data from the mashups themselves and continually-generated usage data.Thus,the question of how to determine the most suitable mashups from big data has become a challenging problem.In this paper,we propose a mashup recommendation framework from big data in mobile networks and the IoT.The proposed framework is driven by machine learning techniques,including neural embedding,clustering,and matrix factorization.We employ neural embedding to learn the distributed representation of mashups and propose to use cluster analysis to learn the relationship among the mashups.We also develop a novel Joint Matrix Factorization(JMF)model to complete the mashup recommendation task,where we design a new objective function and an optimization algorithm.We then crawl through a real-world large mashup dataset and perform experiments.The experimental results demonstrate that our framework achieves high accuracy in mashup recommendation and performs better than all compared baselines.
基金This work was funded by the Natural Science Research Project of Higher Education Institutions in Jiangsu Province(No.20KJA520007)Min Zhang receives the grant and the URLs to sponsors’websites are http://jyt.jiangsu.gov.cn/.
文摘For Printed Circuit Board(PCB)surface defect detection,traditional detection methods mostly focus on template matching-based reference method and manual detections,which have the disadvantages of low defect detection efficiency,large errors in defect identification and localization,and low versatility of detectionmethods.In order to furthermeet the requirements of high detection accuracy,real-time and interactivity required by the PCB industry in actual production life.In the current work,we improve the Youonly-look-once(YOLOv4)defect detection method to train and detect six types of PCB small target defects.Firstly,the original Cross Stage Partial Darknet53(CSPDarknet53)backbone network is preserved for PCB defect feature information extraction,and secondly,the original multi-layer cascade fusion method is changed to a single-layer feature layer structure to greatly avoid the problem of uneven distribution of priori anchor boxes size in PCB defect detection process.Then,the K-means++clustering method is used to accurately cluster the anchor boxes to obtain the required size requirements for the defect detection,which further improves the recognition and localization of small PCB defects.Finally,the improved YOLOv4 defect detection model is compared and analyzed on PCB dataset with multi-class algorithms.The experimental results show that the average detection accuracy value of the improved defect detection model reaches 99.34%,which has better detection capability,lower leakage rate and false detection rate for PCB defects in comparison with similar defect detection algorithms.
文摘The earliest and most accurate detection of the pathological manifestations of hepatic diseases ensures effective treatments and thus positive prognostic outcomes.In clinical settings,screening and determining the extent of a pathology are prominent factors in preparing remedial agents and administering approp-riate therapeutic procedures.Moreover,in a patient undergoing liver resection,a realistic preoperative simulation of the subject-specific anatomy and physiology also plays a vital part in conducting initial assessments,making surgical decisions during the procedure,and anticipating postoperative results.Conventionally,various medical imaging modalities,e.g.,computed tomography,magnetic resonance imaging,and positron emission tomography,have been employed to assist in these tasks.In fact,several standardized procedures,such as lesion detection and liver segmentation,are also incorporated into prominent commercial software packages.Thus far,most integrated software as a medical device typically involves tedious interactions from the physician,such as manual delineation and empirical adjustments,as per a given patient.With the rapid progress in digital health approaches,especially medical image analysis,a wide range of computer algorithms have been proposed to facilitate those procedures.They include pattern recognition of a liver,its periphery,and lesion,as well as pre-and postoperative simulations.Prior to clinical adoption,however,software must conform to regulatory requirements set by the governing agency,for instance,valid clinical association and analytical and clinical validation.Therefore,this paper provides a detailed account and discussion of the state-of-the-art methods for liver image analyses,visualization,and simulation in the literature.Emphasis is placed upon their concepts,algorithmic classifications,merits,limitations,clinical considerations,and future research trends.
基金the Open Project of Sichuan Provincial Key Laboratory of Philosophy and Social Science for Language Intelligence in Special Education under Grant No.YYZN-2023-4the Ph.D.Fund of Chengdu Technological University under Grant No.2020RC002.
文摘The fingerprinting-based approach using the wireless local area network(WLAN)is widely used for indoor localization.However,the construction of the fingerprint database is quite time-consuming.Especially when the position of the access point(AP)or wall changes,updating the fingerprint database in real-time is difficult.An appropriate indoor localization approach,which has a low implementation cost,excellent real-time performance,and high localization accuracy and fully considers complex indoor environment factors,is preferred in location-based services(LBSs)applications.In this paper,we proposed a fine-grained grid computing(FGGC)model to achieve decimeter-level localization accuracy.Reference points(RPs)are generated in the grid by the FGGC model.Then,the received signal strength(RSS)values at each RP are calculated with the attenuation factors,such as the frequency band,three-dimensional propagation distance,and walls in complex environments.As a result,the fingerprint database can be established automatically without manual measurement,and the efficiency and cost that the FGGC model takes for the fingerprint database are superior to previous methods.The proposed indoor localization approach,which estimates the position step by step from the approximate grid location to the fine-grained location,can achieve higher real-time performance and localization accuracy simultaneously.The mean error of the proposed model is 0.36 m,far lower than that of previous approaches.Thus,the proposed model is feasible to improve the efficiency and accuracy of Wi-Fi indoor localization.It also shows high-accuracy performance with a fast running speed even under a large-size grid.The results indicate that the proposed method can also be suitable for precise marketing,indoor navigation,and emergency rescue.
基金This work was supported by the Outstanding Youth Science and Technology Innovation Team Project of Colleges and Universities in Hubei Province(Grant No.T201923)Key Science and Technology Project of Jingmen(Grant Nos.2021ZDYF024,2022ZDYF019)+2 种基金LIAS Pioneering Partnerships Award,UK(Grant No.P202ED10)Data Science Enhancement Fund,UK(Grant No.P202RE237)Cultivation Project of Jingchu University of Technology(Grant No.PY201904).
文摘Optical image-based ship detection can ensure the safety of ships and promote the orderly management of ships in offshore waters.Current deep learning researches on optical image-based ship detection mainly focus on improving one-stage detectors for real-time ship detection but sacrifices the accuracy of detection.To solve this problem,we present a hybrid ship detection framework which is named EfficientShip in this paper.The core parts of the EfficientShip are DLA-backboned object location(DBOL)and CascadeRCNN-guided object classification(CROC).The DBOL is responsible for finding potential ship objects,and the CROC is used to categorize the potential ship objects.We also design a pixel-spatial-level data augmentation(PSDA)to reduce the risk of detection model overfitting.We compare the proposed EfficientShip with state-of-the-art(SOTA)literature on a ship detection dataset called Seaships.Experiments show our ship detection framework achieves a result of 99.63%(mAP)at 45 fps,which is much better than 8 SOTA approaches on detection accuracy and can also meet the requirements of real-time application scenarios.
基金supported by the National Natural Science Foundation for Youth of China(61802174)the Natural Science Foundation for Youth of Jiangsu Province(BK20181016)+1 种基金the Natural Science Foundation of the Jiangsu Higher Education Institutions of China(18KJB520019)the Scientific Research Foundation of Nanjing Institute of Technology of China(YKJ201614)
文摘In order to assure quality and control process in the development of the aircraft collaborative design software, a maturity assessment model is proposed. The requirements designing—house of quality is designed to evaluate the maturity degree of the solution, and the evaluation results can help to manage and control the development process. Furthermore, a fuzzy evaluation method based on the minimum deviation is proposed to deal with the fuzzy information. The quantitative evaluation result of the maturity degree can be calculated by optimizing the semantic discount factor aim for the minimum deviation. Finally, this model is illustrated and analyzed by an example study of the aircraft collaborative design software.
基金the Ocean Public Welfare Scientific Research Project of State Oceanic Administration of China under contract No.201105033
文摘Based on the features of marine environmental data and processing requirements,a cloud computing architecture of marine environment information is proposed,which provides a new cloud technology framework for the integration and sharing of marine environmental information resources.A physical layer,software platform layer and an application layer are illustrated systematically,at the same time,a corresponding solutions for many difficult technical problems such as parallel query processing of multi-dimensional,spatiotemporal information,data slice storage,software service flow customization,analysis,reorganization and so on.A prototype system is developed and many different data-size experiments and a comparative analysis are done based on it.The experiment results show that the cloud platform based on this framework can achieve high performance and scalability when dealing with large-scale marine data.
基金Project supported by the Shanghai Leading Academic Discipline Project(Grant No.J50103)the Natural Science Foundation of Jiangxi Province(Grant No.2010GZS0031)the Science Technology Project of Jiangxi Province(Grant No.2010BGB00604)
文摘As a coprocessor,field-programmable gate array(FPGA)is the hardware computing processor accelerating the computing capacity of computers.To efficiently manage the hardware free resources for the placing of tasks on FPGA and take full advantage of the partially reconfigurable units,good utilization of chip resources is an important and necessary work.In this paper,a new method is proposed to find the complete set of maximal free resource rectangles based on the cross point of edge lines of running tasks on FPGA area,and the prove process is provided to make sure the correctness of this method.
基金Projects(61071096,61073103,61003233) supported by the National Natural Science Foundation of ChinaProjects(20100162110012,20110162110042) supported by Doctoral Program of Higher Education,China
文摘Fault diagnosis is a key issue of the CCBII(computer controlled brake II) braking system, because the CCBII braking system is very complicated and nonlinear, which may exhibit isolated and multi-component coupled faults. A parity space-based method was proposed for fault diagnosis of CCBII braking systems. Firstly, the mathematical models were established according to three function modules of CCBII braking systems where the air fluid theory was utilized. Then, parity vector and threshold function were designed for each output of the system so as to identify more system faults. Fault character matrix was built based on the causal relationship between the output and the fault according to the system function and internal structure. Finally, fault detection and isolation can be realized by the comparison of the observed system output and the fault character matrix. Simulation results show that the proposed method is entirely feasible and effective.
文摘Laser scanning confocal endomicroscope(LSCEM)has emerged as an imaging modality which provides noninvasive,in vivo imaging of biological tissue on a microscopic scale.Scientific visualizations for LSCEM datasets captured by current imaging systems require these datasets to be fully acquired and brought to a separate rendering machine.To extend the features and capabilities of this modality,we propose a system which is capable of performing realtime visualization of LSCEM datasets.Using field-programmable gate arrays,our system performs three tasks in parallel:(1)automated control of dataset acquisition;(2)imaging-rendering system synchronization;and(3)realtime volume rendering of dynamic datasets.Through fusion of LSCEM imaging and volume rendering processes,acquired datasets can be visualized in realtime to provide an immediate perception of the image quality and biological conditions of the subject,further assisting in realtime cancer diagnosis.Subsequently,the imaging procedure can be improved for more accurate diagnosis and reduce the need for repeating the process due to unsatisfactory datasets.
基金supported by Natural Sciences and Engineering Research Council of Canada under the NSERC grant RGPIN 354724-08
文摘This note is devoted to the study on the traveling wavefronts to the Nicholson's blowflies equation with diffusion,a time-delayed reaction-diffusion equation.For the critical speed of traveling waves,we give a detailed analysis on its location and asymptotic behavior with respect to the mature age.
基金Project supported by Science Foundation of Shanghai Municipal Commission of Science and Technology (Grant No .025115008)
文摘Nonlinear errors always exist in data obtained from tracker in augmented reality (AR), which badly influence the effect of AR. This paper proposes to rectify the errors using BP neural network. As BP neural network is prone to getting into local extrema and convergence is slow, genetic algorithm is employed to optimize the initial weights and threshold of neural network. This paper discusses how to set the crucial parameters in the algorithm. Experimental results show that the method ensures that the neural network achieves global convergence quickly and correctly. Tracking precision of AR system is improved after the tracker is rectified, and the third dimension of AR system is enhanced.
基金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 prob-lem of model checking-based test generation for a Web applica-tion 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.
基金Shanghai Leading Academic Discipline Project,China(No.J50103)
文摘A system-Asynchronous JavaScript and XML(AJAX)and a Model-View-Controller(MVC)pattern algorithm were proposed for design and implementation of an office automation(OA)system.Adopting the.NET framework as development platform,the system modifies the classic MVC pattern,induces AJAX in the ASP.NET 2.0,and includes several modules,namely login,messaging,notice board,personal work,research management,document management,personnel information and maintenance.We discussed the overall structure of the system,functional and database design.The main functions of several modules and their final realization are explained in details.The system yields high efficiency,along with features of clear frame,easy maintainability,reliability,etc.
基金Project supported by the National Natural Science Foundation of China(Grant No.61073049)the Shanghai Leading Academic Discipline Project(Grant No.J50103)the Doctorate Foundation of Education Ministry of China(Grant No.20093108110016)
文摘A detailed experiment of 1-pixel bit reconfigurable ternary optical processor(TOP)is proposed in the paper.42 basic operation units(BOUs)and 28 typical logic operators of the TOP are realized in the experiment.Results of the test cases elaborately cover the every combination of BOUs and all the nine inputs of ternary processor.Both the experiment process and results analysis are given in this paper.The experimental results demonstrate that the theory of reconfiguring a TOP is valid and that the reconfiguration circuitry is effective.
基金Project supported by the National Natural Science Foundation of China(Grant No.40976108)the Shanghai Leading Academic Discipline Project(Grant No.J50103)
文摘In remote sensing sea surface temperature(SST),the traditional fusion method is used to compute the dot product of a subjective weight vector with a satellite measurement vector,while the result requires validation by field measurement.However,field measurement that relative to the satellite measurement is very sparse,many information may not be verified.A relative objective weight vector is constructed by using the limited field measurement,which is based on coefficient of variation method.And then it make an application of the data fusion by the weighted average method in the SST data.fuse SST data with the weighted average method.In this way,some posteriori information can be added to the fusion process.The model reduces the dependence on verification,and some of the satellite measurement can be handled without corresponding to the field measurement,and the fusion result matches transfer errors theory.