Search all articles

The problem of propositional satisfiability (SAT) has found a number of applications in both theoretical and practical computer science. However, in many applications, knowing a formulae's satisfiability alone is not enough to solve problems. Often, some other characteristics of formulae need to be known....

Since 1798, a large number of rural labors have migrated with the spread of reform and opening up and market economy in rural areas, thus a great deal of villages are called "386199" troops.There are only few personnel left to adhere to the villages,which results in hollowing out in the countryside.The...

The design and implementation of single-arm robots are crucial offshoots of modern industry. It is of great significance that the device mentioned above could replace people to complete a great deal of complicated and dangerous industrial operations. Instead of the analysis and the introduction of the...

Politeness is basically the study of knowing the way people use certain languages while they are having communication. In a language pedagogy, it does not rely on the Brown and Levinson theory of politeness to form the basis of teaching "politeness phenomena;" rather, there should be an attempt to raise...

The CAN bus module used in passenger cars has the potential problems of short service life, maloperation and control inaccuracy, etc. In order to improve the reliability and operational stability of the module, the following issues are investigated: (1) Using PWM output to improve the service life of...

Having observed the writing class and EFL students' essays in previous semester, the researchers found that their essay were in poor quality. This situation portrays the fact that writing is a complex skill to learn in English language acquisition. This study is aimed to investigate the difficulties...

Innovative ability is the core competitiveness of a country and a individual. It is an important mission of universities to build the "innovative nation" and to implement the strategy of "strengthening the nation with higher education", which is an important way for its development. In these conditions,...

Inquiry becomes the right choice to form a good concept. The advantage of an inquiry-based module that improves students' motivation because students can learn by themselves and lessons are divided more equally. This study aims to determine the feasibility of the development of teaching materials to...

In ancient Chinese civilization, china is undoubtedly indispensable treasure. In 2001, the Chinese porcelain brand of "Franz" began to display its talent in the international stage. And then, Franz was quickly displayed in the showcases of world's major boutique. In the past century, the international...

The natural frequencies of vibration and the corresponding mode shapes of a suspension bridge with varying bending stiffness of cables are determined, and the changes that occur in these characteristics with respect to parametric changes in the bridge are examined. Single span L=64,0 m suspension steel...

Curculigoside A is a major bioactive phenolic glycoside of the medicinal plant of Curculigo orchioides. The present study was intended to obtain detail information of the pharmacokinetic properties including oral absorption, distribution, metabolism and toxicity of curculigoside A and its derivatives...

License plate detection is a key part in vehicle license plate recognition system. In this paper, we present a hybrid method for license plate detection from natural scene images for the all-day traffic surveillance environment. The proposed method includes two stages: rough detection and accurate detection....

From the last ten years, control and analysis of systems with delays is subject to lots of studies and contributions. This paper presents about the design of cutting system for time-delay. The design of the control system is constructed using the easy algebraic algorithm of matrices whose elements are...

The ecological garden is the inheritance and development of traditional garden experience; follow the principle of ecology, the construction of multi-level and multiple structures, multi-function plant community of science. To establish new order of the associated humans, animals, plants and ecological...

In recent years, with the rapid development of China's economy, the urbanization process is pushing, the fire danger and difficulty of the rectification makes the social fire management to face the severe test. Regional fire hazards, in particular, the fire hazards are the large amount, the type is complex,...

Based on measured data of velocities of several points along the vertical direction in the center of rotating cylinders using Acoustic Doppler Velocimeter (ADV), we analyzed some turbulent characteristics of flow, such as time-averaged velocity, turbulent intensity, and Reynolds stress. In addition,...

Relief distribution is one of the key steps for emergency response after a major public emergency. Relief commodities requirements of demand node are presented intervals based on robust optimization. The facilities failure risk is processed by stochastic programming. The model of emergency location-routing...

Treatment of vnutrennih cylindrical surface plastic deformation is widely used in industry for the production of a large range of engineering products. In the processing method of burnishing of internal cylindrical surfaces of the steel bushings on the lathe-cutting machine with heating revealed that...

Based on Deap-Malmquist index during 1985-2008, the empirical analysis shows that: total factor productivity growth improve by period in China. Our economic growth mode transfer steady, but not balanced. Among them, the east and northeast China as a whole technology progress faster, efficiency improve...

Advanced mathematics is a required course in colleges and universities of China. It represents the basis for all natural sciences. Advanced mathematics is strongly abstract and has a very complex logicality. As such, some students in colleges and universities at present feel bored and even hate to study...

To observe the Forsen source herbal tea of reserpine in mice model of spleen deficiency of gastrointestinal effects. Mice were injected with reserpine injection to each mice by 0.1mg / kg in 17 days with continuous subcutaneous injection molding, mice dranking water solution respectively at the same...

Zma1158 protein, consisted of 386 amino acids, was analyzed by bioinformatics tools. The result showed that Zma1158 was a typical NAC transcription factor in maize, and it may involve into abiotic stress response for the stress related cis-elements that detected in the promoter region of Zma1158.

The dexterous robotic hand is required to investigate the characteristic of nger movements with perception ability of various sensors. A good angle displacement sensor can well describe finger motion in robotic hand manipulation tasks. In this paper, a flexible and bending sensor which was suitable to...

The Electric Car Era is coming. According to the battery charge of car,the optimizal control Strategy applied to DC-DC converters of electric vehicles, it is to gain futher loss reduction and improve the life of an electric car battery. The hybrid energy storage system adopts the combination of current...

