The Knowledge Management Strategy for SPI Practices

Software process improvement （SPI） is a knowledge intensive task. Major challenges for SPI efforts are how to create strategies and mechanisms for managing knowledge about software development and how to implement them in the organization. Knowledge management （KM） is useful in SPI efforts to facilitate the creation, modification, sharing, deployment, and innovation of software processes in an organization. KM can enhance the effects of SPI practices. This paper analyzes the relationships between KM activities and SPI practices, the dependences among KM activities and CMMI model, studies the KM ideas embodied in IDEAL and CMMI model. According to the classification of explicit knowledge and implicit knowledge, the characteristics of SPI knowledge are investigated, and the types of SPI knowledge are identified. In order to evaluate and implement KM activities in SPI practices, this paper supplements CMMI model with KM- related PAs, designs a KM PA for every maturity level. Based on experiences of KM projects in many organizations, including Lenovo, the paper brings forward a KM strategy, which consists of eight phases.     

A TSP Based Algorithm for Mining Fuzzy Association Rule

As a kind of excellent mathematic tool, concept lattice has widely been applied in AI and knowledge discovery field. In this paper, we introduced fuzziness into concept lattice, presented a TSP （Team software process） based algorithm for mining fuzzy association rule, and implemented the algorithm. The results demonstrate that the rule extracted can give the valid suggestion to course improvement.     

An Improved Genetic Algorithm for Test Cases Generation Oriented Paths

This paper discusses a method that can automatically generate test cases for selected paths using a special genetic algorithm. The special algorithm is called Queen-bee evolutionary genetic algorithm（QBEA）. In this algorithm, sequences of operators iteratively executes for test cases to evolve to target paths. The best chromosome called queen among the current population is crossover with drones selected according to a certain crossover prob- ability, which enhances the exploitation of searching global optimum. A comparative experiment results prove that the proposed method is actually a great improvement in opti- mization efficiency and optimization effect.     

Evolutionary Generation Approach of Test Data for Multiple Paths Coverage of Message-passing Parallel Programs

Test data generation, the premise of soft- ware testing, has attracted scholars in the software engi- neering community in recent years. Influenced by task par- titioning, process scheduling, and network delays, parallel programs are executed in a non-deterministic way, which makes test data generation of parallel programs different from that of serial programs in essence. This paper inves- tigated the problem of generating test data for multiple paths coverage of message-passing parallel programs. A mathematical model of the above problem was built based on each given path and its equivalent ones. It was solved by using a genetic algorithm to generate all desired data in one run. The proposed method was applied to five bench- mark programs, and compared with the existing methods. The experimental results show that the proposed method greatly shortens the number of iterations and time con- sumption without reducing the coverage rate.     

A Dormant Multi-Controller Model for Software Defined Networking

In order to improve the scalability and reliability of Software Defined Networking （SDN）, many studies use multiple controllers to constitute logically centralized control plane to provide load balancing and fail over. In this paper, we develop a flexible dormant multi-controller model based on the centralized multi-controller architecture. The dormant multi-controller model allows part of controllers to enter the dormant state under light traffic condition for saving system cost. Meanwhile, through queueing analysis, various performance measures of the system can be obtained. Moreover, we analyze the real traffic of China Education Network and use the results as the parameters of computer simulation and verify the effects of parameters on the system characteristics. Finally, a total expected cost function is established, and genetic algorithm is employed to find the optimal values of various parameters to minimize system cost for the deployment decision making.     

Mixed-Level Modeling Methodology for Network-on-Chip Architecture Exploration

As Network on chip （NoC） architecture de- velops as an solution of interconnection in System on chip （SoC） designs, a detailed and flexible interconnection net- work model integrated in a full system evaluation framework becomes necessary. In this paper, we first present a mixed abstraction level modeling methodology for the performance evaluation of NoC architecture. Then based on our mixed level modeling methodology, we develop a full system mixed-level NoC evaluation and verification plat- form. Aiming to explore the details of the performance evaluation and hardware verification of interconnection part, we build NoC router at cycle-accurate, bus cycle level and build SoC peripherals at approximately time~ bus phase transaction level which intend to gain higher simulation speed, and lower step to relative development of software. The experimental results show that the mixedlevel NoC evaluation platform can achieve both detailed architecture exploration and fast simulation speed.     

