摘要:
With the development of software scale, more and more development team adopt automated test tool to enhance test efficiency. Because recorded test script by test tool can't test different test case, we introduce one approach to enhance test script reusability. Parameterization and checkpoint can be combined to make one test script to execute more test cases, and we illustrate it with a tested CRM system.
摘要:
The trusted computing technology (TCT) is an effective way to solve embedded real-time operation system (ERTOS) security. However, the existing TCT is hard to satisfy the properties of real-time and low power consumption directly. Based on vxworks kernel, this paper put forward a solution of trusted computing by designing embedded real-time trusted computing module and trusted software stack, which could realize the chain of trust by using integrity measurement certificate. Experiments show that the average execution time of commands on trusted platform module saves 65.81 % execution time compared with SW-TP, which can meet the ERTOS requirements of real-time property and low power consumption as a whole.
摘要:
This paper is mainly discussed exponential stability in pth moment for mild solution of a class of semilinear neutral stochastic jump-diffusion systems. Some conditions ensured the stability of mild solution of the systems are given by employing some inequalities. The earlier results are generalized and improved.
摘要:
With the development of information and the integration of media, it has great practical significance and research value to build a digital learning environment based on the complicated electronic circuit. However, the complicated electronic circuit in real-time need a complex and expensive technology. In order to overcome the high cost and technology, an approach was proposed for simplifying generation by approximating the excitations with rectangular pulses, triangular pulses and cosine waves which can be implemented with a moderate cost in analogical electronics. In this work, we improved a novel approach based on genetic programming, The differences between theoretical excitation signals and the approximation driving pulses, related to their excitation effects, were minimized by genetic programming. From these results, the accuracy of simulation can be improved by the new approach, the difference between theoretical complicated digital signals and the new approach is reduced. A trade off is obtained between the costs of implementation of digital processing in digital learning environments.
作者机构:
[Liu, Jianguo; Yang, Hua] Huazhong Univ Sci & Technol, Sch Automat, Wuhan 430074, Peoples R China.;[Yang, Hua] Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan 430023, Peoples R China.;[Jiang, Feng] Zhongnan Univ Econ & Law, Sch Math & Stat, Wuhan 430073, Peoples R China.
会议名称:
International Conference on Sustainable Energy and Environment Protection (ICSEEP)
会议时间:
MAY 30-31, 2015
会议地点:
Guangzhou, PEOPLES R CHINA
会议主办单位:
[Yang, Hua;Liu, Jianguo] Huazhong Univ Sci & Technol, Sch Automat, Wuhan 430074, Peoples R China.^[Yang, Hua] Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan 430023, Peoples R China.^[Jiang, Feng] Zhongnan Univ Econ & Law, Sch Math & Stat, Wuhan 430073, Peoples R China.
摘要:
The paper is devoted to study a class of chaotic systems. In the paper we propose some sufficient conditions under which we investigate globally exponentially attractive set and positive invariant set of the chaos systems. Finally, we provide some examples to show our theoretical result.
作者机构:
[Zhou, Kang; Qin, Lei] Wuhan Polytech Univ, Sch Math & Comp, Wuhan 430023, Peoples R China.;[Qin, Lei] Huazhong Univ Sci & Technol, Sch Automat, Wuhan 430074, Peoples R China.
会议名称:
International Conference on Information Sciences, Machinery, Materials and Energy
会议时间:
2015-04-11
会议地点:
Chongqing
会议主办单位:
[Qin, Lei;Zhou, Kang] Wuhan Polytech Univ, Sch Math & Comp, Wuhan 430023, Peoples R China.^[Qin, Lei] Huazhong Univ Sci & Technol, Sch Automat, Wuhan 430074, Peoples R China.
会议论文集名称:
First international conference on information sciences, machinery, materials and energy: ICISMME 2015, April 11-13, 2015, Chongqing, China
关键词:
Multi-knapsack problem;Artificial Fish School Algorithm;coding
摘要:
Multi-knapsack problem (MKP) is one of the typical NP problem in optimization field, because the computing complexities of the traditional algorithms are high or they have slow convergence speeds, this paper proposes an improved artificial fish school algorithm (IAFSA) for MKP. Firstly, the integer coding was used in the input ways of knapsacks, secondly, IAFSA adopted the strategy of "random repair" to repair infeasible artificial fish coding and inadequate artificial fish coding, and the coding after taking behaviors were improved and repaired, finally, IAFSA was verified by an example. Experimental results show that the advantage of IAFSA over other AFSA algorithms mainly lies in its faster convergence speed, stronger robustness, and its convergence to the optimal solution with greater probability.
会议名称:
9th International Symposium on Multispectral Image Processing and Pattern Recognition (MIPPR) - Pattern Recognition and Computer Vision
会议时间:
OCT 31-NOV 01, 2015
会议地点:
Enshi, PEOPLES R CHINA
会议主办单位:
[Liu, Renfeng;Zhang, Cong] Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan 430023, Peoples R China.^[Tian, Jinwen] Huazhong Univ Sci & Technol, Sch Automat, Wuhan 430074, Peoples R China.
会议论文集名称:
Proceedings of SPIE
关键词:
Point matching;non-parametric;non-rigid;outlier;regularization
摘要:
Establishing reliable feature correspondence between two images is a fundamental problem in vision analysis and it is a critical prerequisite in a wide range of applications including structure-from-motion, 3D reconstruction, tracking, image retrieval, registration, and object recognition. The feature could be point, line, curve or surface, among which the point feature is primary and is the foundation of all features. Numerous techniques related to point matching have been proposed within a rich and extensive literature, which are typically studied under rigid/affine or non-rigid motion, corresponding to parametric and non-parametric models for the underlying image relations. In this paper, we provide a review of our previous work on point matching, focusing on nonparametric models. We also make an experimental comparison of the introduced methods, and discuss their advantages and disadvantages as well.
通讯机构:
[Li, Yaqin] W;Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan, Peoples R China.
会议名称:
9th International Symposium on Multispectral Image Processing and Pattern Recognition (MIPPR) - Parallel Processing of Images and Optimization; and Medical Imaging Processing
期刊:
Proceedings of SPIE - The International Society for Optical Engineering,2015年9814 ISSN:0277-786X
通讯作者:
Li, Yaqin
作者机构:
[Wang, Xuan] Wuhan Polytech Univ, Coll Hlth Sci & Nursing, Wuhan, Peoples R China.;[Li, Yaqin; Li, Shigao] Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan, Peoples R China.
通讯机构:
[Li, Yaqin] W;Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan, Peoples R China.
会议名称:
9th International Symposium on Multispectral Image Processing and Pattern Recognition (MIPPR) - Parallel Processing of Images and Optimization; and Medical Imaging Processing
会议时间:
OCT 31-NOV 01, 2015
会议地点:
Enshi, PEOPLES R CHINA
会议主办单位:
[Wang, Xuan] Wuhan Polytech Univ, Coll Hlth Sci & Nursing, Wuhan, Peoples R China.^[Li, Yaqin;Li, Shigao] Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan, Peoples R China.
摘要:
A fast set partitioning in hierarchical tree (SPIHT) algorithm based on the end scan threshold is proposed in this paper. Because the coding process of the SPIHT needs repeat scanning and sorting, so it takes a lot of extra time and storage space. In order to save the time and space overhead, the end scan threshold is used in encoding to terminate the scan process when the compression is enough. Experimental results show that the end scan threshold for the different images is the same in the case of the same compression ratio, and when the improved algorithm is used in the sorting process, it can reduce the data stream storage space in coding and the time consumption and decoding. In addition, the quality of reconstructed image is equivalent to SPIHT algorithm.
期刊:
Chinese Control Conference,2015年2015-September:294-298 ISSN:1934-1768
通讯作者:
Zhao Jiemei
作者机构:
[Zhao Jiemei] Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan 430023, Peoples R China.;[Hu Zhonghui] China Shipbuilding Ind Corp, Res Inst 709, Wuhan 430074, Peoples R China.
通讯机构:
[Zhao Jiemei] W;Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan 430023, Peoples R China.
会议名称:
34th Chinese Control Conference (CCC)
会议时间:
JUL 28-30, 2015
会议地点:
Hangzhou, PEOPLES R CHINA
会议主办单位:
[Zhao Jiemei] Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan 430023, Peoples R China.^[Hu Zhonghui] China Shipbuilding Ind Corp, Res Inst 709, Wuhan 430074, Peoples R China.
摘要:
This paper studies the stability of a class of time-varying delay singular systems. A new criterion for the stability of time-varying delay singular systems is derived by using the Lyapunov stability theory and linear matrix inequality. Then a passivity theorem is investigated. It is worth mentioning that the derivative of the time-varying delay do not need to be smaller than one. Finally, a numerical example is given to illustrate the effectiveness of the proposed method.
关键词:
teaching evaluation;method of weighted mean;classification
摘要:
The paper selects certain features then classifies students and calculates the average score of each type student, ultimately by means of the method of weighted mean, gives each type of student a certain weight, to process the data of teaching evaluation. Compared with traditional method, the results of above method are closer to teacher's true level, and the data processing is also more scientific and reasonable. This paper also points out the disadvantages of current assessment system and recommends universities can adopt the method of weighted mean to improve the accuracy and effectiveness in current system.
摘要:
Disparity compensation prediction and transform coding are incorporated into a hybrid coding to reduce the bit-rate of multi-view images. However, aliasing and inaccurate displacement impair the performance of disparity compensation, especially in wavelet domain. In this paper, we propose a level-by-level adaptive disparity compensated prediction scheme for scalable stereo image coding. To get spatial scalable feature, wavelet transform is first applied to the target image of a stereo image pair. A separable 2-D filter applied to the reference image is optimized for each resolution layer by minimizing the energy of the prediction high-bands of the target image. To form a multi-resolution representation, similar processes are then applied to the low-band image pairs generated by the prior resolution layer iteratively. Experimental results show that the proposed scheme can provide significant coding gain compared to other scalable coding scheme.
期刊:
2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC),2014年:175-178
通讯作者:
Zhao, Jiemei
作者机构:
[Zhao, Jiemei] Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan 430023, Hubei, Peoples R China.;[Hu, Zhonghui] China Shipbldg Ind Corp, Res Inst 709, Wuhan 430074, Peoples R China.;[Qi, Xue] Anhui Sci & Technol Univ, Sch Sci, Bengbu 233100, Anhui, Peoples R China.
通讯机构:
[Zhao, Jiemei] W;Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan 430023, Hubei, Peoples R China.
会议名称:
International Conference on Mechatronics and Control (ICMC)
会议时间:
JUL 03-05, 2014
会议地点:
Jinzhou, PEOPLES R CHINA
会议主办单位:
[Zhao, Jiemei] Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan 430023, Hubei, Peoples R China.^[Hu, Zhonghui] China Shipbldg Ind Corp, Res Inst 709, Wuhan 430074, Peoples R China.^[Qi, Xue] Anhui Sci & Technol Univ, Sch Sci, Bengbu 233100, Anhui, Peoples R China.
关键词:
Switched descriptor time-delay systems;linear matrix inequality;common Lyapunov function
摘要:
In this paper, the robust stability and stabilization for the switched descriptor time-delay systems under arbitrary switching is investigated. Based on the linear matrix inequality (LMI) method, some results are given: i) the switched descriptor time-delay system is regular, impulse-free and stable under arbitrary switching; ii) the controller is given to guarantee that the uncertain switched descriptor time-delay systems is stabilization.
作者机构:
[Liu, Wentao; Liu, WT] Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan 430023, Hubei Province, Peoples R China.
通讯机构:
[Liu, Wentao] W;Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan 430023, Hubei Province, Peoples R China.
会议名称:
3rd International Conference on Material Science, Environment Science and Computer Science (MSESCS 2014)
会议时间:
JAN 11-12, 2014
会议地点:
Wuhan, PEOPLES R CHINA
会议主办单位:
Wuhan Polytech Univ, Sch Math & Comp Sci, Wuhan 430023, Hubei Province, Peoples R China.
会议论文集名称:
Advanced Materials Research
关键词:
Casyncsocket;HTML5;HTTP;Server;Websocket
摘要:
The WebSocket makes the web application to deal with the web data directly in the HTML5 and it provides full-duplex communications channels using TCP connection. Some traditional web communication technologies and their shortcomings are introduced such as polling, long polling, stream and flash xml socket in this paper. The principle of the web socket is introduced and a WebSocket server is developed which can be used in the real time web environment. The server includes two modules which include the socket listener and the communication socket. The server implements the WebSocket handshake protocol and the data transfer protocol. The server is developed by C++ language which can provide high efficiency data operation and network transportation. The program is more scalability and flexibility and it uses the universal interface to implement the core functions of web socket with the CAsyncSocket.