This paper deals with the synthesis of Petri net supervisor enforcing the more expressive constraints including marking terms, firing vector terms and Parikh vector terms. The method is developed to handle uncontrolla...This paper deals with the synthesis of Petri net supervisor enforcing the more expressive constraints including marking terms, firing vector terms and Parikh vector terms. The method is developed to handle uncontrollable and unobservable transitions existing in the constraints. The “greater-than or equal” general constraints can also be transformed into “less-than or equal” Parikh constraints. An example is analyzed to show how the problem is solved. General constraint is first transformed into Parikh vector constraints, and Matrix-Transformation is proposed to obtain the admissible constraints without uncontrollable and unobservable transitions. Then the supervisor can be constructed based on constraints only consisting of Parikh vector terms. The method is proved to be more concise and effective than the method presented by Iordache and Moody especially when applied to large scale systems.展开更多
Strict intraoperative glycemic control can significantly decrease the incidence of postoperative infection; however, anesthesiologists must carefully control blood glucose levels as well as properly manage the respira...Strict intraoperative glycemic control can significantly decrease the incidence of postoperative infection; however, anesthesiologists must carefully control blood glucose levels as well as properly manage the respiratory and cardiovascular systems. However, standard blood glucose measurement systems and insulin dosing algorithms, which are necessary for achieving strict glycemic control, have not yet been developed. An artificial pancreas (STG-22TM; Nikkiso Co., Tokyo, Japan) is considered a highly accurate blood glucose monitoring system capable of closed-loop control of blood glucose. The device has, however, many problems to be addressed since it is a large and expensive system with little versatility, and it requires a large amount of blood to be collected. Therefore, the development of less invasive and inexpensive systems with future technological progress is greatly anticipated.展开更多
By lifelogging, we understand a specific, very recent phenomenon of digital technology, which falls within the range of practices of the quantified self. It is a complex form of self-management through self-monitoring...By lifelogging, we understand a specific, very recent phenomenon of digital technology, which falls within the range of practices of the quantified self. It is a complex form of self-management through self-monitoring and self-tracking practices, which combines the use of wearable computers for measuring psycho-physical performances through specific apps for the processing, selecting and describing of the data collected, possibly in combination with video recordings. Given that lifelogging is becoming increasingly widespread in technologically advanced societies and that practices related to it are becoming part of most people＇s everyday lives, it is more important than ever to gain an understanding of the phenomenon. In this paper, I am interested in particular in exploring the issue of the transformations in the perception, comprehension, and construction of self, and hence in subjectification practices, deriving from the new digital technologies, and especially lifelogging.展开更多
基金Project supported by the National Natural Science Foundation of China (No. 60504024), Zhejiang Provincial Education Department(No. 20050905), and "151 Talent Project" of Zhejiang Province,China
文摘This paper deals with the synthesis of Petri net supervisor enforcing the more expressive constraints including marking terms, firing vector terms and Parikh vector terms. The method is developed to handle uncontrollable and unobservable transitions existing in the constraints. The “greater-than or equal” general constraints can also be transformed into “less-than or equal” Parikh constraints. An example is analyzed to show how the problem is solved. General constraint is first transformed into Parikh vector constraints, and Matrix-Transformation is proposed to obtain the admissible constraints without uncontrollable and unobservable transitions. Then the supervisor can be constructed based on constraints only consisting of Parikh vector terms. The method is proved to be more concise and effective than the method presented by Iordache and Moody especially when applied to large scale systems.
文摘Strict intraoperative glycemic control can significantly decrease the incidence of postoperative infection; however, anesthesiologists must carefully control blood glucose levels as well as properly manage the respiratory and cardiovascular systems. However, standard blood glucose measurement systems and insulin dosing algorithms, which are necessary for achieving strict glycemic control, have not yet been developed. An artificial pancreas (STG-22TM; Nikkiso Co., Tokyo, Japan) is considered a highly accurate blood glucose monitoring system capable of closed-loop control of blood glucose. The device has, however, many problems to be addressed since it is a large and expensive system with little versatility, and it requires a large amount of blood to be collected. Therefore, the development of less invasive and inexpensive systems with future technological progress is greatly anticipated.
文摘By lifelogging, we understand a specific, very recent phenomenon of digital technology, which falls within the range of practices of the quantified self. It is a complex form of self-management through self-monitoring and self-tracking practices, which combines the use of wearable computers for measuring psycho-physical performances through specific apps for the processing, selecting and describing of the data collected, possibly in combination with video recordings. Given that lifelogging is becoming increasingly widespread in technologically advanced societies and that practices related to it are becoming part of most people＇s everyday lives, it is more important than ever to gain an understanding of the phenomenon. In this paper, I am interested in particular in exploring the issue of the transformations in the perception, comprehension, and construction of self, and hence in subjectification practices, deriving from the new digital technologies, and especially lifelogging.
