用YS-1700可编程调节器实现软分程控制

在生产过程中,有时将一个调节器的输出全程分割成若干个信号段控制几个阀门。分程控制建立在工艺参数变化相对不大的基础之上。而生产的过程实际上是一个随机变化的过程,当工艺状况改变时,就必须对分程点进行现场整定。从实用的角度出发,采用2台YS-1700可编程调节器进行软分程控制,分程点由运行人员根据工艺状况自行整定,彻底解决了高炉煤气放散系统压力大幅波动时的控制问题,满足了特殊情况下的控制要求。

Decomposition-Based Visual Function Specification and Auto-Generation of Function

On the software module, this paper proposes a visual specification language(VSL). Based on decomposition, the language imitates men's thinking procedure that decomposes aproblem into smaller ones, then independently solves the results of every small problem to get theresult of original problem (decomposition and synthesis). Besides, the language mixes visual withspecification. With computer supporting, we can implement the software module automatically. It willgreatly improve the quality of software and raise the efficiency of software development. Thesimple definition of VSL, the principle of auto-generation, an example and the future research areintroduced.

Android Malware Detection with Contrasting Permission Patterns

As the risk of malware is sharply increasing in Android platform,Android malware detection has become an important research topic.Existing works have demonstrated that required permissions of Android applications are valuable for malware analysis,but how to exploit those permission patterns for malware detection remains an open issue.In this paper,we introduce the contrasting permission patterns to characterize the essential differences between malwares and clean applications from the permission aspect Then a framework based on contrasting permission patterns is presented for Android malware detection.According to the proposed framework,an ensemble classifier,Enclamald,is further developed to detect whether an application is potentially malicious.Every contrasting permission pattern is acting as a weak classifier in Enclamald,and the weighted predictions of involved weak classifiers are aggregated to the final result.Experiments on real-world applications validate that the proposed Enclamald classifier outperforms commonly used classifiers for Android Malware Detection.

Stochastic differential equation software reliability growth model with change-point

This paper presents software reliability growth models(SRGMs) with change-point based on the stochastic differential equation(SDE).Although SRGMs based on SDE have been developed in a large scale software system,considering the variation of failure distribution in the existing models during testing time is limited.These SDE SRGMs assume that failures have the same distribution.However,in practice,the fault detection rate can be affected by some factors and may be changed at certain point as time proceeds.With respect to this issue,in this paper,SDE SRGMs with changepoint are proposed to precisely reflect the variations of the failure distribution.A real data set is used to evaluate the new models.The experimental results show that the proposed models have a fairly accurate prediction capability.

Study on the material character steel big-end bolt

Based on the manufacturing method now used in our country,caused low bear- ing capacity in the bolt-end,which is a potential danger in the bolt supporting tunnel and a waste of money,and presented the new type strong steel big-end bolt can solve this problem.Analyzed the active state of the end of bolt by ANSYS,we can know that it is very disadvantage when bolt bore eccentric load.Contrasted with the different that com- mon bolt and big-end bolt when they bore the same loading.The common bolt is bigger than the big-end bolt in stress value.Study on the processing technic of the new type of the strong steel big-end bolt,the new metal big-end bolt was produced by heat processing over big-end bolt and upset.From the microscopic examination on bolt metal,it is con- cluded that heat processing on the bolt-end refines the crystal grain of the metal material, which not only increase its extension but improve its property.Moreover the strength ability of the bolt material can be exerted completely.

A HYBRID DYNAMIC PROGRAM SLICING

This letter proposes a hybrid method for computing dynamic program slicing. The key element is to construct a Coverage-Testing-based Dynamic Dependence Graph (CTDDG),which makes use of both dynamic and static information to get execution status. The approach overcomes the limitations of previous dynamic slicing methods, which have to redo slicing if slice criterion changes.

MFV-Class： a multi-faceted visualization tool of object classes

Classes are key software components in an object-oriented software system. In many industrial OO software systems, there are some classes that have complicated structure and relationships. So in the processes of software maintenance, testing, software reengineering, software reuse and software restructure, it is a challenge for software engineers to understand these classes thoroughly. This paper proposes a class comprehension model based on constructivist learning theory, and implements a software visualization tool (MFV-Class) to help in the comprehension of a class. The tool provides multiple views of class to uncover manifold facets of class contents. It enables visualizing three object-oriented metrics of classes to help users focus on the understanding process. A case study was conducted to evaluate our approach and the toolkit.

DEPENDENCE ANALYSIS FOR UML CLASS DIAGRAMS

Though Unified Modeling Language (UML) has been widely used in software development, the major problems confronted lie in comprehension and testing. Dependence analysis is an important approach to analyze, understand, test and maintain programs. A new kind of dependence analysis method for UML class diagrams is developed. A set of dependence relations is definedcorresponding to the relations among classes. Thus, the dependence graph of UML class diagram can be constructed from these dependence relations. Based on this model, both slicing and measurement coupling are further given as its two applications.