Bidirectional Background Modeling for Video Surveillance

Traditional background model methods often require complicated computations, and are sensitive to illumination and shadow. In this paper, we propose a block-based background modeling method, and use our proposed method to combine color and texture characteristics. Suppression and relaxation are the two key strategies to resist illumination changes and shadow disturbance. The proposed method is quite efficient and is capable of resisting illumination changes. Experimental results show that our method is suitable for real-word scenes and real-time applications.     

A Formal Approach for Obligation Analysis of E-Commerce

Existing methods for modeling Ecommerce systems （ECSs） focus mostly on either mathematically abstract verification or graphical modeling, and cannot explicitly describe and analyze the obligations of partners. This work presents a new class of Labeled Petri nets for the modeling and analysis of ECSs. And the life cycle of a case and the time/date of firing an action are considered. It can model graphically the dynamic behavior of the systems, and analyze elegantly the obligations. This approach is illustrated with a nontrivial example of the modeling and analysis of the trading process of the Purchase transaction in the Internet open trading protocol.     

Privacy-preserving Matrix Rank Computation and Its Applications

Matrix rank is an important tool for mathematical analysis, it is hard to compute cooperatively in an insecure distributed network. For the purpose to solve this problem, we put forward a privacy-preserving rank computation protocol for the first time. In this paper, the pro-rata protocol is improved to an optimal complexity of O（m） through comparing the collective information to reduce the round number, it performs better when the disproportional pairs distribute dispersedly or appear at later part of the sequence. Then, we propose a protocol to calculate matrix rank by the help of privacy-preserving technology, this protocol implements securely step by step according to the procedure in linear algebra. The protocol achieves the goal in secure two-party model without leaking other message. After that, their applications in mean square error and square sum error are considered. At last, we analyze all the protocols appeared in this paper to inves-tigate their correctness, complexity and security by means of mathematical induction and cryptographic primitive.     

An Efficient Approach to Odometric Non-systematic Error Modeling for Mobile Robots

Odometric non-systematic error modeling for mobile robot is the basis of localization. Most of the approaches to odometric non-systematic error modeling are designed for some special driving-type robots nowadays. And the long-term odometric errors without bound, which degrade the localization precision after long-distance movement, are not often capable of being compensated in real-time. Therefore, a general approach to odometric nonsystematic error modeling for mobile robot is proposed in regard to both synchronous drive roller robots and diiTerential drive roller robots. The approach assumes that the robot path is approximated to circular arcs. The function relationships, between the odometric process input and non-systematic errors, are derived on the basis of the odometric error transformation rules, further the accumulative errors of odometry in the localization process are compensated in real-time. The experiments show that the compensation of non-systematic error can reduce the odo- metric long-term errors efficiently, and improve the localization precision remarkably.     

Metabolic P Systems： A Discrete Model for Biological Dynamics

A recent methodology to model biochem- ical systems is here presented. It is based on a concep- tual framework rooted in membrane computing and de- veloped with concepts typical of discrete dynamical sys- tems. According to our approach, from data observed at suitable macroscopic temporal scales, one can deduce, by means of algebraic and algorithmic procedures, a dis- crete model （called Metabolic P system） which accounts for the experimental data, and opens the possibility to under- stand the systemic logic of the investigated phenomenon. The procedures of such a method have been implemented within a computational platform, a Java software called MetaPlab, processing data and simulating behaviors of metabolic models. In the paper, we briefly describe the theory underlying the modeling of biochemical systems by Metabolic P systems, along with its development stages and the related extensive literature.     

软件复用与软件构件技术

软件复用是在软件开发中避免重复劳动的解决方案。通过软件复用,可以提高软件开发的效率和质量。近十几年来,面向对象技术出现并逐步成为主流技术,为软件复用提供了基本的技术支持软件复用研究重新成为热点,被视为解决软件危机,提高软件生产效率和质量的现实可行的途径。     

Multiscale Product for Edge Detection

