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

Effectively metamorphic testing based on program path analysis

Jisuanji Xuebao/Chinese Journal of computers 2009年第5期32卷 1002-1013页

作者： Dong, Guo-Wei Nie, Chang-Hai Xu, Bao-Wen School of Computer Science and Engineering Southeast University Nanjing 210096 China Jiangsu Institute of Software Quality Nanjing 210096 China State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China

Metamorphic testing is very practical and effective for programs with oracle problems. Much research has been done in this field. Based upon existed methods of metamorphic testing and program path-analysis, the authors first present a set of metamorphic testing criteria for the test with binary metamorphic relations. These criteria define the adequacy of metamorphic test suites at several different levels. Then, three new testing algorithms are given to generate test suites that could satisfy the criteria above. Finally, these algorithms' performances are fully proved with the technique of mutation analysis. The experiment results show that testing effects are greatly decided by the selection of metamorphic relations and testing criteria, and the algorithm APCEMST could detect faults quickly and exactly with fewer test cases than traditional method.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Students analyzing their collaboration in an international open ended group project

Students analyzing their collaboration in an international o...

引用

39th Annual Frontiers in Education Conference: Imagining and engineering Future CSET Education, FIE 2009

作者： Cajander, Åsa Clear, Tony Daniels, Mats Edlund, Joel Hamrin, Per Laxer, Cary Persson, Martin Department of Information Technology Uppsala University Sweden School of Computing and Mathematical Sciences Auckland University of Technology New Zealand Tony New Zealand Undergraduate Education Department of Information Technology Uppsala University Sweden Department of Computer Science and Software Engineering Rose Hulman Institute of Technology Indiana PA United States

ISBN: (纸本)9781424447152

This paper is based on a course run in the fall semester 2008 with students from Sweden and USA where they addressed an open problem in the health sector. Part of the course for the students has been to review how the collaboration actually worked and with special attention to the collaboration platform used. The background to the course and process of choosing the collaborative platform, ClockingIT, is presented. The students' review was informed by engineering education research in order to understand the role of the technology used in their collaboration. The methods adopted by the students are outlined including their application of the Collaborative technology Fit framework as introduced in the thesis by Clear. The role of 'ClockingIT', its effectiveness in supporting collaboration and the effectiveness of 'students as researchers' as a method for insightful reflection are presented. © 2009 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Precisely Reconstruct Porous Media Model Based on Synchrotron Radiation Slice Images

Precisely Reconstruct Porous Media Model Based on Synchrotro...

引用

International Conference on Computational Intelligence and software engineering (CiSE)

作者： Bo Song Lanfang Dong Detang Lu School of computer science and technology USTC Hefei China Institute of Engineering and Science Software University of Science and Technology Hefei China

In this paper a method for precisely reconstructing porous media three-dimensional model based on slice images is proposed. It first processes the original slice images, then uses 3D seed filling algorithm to find all pores based on the constructed spatial data, finally uses the modified marching cubes algorithm based on bounding box technology to render material skeletons and pores. Associating with the porous media flow specific application, a novel invalid pore removing method is proposed. The final reconstructed model shows that our method can precisely reconstruct the pore network and recover the pore shape. It also can identify the pores which meet spatial scale threshold conditions. Comparison of running time between the original marching cubes algorithm and the modified marching cubes algorithm is given. It shows that due to the bounding box technology the running time of modified marching cubes algorithm is shorten greatly when the pores are far away from each other.

关键词： Image reconstruction Synchrotron radiation Skeleton Reconstruction algorithms Educational institutions computer science Mathematical model Simulated annealing Filling Rendering (computer graphics)

来源：评论

学校读者我要写书评

暂无评论

Broadcasting on the BSN-Hypercube Network

Broadcasting on the BSN-Hypercube Network

引用

International Conference on Information and Computing Science, ICIC

作者： He-ping Ye Wen-jun Xiao Jiao-yu Wu School of Software Engineering South China University of Technology China Department of Computer Science and Engineering Guangdong Institute of Science and Technology Guangzhou China

Biswapped network (BSN) is a recently proposed network model of parallel computing, which is built of 2n copies of an n-nodes basic network, and its basic network may be hypercube, mesh and other networks, hence we can construct BSN-Hypercube and BSN-Mesh by using hypercube and mesh as basic network. BSN uses a simple rule for connectivity to ensure its regularity and some topological properties of BSN have been investigated. In this paper, we show the topological properties of the BSN-Hypercube network and present an efficient broadcasting scheme on the BSN-Hypercube network.