Development of a new type of foam concrete and its application on stability analysis of large-span soft rock tunnel

The long-term stability of large-span soft rock tunnel is influenced greatly by the creep effect of surrounding rock.The development of a new type of foam concrete which has the property of high compressibility and low ductility was introduced.And it was made as filling material of reserved deformation layer between the first lining and the second lining used in large-span soft rock tunnel.The effect of the new type of foam concrete was simulated as filling material of reserved deformation layer using numerical simulation.Through the comparison with the common large-span soft rock tunnel,the vault settlement and surrounding convergence are reduced by about 61% and 45%,respectively,after creep of 100 a.And in the second lining,the plastic zone reduces apparently and the maximum equivalent plastic strain decreases relatively.So,it can be found that the application of the new type of foam concrete as the filling material of reserved deformation layer can relieve the excessive force in second lining induced by rock creep,reduce its deformation and improve the stability of tunnel.

TG–FTIR analysis of pyrolusite reduction by major biomass components

Pyrolusite reduction processes by three major biomass components cellulose,hemicelluloses and lignin,represented by CP,HP and LP,respectively,were investigated by thermogravimetric analyzer coupled with Fourier transform infrared spectrometry(TG-FTIR).The Sestak-Berggren(SB) equation was used to evaluate the kinetics of reduction processes.TG analysis reveals that the main reduction processes occur at 250-410 ℃,220-390 ℃,and 190-410 ℃ for CP,HP,and LP,respectively.FT-IR and XRD results indicate that various reducing volatiles(e.g.aldehydes,furans,ketones and alcohols) are produced from the pyrolysis with the three major components,which directly reduce MnO_2 in ore to MnO.The processes are described by the SB equation with three parameters(m,n,p).Their non-zero values suggest that pyrolusite reduction is controlled by the diffusion of reducing gaseous products through an ash/inert layer associated with minerals.The apparent activation energies for pyrolusite reduction by CP,HP and LP are 40.48,25.70 and 40.10 kJ·mol^(-1),respectively.

Curling of New Concrete Pavement and Long-Term Performance

Curling results from the temperature differential across the concrete slab thickness and may induce undue stresses in newly placed slab. This study deals with the finite element （FE） analysis of curling, curling stresses, field measurement of curling on a newly built jointed plain concrete pavement, and comparison of its long-term performance using both Mechanistic-Empirical Pavement Design Guide （MEPDG） and HIPERPAVII software. The FE analysis was performed with a software program, ANSYS. The test section was modeled as a three-layer system with 300 mm concrete slab, 100 mm treated drainable base, and 150 mm lime-treated subgrade. All layers were assumed to be linear elastic. Temperature data was collected at five different depth locations across the concrete slab with digital data loggers. Curling was measured on five different days with a simple setup. The effect of temperature nonlinearities across the slab thickness was also examined. The results show that both upward and downward curling increase as the temperature differential increases. The maximum stress resulting from the combined effect of curling and traffic loading due to positive temperature differential is higher than that due to the negative temperature differential of the same magnitude. Since temperature differential has a significant influence on curling, both curling and curling stresses can be mitigated at an early age with temperature control, namely via enhanced curing. Both MEPDG and HIPERPAVII showed approximately the same performance for the PCC thickness ranging from 215 mm to 300 mm for this project. Performance prediction from HIPERPAVII is very sensitive to the change in PCC thickness less than 230 mm whereas MEPDG prediction is not as sensitive to the thickness change as with HIPERPAV 1I.

Computational analysis of linear friction welding process and micromechanical modeling of deformation behavior for medium carbon steel

Finite element simulation of linear friction welding(LFW) medium carbon steel was carried out using the ABAQUS software. A two-dimensional(2D) coupled thermo-mechanical model was established. First, the temperature fields of medium carbon steel during LFW process were investigated. And then, the Mises stress and the 1st, 2nd and 3rd principal stresses fields' evolution of the steel during LFW process were studied. The deformation behavior of LFW carbon steel was analyzed by using micromechanics model based on ABAQUS with Python code. The Lode parameter was expressed using the Mohr stress circle and it was investigated in detail.

Inhibition of Microbial Growth by Anilines： A QSAR Study

