This paper states the basic principle of program data flow analysis in a formal way and gives the concept of data flow expression. On the basis of this concept, an algorithm of finding data flow exceptions is rendered...This paper states the basic principle of program data flow analysis in a formal way and gives the concept of data flow expression. On the basis of this concept, an algorithm of finding data flow exceptions is rendered. This algorithm has great generality, with which it is easy to develop a tool for program test. So it is practical in application.展开更多
For this special section on software systems special section, discuss important issues that will shape several research leaders in software systems, as guest editors for this this field＇s future directions. The essa...For this special section on software systems special section, discuss important issues that will shape several research leaders in software systems, as guest editors for this this field＇s future directions. The essays included in this roundtable article cover research opportunities and challenges for emerging software systems such as data processing programs （Xiangyu Zhang） and online services （Dongmei Zhang）, with new directions of technologies such as unifications in software testing （Yves Le Traon）, data-driven and evidence-based software engineering （Qing Wang）, and dynamic analysis of multiple traces （Lu Zhang）. Tao Xie, Leading Editor of Special Section on Softwaare Svstem.展开更多
In this paper we have developed a data logging and monitoring system, we validated the system by comparing the result from it with the existing one and found that the system performs slightly better than the existing ...In this paper we have developed a data logging and monitoring system, we validated the system by comparing the result from it with the existing one and found that the system performs slightly better than the existing work in the same area. This implies that the data logger and monitoring system is good and can be used to monitor solar energy variables even at the comfort of our homes. We fitted a model to the generated data and found that the meteorological variables considered accounted for 99.88% of the power output in the rainy seasons while 0.12% of the variation was not explained due to other factors. Solar panels inclined at an angle of 5° (Tilt) and facing South Pole perform optimally.展开更多
文摘This paper states the basic principle of program data flow analysis in a formal way and gives the concept of data flow expression. On the basis of this concept, an algorithm of finding data flow exceptions is rendered. This algorithm has great generality, with which it is easy to develop a tool for program test. So it is practical in application.
文摘For this special section on software systems special section, discuss important issues that will shape several research leaders in software systems, as guest editors for this this field＇s future directions. The essays included in this roundtable article cover research opportunities and challenges for emerging software systems such as data processing programs （Xiangyu Zhang） and online services （Dongmei Zhang）, with new directions of technologies such as unifications in software testing （Yves Le Traon）, data-driven and evidence-based software engineering （Qing Wang）, and dynamic analysis of multiple traces （Lu Zhang）. Tao Xie, Leading Editor of Special Section on Softwaare Svstem.
文摘In this paper we have developed a data logging and monitoring system, we validated the system by comparing the result from it with the existing one and found that the system performs slightly better than the existing work in the same area. This implies that the data logger and monitoring system is good and can be used to monitor solar energy variables even at the comfort of our homes. We fitted a model to the generated data and found that the meteorological variables considered accounted for 99.88% of the power output in the rainy seasons while 0.12% of the variation was not explained due to other factors. Solar panels inclined at an angle of 5° (Tilt) and facing South Pole perform optimally.
