检索结果-内蒙古大学图书馆

第三十四届中国控制会议

作者： Li Shen Xiukun Wei Limin Jia State Key Laboratory of Railway Traffic Control and Safety Beijing Jiaotong University Shanghai Key Laboratory of Computer Software Evaluating & Testing(Shanghai Development Center of Computer Software Technology)

ISBN: (纸本)9781467374439

As the turnout is a critical part of railway tracks, its surface defects are directly related to the operation safety. The defects detection of turnout is an effect way to ensure the safety and comfort of urban transit railway. In this paper, the feature extraction of the turnout defects is investigated based on the bogie acceleration measurements. The normal turnout model and faulty turnout model based on SIMPACK are established first, from which the vehicle vibration acceleration is obtained. Then, the acceleration signal is analyzed in time- frequency domain. The results show that the power spectral density(PSD) and all the frequency-domain features are useful for detecting the poor fit defect of the switch point. And the peak and PSD features can be used to detect the curve opposite super-elevation. The proposed method provides alternative for the detection of turnout defects by using in-service vehicle.

关键词： turnout,defects feature,poor fit of switch point,curve opposite super-elevation

来源：评论

学校读者我要写书评

暂无评论

Detection of Railway Track Squats by Using Bogie Acceleration Measurement

Detection of Railway Track Squats by Using Bogie Acceleratio...

引用

第三十四届中国控制会议

作者： Xianxian Yin Xiukun Wei Limin Jia State Key Laboratory of Railway Traffic Control and Safety Beijing Jiaotong University Shanghai Key Laboratory of Computer Software Evaluating & Testing(Shanghai Development Center of Computer Software Technology)

ISBN: (纸本)9781467374439

The railway track squat is one of the most dangerous track defects, it causes large dynamic contact force at the wheel-rail interface, leading to fast deterioration of the track, bring significant harm to the safety of the passengers. Early detection of such defects is very important for timely maintenance. In this paper, a squats detection method based on bogie acceleration(BA) measurement is presented. A simulation model with acceleration sensors is set up in the SIMPACK simulation environment. Time-frequency analysis and wavelet packet decomposition are applied to analyze these BA data obtained from the simulation model. The effectiveness of the above approach is demonstrated by simulation results.

关键词： squats BA measurement time-frequency domain analysis wavelet packet decomposition

来源：评论

学校读者我要写书评

暂无评论

Chinese character recognition based on 8-direction feature extraction 4

Chinese character recognition based on 8-direction feature e...

引用

4th International Conference on Multimedia Technology, ICMT 2015

作者： Lu, Ping Yang, Yi Sheng, Bin Li, Ping Chen, Mingang Wu, Dan School of Information Science and Engineering Southeast University Nanjing China Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China Department of Mathematics and Information Technology Hong Kong Institute of Education Hong Kong Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China Information Center China Southern Power Grid Co. Ltd Guangzhou China

ISBN: (纸本)9781138027947

The field of practical character recognition has seen great advances these years, owing the to proposition of effective newmethod and progress in computer hardware. However, lots of problems like precision and progressing speed remain to be solved. This paper proposes a useful practical optical character recognition method of both Chinese character and English character. Given a photo randomly taken, we pre-progress it to undo the influence of light and tilt. Then we separate each word to extract 8-direction chain-code feature of it. When faced with complex scene, the method we propose achieve relatively high precision and fast speed. © 2015 Taylor & Francis Group.

关键词： Optical character recognition

来源：评论

学校读者我要写书评

暂无评论

A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model

A Visual Modeling and Transformation Tool for Multiple Repre...

引用

International Conference on Applied Computing and Information Technology/International Conference on Computational Science and Intelligence (ACIT-CSI)

作者： Kun Zhao Huaikou Miao Jinyu Kai Jiaan Zhou Honghao Gao School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai China Computing Center Shanghai University Shanghai China

ISBN: (纸本)9781467396431

Probabilistic model checker plays an important role in quantitative verification for required properties of probabilistic behavior model. PRISM is a well-used tool to be used as a probabilistic model checker. It takes PRISM language to describe probabilistic behavior model. But it is difficult for users of variety background to understand the PRISM language quickly. Meanwhile, manually writing is error-prone and it may miss some information of model. In addition, probabilistic behavior model may appear in many forms, such as UML state diagram, probability matrix, and so on, which should be manually written to the corresponding PRISM model for probabilistic model checking. It increases the cost and error-prone. To settle these problems, this paper introduces a prototype tool, implemented in Java and Graphviz toolkit, called VMTT (Visual Modeling and Transformation Tool) which supports visual modeling and transformation for multiple representations of probabilistic behavior model including probabilistic matrix, XMI form of UML state diagram and PRISM language. VMTT can also call PRISM for the verification of required properties of probabilistic behavior model that provides convenience for the users of PRISM.

关键词： Unified modeling language Probabilistic logic Visualization Analytical models Computational modeling Model checking Java

来源：评论

学校读者我要写书评

暂无评论

Survivability prediction of web system based on log statistics

Survivability prediction of web system based on log statisti...

引用

ACIS International Conference on software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Jiaan Zhou Huaikou Miao Jinyu Kai Kun Zhao Honghao Gao School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai China Computing Center Shanghai University Shanghai China