The relative toxicity of 48 anilines using the Tetrahymena pyriformis population growth characteristics IGC50 （concentration causing 50% growth inhibition）, available in the literature, was studied. At first, the entire data set was randomly split into a training set （31 chemicals） used to establish the QSAR model, and a test set （17 chemicals） for statistical external validation. A biparametric model was developed using, as independent variables, 3D theoretical descriptors derived from DRAGON software. The GA-MLR （genetic algorithm variable subset selection） procedure was performed on the trainingset by the software mobydigs using the OLS （ordinary least squares） regression method, and GA（genetic algorithm）-VSS（variable subset selection） by maximising the cross-validated explained variance （Q^2Loo）＇ The obtained model was examined for robustness （Q^2LOOcross-validation, Y-scrambling） and predictive ability through both internal （Q^2LM0, bootstrap） and external validation （Q^2ext） methods. Descriptors included in the QSAR model indicated that log/GC^-150 value was related to molecular size and shape, and interaction of molecule with its surrounding medium or its target. Moreover, the applicability domain of the model was discussed.

Component-based software reliability analysis incorporating imperfect debugging and change-point

Against the deficiencies of component-based software(CBS) reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point(CP) problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model(MMISQM) is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.

On the True Face of the Economic Statistics

In 2012, China National Ministry of Education issued a new undergraduate course catalog, economic statistics to be classified as a second level discipline of applied economics. However, what specific content should be included in the second level discipline has become a very important issue. What should be taught to students or how can they adapt to the needs of the social market aroused a wide attention. For this case, the National Ministry of Education has given a clearly provision for economic statistics＇ core courses, but whether these main courses can reflect the actual needs and characteristics of economic statistics or not still needs some considerations and discussions. This article started from the angle of the studies on China and the U.S. Journals concerning economic statistics. Using text mining by R, a recent mainstream statistical analysis software, gives a comparative analysis on the contents of economic statistics for recent decades. We created wordcloud about the contents of core statistical journals by R which can help us visually examine the course of economic statistics discipline development for the comparative study. Besides, we drew a conclusion that there were significant differences between China and America＇s economic statistics, the main difference is the United States pay more attention to the exploration of new methods and be able to adapt to market demand, the development of China＇s economic statistics are still more traditional, it need a better understanding of the multi-disciplinary knowledge of education, such as Bayesian and dynamics. Another is that the curriculum of China＇s economic statistics are corrected for China＇s actual situation, a new training program pay more attention to students＇ practical ability and social practice. There are a lot of practical problems remain untouched or unsolved which need efforts of decades probably.

Develop and Implement of Real-time Network Monitoring Software based on C/S

This article mainly introduces the multi-layer distributed C/S architecture of system design scheme. Its working principle is the client program runs automatically after the computer starts, and establish communication with the application server. The network administrator can monitor and intelligent management of the client computer through the server program, the computer will execute the corresponding operation according to the server to send command instructions. The system realize the main module of the whole system framework, network monitoring data initialization module, network data transmission module, image coding and decoding module, the advantages of system make full use of existing LAN resources, timely delivery and manaRement information.

Analysis and Numerical Simulation Research of the Heating Process in the Oven

How to use the oven to bake delicious food is the most concerned problem of the designers and users of the oven.For this intent,this paper analyzed the heat distribution in the oven based on the basic operation principles and proceeded the data simulation of the temperature distribution on the rack section.Constructing the differential equation model of the temperature distribution changes in the pan when the oven works based on the heat radiation and heat transmission,based on the idea of utilizing cellular automation to simulate heat transfer process,used ANSYS software to proceed the numerical simulation analysis to the rectangular,round-cornered rectangular,elliptical and circular pans and giving out the instantaneous temperature distribution of the corresponding shapes of the pans.The temperature distribution of the rectangular and circular pans proves that the product gets overcooked easily at the corners and edges of rectangular pans but not of a round pan.

Ultimate bearing capacity of concrete dam involved in geometric and material nonlinearity

To get the actual ultimate bearing capacity of concrete dam, the effect of geometric nonlinearity and strain softening on it, which appears in the failure process of concrete dam, is studied. Overload method is adopted to obtain the bearing capacity of a concrete dam by taking into consideration strain softening in the material constitutive law, geometric nonlinearity in geometric equation and equilibrium differential equation. Arc-length method is used to find the extreme point and descending branch of the load-displacement curve of the dam. The results present that the effect cannot be ignored. And geometric nonlinearity of structure and strain softening of materials should be considered for numerical analysis of ultimate bearing capacity of a concrete dam.

Scalably Revealing the Dynamics of Soft Community Structure in Complex Networks

Revealing the dynamics of community structure is of great concern for scientists from many fields. Specifically, how to quantify the dynamic details of soft community structure is a very interesting topic. In this paper, the authors propose a novel framework to study the scalable dynamic behavior of the soft community structure. First, the authors model the Potts dynamics to detect community structure using a "soft" Markov process. Then the soft stability of in a multiscale view is proposed to naturally uncover the local uniform behavior of spin values across multiple hierarchical levels. Finally, a new partition index is developed to detect fuzzy communities based on the stability and the dynamical information. Experiments on the both synthetically generated and real-world networks verify that the framework can be used to uncover hierarchical community structures effectively and efficiently.