Since testability physical verification has many shortcomings, such as high risk, difficulty in fault injection, long verification period, high verification cost and so on. Testability nonphysical verification acquires more and more attentions. While most of the traditional testability evaluation models can only describe the relationship of signals, faults and tests qualitatively, they have little quantitative information and this may cause significant deviation between verification result and the real one. So after doing research on the requirements of verification evaluation to virtual Prototypes, a testability evaluation modeling techniques was proposed based on Modelica in this work and the Function-Structure-Fault-Test-Circumstance Model was also defined and described mathematically herein. Additionally, a testability evaluation model of a data collector was built in this paper. By comparing the numerical result with that of the testability physical verification, the following conclusion can be obtained: With sufficient modeling information, testability evaluation model can be built accurately by using the method put forward in this paper.
{"title":"Research on Modeling Techniques of Testability Evaluation Based on Modelica","authors":"Chunling Yang, Xiaodi Gu, Min Zhu, Mingqi Li","doi":"10.1109/IMCCC.2014.126","DOIUrl":"https://doi.org/10.1109/IMCCC.2014.126","url":null,"abstract":"Since testability physical verification has many shortcomings, such as high risk, difficulty in fault injection, long verification period, high verification cost and so on. Testability nonphysical verification acquires more and more attentions. While most of the traditional testability evaluation models can only describe the relationship of signals, faults and tests qualitatively, they have little quantitative information and this may cause significant deviation between verification result and the real one. So after doing research on the requirements of verification evaluation to virtual Prototypes, a testability evaluation modeling techniques was proposed based on Modelica in this work and the Function-Structure-Fault-Test-Circumstance Model was also defined and described mathematically herein. Additionally, a testability evaluation model of a data collector was built in this paper. By comparing the numerical result with that of the testability physical verification, the following conclusion can be obtained: With sufficient modeling information, testability evaluation model can be built accurately by using the method put forward in this paper.","PeriodicalId":152074,"journal":{"name":"2014 Fourth International Conference on Instrumentation and Measurement, Computer, Communication and Control","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115421174","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}
Fault tree analysis is an important method in reliability engineering. In order to assess drilling mud pump reliability, system fault tree is established based on collecting its main failure modes, and then the qualitative and quantitative analysis of fault tree is discussed. Finally, failure ratio of the top event is obtained.
{"title":"Mud Pump System Fault Tree Analysis","authors":"Dandan Hu, Yongquan Sun, Jianmei Fu, Junzhong Li, Enjing Zhang","doi":"10.1109/IMCCC.2014.160","DOIUrl":"https://doi.org/10.1109/IMCCC.2014.160","url":null,"abstract":"Fault tree analysis is an important method in reliability engineering. In order to assess drilling mud pump reliability, system fault tree is established based on collecting its main failure modes, and then the qualitative and quantitative analysis of fault tree is discussed. Finally, failure ratio of the top event is obtained.","PeriodicalId":152074,"journal":{"name":"2014 Fourth International Conference on Instrumentation and Measurement, Computer, Communication and Control","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117334101","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}
Bone loss is closely related to the mean scatter spacing (MSS) changes of quasi-periodic trabecular, and ultra-sonic backscattering is an effective method to measure these changes. This paper presented the method of Mode Decomposition Based Cepstrum Spacing Measurement (MDCM) which improves the performance of the bone scatterer measurement. Compared with other techniques, MDCM approach is adaptive, empirical and takes advantage of the Intrinsic Mode Functions (IMFs) which have specific physical meanings. This technique was validated by backscattering data obtained from simulations based on two different methods, Faran cylinder model and Finite Element Method (FEM), where scatterers were defined to be equally and quasi-periodically spaced. Both the simulation results show that the first mode (IMF1) decomposed by Empirical Mode Decomposition (EMD) preserves the intrinsic feature of original data and clearly demonstrates the scatterer spacing of 0.41 mm and 0.5 mm. Then the Ensemble EMD (EEMD) based cepstrum technique was used and it shows that the interference peaks are suppressed. Besides, in addition to IMF 1, the IMF 2 also shows valuable information for MSS measurement.
骨损失与准周期骨小梁平均散射间距(MSS)的变化密切相关，超声后向散射是测量这些变化的有效方法。提出了基于模态分解的倒谱间隔测量方法，提高了骨散射测量的性能。与其他方法相比，MDCM方法具有自适应、经验性和利用具有特定物理意义的内禀模态函数(IMFs)的特点。基于Faran圆柱体模型和有限元法(FEM)两种不同方法获得的后向散射数据验证了该方法的有效性，其中散射体定义为等间隔和准周期间隔。仿真结果表明，经验模态分解(EMD)分解的第一模态(IMF1)保留了原始数据的固有特征，并清晰地显示了0.41 mm和0.5 mm的散射体间距。然后采用基于集成EMD (EEMD)的倒谱技术对干扰峰进行了抑制。此外，除了IMF 1, IMF 2也为MSS测量提供了有价值的信息。
{"title":"Mode Decomposition Based Cepstrum Measurement of Scatterer Spacing with Ultrasonic Scattering","authors":"Wenlei Pan, Yi Shen, Ting Liu, Yan Wang","doi":"10.1109/IMCCC.2014.92","DOIUrl":"https://doi.org/10.1109/IMCCC.2014.92","url":null,"abstract":"Bone loss is closely related to the mean scatter spacing (MSS) changes of quasi-periodic trabecular, and ultra-sonic backscattering is an effective method to measure these changes. This paper presented the method of Mode Decomposition Based Cepstrum Spacing Measurement (MDCM) which improves the performance of the bone scatterer measurement. Compared with other techniques, MDCM approach is adaptive, empirical and takes advantage of the Intrinsic Mode Functions (IMFs) which have specific physical meanings. This technique was validated by backscattering data obtained from simulations based on two different methods, Faran cylinder model and Finite Element Method (FEM), where scatterers were defined to be equally and quasi-periodically spaced. Both the simulation results show that the first mode (IMF1) decomposed by Empirical Mode Decomposition (EMD) preserves the intrinsic feature of original data and clearly demonstrates the scatterer spacing of 0.41 mm and 0.5 mm. Then the Ensemble EMD (EEMD) based cepstrum technique was used and it shows that the interference peaks are suppressed. Besides, in addition to IMF 1, the IMF 2 also shows valuable information for MSS measurement.","PeriodicalId":152074,"journal":{"name":"2014 Fourth International Conference on Instrumentation and Measurement, Computer, Communication and Control","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121368234","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}
The frequent problems in computer vision consist of de-noising, artifact elimination as well as structure preserving or enhancing. PDE-based nonlinear diffusion filter may be one possibility to achieve those goals. In this paper, we perform comparison of three typical PDE-based regularization algorithms followed by the proposal of a general framework, which exploits fundamental significance for analyzing PDE-based regularization methods.
{"title":"Comparison of the PDE-Based Regularization Methods and a Unifying Framework","authors":"Bochao Su, Xiaohua Zhang, Wanyu Liu, Li Li","doi":"10.1109/IMCCC.2014.114","DOIUrl":"https://doi.org/10.1109/IMCCC.2014.114","url":null,"abstract":"The frequent problems in computer vision consist of de-noising, artifact elimination as well as structure preserving or enhancing. PDE-based nonlinear diffusion filter may be one possibility to achieve those goals. In this paper, we perform comparison of three typical PDE-based regularization algorithms followed by the proposal of a general framework, which exploits fundamental significance for analyzing PDE-based regularization methods.","PeriodicalId":152074,"journal":{"name":"2014 Fourth International Conference on Instrumentation and Measurement, Computer, Communication and Control","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125026677","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}
Chen Yaohong, Liu Wei, Ren Long, Yi Bo, Xie Qingsheng, Wang Zefeng
Most existing test system for infrared focal plane arrays are dedicated, it costly and the application value are limited. A test method for infrared focal plane arrays is introduced in this paper, and test system includes driving circuit, control module, data acquiring and processing circuit, video synthesis module and the PC software based on LabVIEW is established, which measures the key parameters such as responsivity, NETD, non-effective pixels and nonhomogeneity of the conventional polysilicon uncooled infrared focal plane arrays, generate testing report automatically at last. The simple and reliable test system adapted to many devices with different resolution and package, possess excellent universal property and practical value at very low cost.
{"title":"A Test System for Infrared Focal Plane Arrays Based on LabVIEW","authors":"Chen Yaohong, Liu Wei, Ren Long, Yi Bo, Xie Qingsheng, Wang Zefeng","doi":"10.1109/IMCCC.2014.205","DOIUrl":"https://doi.org/10.1109/IMCCC.2014.205","url":null,"abstract":"Most existing test system for infrared focal plane arrays are dedicated, it costly and the application value are limited. A test method for infrared focal plane arrays is introduced in this paper, and test system includes driving circuit, control module, data acquiring and processing circuit, video synthesis module and the PC software based on LabVIEW is established, which measures the key parameters such as responsivity, NETD, non-effective pixels and nonhomogeneity of the conventional polysilicon uncooled infrared focal plane arrays, generate testing report automatically at last. The simple and reliable test system adapted to many devices with different resolution and package, possess excellent universal property and practical value at very low cost.","PeriodicalId":152074,"journal":{"name":"2014 Fourth International Conference on Instrumentation and Measurement, Computer, Communication and Control","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123460478","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}
This paper studies the algorithms for determining a BDS satellite's velocity using the broadcast ephemeri. Firstly, by taking the time derivatives of the Kepler orbit elements and the correction terms, the algorithm comprises close-form analysis formulas and the processing steps for directly computing a BDS satellite's instant velocity using the broadcast ephemeris is derived, and its validity is verified by test. Further, it is discussed on how the size of the differential time step affects the accuracy of the velocity results computed using the position differential algorithm. To investigate the suitable magnitudes of the differential time step, a comprehensive test is performed. In this test, several BDS satellites with different types were specially chosen and the real broadcast ephemeris was used to determine the velocity vectors both by the position differential algorithm and the direct algorithm, and the results were compared. The 12hr comparison test illustrates that the differential time step magnitude suitable for computing a BDS GEO satellite's velocity is 1s and the max residual is less than 0.0001mm/s. The differential time step suitable for a BDS MEO/IGSO Satellite is 100ms and the max residual is less than 0.001mm/s.
{"title":"Real-Time Determination of a BDS Satellite's Velocity Using the Broadcast Ephemeris","authors":"Guangjun Liu, Jing Guo","doi":"10.1109/IMCCC.2014.104","DOIUrl":"https://doi.org/10.1109/IMCCC.2014.104","url":null,"abstract":"This paper studies the algorithms for determining a BDS satellite's velocity using the broadcast ephemeri. Firstly, by taking the time derivatives of the Kepler orbit elements and the correction terms, the algorithm comprises close-form analysis formulas and the processing steps for directly computing a BDS satellite's instant velocity using the broadcast ephemeris is derived, and its validity is verified by test. Further, it is discussed on how the size of the differential time step affects the accuracy of the velocity results computed using the position differential algorithm. To investigate the suitable magnitudes of the differential time step, a comprehensive test is performed. In this test, several BDS satellites with different types were specially chosen and the real broadcast ephemeris was used to determine the velocity vectors both by the position differential algorithm and the direct algorithm, and the results were compared. The 12hr comparison test illustrates that the differential time step magnitude suitable for computing a BDS GEO satellite's velocity is 1s and the max residual is less than 0.0001mm/s. The differential time step suitable for a BDS MEO/IGSO Satellite is 100ms and the max residual is less than 0.001mm/s.","PeriodicalId":152074,"journal":{"name":"2014 Fourth International Conference on Instrumentation and Measurement, Computer, Communication and Control","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126937411","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}
According to signal characteristic of Unified S-band (USB) measurement and control system, a method of spectrum sensing based on artificial neural network (ANN) is introduced in this paper. Spectrum sensing classifier is designed by the independent learning ability of ANN. The information collected by departed classifier is studied and stored to accurately judge that whether the master signal exists or not. With comparison and analysis, it can be proved that the spectrum sensing based on ANN possesses a higher accuracy.
{"title":"Research of Spectrum Sensing Based on ANN Algorithm","authors":"Zhilu Wu, Man Luo, Zhendong Yin, Yuanjun Zhao","doi":"10.1109/IMCCC.2014.107","DOIUrl":"https://doi.org/10.1109/IMCCC.2014.107","url":null,"abstract":"According to signal characteristic of Unified S-band (USB) measurement and control system, a method of spectrum sensing based on artificial neural network (ANN) is introduced in this paper. Spectrum sensing classifier is designed by the independent learning ability of ANN. The information collected by departed classifier is studied and stored to accurately judge that whether the master signal exists or not. With comparison and analysis, it can be proved that the spectrum sensing based on ANN possesses a higher accuracy.","PeriodicalId":152074,"journal":{"name":"2014 Fourth International Conference on Instrumentation and Measurement, Computer, Communication and Control","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115324656","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}
Linear motor has good performance and be able to realize high precision positioning. But, due to no transmission, damping ratio of the linear motor is too small. Then, the vibration cannot be well damped. To suppress linear motor vibration, a new control structure based on traditional cascaded PID control strategy is proposed in this paper. A new control loop is added to connect outer-loop with inner-loop. This control structure has less time delay and has less impact to system dynamics. So the PID parameters do not need to change. Experiments show that this control structure can suppress linear motor vibration effectively.
{"title":"A New Control Strategy for Linear Motor Vibration Suppression","authors":"F. Meng, Wangmin Yi, Feng Gao, Hailin Dai","doi":"10.1109/IMCCC.2014.194","DOIUrl":"https://doi.org/10.1109/IMCCC.2014.194","url":null,"abstract":"Linear motor has good performance and be able to realize high precision positioning. But, due to no transmission, damping ratio of the linear motor is too small. Then, the vibration cannot be well damped. To suppress linear motor vibration, a new control structure based on traditional cascaded PID control strategy is proposed in this paper. A new control loop is added to connect outer-loop with inner-loop. This control structure has less time delay and has less impact to system dynamics. So the PID parameters do not need to change. Experiments show that this control structure can suppress linear motor vibration effectively.","PeriodicalId":152074,"journal":{"name":"2014 Fourth International Conference on Instrumentation and Measurement, Computer, Communication and Control","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115984490","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}
To improve the stability and real-time of bold feature extraction, this paper proposes a fast and stable bold extraction algorithm (FSB). In the feature detection stage, three-layer Laplace filter is used to construct image scale space instead of binary filter, and a local feature detector is built. In the stage of the feature description, the binarized difference of integral image is used as contextual information to build local feature descriptor. The experimental results show that compared with SIFT and SURF, the speed of FSB is highly improved while their performances are similar. It is suitable for real-time application system.
{"title":"A Fast and Stable Bold Feature Extraction Algorithm","authors":"G. Tang, Dawei Wei, Jia Hu","doi":"10.1109/IMCCC.2014.169","DOIUrl":"https://doi.org/10.1109/IMCCC.2014.169","url":null,"abstract":"To improve the stability and real-time of bold feature extraction, this paper proposes a fast and stable bold extraction algorithm (FSB). In the feature detection stage, three-layer Laplace filter is used to construct image scale space instead of binary filter, and a local feature detector is built. In the stage of the feature description, the binarized difference of integral image is used as contextual information to build local feature descriptor. The experimental results show that compared with SIFT and SURF, the speed of FSB is highly improved while their performances are similar. It is suitable for real-time application system.","PeriodicalId":152074,"journal":{"name":"2014 Fourth International Conference on Instrumentation and Measurement, Computer, Communication and Control","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122670617","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}
Binbin Wan, Taozheng Zhang, Jianping Chai, Min Zhao, Zhenlong Zhang
In this paper, we take the guide data and the program data from the users of digital cable television programs as the experimental data to carry on our experiment. And we use the SAS software platform which is very efficient in data analyzing to realize the classification of our user to different parts. So we can achieve our destination of personal recommendation and precision advertizing.
{"title":"Users Classification on Broadcast and Television System Based on Statistical Analysis System Software","authors":"Binbin Wan, Taozheng Zhang, Jianping Chai, Min Zhao, Zhenlong Zhang","doi":"10.1109/IMCCC.2014.210","DOIUrl":"https://doi.org/10.1109/IMCCC.2014.210","url":null,"abstract":"In this paper, we take the guide data and the program data from the users of digital cable television programs as the experimental data to carry on our experiment. And we use the SAS software platform which is very efficient in data analyzing to realize the classification of our user to different parts. So we can achieve our destination of personal recommendation and precision advertizing.","PeriodicalId":152074,"journal":{"name":"2014 Fourth International Conference on Instrumentation and Measurement, Computer, Communication and Control","volume":"184 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114141078","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：