首页 > 最新文献

2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)最新文献

英文 中文
A scheme of deformation measurement for cancellous bones based on the digital image correlation method 一种基于数字图像相关法的松质骨变形测量方案
Pub Date : 2015-10-01 DOI: 10.1109/BMEI.2015.7401536
Huifang Xiong, Shanshan Li, Tan Xiao
For porous materials such as cancellous bones, a digital image correlation (DIC) method was used in the deformation measurement. Directly using microstructural or texture features instead of artificial speckle marks, an algorithm routine of DIC deformation measurement was programmed with MATLAB. The deformation analysis program was firstly tested with simulative speckle images, then the whole scheme of DIC deformation measurement was on trial through an indentation test in which porcine femur was chosen as the specimen. The simulation and test results show that the author developed program is feasible, in which the microstructural features of cancellous bone are used for feature point matching. Such scheme can also be applied to deformation measurements of other porous materials which have similar microstructures to cancellous bone.
对于松质骨等多孔材料,采用数字图像相关(DIC)方法进行变形测量。直接利用显微组织或纹理特征代替人工散斑标记,用MATLAB编写了DIC变形测量的算法程序。首先用模拟散斑图像对变形分析程序进行了测试,然后以猪股骨为试样,通过压痕试验对DIC变形测量的整个方案进行了试验。仿真和试验结果表明,利用松质骨的微观结构特征进行特征点匹配的程序是可行的。该方案也可应用于其他具有与松质骨相似微观结构的多孔材料的变形测量。
{"title":"A scheme of deformation measurement for cancellous bones based on the digital image correlation method","authors":"Huifang Xiong, Shanshan Li, Tan Xiao","doi":"10.1109/BMEI.2015.7401536","DOIUrl":"https://doi.org/10.1109/BMEI.2015.7401536","url":null,"abstract":"For porous materials such as cancellous bones, a digital image correlation (DIC) method was used in the deformation measurement. Directly using microstructural or texture features instead of artificial speckle marks, an algorithm routine of DIC deformation measurement was programmed with MATLAB. The deformation analysis program was firstly tested with simulative speckle images, then the whole scheme of DIC deformation measurement was on trial through an indentation test in which porcine femur was chosen as the specimen. The simulation and test results show that the author developed program is feasible, in which the microstructural features of cancellous bone are used for feature point matching. Such scheme can also be applied to deformation measurements of other porous materials which have similar microstructures to cancellous bone.","PeriodicalId":119361,"journal":{"name":"2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125187103","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Multiscale entropy analysis of surface electromyographic signals as a prognostic indicator for subtle functional impairment of urethral sphincter 表面肌电信号的多尺度熵分析作为尿道括约肌细微功能损害的预后指标
Pub Date : 2015-10-01 DOI: 10.1109/BMEI.2015.7401501
Hsien-Tsai Wu, Wen-Yao Pan, Chun-Wei Liu, H. Kuo, Yuan-Hong Jiang
To explore information hidden in the electromyographic (EMG) signals of urethral sphincter, 19 patients with voiding difficulty were divided into two groups: Patients with detrusor overactivity (Group 1, n=7), detrusor-external sphincter dyssynergia (Group 2, n=12). All patients underwent baseline urodynamic studies for comparison. The results demonstrated that, despite no significant difference in urodynamic parameters between Group 1 and Group 2, the large-scale MSE of preoperative EMG [i.e., MSELS(EMG)] and small-scale MSE of preoperative EMG [i.e., MSESS(EMG)] of Group 1 were notably higher than those of Group 2 (i.e., patients with abnormal sphincter function). In conclusion, using MSE analysis for assessing preoperative urethral sphincter EMG signals successfully distinguished the subtle functional impairment of urethral sphincter unable to be detected by routine urodynamic studies.
为探索尿道括约肌肌电图(EMG)信号中隐藏的信息,将19例排尿困难患者分为逼尿肌过度活动组(1组,n=7)和逼尿肌-外括约肌协同障碍组(2组,n=12)。所有患者进行基线尿动力学研究进行比较。结果显示,尽管1组与2组尿动力学参数无显著差异,但1组术前EMG的大尺度MSE[即MSELS(EMG)]和术前EMG的小尺度MSE[即mess (EMG)]明显高于2组(即括约肌功能异常患者)。综上所述,利用MSE分析评估术前尿道括约肌肌电图信号,成功区分了常规尿动力学检查无法检测到的尿道括约肌细微功能损伤。
{"title":"Multiscale entropy analysis of surface electromyographic signals as a prognostic indicator for subtle functional impairment of urethral sphincter","authors":"Hsien-Tsai Wu, Wen-Yao Pan, Chun-Wei Liu, H. Kuo, Yuan-Hong Jiang","doi":"10.1109/BMEI.2015.7401501","DOIUrl":"https://doi.org/10.1109/BMEI.2015.7401501","url":null,"abstract":"To explore information hidden in the electromyographic (EMG) signals of urethral sphincter, 19 patients with voiding difficulty were divided into two groups: Patients with detrusor overactivity (Group 1, n=7), detrusor-external sphincter dyssynergia (Group 2, n=12). All patients underwent baseline urodynamic studies for comparison. The results demonstrated that, despite no significant difference in urodynamic parameters between Group 1 and Group 2, the large-scale MSE of preoperative EMG [i.e., MSELS(EMG)] and small-scale MSE of preoperative EMG [i.e., MSESS(EMG)] of Group 1 were notably higher than those of Group 2 (i.e., patients with abnormal sphincter function). In conclusion, using MSE analysis for assessing preoperative urethral sphincter EMG signals successfully distinguished the subtle functional impairment of urethral sphincter unable to be detected by routine urodynamic studies.","PeriodicalId":119361,"journal":{"name":"2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126734349","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Analysis of variable structure of the disease spread with media impact 媒介影响下疾病传播的变结构分析
Pub Date : 2015-10-01 DOI: 10.1109/BMEI.2015.7401515
Jing'an Cui, Ying Qi
In order to show the characteristic of the impact on the spread of diseases by media coverage, we will propose a model with a piecewise continuous incidence rate in this paper. When the number of infected reaches the critical value, the effect of media coverage will appear. The existence and the stability of endemic equilibriums and sliding equilibrium depend on the critical value. With different critical values, the sliding mode area is changing and the model solutions will tend to the endemic equilibrium or sliding equilibrium. The result of the paper shows that if the critical value is selected and the parameters are proper, the final number of infected will be stable in the critical value chosen previously.
为了显示媒体报道对疾病传播影响的特征,本文将提出一个分段连续发病率模型。当感染人数达到临界值时,才会出现媒体报道的效果。地方性平衡和滑动平衡的存在性和稳定性取决于临界值。当临界值不同时,滑模区域会发生变化,模型解会趋于地方性平衡或滑动平衡。本文的结果表明,如果选择临界值并且参数适当,最终感染人数将稳定在先前选择的临界值中。
{"title":"Analysis of variable structure of the disease spread with media impact","authors":"Jing'an Cui, Ying Qi","doi":"10.1109/BMEI.2015.7401515","DOIUrl":"https://doi.org/10.1109/BMEI.2015.7401515","url":null,"abstract":"In order to show the characteristic of the impact on the spread of diseases by media coverage, we will propose a model with a piecewise continuous incidence rate in this paper. When the number of infected reaches the critical value, the effect of media coverage will appear. The existence and the stability of endemic equilibriums and sliding equilibrium depend on the critical value. With different critical values, the sliding mode area is changing and the model solutions will tend to the endemic equilibrium or sliding equilibrium. The result of the paper shows that if the critical value is selected and the parameters are proper, the final number of infected will be stable in the critical value chosen previously.","PeriodicalId":119361,"journal":{"name":"2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116247003","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Development of a quantifiable optical reader for lateral flow immunoassay 用于横向流动免疫分析的可量化光学读取器的研制
Pub Date : 2015-10-01 DOI: 10.1109/BMEI.2015.7401527
Yongliang Yang, Yong-Hong Gu, S. Ge, Z. Tang, Xianbo Qiu
An optimized optical reader was developed for quantitative fluorescence detection of lateral flow immunoassay in point-of-care test (POCT). Different from existing readers for qualitative test, the developed reader is able to perform quantitative test with a line-shaped excitation beam to obtain the distribution of fluorescence signal intensity along the lateral flow strip. To reduce system complexity, a custom Y-shaped optical fiber, instead of one set of optical lenses, was adopted to couple the excitation and emission channels. A high power Light Emitting Diode (LED) with a specific wavelength interfaced with one of the two split ends of the optical fiber for excitation, while a highly sensitive photodiode with the other split end for detection. A linear stage with high resolution, which was driven by a step motor, was incorporated to facilitate strip scanning. Considering the inhomogeneous nature of lateral flow immunoassay, an optimized global searching algorithm was developed to identify test and control peaks and their boundaries, which further improves reader's sensitivity and specificity. Finally, a calibration model was built into the reader to report the concentration of the test sample. As an example, quantitative CRP (C - reactive protein) test was performed on this reader achieving a reasonable clinical diagnostics range from 1 μg/mL to 200 μg/mL. With its machine reading function, simplicity and relatively low cost, the optical reader could play an important role in POCT.
开发了一种优化的光学读取器,用于点护理试验(POCT)中侧流免疫分析的定量荧光检测。与现有的定性测试阅读器不同,本发明的阅读器可以使用线状激发光束进行定量测试,获得荧光信号强度沿横向流条的分布。为了降低系统的复杂性,采用定制的y形光纤代替一组光学透镜来耦合激发和发射通道。一个具有特定波长的高功率发光二极管(LED)与光纤的两个分叉端之一连接用于激发,而一个高灵敏度光电二极管与另一个分叉端连接用于检测。采用步进电机驱动的高分辨率线性工作台,便于条带扫描。考虑到横向流动免疫分析法的非均匀性,提出了优化的全局搜索算法来识别检测和控制峰及其边界,进一步提高了阅读器的灵敏度和特异性。最后,在阅读器中建立一个校准模型来报告测试样品的浓度。例如,对该读卡器进行了C反应蛋白(CRP)定量检测,临床诊断范围在1 μg/mL ~ 200 μg/mL之间。光学读取器具有机器读取功能,操作简单,成本相对较低,可以在POCT中发挥重要作用。
{"title":"Development of a quantifiable optical reader for lateral flow immunoassay","authors":"Yongliang Yang, Yong-Hong Gu, S. Ge, Z. Tang, Xianbo Qiu","doi":"10.1109/BMEI.2015.7401527","DOIUrl":"https://doi.org/10.1109/BMEI.2015.7401527","url":null,"abstract":"An optimized optical reader was developed for quantitative fluorescence detection of lateral flow immunoassay in point-of-care test (POCT). Different from existing readers for qualitative test, the developed reader is able to perform quantitative test with a line-shaped excitation beam to obtain the distribution of fluorescence signal intensity along the lateral flow strip. To reduce system complexity, a custom Y-shaped optical fiber, instead of one set of optical lenses, was adopted to couple the excitation and emission channels. A high power Light Emitting Diode (LED) with a specific wavelength interfaced with one of the two split ends of the optical fiber for excitation, while a highly sensitive photodiode with the other split end for detection. A linear stage with high resolution, which was driven by a step motor, was incorporated to facilitate strip scanning. Considering the inhomogeneous nature of lateral flow immunoassay, an optimized global searching algorithm was developed to identify test and control peaks and their boundaries, which further improves reader's sensitivity and specificity. Finally, a calibration model was built into the reader to report the concentration of the test sample. As an example, quantitative CRP (C - reactive protein) test was performed on this reader achieving a reasonable clinical diagnostics range from 1 μg/mL to 200 μg/mL. With its machine reading function, simplicity and relatively low cost, the optical reader could play an important role in POCT.","PeriodicalId":119361,"journal":{"name":"2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114421273","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
An improved gene expression programming algorithm based on hybrid strategy 一种改进的基于混合策略的基因表达式编程算法
Pub Date : 2015-10-01 DOI: 10.1109/BMEI.2015.7401582
Chao-xue Wang, Jing-jing Zhang, Shu-ling Wu, Chunsen Ma
Gene expression programming (GEP) is a new evolutionary algorithm, which has the very good applications in the field of function finding. In view of the insufficiency of traditional GEP, this paper puts forward an improved gene expression programming algorithm based on hybrid strategy (HSI-GEP). This paper has two improvements: (1) using mirror and reset mechanism to replace the inferior individuals of population, to improve the quality and the diversity of population; (2) introducing the clonal selection before tournament selection in order to improve the mining ability of algorithm about the superior individuals. The experiments compared with the improved GEP from authoritative literatures about function finding problems have been carried on, and the results show that HSI-GEP is of high quality, has fast convergence rate and obvious competitiveness.
基因表达编程(Gene expression programming, GEP)是一种新的进化算法,在功能查找领域有很好的应用。针对传统GEP算法的不足,提出了一种改进的基于混合策略的基因表达编程算法(HSI-GEP)。本文的改进之处有两点:(1)利用镜像和重置机制替代种群中的劣势个体,提高种群的质量和多样性;(2)在竞赛选择之前引入克隆选择,以提高算法对优秀个体的挖掘能力。与权威文献中关于函数查找问题的改进GEP进行了实验比较,结果表明HSI-GEP质量高,收敛速度快,具有明显的竞争力。
{"title":"An improved gene expression programming algorithm based on hybrid strategy","authors":"Chao-xue Wang, Jing-jing Zhang, Shu-ling Wu, Chunsen Ma","doi":"10.1109/BMEI.2015.7401582","DOIUrl":"https://doi.org/10.1109/BMEI.2015.7401582","url":null,"abstract":"Gene expression programming (GEP) is a new evolutionary algorithm, which has the very good applications in the field of function finding. In view of the insufficiency of traditional GEP, this paper puts forward an improved gene expression programming algorithm based on hybrid strategy (HSI-GEP). This paper has two improvements: (1) using mirror and reset mechanism to replace the inferior individuals of population, to improve the quality and the diversity of population; (2) introducing the clonal selection before tournament selection in order to improve the mining ability of algorithm about the superior individuals. The experiments compared with the improved GEP from authoritative literatures about function finding problems have been carried on, and the results show that HSI-GEP is of high quality, has fast convergence rate and obvious competitiveness.","PeriodicalId":119361,"journal":{"name":"2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129169706","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
AOTF based molecular hyperspectral imaging system and its image pre-processing method 基于AOTF的分子高光谱成像系统及其图像预处理方法
Pub Date : 2015-10-01 DOI: 10.1109/BMEI.2015.7401465
Yunfeng Gao, Mei Zhou, Qingli Li, Hongying Liu, Yang Zhang
Utilizing both spectral and spatial information, hyperspectral images provide more detail than the single point spectroscopy or traditional images. With the improvement of hyperspectral imaging instrumentation, hyperspectral data analysis techniques are getting more attention. However, desired analysis and results depend strongly on the quality of image preprocessing. In this paper, we obtained hyperspectral images through an Acousto-Optic Tunable Filter (AOTF) based molecular hyperspectral imaging (MHI) system. Then the Lambert-Beer law based pre-processing method was presented to calibrate molecular hyperspectral images. This method combines the advantages of spectral correction and spatial denoising. We applied K-Means classification algorithm and IsoData classification algorithm to the preprocessed blood cell images and the experimental results prove the performance of the preprocessing method which is useful for the further classification.
利用光谱和空间信息,高光谱图像比单点光谱或传统图像提供更多的细节。随着高光谱成像仪器的不断改进,高光谱数据分析技术越来越受到人们的重视。然而,所需的分析和结果在很大程度上取决于图像预处理的质量。本文采用声光可调滤波器(AOTF)为基础的分子高光谱成像(MHI)系统获得高光谱图像。然后提出了基于朗伯-比尔定律的分子高光谱图像预处理方法。该方法结合了光谱校正和空间去噪的优点。将K-Means分类算法和IsoData分类算法应用于预处理后的血细胞图像,实验结果证明了预处理方法的有效性,为进一步的分类提供了依据。
{"title":"AOTF based molecular hyperspectral imaging system and its image pre-processing method","authors":"Yunfeng Gao, Mei Zhou, Qingli Li, Hongying Liu, Yang Zhang","doi":"10.1109/BMEI.2015.7401465","DOIUrl":"https://doi.org/10.1109/BMEI.2015.7401465","url":null,"abstract":"Utilizing both spectral and spatial information, hyperspectral images provide more detail than the single point spectroscopy or traditional images. With the improvement of hyperspectral imaging instrumentation, hyperspectral data analysis techniques are getting more attention. However, desired analysis and results depend strongly on the quality of image preprocessing. In this paper, we obtained hyperspectral images through an Acousto-Optic Tunable Filter (AOTF) based molecular hyperspectral imaging (MHI) system. Then the Lambert-Beer law based pre-processing method was presented to calibrate molecular hyperspectral images. This method combines the advantages of spectral correction and spatial denoising. We applied K-Means classification algorithm and IsoData classification algorithm to the preprocessed blood cell images and the experimental results prove the performance of the preprocessing method which is useful for the further classification.","PeriodicalId":119361,"journal":{"name":"2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123403670","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Breast mass detection with kernelized supervised hashing 基于核监督散列的乳腺肿块检测
Pub Date : 2015-10-01 DOI: 10.1109/BMEI.2015.7401477
Lu Liu, Jie Li, Ying Wang
In recent years, the number of breast cancer incidences has been growing continuously. Breast cancer has threatened female health seriously. As one of the main symptoms of breast cancer, mass detection is of paramount importance in computer-aided detection (CAD) systems. Breast mass detection has been widely applied to assist radiologists in locating abnormalities on mammograms. This paper presents a novel mass detection system for digital mammograms which can deal with various kinds of masses. A sliding window scheme is utilized to scan the breast area segmented from the whole mammogram. For every current window, Histogram of Oriented Gradient (HOG) is extracted and fed to a supervised algorithm, Kernel-Based Supervised Hashing (KSH), to obtain the corresponding compact binary code. In consideration of efficiency and accuracy, we propose a specific decision rule to classify the current window in hamming space. In order to label the detected mass region more accurately, a flexible sliding window fusion algorithm is proposed. Large scale experiments on Digital Database for Screening Mammography (DDSM) demonstrate the effectiveness and efficiency of the proposed detection scheme.
近年来,乳腺癌发病人数持续增长。乳腺癌严重威胁着女性的健康。肿块作为乳腺癌的主要症状之一,在计算机辅助检测(CAD)系统中具有至关重要的意义。乳腺肿块检测已被广泛应用于帮助放射科医生定位乳房x光片上的异常。本文介绍了一种新型的数字乳房x光片质量检测系统,该系统可以处理各种类型的肿块。使用滑动窗口方案扫描从整个乳房x光片分割的乳房区域。对于每个当前窗口,提取定向梯度直方图(HOG)并将其提供给监督算法,即基于核的监督哈希(KSH),以获得相应的紧凑二进制代码。考虑到效率和准确性,我们提出了一种特定的决策规则来对汉明空间中的当前窗口进行分类。为了更准确地标记检测到的质量区域,提出了一种柔性滑动窗融合算法。在乳腺筛查数字数据库(DDSM)上的大规模实验证明了该检测方案的有效性和高效性。
{"title":"Breast mass detection with kernelized supervised hashing","authors":"Lu Liu, Jie Li, Ying Wang","doi":"10.1109/BMEI.2015.7401477","DOIUrl":"https://doi.org/10.1109/BMEI.2015.7401477","url":null,"abstract":"In recent years, the number of breast cancer incidences has been growing continuously. Breast cancer has threatened female health seriously. As one of the main symptoms of breast cancer, mass detection is of paramount importance in computer-aided detection (CAD) systems. Breast mass detection has been widely applied to assist radiologists in locating abnormalities on mammograms. This paper presents a novel mass detection system for digital mammograms which can deal with various kinds of masses. A sliding window scheme is utilized to scan the breast area segmented from the whole mammogram. For every current window, Histogram of Oriented Gradient (HOG) is extracted and fed to a supervised algorithm, Kernel-Based Supervised Hashing (KSH), to obtain the corresponding compact binary code. In consideration of efficiency and accuracy, we propose a specific decision rule to classify the current window in hamming space. In order to label the detected mass region more accurately, a flexible sliding window fusion algorithm is proposed. Large scale experiments on Digital Database for Screening Mammography (DDSM) demonstrate the effectiveness and efficiency of the proposed detection scheme.","PeriodicalId":119361,"journal":{"name":"2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114690778","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Static analysis intermediate file analysis optimization strategy 静态分析中间文件分析优化策略
Pub Date : 2015-10-01 DOI: 10.1109/BMEI.2015.7401594
Qiuhan Deng, Dahai Jin
With the rapid development of the software industry, the continuous increasing of software size and complexity, how to guarantee and improve the reliability and the safety of the software has become the focus in the research of computer science. Software testing has become an indispensable part in software's life circle and people are paying more attention to the software. The static analysis is a code analysis technology, which is opposite to the dynamic analysis. The former can detect the latent defects and the security vulnerabilities inside of software and is developing rapidly during the last years. This thesis is based on the C language as the research object, and focuses on generating intermediate files with compiler front-end. This thesis first introduces the principle of C preprocessor and the way of getting the redundant type of the intermediate files based on the file structure after the preprocessing. With the rational analysis, the redundant code in the intermediate files will be removed, and the simplification of the intermediate files are designed and realized, in order to increase the static analysis efficiency. Finally, we based on the software, defect detecting DTS (Defect Testing System) 1. We implement the file simplification module. DTS is used to validate some open source projects in order to prove the feasibility and effectiveness of our method.
随着软件产业的快速发展,软件的规模和复杂性不断增加,如何保证和提高软件的可靠性和安全性已成为计算机科学研究的热点。软件测试已经成为软件生命周期中不可缺少的一部分,人们对软件的关注也越来越多。静态分析是一种与动态分析相对立的代码分析技术。前者可以检测软件内部的潜在缺陷和安全漏洞,近年来发展迅速。本论文以C语言为研究对象,重点研究用前端编译器生成中间文件。本文首先介绍了C预处理器的工作原理,以及预处理后根据文件结构确定中间文件冗余类型的方法。通过合理的分析,去除中间文件中的冗余代码,设计并实现中间文件的简化,以提高静态分析效率。最后,我们在软件的基础上,进行了缺陷检测DTS (defect Testing System)。我们实现了文件简化模块。利用DTS对一些开源项目进行了验证,以证明该方法的可行性和有效性。
{"title":"Static analysis intermediate file analysis optimization strategy","authors":"Qiuhan Deng, Dahai Jin","doi":"10.1109/BMEI.2015.7401594","DOIUrl":"https://doi.org/10.1109/BMEI.2015.7401594","url":null,"abstract":"With the rapid development of the software industry, the continuous increasing of software size and complexity, how to guarantee and improve the reliability and the safety of the software has become the focus in the research of computer science. Software testing has become an indispensable part in software's life circle and people are paying more attention to the software. The static analysis is a code analysis technology, which is opposite to the dynamic analysis. The former can detect the latent defects and the security vulnerabilities inside of software and is developing rapidly during the last years. This thesis is based on the C language as the research object, and focuses on generating intermediate files with compiler front-end. This thesis first introduces the principle of C preprocessor and the way of getting the redundant type of the intermediate files based on the file structure after the preprocessing. With the rational analysis, the redundant code in the intermediate files will be removed, and the simplification of the intermediate files are designed and realized, in order to increase the static analysis efficiency. Finally, we based on the software, defect detecting DTS (Defect Testing System) 1. We implement the file simplification module. DTS is used to validate some open source projects in order to prove the feasibility and effectiveness of our method.","PeriodicalId":119361,"journal":{"name":"2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127789464","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Java source code defect detection Java源代码缺陷检测
Pub Date : 2015-10-01 DOI: 10.1109/BMEI.2015.7401592
Honglei Zhu, Dahai Jin
Traditional code defect detection tools exist in the form of client software, which lead to the separation of the development environment and test environment. In order to solve this problem, a plug-in java source code defect detection framework is constructed. It is based on DTS (Defect Testing System)1. It can provide a scalable platform with good flexibility, and a good support software framework for the project implementation. After studying the essence and realization mechanism of the "platform + plug-in" model, the Java source code defect detection method and its system are proposed. So the efficiency of software development and testing is proposed.
传统的代码缺陷检测工具以客户端软件的形式存在,导致了开发环境和测试环境的分离。为了解决这个问题,构建了一个插件java源代码缺陷检测框架。它是基于DTS(缺陷测试系统)1。它可以提供一个具有良好灵活性的可扩展平台,并为项目实施提供一个良好的支持软件框架。在研究了“平台+插件”模式的本质和实现机制后,提出了Java源代码缺陷检测方法及其系统。从而提高了软件开发和测试的效率。
{"title":"Java source code defect detection","authors":"Honglei Zhu, Dahai Jin","doi":"10.1109/BMEI.2015.7401592","DOIUrl":"https://doi.org/10.1109/BMEI.2015.7401592","url":null,"abstract":"Traditional code defect detection tools exist in the form of client software, which lead to the separation of the development environment and test environment. In order to solve this problem, a plug-in java source code defect detection framework is constructed. It is based on DTS (Defect Testing System)1. It can provide a scalable platform with good flexibility, and a good support software framework for the project implementation. After studying the essence and realization mechanism of the \"platform + plug-in\" model, the Java source code defect detection method and its system are proposed. So the efficiency of software development and testing is proposed.","PeriodicalId":119361,"journal":{"name":"2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128031231","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A focal positioning method used in the MR-guided focused ultrasound surgery system 一种用于核磁共振引导聚焦超声手术系统的病灶定位方法
Pub Date : 2015-10-01 DOI: 10.1109/BMEI.2015.7401523
Jiawei Gu, G. Shen
MR-guided focused ultrasound surgery is a promising noninvasive thermotherapy. To achieve a rapider and more accurate treatment requires continuous attention. In this paper, a more precise method for focal positioning is proposed. The ultrasound transducer with phased array can shift the focal position within the target area. Several points with appropriate distance are selected to establish the mapping between ultrasound coordinates and MR coordinates. Then the target spots in a certain region can be aimed precisely. According to the experiment result, the error is limited to less than 1mm.
磁共振引导聚焦超声手术是一种很有前途的无创热疗。为了实现更快速、更准确的治疗,需要持续的关注。本文提出了一种更精确的焦点定位方法。采用相控阵的超声换能器可以使目标区域内的焦点位置发生移位。选取距离合适的几个点,建立超声坐标与磁共振坐标的映射关系。这样就可以对某一区域的目标点进行精确瞄准。根据实验结果,误差控制在1mm以内。
{"title":"A focal positioning method used in the MR-guided focused ultrasound surgery system","authors":"Jiawei Gu, G. Shen","doi":"10.1109/BMEI.2015.7401523","DOIUrl":"https://doi.org/10.1109/BMEI.2015.7401523","url":null,"abstract":"MR-guided focused ultrasound surgery is a promising noninvasive thermotherapy. To achieve a rapider and more accurate treatment requires continuous attention. In this paper, a more precise method for focal positioning is proposed. The ultrasound transducer with phased array can shift the focal position within the target area. Several points with appropriate distance are selected to establish the mapping between ultrasound coordinates and MR coordinates. Then the target spots in a certain region can be aimed precisely. According to the experiment result, the error is limited to less than 1mm.","PeriodicalId":119361,"journal":{"name":"2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121725333","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
期刊
2015 8th International Conference on Biomedical Engineering and Informatics (BMEI)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1