According to the compound packing problem in ammunition supply system in our army, the non-standard pallet series design model is proposed, and the original problem that can be solved as a set cover problem with a nes...According to the compound packing problem in ammunition supply system in our army, the non-standard pallet series design model is proposed, and the original problem that can be solved as a set cover problem with a nested bin-packing problem, is analyzed, then two heuristic algorithms are applied to solve the problem.展开更多
Atomicity is necessary for reliable and secure electronic commerce transaction and to guarantee the participants' interests. An atomic and efficient e-cash (electronic cash) transaction protocol based on the class...Atomicity is necessary for reliable and secure electronic commerce transaction and to guarantee the participants' interests. An atomic and efficient e-cash (electronic cash) transaction protocol based on the classical e-cash scheme is presented. The delivery of digital goods is incorporated into the process of payment in the protocol. Apart from ensuring all three levels of atomicity, the novel protocol features high efficiency and practicability with unfavorable strong assumption removed. Furthermore, the proposed protocol provides non-repudiation proofs for any future disputes. At last, analysis of the atomicity and efficiency is illustrated.展开更多
The problems of characteristic polynomial assignment in Fomasini-Marchesini (F-M) model Ⅱ of 2-D systems are investigated. The corresponding closed-loop systems described by F-M model II are obtained via the state fe...The problems of characteristic polynomial assignment in Fomasini-Marchesini (F-M) model Ⅱ of 2-D systems are investigated. The corresponding closed-loop systems described by F-M model II are obtained via the state feedback. Using the algebraic geometry method, the characteristic polynomial assignment in the dosed-loop systems is discussed. In terms of the theory of algebraic geometry, the problem of characteristic polynomial assignment is transferred to the one whether a rational mapping is onto. Sufficient conditions for almost arbitrary assignment coefficients of characteristic polynomial in F-M model Ⅱ of 2-D systems via state feedback are derived, and they are available for multi-input cases. It also has been shown that this method can be applied to assign the characteristic polynomial with output feedback. The sufficient conditions for almost arbitrary assignment coefficients of characteristic polynomial of multi-input 2-D systems described by F-M model Ⅱ with output feedback are established.展开更多
With the prevalence of the Web, most decision-makers are likely to use the Web to support their decision-making. Web-based technologies are leading a major stream of researching decision support systems (DSS). We prop...With the prevalence of the Web, most decision-makers are likely to use the Web to support their decision-making. Web-based technologies are leading a major stream of researching decision support systems (DSS). We propose a formal definition and a conceptual framework for Web-based open DSS (WODSS). The formal definition gives an overall view of WODSS, and the conceptual framework based on browser/broker/server computing mode employs the electronic market to mediate decision-makers and providers, and facilitate sharing and reusing of decision resources. We also develop an admitting model, a trading model and a competing model of electronic market in WODSS based on market theory in economics. These models reveal the key mechanisms that drive WODSS operate efficiently.展开更多
To enhance the security of network systems, puts forward a kind of software agent is put forward, which has the induction ability of network frameworks and the ability of behavior independence. It is mobile scanning a...To enhance the security of network systems, puts forward a kind of software agent is put forward, which has the induction ability of network frameworks and the ability of behavior independence. It is mobile scanning agent. More attentions is paid to expound how to design and realize mobile scanning agent. Besides, it is also explained the programs of mobile scanning agent system. In the end, it expects mobile scanning agent.展开更多
Appropriate schemata as a novel concept to characterize building blocks are introduced, and then, the traits of appropriate schemata are presented. The effects of building blocks by search operators are analyzed. Henc...Appropriate schemata as a novel concept to characterize building blocks are introduced, and then, the traits of appropriate schemata are presented. The effects of building blocks by search operators are analyzed. Hence, the experiments on RR-8X8 are employed to verify that appropriate schemata construct the building blocks. The validity of appropriate schemata and building blocks from the views of theory and practice is presented.展开更多
文摘According to the compound packing problem in ammunition supply system in our army, the non-standard pallet series design model is proposed, and the original problem that can be solved as a set cover problem with a nested bin-packing problem, is analyzed, then two heuristic algorithms are applied to solve the problem.
基金This project was supported by the National Natural Science Foundation of China (70031020).
文摘Atomicity is necessary for reliable and secure electronic commerce transaction and to guarantee the participants' interests. An atomic and efficient e-cash (electronic cash) transaction protocol based on the classical e-cash scheme is presented. The delivery of digital goods is incorporated into the process of payment in the protocol. Apart from ensuring all three levels of atomicity, the novel protocol features high efficiency and practicability with unfavorable strong assumption removed. Furthermore, the proposed protocol provides non-repudiation proofs for any future disputes. At last, analysis of the atomicity and efficiency is illustrated.
文摘The problems of characteristic polynomial assignment in Fomasini-Marchesini (F-M) model Ⅱ of 2-D systems are investigated. The corresponding closed-loop systems described by F-M model II are obtained via the state feedback. Using the algebraic geometry method, the characteristic polynomial assignment in the dosed-loop systems is discussed. In terms of the theory of algebraic geometry, the problem of characteristic polynomial assignment is transferred to the one whether a rational mapping is onto. Sufficient conditions for almost arbitrary assignment coefficients of characteristic polynomial in F-M model Ⅱ of 2-D systems via state feedback are derived, and they are available for multi-input cases. It also has been shown that this method can be applied to assign the characteristic polynomial with output feedback. The sufficient conditions for almost arbitrary assignment coefficients of characteristic polynomial of multi-input 2-D systems described by F-M model Ⅱ with output feedback are established.
基金This project was supported by the Teaching and Research Award Fund for Outstanding Young Teachers in Higher Education Institutions of MOE.
文摘With the prevalence of the Web, most decision-makers are likely to use the Web to support their decision-making. Web-based technologies are leading a major stream of researching decision support systems (DSS). We propose a formal definition and a conceptual framework for Web-based open DSS (WODSS). The formal definition gives an overall view of WODSS, and the conceptual framework based on browser/broker/server computing mode employs the electronic market to mediate decision-makers and providers, and facilitate sharing and reusing of decision resources. We also develop an admitting model, a trading model and a competing model of electronic market in WODSS based on market theory in economics. These models reveal the key mechanisms that drive WODSS operate efficiently.
文摘To enhance the security of network systems, puts forward a kind of software agent is put forward, which has the induction ability of network frameworks and the ability of behavior independence. It is mobile scanning agent. More attentions is paid to expound how to design and realize mobile scanning agent. Besides, it is also explained the programs of mobile scanning agent system. In the end, it expects mobile scanning agent.
文摘Appropriate schemata as a novel concept to characterize building blocks are introduced, and then, the traits of appropriate schemata are presented. The effects of building blocks by search operators are analyzed. Hence, the experiments on RR-8X8 are employed to verify that appropriate schemata construct the building blocks. The validity of appropriate schemata and building blocks from the views of theory and practice is presented.