There are many methods of power load forecasting, but each method has its own inaccurate influence factors, and the result of the single method is relatively large. Medium and long term power load forecasting influence the development of local planning in the future, so the accuracy of prediction is...

In recent years, the car service professionals are very scarce in the automotive market after, but the quality of personnel is generally poor. It is difficult to that will undoubtedly hinder our national auto service industry healthy development. This paper analyzes the training mode of the automobile...

Nowadays, the expanded perlite as the cryogenic insulation material is widely used in LNG storage tank. And the settlement of expanded perlite will affect the safe operation of the cryogenic system. On the basis of the large cryogenic LNG storage tank, a settlement monitoring method based on distributed...

The variable regular for sliding wear under load, sliding velocity, temperature and surface roughness and fatigue damage under load, sliding velocity and surface roughness by mass experimental datum were established. The analytic model for sliding wear-fatigue damage interaction was established. The...

The study analyzes the import and export volume of China's service trade from 2002 to 2013. We adopt three indexes to assess the international competitiveness of China's service trade, export market share, trade competitiveness index and revealed comparative advantages. And we propose some strategies...

According to the changes of the traditional speed ratio control of CVT speed ratio frequently, resulting in low efficiency, serious wear of CVT, researched a method of speed ratio control based on external characteristic of engine, to ensure the change speed ratio of CVT economy and power performance....

This research aims to: (1) know difference skill writing poetry between the groups which following study by using learning write the poetry strategy with acrostic technique and the groups which not following study by using learning write the poetry strategy with acrostic technique: (2) tests the effectivness...

The objective of the paper is to acquaint the readers with the systems and technical devices for detection and tracking the position of trains including the detailed description of the devices that are used in the Czech rail network most frequently. The paper also presents some intelligent transport...

In this study, the adsorption behavior of fluoride has been investigated using the biomass derived activated hydrochar (AHC) prepared by a two-stage carbonization process. The adsorption process was spontaneous and exothermic in nature. The adsorption equilibrium data fitted to Langmuir isotherm. The...

Pemindangan is an effort to preserve and to process fish through salting and steaming techniques. The person who earns a living through pemindangan is called pemindang. Most of the pemindang in Tambaksari Village clean their fish and dispose their waste into the river. This study aims to analyze the...

The purpose of this study to develop a theory Holland used as individual student planning in order to assist students in career planning by android application. Career is something important for students. The career of the students will determine the future of the students' future. The importance of...

Feed enterprises with small production capacity and backward production technology gradually withdraw from the market, and the large-scale feed enterprises are facing more and more fierce competition, so they should obtain competitive advantage. It is necessary to improve the management level, attach...

After the 19th National Congress of CPC, “deepening production and teaching integration”, “enterprise school cooperation to cultivate talents” has become the education hot spot in China. This paper analyzes the significance of production and teaching integration in the cultivation of BIM application...

Field dependent and independent classify as cognitive learning style. Relate to learning process it can apply through quantum teaching to analyze which one of them have higher learning outcomes. Quantum teaching is one of fun strategies learning, it can assist by music to balancing the ability both of...

This study attempts to identify strategies and procedures of translating culture-bound texts in translation classroom. The study is conducted in the English department, College of Foreign Languages (STIBA) Saraswati Denpasar in Bali, particularly in the translation class that is offered with four credits...

The numbers of toddler obesity in Bandung are quite high. Toddler obesity happens when the toddler’s daily portion contains more energy that exceeds the needs. Mother is the most responsible person for toddler’s health. In Indonesia, many mothers have an assumption that chubby toddler is healthy and...

This article takes the higher vocational colleges as the research object. By means of research and analysis, it discusses the situation of mixed ownership in higher vocational colleges, and proposes several optimized routes.

This paper investigates single-machine scheduling problems with piece-rate machine maintenance and rejection penalties, where the actual job processing time is required to be in the given time interval otherwise the extra penalty should be paid. Each job should be decided to be scheduled or rejected,...

This research had been proposed to get the finding about of: (1) descriptives of the job characteristics and performence, and (2) explanative which had been tested the influence of job characteristics on the performance at the employee’s the local government in Buleleng Regency. This research used causal...

In physics learning in higher education, lecturers see that there is a gap between teaching knowledge and expected competencies. This study aims to evaluate the application of problem-based learning or PBL in the learning process in higher education. PBL implementation is supposed to be a solution to...

With the deepening of national education reform, the application of MOOC in the curriculum of colleges and universities also increases, which has a significantly positive influence on improving the teaching quality and efficiency of college courses. However, in previous teaching, impacted by traditional...

The global economy is steadily entering a "digital" stage of its development. However, most aspects of this stage are still slowly researched. As a result, a computational power of a modern computer doubles every year since the 1970s while the maintenance cost declines at about the same rate. On the...

We represent a new approach to testing of spacecraft onboard equipment’s functional control using simulation model’s knowledge base for test procedures’ generation. It allows to analyze characteristics of the objects under study using software models with further creation of real equipment’s testing...

The research focused on how English language and communication patterns used by a community affected the way its members socialize with their peers and other people. As the research data were utterances and sentences used by Rusabesi Community members in their everyday communication, we conducted an...

This study examined the influence of company performance and macroeconomics variables on stock price. The company performance is measured by profitability ratios. The profitability ratios used are: return on equity and net profit margin. Price earnings ratio and price to book value are used as measurement...

The purpose of this study is to find out how the production management is carried out, especially in mining, which is heavily influenced by tight work schedules, required size specifications, stock pile deposits and ship loading on time. Operational audit is part of an internal audit activity that focuses...