Problem of belief revision and specification evolution has been studied for years. Researchers have proposed ACM theory and R-calculus to solve the problem. This paper concerns with the revision of proposition logic a...
详细信息
This paper introduces the design and implementing scheme of SCM that one software organization may adopt, discusses the basic concepts of SCM, putting forward the implement of configuration management based on CMMI an...
详细信息
The next few years, the world towards a high degree of competitiveness of industrial enterprises in the development of business models, competition and cooperation, the flexibility of management changes in a timely ma...
详细信息
ISBN:
(纸本)9781424448692
The next few years, the world towards a high degree of competitiveness of industrial enterprises in the development of business models, competition and cooperation, the flexibility of management changes in a timely manner, on the business and the contractor's use collaborative software technology to create competitive advantage and setup inter - communication platform develop systems to control the exchange of information, can reduce the time and error. Most important is the face of how to choose a partner, use collaborative management, making business and cooperation partners, in order to assess the decision standardization. This study used the grey situation decision (GSD) decision support tools to select the computer integrated manufacturing (CIM) software and provide a useful reference work with partners in the enterprise is follow the relationship and technical cooperation.
The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation of the Communication Virtual Machine (CVM) techn...
详细信息
ISBN:
(纸本)9781424445257
The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation of the Communication Virtual Machine (CVM) technology. The CVM technology consists of a Communication Modeling Language (CML) and the CVM. CML is a declarative modeling language that can be used to specify domain-specific communication services and the CVM is the platform used to realize the CML models. In this paper we explicitly define the operational semantics of CML to support (1) the synthesis of CML models into executable control scripts and (2) the handling of negotiation and media transfer events during communication. We specify the semantics of CML using label transition systems and describe in detail an algorithm that is essential for the interpretation of CML models. A case study is presented showing how the semantics support the rapid realization of a scenario from the healthcare domain.
As the actuator of the high-pressure common-rail injector, the high-speed solenoid plays an important role in the fuel injection system of the diesel engines. This study introduced the high-speed solenoid valve's ...
详细信息
ISBN:
(纸本)9780769536880
As the actuator of the high-pressure common-rail injector, the high-speed solenoid plays an important role in the fuel injection system of the diesel engines. This study introduced the high-speed solenoid valve's prosperity and developed a test bench which could measure the magnetic force and response time of the high-speed solenoid Finally, we tested a BOSCH solenoid with a Chinese made solenoid using the test bench for the relationship between the magnetic force, applying current and air gap which between the armature and the solenoid With the test result, we can conclude that this test bench was fit to measure the prosperity of high-speed solenoid.
A computer-aided design (CAD) System for cyclic activated sludge system (CASS) was developed, which combined a new wastewater treatment technology with computertechnology. It has important practical significance to e...
详细信息
Many problems have posed in the art gallery theorem. Most of them are NP-hard. In this paper, we pose the new problem of guarding strategic points of a gallery. Given a polygon P with n vertices and m strategic points...
详细信息
Many problems have posed in the art gallery theorem. Most of them are NP-hard. In this paper, we pose the new problem of guarding strategic points of a gallery. Given a polygon P with n vertices and m strategic points which are in that polygon, determine minimum number of guards for guarding the strategic points. In this paper, we present approximation algorithms for point, vertex and edge guard versions of this new problem.
New innovations have brought improvements to the developing countries. However, digital divide exists even today between countries and inside countries. Idea of this paper is two-sided. First the goal is to study from...
详细信息
A completely new scheme for quaternary logic is proposed Instead of conventional Fuzzy logic or Galois Field theory, the logic system is based on the extension of Boolean algebra. The logic is capable of handling both...
详细信息
The rapid development of World Wide Web has dramatically changed the way in which information is managed and accessed. The information in Web is increasing at a striking speed. At present, there are more than 7,500 te...
详细信息
暂无评论