“自1980年以来,我手工编写了大量语言识别和翻译的代码,机械的过程让我开始尝试将这个过程自动化。”ANTLR之父——Terrence John Parr在ANTLR的介绍中如是说。分析器的自动化是编译理论研究中一个重要方向。早期,程序员一般是手动...“自1980年以来,我手工编写了大量语言识别和翻译的代码,机械的过程让我开始尝试将这个过程自动化。”ANTLR之父——Terrence John Parr在ANTLR的介绍中如是说。分析器的自动化是编译理论研究中一个重要方向。早期,程序员一般是手动编写分析器,不仅费时费力,而且写出的分析器往往不够稳定,维护与移植也很成问题。然而随着ANTLR这一里程碑式的自动分析器出现,这种局面得到了彻底改变。展开更多
This paper introduces a novel automatic physical synthesis methodology for analog circuits based on the signal-flow analysis.Circuit analysis sub-system adopts the newly advanced methodology,circuit topology analysis,...This paper introduces a novel automatic physical synthesis methodology for analog circuits based on the signal-flow analysis.Circuit analysis sub-system adopts the newly advanced methodology,circuit topology analysis,and circuit sensitivity analysis to generate layout constraints and control performance degradations.Considering the heuristic information about signal-flow,complexity of the methodology is less than the pure performance-driven methodology.And then these constraints are implemented in device generation,placement,and routing sub-systems separately,which makes the different constraints be satisfied at most easily implemented stages.Excellent circuit performance obtained by the methodology is demonstrated by practical circuit examples.展开更多
Ivano-Frankivsk oblast is located in the south-western part of Ukraine, close to the geographical center of Europe at the junction of the two major geographic units, the East European Plain and the Eastern Carpathians...Ivano-Frankivsk oblast is located in the south-western part of Ukraine, close to the geographical center of Europe at the junction of the two major geographic units, the East European Plain and the Eastern Carpathians (the Carpathian region of Ukraine). Between September 2013 and September 2015, the expert group of the Department of Organic and Analytical Chemistry of Vasyl Stefanyk Precarpathian National University conducted the mobile monitoring of air cleanliness in Ivano-Frankivsk region; the authors monitored the level of air contamination with seven gases: carbon monoxide and dioxide, sulfur dioxide, nitrogen dioxide, hydrogen sulfide, ammonia, formaldehyde, beta-particles, and gamma radiation. For this purpose, there were used six automatic analyzers "Dozor-C-P", the formaldehyde Gas Analyzer "MIC-98170", and the radiometer "TERRA". The monitoring resulted in the making of three maps of Ivano-Frankivsk region, on which the average levels of concentration of three particular gases (CO2, SO2, and CH20) throughout all the districts of the oblast were marked. There was registered the excess of CH20 limits--the consequences of the presence of the chipboard and wood-fiber production, for which formaldehyde is used as a raw material. Also there was observed the excess of SO2 in the air caused by gas fumes from vehicles and thermal power stations.展开更多
A new passive wheel type of biped ice-skater robot (BISR) subjected to nonholonomic constraints was presented on the basis of ice-skating principle. Its motion principle and construction were discussed. After the mode...A new passive wheel type of biped ice-skater robot (BISR) subjected to nonholonomic constraints was presented on the basis of ice-skating principle. Its motion principle and construction were discussed. After the model was simplified and the coordinate systems were established, the motion differential equations of the robot were obtained with the generalized Lagrange-Maggi equation when the nonholonomic constraints existed. Actual examples were given and the result was simulated on computer.展开更多
文摘“自1980年以来,我手工编写了大量语言识别和翻译的代码,机械的过程让我开始尝试将这个过程自动化。”ANTLR之父——Terrence John Parr在ANTLR的介绍中如是说。分析器的自动化是编译理论研究中一个重要方向。早期,程序员一般是手动编写分析器,不仅费时费力,而且写出的分析器往往不够稳定,维护与移植也很成问题。然而随着ANTLR这一里程碑式的自动分析器出现,这种局面得到了彻底改变。
文摘This paper introduces a novel automatic physical synthesis methodology for analog circuits based on the signal-flow analysis.Circuit analysis sub-system adopts the newly advanced methodology,circuit topology analysis,and circuit sensitivity analysis to generate layout constraints and control performance degradations.Considering the heuristic information about signal-flow,complexity of the methodology is less than the pure performance-driven methodology.And then these constraints are implemented in device generation,placement,and routing sub-systems separately,which makes the different constraints be satisfied at most easily implemented stages.Excellent circuit performance obtained by the methodology is demonstrated by practical circuit examples.
文摘Ivano-Frankivsk oblast is located in the south-western part of Ukraine, close to the geographical center of Europe at the junction of the two major geographic units, the East European Plain and the Eastern Carpathians (the Carpathian region of Ukraine). Between September 2013 and September 2015, the expert group of the Department of Organic and Analytical Chemistry of Vasyl Stefanyk Precarpathian National University conducted the mobile monitoring of air cleanliness in Ivano-Frankivsk region; the authors monitored the level of air contamination with seven gases: carbon monoxide and dioxide, sulfur dioxide, nitrogen dioxide, hydrogen sulfide, ammonia, formaldehyde, beta-particles, and gamma radiation. For this purpose, there were used six automatic analyzers "Dozor-C-P", the formaldehyde Gas Analyzer "MIC-98170", and the radiometer "TERRA". The monitoring resulted in the making of three maps of Ivano-Frankivsk region, on which the average levels of concentration of three particular gases (CO2, SO2, and CH20) throughout all the districts of the oblast were marked. There was registered the excess of CH20 limits--the consequences of the presence of the chipboard and wood-fiber production, for which formaldehyde is used as a raw material. Also there was observed the excess of SO2 in the air caused by gas fumes from vehicles and thermal power stations.
文摘A new passive wheel type of biped ice-skater robot (BISR) subjected to nonholonomic constraints was presented on the basis of ice-skating principle. Its motion principle and construction were discussed. After the model was simplified and the coordinate systems were established, the motion differential equations of the robot were obtained with the generalized Lagrange-Maggi equation when the nonholonomic constraints existed. Actual examples were given and the result was simulated on computer.