关键词： Broadcasting Hypercubes computer networks Parallel processing Clustering algorithms Bipartite graph software engineering Fault tolerance Modular construction Robustness

来源：评论

学校读者我要写书评

暂无评论

Exploration of Slot Allocation for On-Chip TDM Virtual Circuits

Exploration of Slot Allocation for On-Chip TDM Virtual Circu...

引用

Euromicro Symposium on Digital System Design

作者： Li Tong Zhonghai Lu Hua Zhang School of Computer and Communication Engineering Tianjin University of Technology Tianjin China Department of Electronic Computer and Software Systems Royal Institute of Technology Stockholm Sweden

Time-Division-Multiplexing (TDM) Virtual Circuit (VC) has been proposed to guarantee the Quality-of-Service requirements in communication for Network-on-Chip. In this paper, we explore the design space of slot allocation for configuring TDM VCs. Specifically, we investigate different slot assignment schemes, namely, distributed, random and consecutive schemes, which have significant impact on the configurability. We also propose to construct disjoint connected VC sets to effectively reduce the search space. We have realized and integrated them into our VC configuration flow. Our experimental results suggest that the optimal slot allocation cycle equals to the ratio of the link bandwidth to the maximal VC bandwidth, and the distributed slot assignment scheme performs better than the random and consecutive schemes.

关键词： Time division multiplexing Circuits Virtual colonoscopy Switches Network-on-a-chip Bandwidth Routing computer networks System-on-a-chip Packet switching

来源：评论

学校读者我要写书评

暂无评论

Three Dimensional Stratum Modeling and a Fast Algorithm for Arbitrary Cutting Based on Half-Edge Structure

Three Dimensional Stratum Modeling and a Fast Algorithm for ...

引用

International Conference on Computational Intelligence and software engineering (CiSE)

作者： Xi Liu Lanfang Dong Detang Lu College of Computer Science & Technology University of Science and Technology Hefei China School of computer science and technology USTC Hefei China Institute of Engineering and Science Software USTC Hefei China

The three dimensional stratum modeling provides important basis of analysis and policy-making in areas such as Geophysics, Petroleum, Minerals, Urban construction and so on. In this paper, we firstly propose a general flow of three dimensional stratum modeling, then research stratum partition algorithm and reconstruct the surface of three dimensional stratum model (3DSM), finally program the module of the simulation and visualization of 3DSM, and propose a fast algorithm for arbitrary cutting based on half-edge structure. The result shows that the algorithm performs real-time, and the reconstructed model of it is perfect. The algorithm has general applicability in entity cutting, it can be used in 3DSM, medical treatment, city planning and other similar areas.

关键词： Humans Education Equations Uncertainty Abstracts Natural language processing Application software Computational modeling Testing Statistics

来源：评论

学校读者我要写书评

暂无评论

Combining opportunistic routing with dynamic source routing for wireless mesh networks

Combining opportunistic routing with dynamic source routing ...

引用

Institution of engineering and technology International Communication Conference on Wireless Mobile and Computing

作者： Shen, Qiang Fang, Xuming Kim, Sunmyeng He, Rong Provincial Key Lab. of Information Coding and Transmission Southwest Jiaotong University Chengdu 610031 China High Performance Network Lab. Institute of Acoustics Chinese Academy of Sciences Beijing 100190 China School of Computer and Software Engineering Kumoh National Institute of Technology Gyeongbuk 730701 Korea Republic of

ISBN: (纸本)9781849191388

Routing in wireless mesh networks presents a great challenge due to unreliable wireless links and collisions. Recently, a new routing method, opportunistic routing (OR), is proposed to deal with them by exploiting broadcast nature of wireless networks. OR relies on the global knowledge of networks to select relays and determine priorities. In this paper, we propose a new routing scheme, OxDSR, which combines OR and dynamic source routing (DSR) and performs opportunistic transmissions with the help of the local information and the traditional route obtained by DSR. By taking the duplicates and additional wireless resource consumed by multiple ACK frames into consideration, we propose a new metric, equivalent data rate, to select and prioritize relays. Extensive simulation study shows that the proposed OxDSR is more resilient and achieves higher throughput than DSR based on the expected transmission count routing metric.

关键词： Medium access control

来源：评论

学校读者我要写书评

暂无评论

Integrated model of IGF-I mediated biosynthesis in a deformed articular cartilage

