No abstract

Programming is a crucial skill which is required to be mastered for students on all disciplines of the Computer Science field. For novice students, they always desire explanation and help for all errors encountered in their own solutions. With the recent advancement of Internet technologies, online tutoring systems are increasingly considered. Various systems and applications have been introduced for teaching programming. In this paper, we introduce a tutoring system known as iiOSProTrain (interactive intelligent Online System for Programming Training) for teaching students programming. In iiOSProTrain, we employ two popular formal methods, which are theorem proving and model checking, for verifying students’ works and giving them detailed feedback. The usage of formal methods renders our system the following advantages, as compared to similar systems. First, iiOSProTrain can give an absolute confirmation on the correctness of the submitted programs. More importantly, iiOSProTrain adopts the concept of structured error-flow to give students traceable feedbacks on their mistakes, thus allowing them to track and correct the logic errors in a flexible and convenient manner. Currently, iiOSProTrain is deployed at Faculty of Computer Science and Engineering, Ho Chi Minh University of Technology, Vietnam for teaching first year students on programming methodologies

This article presents a method to identify good and bad grain and then they will be classified and processed. The algorithm mentioned here will determine the good and bad grain at high speed frame (18500 frames/s), and determine the speed of rice moving. The identification of better or worse than the threshold used in the algorithm are combination of light wavelengths and identify appropriate length of grain. This paper describes the experimental results: the influence of the light wavelength, the effect of imagecapturing speed, identity technique and threshold filtering.

This paper presents the design of a machine using for incremental sheet forming (ISF) technology. Mechanical design has differences compared with conventional CNC machine which has enough rigidity to match the high value of axial force when processing by ISF technology. The machine is manufactured successfully and operates stably when forming steel sheet of 210mm square and thickness of 1.5mm. It shows that the control and mechanical design presented shows appropriate and capable of manufacturing a machine with larger machining size to use for the actual sheet products in industries.

S:Roller mechanism and conveyor are important components in sulfur granulation system. This paper presents the method to design roller mechanism to apply two goals: create a continuous pressure for a regular granulation on steel conveyor. There are also granulation mechanism and maintain temperature not to stuck and solidify of sulfur in the supplying pile. Moreover, this paper shows the solution to design steel conveyor and filtering system including with temperature sensor which ensure the decreasing of temperature over the length of steel bell. This will help the granulation of sulfur with the right size and shape.