Yifeng Ding

  • Citations Per Year
Learn More
Epistemic logic with non-standard knowledge operators, especially the “knowing-value” operator, has recently gathered much attention. With the “knowing-value” operator, we can express knowledge of individual variables, but not of the relations between them in general. In this paper, we propose a new operator Kf to express knowledge of the functional(More)
Standard epistemic logic studies propositional knowledge, yet many other types of knowledge such as “knowing whether”, “knowing what”, “knowing how” are frequently and widely used in everyday life as well as academic fields. In [11], an axiomatization of the epistemic logic with both regular “knowing that” operator and “conditionally knowing what” operator(More)
In this paper, an intelligent dimming LED nightlight is introduced, it can simulate moonlight and automatically adjust its own brightness according to environment light intensity. Photosensitive resistor module detects external light. Then, the detected intensity converts to a digital value through an AD converter module. This digital value is inputted to a(More)
This paper mainly deals with the development and computer control for heat load system with rapid response and large heat flux. Firstly, the structure and working principle of the IGBT based heat load system are analyzed, and the design method for major parts is discussed. Secondly, a mathematical model to describe the dynamic characteristics is(More)
A significant amount of attention has been focused on the methods of high heat flux removal due to the advancing requirements of the electronics industry. Water spray cooling is one of the best candidates for these thermal control problems. A new heater designed to simulate the high heat flux was briefly presented. The heating part of the heater was(More)
  • 1