This paper describes the replacement of a controller for a programmable universal machine for assembly (PUMA) 512 robot with a newly designed PC based (open architecture) controller employing a real-time direct contro...This paper describes the replacement of a controller for a programmable universal machine for assembly (PUMA) 512 robot with a newly designed PC based (open architecture) controller employing a real-time direct control of six joints. The original structure of the PUMA robot is retained. The hardware of the new controller includes such in-house designed parts as pulse width modulation (PWM) amplifiers, digital and analog controllers, I/O cards, signal conditioner cards, and 16-bit A/D and D/A boards. An Intel Pentium IV industrial computer is used as the central controller. The control software is implemented using VC++ programming language. The trajectory tracking performance of all six joints is tested at varying velocities. Experimental results show that it is feasible to implement the suggested open architecture platform for PUMA 500 series robots through the software routines running on a PC. By assembling controller from off-the-shell hardware and software components, the benefits of reduced and improved robustness have been realized.展开更多
Recirculation is prohibited in many coal mining countries because of the fear that the re-use of return air would allow the build-up of air contaminants at the workings. The incorrect design and location of a booster ...Recirculation is prohibited in many coal mining countries because of the fear that the re-use of return air would allow the build-up of air contaminants at the workings. The incorrect design and location of a booster fan in any ventilation network can create unsafe condition due to recirculation. The current approach to investigating recirculation using simulation software requires manual effort which becomes tedious in a complex and a large network. An algorithm-based C++ program was designed to detect the recirculation in a booster fan ventilation networks. This program needed an input file prepared from output file generated by any ventilation simulator. This program created an output file for recirculation. This program demonstrated the strong capability to detect the recirculation in a sample network and a coal mine ventilation network. The outcomes of this program were documented in this paper.展开更多
This article provides in-depth insights into the necessary technologies for automated driving in future cities. State of science is reflected from different perspectives such as in-car computing and data man- agement,...This article provides in-depth insights into the necessary technologies for automated driving in future cities. State of science is reflected from different perspectives such as in-car computing and data man- agement, road side infrastructure, and ~loud solutions. Especially the challenges for the application of HD maps as core technology for automated driving are depicted in this article.展开更多
Design of general multivariable process controllers is an attractive and practical alternative to optimizing design by evolutionary algorithms (EAs) since it can be formulated as an optimization problem. A closed-loop...Design of general multivariable process controllers is an attractive and practical alternative to optimizing design by evolutionary algorithms (EAs) since it can be formulated as an optimization problem. A closed-loop particle swarm optimization (CLPSO) algorithm is proposed by mapping PSO elements into the closed-loop system based on control theories. At each time step, a proportional integral (PI) controller is used to calculate an updated inertia weight for each particle in swarms from its last fitness. With this modification, limitations caused by a uniform inertia weight for the whole population are avoided, and the particles have enough diversity. After the effectiveness, efficiency and robustness are tested by benchmark functions, CLPSO is applied to design a multivariable proportional-integral-derivative (PID) controller for a solvent dehydration tower in a chemical plant and has improved its performances.展开更多
This paper introduces in detail the reactive power compensation technology and its characteristics, to reduce the loss of reactive power compensation technology 1N power distribution system and the electrical automati...This paper introduces in detail the reactive power compensation technology and its characteristics, to reduce the loss of reactive power compensation technology 1N power distribution system and the electrical automation, improve the utilization rate, and realize the control of the voltage amplitude in the system network, voltage stability of power distribution system, has carried on the system analysis to reduce failure of the harmonic current to the power supply system and other functions. And the paper in-depth study on the application of reactive power compensation technology in electrical automation from the reactive compensation technology, substation and distribution line reactive power compensation, power users of reactive power compensation and other aspects.展开更多
In the last decade, mass valuation system is applied in Albania in addition to individual valuation system for real estate valuation. This system is used for compiling the land value map and apartments value map. Due ...In the last decade, mass valuation system is applied in Albania in addition to individual valuation system for real estate valuation. This system is used for compiling the land value map and apartments value map. Due to the lack of experience in the compilation of these maps, the methodology of valuation is based on the experiences of other countries with similar development of real estate market. The mass assessment, which is applied in determining the values for specific purposes, such as expropriation, compensation and taxes for property transfer through the methodology adopted for this aim, is analyzed in the light of the finding of issues that accompany this application. The aim of this research is to highlight the problems to provide the ways of overcoming them in order to approximate the values of map values with market values. The mass appraisal process requires effective valuation models and proper management of resources. Its accuracy depends upon the extent and quality of property data available. Because of this reason, it is recommended the usage of the GIS (geographic information system), an automated system for collection and processing of the data necessary for valuation, as the first point of integration between two process of valuation, individual and mass valuation.展开更多
The growing demands for red meats of people also present opportunities for fattening as well as improved markets for the animals. Beef production is a highly profitable venture with return of premium to the farmer. Th...The growing demands for red meats of people also present opportunities for fattening as well as improved markets for the animals. Beef production is a highly profitable venture with return of premium to the farmer. The large scale beef farming must be meet economic criteria for sustainable production. It consists of buying healthy stock, feeding and fattening them to optimum carcass weight, and selling them at any time of the year. They are handled in such a way that maximum growth is achieved at the lowest possible cost. The lifespan of operation is shorter and the return of investment is relatively higher. In beef farms which has very high genetic value of breeding animals cannot be get the expected performance without the use of technology and automation systems. Beef herd management programs if can be used as effectively, farming will have many advantages for consumer, farmer and also animals. However, to obtain these advantages from this system, required to have knowledge of the functions and effective use of the functions. The large amount of data in the obtained on many issues related to animals, herd management and an individual unless used in decisions about animals, ensuring the heavy data flow, record keeping or assessment will not give the expected results. In this study, it has been aiming that the examined the technologic applications at beef farms for sustainable and profitable meat production.展开更多
Korea Electric Power Corporation in charge of the power IT project "Development of Prototype for Advanced Substation Automation System based on the Digital Control Technology", is performing the verification of perf...Korea Electric Power Corporation in charge of the power IT project "Development of Prototype for Advanced Substation Automation System based on the Digital Control Technology", is performing the verification of performance of the substation automation system based on IEC 61850. In order to verify a transformer protective lED that might be operating in substation automation system, the new standardized document and procedures are required in the aspect of the utility like KEPCO. But there is nothing to describe systematically how to verify IEC 6 1850 based lED in the system environment except an individual IED testing way. This paper will present the substation automation system based ways and procedures to verify the protective function of the IED using UML (Unified Modeling Language).展开更多
The progression of next generation sequencing is continuously changing the landscape of genomic, tran- scriptomic, and epigenomic studies. Particularly, advances in single cell manipulation and amplification technique...The progression of next generation sequencing is continuously changing the landscape of genomic, tran- scriptomic, and epigenomic studies. Particularly, advances in single cell manipulation and amplification techniques bring sequencing technology to the single-cell level. Single cell genome sequencing allows us to study tumor evolu- tion, gamete genesis, somatic mosaicism at genome-wide level; single cell transcriptome sequencing unveils the dynamic gene expression during early embryonic devel- opment, differentiation and reprogramming; single cell methylome sequencing is just taking off and shows great potential in cancer and stem cell studies. Lots of attempts are still being made in other dimensions of sequencing. The increasing need for single cell sequencing requires the future techniques with the following features: (1) high accuracy and fidelity; (2) able to perform multiple omics analyses in one cell; (3) high degree of automation and standardized pipeline. These progresses and improvements will lower the barrier for single cell sequencing to enter ordinary laboratories. The wide application of single cell sequencing techniques will substantially change biomedi- cal research in future.展开更多
Checking whether a given formula is an invariant at a given program location(especially,inside a loop) can be quite nontrivial even for simple loop programs,given that it is in general an undecidable property.This is ...Checking whether a given formula is an invariant at a given program location(especially,inside a loop) can be quite nontrivial even for simple loop programs,given that it is in general an undecidable property.This is especially the case if the given formula is not an inductive loop invariant,as most automated techniques can only check or generate inductive loop invariants.In this paper,conditions are identified on simple loops and formulas when this check can be performed automatically.A general theorem is proved which gives a necessary and sufficient condition for a formula to be an invariant under certain restrictions on a loop.As a byproduct of this analysis,a new kind of loop invariant inside the loop body,called inside-loop invariant,is proposed.Such an invariant is more general than an inductive loop invariant typically used in the Floyd-Hoare axiomatic approach to program verification.The use of such invariants for program debugging is explored;it is shown that such invariants can be more useful than traditional inductive loop invariants especially when one is interested in checking extreme/side conditions such as underflow,accessing array/collection data structures outside the range,divide by zero,etc.展开更多
This paper presents a novel interactive system for establishing compatible meshes for articulated shapes.Given two mesh surfaces,our system automatically generates both the global level component correspondence and th...This paper presents a novel interactive system for establishing compatible meshes for articulated shapes.Given two mesh surfaces,our system automatically generates both the global level component correspondence and the local level feature correspondence.Users can use some sketch-based tools to specify the correspondence in an intuitive and easy way.Then all the other vertex correspondences could be generated automatically.The cross parameterization preserves both high level and low level features of the shapes.The technique showed in the system benefits various applications in graphics including mesh inter-polation,deformation transfer,and texture transfer.展开更多
文摘This paper describes the replacement of a controller for a programmable universal machine for assembly (PUMA) 512 robot with a newly designed PC based (open architecture) controller employing a real-time direct control of six joints. The original structure of the PUMA robot is retained. The hardware of the new controller includes such in-house designed parts as pulse width modulation (PWM) amplifiers, digital and analog controllers, I/O cards, signal conditioner cards, and 16-bit A/D and D/A boards. An Intel Pentium IV industrial computer is used as the central controller. The control software is implemented using VC++ programming language. The trajectory tracking performance of all six joints is tested at varying velocities. Experimental results show that it is feasible to implement the suggested open architecture platform for PUMA 500 series robots through the software routines running on a PC. By assembling controller from off-the-shell hardware and software components, the benefits of reduced and improved robustness have been realized.
基金the National Institute for Occupational Safety and Health of USA for providing financial support for this project
文摘Recirculation is prohibited in many coal mining countries because of the fear that the re-use of return air would allow the build-up of air contaminants at the workings. The incorrect design and location of a booster fan in any ventilation network can create unsafe condition due to recirculation. The current approach to investigating recirculation using simulation software requires manual effort which becomes tedious in a complex and a large network. An algorithm-based C++ program was designed to detect the recirculation in a booster fan ventilation networks. This program needed an input file prepared from output file generated by any ventilation simulator. This program created an output file for recirculation. This program demonstrated the strong capability to detect the recirculation in a sample network and a coal mine ventilation network. The outcomes of this program were documented in this paper.
文摘This article provides in-depth insights into the necessary technologies for automated driving in future cities. State of science is reflected from different perspectives such as in-car computing and data man- agement, road side infrastructure, and ~loud solutions. Especially the challenges for the application of HD maps as core technology for automated driving are depicted in this article.
文摘Design of general multivariable process controllers is an attractive and practical alternative to optimizing design by evolutionary algorithms (EAs) since it can be formulated as an optimization problem. A closed-loop particle swarm optimization (CLPSO) algorithm is proposed by mapping PSO elements into the closed-loop system based on control theories. At each time step, a proportional integral (PI) controller is used to calculate an updated inertia weight for each particle in swarms from its last fitness. With this modification, limitations caused by a uniform inertia weight for the whole population are avoided, and the particles have enough diversity. After the effectiveness, efficiency and robustness are tested by benchmark functions, CLPSO is applied to design a multivariable proportional-integral-derivative (PID) controller for a solvent dehydration tower in a chemical plant and has improved its performances.
文摘This paper introduces in detail the reactive power compensation technology and its characteristics, to reduce the loss of reactive power compensation technology 1N power distribution system and the electrical automation, improve the utilization rate, and realize the control of the voltage amplitude in the system network, voltage stability of power distribution system, has carried on the system analysis to reduce failure of the harmonic current to the power supply system and other functions. And the paper in-depth study on the application of reactive power compensation technology in electrical automation from the reactive compensation technology, substation and distribution line reactive power compensation, power users of reactive power compensation and other aspects.
文摘In the last decade, mass valuation system is applied in Albania in addition to individual valuation system for real estate valuation. This system is used for compiling the land value map and apartments value map. Due to the lack of experience in the compilation of these maps, the methodology of valuation is based on the experiences of other countries with similar development of real estate market. The mass assessment, which is applied in determining the values for specific purposes, such as expropriation, compensation and taxes for property transfer through the methodology adopted for this aim, is analyzed in the light of the finding of issues that accompany this application. The aim of this research is to highlight the problems to provide the ways of overcoming them in order to approximate the values of map values with market values. The mass appraisal process requires effective valuation models and proper management of resources. Its accuracy depends upon the extent and quality of property data available. Because of this reason, it is recommended the usage of the GIS (geographic information system), an automated system for collection and processing of the data necessary for valuation, as the first point of integration between two process of valuation, individual and mass valuation.
文摘The growing demands for red meats of people also present opportunities for fattening as well as improved markets for the animals. Beef production is a highly profitable venture with return of premium to the farmer. The large scale beef farming must be meet economic criteria for sustainable production. It consists of buying healthy stock, feeding and fattening them to optimum carcass weight, and selling them at any time of the year. They are handled in such a way that maximum growth is achieved at the lowest possible cost. The lifespan of operation is shorter and the return of investment is relatively higher. In beef farms which has very high genetic value of breeding animals cannot be get the expected performance without the use of technology and automation systems. Beef herd management programs if can be used as effectively, farming will have many advantages for consumer, farmer and also animals. However, to obtain these advantages from this system, required to have knowledge of the functions and effective use of the functions. The large amount of data in the obtained on many issues related to animals, herd management and an individual unless used in decisions about animals, ensuring the heavy data flow, record keeping or assessment will not give the expected results. In this study, it has been aiming that the examined the technologic applications at beef farms for sustainable and profitable meat production.
文摘Korea Electric Power Corporation in charge of the power IT project "Development of Prototype for Advanced Substation Automation System based on the Digital Control Technology", is performing the verification of performance of the substation automation system based on IEC 61850. In order to verify a transformer protective lED that might be operating in substation automation system, the new standardized document and procedures are required in the aspect of the utility like KEPCO. But there is nothing to describe systematically how to verify IEC 6 1850 based lED in the system environment except an individual IED testing way. This paper will present the substation automation system based ways and procedures to verify the protective function of the IED using UML (Unified Modeling Language).
基金supported by the Recruitment Program of Global Youth Experts to Fan Bai
文摘The progression of next generation sequencing is continuously changing the landscape of genomic, tran- scriptomic, and epigenomic studies. Particularly, advances in single cell manipulation and amplification techniques bring sequencing technology to the single-cell level. Single cell genome sequencing allows us to study tumor evolu- tion, gamete genesis, somatic mosaicism at genome-wide level; single cell transcriptome sequencing unveils the dynamic gene expression during early embryonic devel- opment, differentiation and reprogramming; single cell methylome sequencing is just taking off and shows great potential in cancer and stem cell studies. Lots of attempts are still being made in other dimensions of sequencing. The increasing need for single cell sequencing requires the future techniques with the following features: (1) high accuracy and fidelity; (2) able to perform multiple omics analyses in one cell; (3) high degree of automation and standardized pipeline. These progresses and improvements will lower the barrier for single cell sequencing to enter ordinary laboratories. The wide application of single cell sequencing techniques will substantially change biomedi- cal research in future.
基金supported by NSFC-90718041NKBRPC-2005C B321902+1 种基金China Scholarship Council in Chinasupported by the National Science Foundation award CCF-0729097
文摘Checking whether a given formula is an invariant at a given program location(especially,inside a loop) can be quite nontrivial even for simple loop programs,given that it is in general an undecidable property.This is especially the case if the given formula is not an inductive loop invariant,as most automated techniques can only check or generate inductive loop invariants.In this paper,conditions are identified on simple loops and formulas when this check can be performed automatically.A general theorem is proved which gives a necessary and sufficient condition for a formula to be an invariant under certain restrictions on a loop.As a byproduct of this analysis,a new kind of loop invariant inside the loop body,called inside-loop invariant,is proposed.Such an invariant is more general than an inductive loop invariant typically used in the Floyd-Hoare axiomatic approach to program verification.The use of such invariants for program debugging is explored;it is shown that such invariants can be more useful than traditional inductive loop invariants especially when one is interested in checking extreme/side conditions such as underflow,accessing array/collection data structures outside the range,divide by zero,etc.
基金supported by the National Natural Science Foundation of China(No.60773179)the joint grant of the National Natural Science Foundation of China and Microsoft Research Asia(No. 60776799)the National Basic Research Program (973) of China(No.2004CB318006)
文摘This paper presents a novel interactive system for establishing compatible meshes for articulated shapes.Given two mesh surfaces,our system automatically generates both the global level component correspondence and the local level feature correspondence.Users can use some sketch-based tools to specify the correspondence in an intuitive and easy way.Then all the other vertex correspondences could be generated automatically.The cross parameterization preserves both high level and low level features of the shapes.The technique showed in the system benefits various applications in graphics including mesh inter-polation,deformation transfer,and texture transfer.