Widely applied and quickly developed as the SOA theory has been, the instability of distributed Web services will lead to services composition failure. Currently, a hot research topic is that when does the system can make an appropriate adjustment of the system structure dynamically to ensure the system runs at the best performance while the runtime environment or requirement is changed. To address this problem, this paper proposes an approach to predicting the system survivability which bases on log statistic. The method gets the system usage model by monitoring Web log files, and then constructs value model and adopts quantitative model checking to forecast the system survivability to estimate whether the system is survivable in a certain period of time.

关键词： Model checking Business Markov processes Data models Web services Predictive models Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

A chain algorithm for conformance testing based on UIO sequences

A chain algorithm for conformance testing based on UIO seque...

引用

ACIS International Conference on software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Weiwei Lin Hongwei Zeng Department of Information Science and Technology Taishan University Shanghai China School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China

State verification to check that the machine is in a specified state is a key technique in FSM-based conformance testing. This paper presents a special UIO sequence called CUIO which can verify as many states as possible and all transitions of FSM simultaneously. CUIO sequences are constructed by a chain algorithm which is proposed based on the traditional method of successor tree. As a result, desirable checking sequence can be obtained by CUIO with relatively low computational complexity.

关键词： testing computers Computational modeling software algorithms software Information science Computational complexity

来源：评论

学校读者我要写书评

暂无评论

A formal aspect-oriented method to model and analyse secure service composition

引用

International Journal of Autonomous and Adaptive Communications Systems 2015年第2-3期8卷 119-140页

作者： Fan, Guisheng Yu, Huiqun Chen, Liqiong Liu, Dongmei Department of Computer Science and Engineering East China University of Science and Technology Shanghai200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai201112 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai200235 China

Service-oriented computing (SOC) is becoming a prominent paradigm for creating value-added enterprise applications by composing web services. However, this flexibility comes along with new security risks. In this paper, Petri nets are used to precisely describe the different components of service composition, such as service, component, the basic relation between components, etc. The dynamic matching strategy of service composition is proposed, aspect orientation is used to weave it into the base net, which includes evaluation concern, authorisation concern and failure processing concern, the weaving mechanism dynamically integrates these schemas into a secure aspect model. Based on this, the operation semantics and related theories of Petri nets help prove the effectiveness and feasibility of proposed method, the enforcement algorithm is also given. An example explains the modelling process of service composition, and a series of experiments are done to explain that the use of aspects for service composition is more efficient than conventional techniques. © 2015 Inderscience Enterprises Ltd.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Research on GUI-based automation test technology driven by separated definition data

International Journal of Control and Automation

引用

International Journal of Control and Automation 2014年第6期7卷 421-432页

作者： Liu, Zhenyu Chen, Qiang Cai, Lizhi Shanghai Key Laboratory of Computer Software Testing and Evaluation China

GUI-based software is often developed a complicated test script with existing traditional automation software testing tools. The software automated test development technology consequently carried out some study of existing automated testing with current automated testing tools to simplify the script. The paper proposed a novel test automation technology with separated definition data, which replaced by script development or modification. The definition data are depicted for script driven, page description and test data separately. The test automation technology provided completed function and interface between this method and actual test tool. The test engineers is not need to write the any test script, but modify the definition files for test developing to some extent. The automation functional test technology has support the typical test tool and proved effective in the specific cases. © 2014 SERSC.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Checking internal consistency of sofl specification: A hybrid approach

Checking internal consistency of sofl specification: A hybri...

引用

3rd International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013

作者： Chen, Yuting School of Software Shanghai Jiao Tong University Shanghai 200240 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China

ISBN: (纸本)9783319049144

A SOFL specification can be written with errors inside, leading to an untrustable situation for implementation. Some techniques, such as specification review and testing, have been proposed to detect and remove the errors from the specification as early as possible. Meanwhile these techniques face strong challenges when applied to practice in that they strongly rely on human intelligence to either cautiously design a review task tree for directing the whole review process, or design some test inputs to "run" the specification. The completeness of the review or testing tasks also remains a problem. In this paper we propose a hybrid approach to checking the internal consistency of a SOFL specification. The internal consistency is an important property indicating that the entire specification can work properly. The essential idea of the hybrid approach is to adopt the different strategies to check the different aspects of the specification: concrete or abstract values are used to check the satisfiability of a process, and the symbolic execution and the deduction techniques can be used to check the internal consistency of the specification at the integration level. We also use a Sort-Search example to illustrate the use of the hybrid approach. © 2014 Springer International Publishing Switzerland.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Modeling and testing of GUIs using IOLTS 21

Modeling and testing of GUIs using IOLTS

引用

21st Asia-Pacific software Engineering Conference, APSEC 2014

作者： Chen, Shengbo Sun, Dashen Miao, Huaikou Zeng, Hongwei School of Computer Engineering and Science Shanghai University Shanghai200436 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai201112 China

ISBN: (纸本)9781479974252

Graphical User Interface (GUI) provides a popular and convenient way for the user to freely interact with the systems which makes it widely used in various software applications;it has become an important and indispensable part of today's software. Owing to the characteristics of GUIs different from the traditional software, traditional test techniques and methods cannot satisfy the requirements of GUI testing. Modeling and testing of GUIs-based system is a difficult and challenging work. GUIs-based application is an event-driven application. In GUIs, there exist not only the input events and output events, but also the internal events. In this paper, we identify the input events, output events and internal events and propose an approach to modeling and testing of GUIs-based system using the IOLTS, and input events, output events and internal events are also taken into account. Constraints on events and regular expressions on validation of data are given out. The interactions of GUIs are constructed by the corresponding output events. Finally, tests generation and tests instantiation are given out. © 2014 IEEE.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：