Integrated model of IGF-I mediated biosynthesis in a deforme...

引用

作者： Zhang, Lihai Gardiner, Bruce Stuart Smith, David Wamsley Pivonka, Peter Grodzinsky, Alan Jay Department of Civil and Environmental Engineering University of Melbourne Melbourne VIC 3010 Australia Engineering Computational Biology Group School of Computer Science and Software Engineering The University of Western Australia Crawley WA 6009 Australia Faculty of Engineering Computing and Mathematics The University of Western Australia 35 Stirling Highway Crawley WA 6009 Australia Center for Biomedical Engineering Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology Cambridge MA 02139 United States

Maintenance of articular cartilage's functional mechanical properties ultimately depends on the balance between the extracellular matrix component biosynthesis, degradation, and loss. A variety of factors are known to modulate the rate of cartilage matrix synthesis (e.g., growth factors and stress/strain environment). In the present study, we develop an integrated mathematical model that quantifies biological processes within cartilage tissue modulated by insulin-like growth factors (IGFs). Specifically, the model includes IGF transport through a deforming porous media, competitive binding to binding proteins and cell receptors, and matrix macromolecule biosynthesis - particularly glycosaminoglycans (GAGs). These newly synthesized matrix molecules are then able to modify the material properties of cartilage. The model is used to investigate the effect of synovial fluid IGF-I concentration on cartilage homeostasis. The results presented here suggest that GAG production can be rapidly "switched on" when the concentration of IGF-I reaches a certain threshold, while it is predicted that high receptor concentration leads to heterogeneous matrix production. As for the combined effect of IGF-I and mechanical loading on biosynthesis, the current model predicts that a loading regime with high strain magnitude (e.g., 10%) can achieve a synergistic effect on matrix protein production. Furthermore, dynamic loading is seen to promote spatial homogeneous GAG production. © 2009 ASCE.

关键词： Biosynthesis

来源：评论

学校读者我要写书评

暂无评论

An online monitoring approach for Web service requirements

An online monitoring approach for Web service requirements

引用

作者： Wang, Qianxiang Shao, Jin Deng, Fang Liu, Yonggang Li, Min Han, Jun Mei, Hong Institute of Software School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Netease Corporation Beijing China China Life Insurance Company Beijing China Information and Communication Technologies Swinburne University of Technology John Street Hawthorn VIC 3122 Australia

Web service technology aims to enable the interoperation of heterogeneous systems and the reuse of distributed functions in an unprecedented scale and has achieved significant success. There are still, however, challenges to realize its full potential. One of these challenges is to ensure the behavior of Web services consistent with their requirements. Monitoring events that are relevant to Web service requirements is, thus, an important technique. This paper introduces an online monitoring approach for Web service requirements. It includes a pattern-based specification of service constraints that correspond to service requirements, and a monitoring model that covers five kinds of system events relevant to client request, service response, application, resource, and management, and a monitoring framework in which different probes and agents collect events and data that are sensitive to requirements. The framework analyzes the collected information against the prespecified constraints, so as to evaluate the behavior and use of Web services. The prototype implementation and experiments with a case study shows that our approach is effective and flexible, and the monitoring cost is affordable. © 2008 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Color laser printer identification by analyzing statistical features on discrete wavelet transform

Color laser printer identification by analyzing statistical ...

引用

IEEE International Conference on Image Processing

作者： Jung-Ho Choi Dong-Hyuck Im Hae-Yeoun Lee Jun-Taek Oh Jin-Ho Ryu Heung-Kyu Lee School of Electrical Engineering and Computer Science KAIST South Korea School of Computer and Software Engineering Kumoh National Institute of Technology South Korea Information Technology Laboratory Korea Minting and Security Printing Corporation South Korea

Color laser printers are nowadays abused to print or forge official documents and bills. Identifying color laser printers will be a step for media forensics. This paper presents a new method to identify color laser printers with printed color images. First, 39 noise features of color printed images are extracted from the statistical analysis of the HH sub-band on discrete wavelet transform. Then, these features are applied to train and classify the support vector machine for identifying the color laser printer. In the experiment, 9 models of 4 brands, Xerox, Konica, HP, Canon, are tested to classify the brand of color laser printer, the color toner, and the model of color laser printer. The results prove that the presented identification method performs well using the noise features of color printed images.

关键词： Discrete wavelet transforms Printers Wavelet analysis Colored noise Laser noise Laser modes Image color analysis Forensics Statistical analysis Support vector machines

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：