Modeling and simulation of a life system is closely connected to the modeling of cognition,especially for advanced life systems. The primary difference between an advanced life system and a digital computer is that th...Modeling and simulation of a life system is closely connected to the modeling of cognition,especially for advanced life systems. The primary difference between an advanced life system and a digital computer is that the advanced life system consists of a body with mind while a digital computer is only a mind in a formal sense. To model an advanced life system one needs to symbols into a body where a digital computer is embedded. In this paper, a computational verb theory is proposed as a new paradigm of grounding symbols into the outputs of sensors. On one hand, a computational verb can preserve the physical "meanings" of the dynamics of sensor data such that a symbolic system can be used to manipulate physical meanings instead of abstract tokens in the digital computer. On the other hand, the physical meanings of an abstract symbol/token, which is usually an output of a reasoning process in the digital computer, can be restored and fed back to the actuators. Therefore, the computational verb theory bridges the gap between symbols and physical reality from the dynamic cognition perspective.展开更多
For a class of SISO nonlinear control systems with parameter uncertainty an almost disturbance decoupling problem with stability is defined and investigated. Back stepping technique provides a practical design method ...For a class of SISO nonlinear control systems with parameter uncertainty an almost disturbance decoupling problem with stability is defined and investigated. Back stepping technique provides a practical design method of controller, under which the $L2$ gain from the disturbance to the controlled output can be arbitrarily small subject to nonlinear uncertainties and the close-loop system is internally asymptotically stable.展开更多
This paper provides a concrete and simple introduction to two pillars of domain theory : (1) solving recursive domain equations, and (2) universal and saturated domains. Our exposition combines Larsen and Winskel'...This paper provides a concrete and simple introduction to two pillars of domain theory : (1) solving recursive domain equations, and (2) universal and saturated domains. Our exposition combines Larsen and Winskel's idea on solving domain equations using information systems with Girard's idea of stable domain theory in the form of coherence spacest or graphs. Detailed constructions are given for universal and even homogeneous objects in two categories of graphs: one representing binary complete, prime algebraic domains with complete primes covering the bottom; the other representing w-algebraic, prime algebraic lattices. The back- and-forth argument in model theory helps to enlighten the constructions.展开更多
In the existing literature of Repairable Queueing Systems (RQS), i.e., queueing systems with server breakdowns, it is almost all assumed that interarrival times of successive customers are independent, identically exp...In the existing literature of Repairable Queueing Systems (RQS), i.e., queueing systems with server breakdowns, it is almost all assumed that interarrival times of successive customers are independent, identically exponentially distributed. In this paper, we deal with more generic system GI/PH/1 with server's exponential uptime and phase-type repair time. With matrix analysis theory, we establish the equilibrium condition and the characteristics of the system, derive the transient and stationary availability behavior of the system.展开更多
In recent years, SmCo series thin films nave beenfound to be good candidates for fabricating integrated electromagnetic components and ultrahigh density magnetic recording media. Up to now,intensive stud-ies of such f...In recent years, SmCo series thin films nave beenfound to be good candidates for fabricating integrated electromagnetic components and ultrahigh density magnetic recording media. Up to now,intensive stud-ies of such films have been carried out in order to obtain appropriate microstructure, crystallographic orientation and other properties.展开更多
文摘Modeling and simulation of a life system is closely connected to the modeling of cognition,especially for advanced life systems. The primary difference between an advanced life system and a digital computer is that the advanced life system consists of a body with mind while a digital computer is only a mind in a formal sense. To model an advanced life system one needs to symbols into a body where a digital computer is embedded. In this paper, a computational verb theory is proposed as a new paradigm of grounding symbols into the outputs of sensors. On one hand, a computational verb can preserve the physical "meanings" of the dynamics of sensor data such that a symbolic system can be used to manipulate physical meanings instead of abstract tokens in the digital computer. On the other hand, the physical meanings of an abstract symbol/token, which is usually an output of a reasoning process in the digital computer, can be restored and fed back to the actuators. Therefore, the computational verb theory bridges the gap between symbols and physical reality from the dynamic cognition perspective.
基金This research is supportedby the Chinese Doctoral Foundation and the Natural Science Foundation of China.
文摘For a class of SISO nonlinear control systems with parameter uncertainty an almost disturbance decoupling problem with stability is defined and investigated. Back stepping technique provides a practical design method of controller, under which the $L2$ gain from the disturbance to the controlled output can be arbitrarily small subject to nonlinear uncertainties and the close-loop system is internally asymptotically stable.
基金This work is supported by the National Natural Science Foundation of China (No.69873034), the Foundation forUniversity Key Tea
文摘This paper provides a concrete and simple introduction to two pillars of domain theory : (1) solving recursive domain equations, and (2) universal and saturated domains. Our exposition combines Larsen and Winskel's idea on solving domain equations using information systems with Girard's idea of stable domain theory in the form of coherence spacest or graphs. Detailed constructions are given for universal and even homogeneous objects in two categories of graphs: one representing binary complete, prime algebraic domains with complete primes covering the bottom; the other representing w-algebraic, prime algebraic lattices. The back- and-forth argument in model theory helps to enlighten the constructions.
文摘In the existing literature of Repairable Queueing Systems (RQS), i.e., queueing systems with server breakdowns, it is almost all assumed that interarrival times of successive customers are independent, identically exponentially distributed. In this paper, we deal with more generic system GI/PH/1 with server's exponential uptime and phase-type repair time. With matrix analysis theory, we establish the equilibrium condition and the characteristics of the system, derive the transient and stationary availability behavior of the system.
文摘In recent years, SmCo series thin films nave beenfound to be good candidates for fabricating integrated electromagnetic components and ultrahigh density magnetic recording media. Up to now,intensive stud-ies of such films have been carried out in order to obtain appropriate microstructure, crystallographic orientation and other properties.