Many methods have been proposed to extract the most relevant areas of an image. This article explores the method of edge detection by the multiscale product(MP) of the wavelet transform. The wavelet used in this work is the first derivative of a bidimensional Gaussian function. Initially, we construct the wavelet, then we present the MP approach which is applied to binary and grey levels images. This method is compared with other methods without noise and in the presence of noise. The experiment results show that the MP method for edge detection outperforms conventional methods even in noisy environments.     

UML技术在医院检验信息管理系统设计中的应用

目的:针对医院对检验信息管理系统的开发质量要求,研制解决方案,避免后期投入成本巨大浪费问题,实现因地制宜地保证系统上线。方法:采用标准的UML方法,编制了适合医院的检验管理信息系统,并完成了详细描述了其具体用例图(Use Case)、顺序图(Sequence Diagram)、类图(Class Diagram)。结果:设备的开机率提高了20%,标本控制时间明显缩短,故障响应时间为1分钟,在系统中及时报警提示。结论:完成了基于UML的LIS系统的设计,提高了设备的工作效能,收到了良好的效果。     

软件可靠性及维修性评估工具（SRMET2.0）

软件可靠性及维修性评估工具（ＳＲＭＥＴ２．０）是由航天软件评测中心于１９９８年研制开发的。ＳＲＭＥＴ２．０包含了七个软件可靠性评估模型和四个软件维修性评估模型，不仅可处理完全的可靠性数据，也可处理不完全的可靠性数据。     

软件功能性比对测试方法研究及应用

软件产品质量评价与测试是保障软件产品质量的方式之一。实际工作中,常常需要对多个软件产品进行质量比对,确保获得相对最好的软件产品。随着软件的产品化和软件开发的产业化,软件比对测试逐渐成为产品选型及市场推广的重要工作环节,软件功能性的比对测试也成为客户进行商品化软件选型时的重要依据。本文在GB／T16260系列标准的基础上,提出了软件功能性比对测试的方法,并在实际项目中进行了应用与验证。     

Self-Organization Approaches for Optimization in Cognitive Radio Networks

Cognitive radio （CR） is regarded as a promising technology for providing a high spectral efficiency to mobile users by using heterogeneous wireless network architectures and dynamic spectrum access techniques. However, cognitive radio networks （CRNs） may also impose some challenges due to the ever increasing complexity of network architecture, the increasing complexity with configuration and management of large-scale networks, fluctuating nature of the available spectrum, diverse Quality-of-Service （QoS） requirements of various applications, and the intensifying difficulties of centralized control, etc. Spectrum management functions with self-organization features can be used to address these challenges and realize this new network paradigm. In this paper, fundamentals of CR, including spectrum sensing, spectrum management, spectrum mobility and spectrum sharing, have been surveyed, with their paradigms of self-organization being emphasized. Variant aspects of self- organization paradigms in CRNs, including critical functionalities of Media Access Control （MAC）- and network-layer operations, are surveyed and compared. Furthermore, new directions and open problems in CRNs are also identified in this survey.     

Joint Optimization of Subchannel Reassignment and Power Adaptation for Multicarrier Cooperative Systems

An amplify-and-forward multicarrier cooperative system was proposed in this paper. The optimal resource-allocation problem was investigated in terms of improving data rate. An effective resource-allocation algorithm was proposed based on three techniques, adaptive modulation, subchannel reassignment design and transmit power adaptation. The designed subchannel reassignment not only increases the average data rate, but also raises the threshold of ＂water-filling＂ in optimizing power allocation that can further increase data rate. Since the power allocation is based on the designed subchannel reassignment, the complexity of the proposed algorithm is reduced greatly. Simulation results show that the proposed algorithm effectively increases the system＇s average data rate.     

On the Design and Temporal Petri Net Verification of Grid Commerce Architecture

The emergence of Grid Computing settings lays a solid foundation for designing and constructing a next generation E-commerce environment. This work presents a new E-commerce architecture based on a Grid Computing environment, and models and analyzes the architecture using Temporal Petri nets （TPNs）. It can make sufficiently use of the Grid resources to implement various electronic bargains between the geographically dispersed users. By means of its TPN model, some main temporal properties are represented and verified formally.