Towards the Idealization Procedure of BAN-Like Logics

We demonstrate the flaws of Mao‘s method, which is an augmentation of protocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao‘s method. Furthermore, we give some theoretical analysis of our rules using the strand space formalism, and show the soundness of our idealization rules under strand spaces. Some examples on using the new rules to analyze security protocols are also concerned. Our idealization method is more effective than Mao‘s method towards many protocol instances, and is supported by a formal model.     

CALCULATION OF NATURAL FREQUENCIES FOR THE PLANAR SIX-BAR LINKAGE OF WATT TYPE

By using transfer matrix,the lower-order natural frequencies of the Watt type planar six-barlinkage are calculated in this paper.The experiment of the modal analysis is done with the SignalProcessor 7T17S,and the experiment results agree with the calculated ones.This method only re-quires calculation of lower-order transfer matrix and determinant values,so that, it can be done ona minicomputer such as IBM/PC.The method adopted in this paper is also suitable for vibrationanalysis of other types of linkages.     

Resolution for Conflicts of Inter-Operation in Multi-Domain Environment

This paper proposes a method to formalize the interoperation in multi-domain environment. Through employing the algebra method, we conclude four types of the conflicts for the interoperation, and analyzes the cause of the policy conflicts. For each type of conflicts, we formalize it and proposes the method of detection and resolution. Finally, the method is illuminated be effective through comparing our work with others.     

Research on Satellite Fault Diagnosis and Prediction Using Multi-modal Reasoning

Diagnosis and prediction of satellite fault are more difficult than that of other equipment due to the complex structure of satellites and the presence of muhi-excite sources of satellite faults. Generally, one kind of reasoning model can only diagnose and predict one kind of satellite faults. In this paper the author introduces an application of a new method using multi-modal reasoning to diagnose and predict satellite faults. The method has been used in the development of knowledge-based satellite fault diagnosis and recovery system (KSFDRS) successfully. It is shown that the method is effective.     

基于云模型和混合半定量决策方法的闭矿风险管理

Mine closure is associated with many negative impacts on society and the environment. If these effects are not rationally addressed, they would pose risks of mine closure. Thus, a risk management method is needed to mitigate these adverse impacts and address mine-closure issues. An integral framework for mine-closure risk management that includes risk assessment and risk treatment was proposed. Given the fuzziness and randomness of the transformation between qualitative and quantitative knowledge in the risk assessment process, a novel risk assessment method based on the cloud model was presented, which fully considers the uncertainty in risks themselves and in the reasoning process. Closed mine reutilization is an effective risk treatment option in response to the identified high risks, but it requires selecting optimal reutilization strategies for the successful implementation of the reuse plan. To this end, a hybrid semi-quantitative decision method is proposed to optimize decision-making. The results of a case study showed that this risk management methodology can help budget planning for risk treatment and provide an instructional framework to effectively reduce the negative effects of closed mines.     

Digitization characteristics of geothermal information and structural analysis of 2011 off the Pacific coast of Tohoku Ms9.0 earthquake

Earthquake is one of the difficult problems that can not be solved as of this writing since the time when modern science was initiated over 300 years ago, and irregular events cannot be dealt with by using quantities examples before and followed by a view of the number of analysis systems in modern science; meanwhile, it covers the problem that how to use changeable information. Structural analysis method is developed particularly for the study of evolutionary transitional processes of the changing events by employing irregular information, and emphasizes the primitiveness of changes in events. Based on the data of sounding observation every 08 o’clock and 20 o’clock per day from China Meteorological Administration, in this paper, we employ the digital structural analysis method to analyze the process of the special, structural characteristics of 2011 off the Pacific coast of Tohoku Ms9.0 earthquake. The result shows that the method can reflect the process of geothermal structures before and after earthquake; it can reflect the congruity between geothermal "heat level" and the level of earthquake energy. When the structure before the earthquake is "the counter clockwise rolling current and the unstable structures" with "dry in lower levels and wet in upper levels", we should be worry about the problem of earthquake. In a word, geothermal information could reveal that earthquakes really would be "heralded".     

On the measurement of slip length for liquid flow over super-hydrophobic surface

To design a surface with large slip or larger drag reduction is a pop issue in the fields of liquid transporting and body swimming. In this context, it is a crucial problem to measure the slip length for these surfaces. Here we propose a novel method by using rheometer for this objective. This method is implemented by designing the distribution of the super-hydrophobic area on the sample. Using this method, a slip length of 40 μm for 70 wt% glycerin flow over a super-hydrophobic surface with stripe structure （the period, width and height of ridges are 150 μm, 40 μm and 65 μm, respectively） is measured. The result shows that the slip length measured using this method is in good agreement with former results measured by other methods. This method is fit for measuring the slip length of super-hydrophobic surface whose structure ranges from microto nano-scale.     

DESIGN SENSITIVITY ANALYSIS OF ROTATING MACHINERY BY MODAL SYNTHESIS METHOD

A new method which is a combination of sensitivity analysis and modal synthesis technique was applied to the simple calculation of design sensitivities of the dynamic characteristics of substructurally combined rotating systems. In this paper the free interface mode method was introduced as a basic tool for the modal synthesis technique. As an example, the sensitivities of the critical speeds of a high-specd winding mechanism on textile machine with respect to design modifications were obtained by the new method introduced in this paper and compared with the values obtained by using another method.     

An improved numerical method for nonlinear terms of spectral model and its applications

At present,the spectral model is one of the most widely applied numerical models in the research of numerical prediction and climatic variation .To improve the precision and effeiciency of spectral method can greatly contribute to the development of numerical prediction .As the core part of spectral method,the calculating method of nonliner terms always concentrates on numerical solution of atmospheric dynamical processes in the spectral space,However,there was little study in this field in the late thirty years,According to the principle of nonlinear term calculation with the dimensionality degradation and latitudinal perfect spectral method.we designed a new nonlinear term calculating method and made it compatible well with the common numerical algorithms of the spectral model used internationally,With an own-designed spectral dynamical framework suiting for the numerical application in common uses,theoretical analyses and numerical experiments have also been deeply conducted to compare our new method with the widely-used transform method in an attempt to advance the development of numerical algorithms of spectral model.     

Discussion on bearing capacity of soft rock ground based on in situ load test

This paper explores five methods of bearing capacity of soft rock foundation based on in-situ load test, namely, point of contraflexure method, relative settlement method, rebound method based on elastoplasticity theory, hyperbola fitted method and minimum curvature radius method. The suitability of various methods was discussed on the basis of the typical results from in-situ load test of Renshou mansion and Caifu plaza in YueYang. It shows that the bearing capacity can be obtained by the proportion load and limit load from p-s curve with first and second point of contraflexure easily. The accurate value of bearing capacity could be obtained by hyperbola fitted method and minimum curvature radius method theoretically, so it is recommended. The rebound method is clear in principle, in which the elastoplasticity characteristic was thought about, and it is recommended, too. Out of consideration for the unsteadiness and unobviousness of bearing capacity from relative settlement method, it can be only adopted as reference. So bearing capacity of soft rock foundation should be decided by weathering condition of soft rock and curve type.     

Exploration of Hidden Curriculum in Grammar Teaching

In modern times,many students think English grammar is complex and boring,they learn it just for getting higher scores in English examination.Also most of the English teachers use the traditional teaching method to teach the students and let them control the grammar points rigidly,which makes the students feel the grammar is more difficult and complex.Chinese teachers and students tend to put emphasis on explicit curriculum.Teacher’s teaching methods and how the students to study grammar and other factors all restrict the development of hidden curriculum.In fact it can be mastered easily if we combine it with the exploration of hidden curriculum.By this way they can become fond of it little by little and they can find that their ability is greatly improved,they can benefit a lot in every aspect at last.Here I will state it in details about how to explore the hidden curriculum through English grammar teaching.     

Fourier analysis for discontinuous Galerkin and related methods

In this paper we review a series of recent work on using a Fourier analysis technique to study the sta- bility and error estimates for the discontinuous Galerkin method and other related schemes. The advantage of this approach is that it can reveal instability of certain ＂bad＂＇ schemes; it can verify stability for certain good schemes which are not easily amendable to standard finite element stability analysis techniques; it can provide quantitative error comparisons among different schemes; and it can be used to study superconvergence and time evolution of errors for the discontinuous Galerkin method. We will briefly describe this Fourier analysis technique, summarize its usage in stability and error estimates for various schemes, and indicate the advantages and disadvantages of this technique in comparison with other finite element techniques.     

Application of Uncertainty Reasoning Theory to satellite Fault Detection and Diagnosis

Reasoning theories are divided into certainty reasoning theories and uncertainty reasoning theories.Now,only certainty reason-ing theories use to deitcs are used to detect and diagnose satellite faults.However,in practice,it is difficult to detect and diagnose some faults of the satellite autiomatically only by use of ccrtainty.Fortunately.uncerlainty Reasoning theories are applied to detect and diagnose satellite faults.Uncertainty reasoning theories include several kinds of theories,such as inclusion degree theory,rough set theory,evidence reasoning theory,probabilisticresoning theory,fuzzy,fuzzy reasoningteory,and so on.Inclusion degree theory.rough set theory and evidence reasoning theory are three advanced ones,Based on these three theories respectively.the audhor introduces three new methods to detect and diagnose satellite faults in this paper.It is shown that the methods,suitable for detecting and diagnosing satellite faults,especially uncertainty faults,can remedy the defects of the current methods.     

Method of Automatic Ontology Mapping through Machine Learning and Logic Mining

Ontology mapping is the bottleneck ot handhng confilicts among heterogeneous ontologies and of implementing reconfiguration or interoperability of legacy systems. We proposed an ontology mapping method by using machine learning, type constraints and logic mining techniques. This method is able to find concept correspondences through instances and the result is optimized by using an error function; it is able to find attribute correspondence between two equivalent concepts and the mapping accuracy is enhanced by combining together instances learning, type constraints and the logic relations that are imbedded in instances; moreover, it solves the most common kind of categorization conflicts. We thenproposed a merging algorithm to generate the shared ontology and proposed a reconfigurable architecture for interoperation based on multi agents. The legacy systems are encapsulated as information agents to participate in the integration system. Finally we give a simplified case study.     

Linguistic Truth Values Lattice Implication Algebras

In order to study uncertainty reasoning and automatic reasoning with linguistic terms, in this paper, the set of basic linguistic truth values and the set of modifiers are defined, according to common sense; partially orderings are defined on them. Based on it, a lattice implication algebra model L18 of linguistic terms is built; furthermore, its some basic properties are discussed.     

Non-coupled charge explosion and geo-mechanical dynamics

The non-coupled charge explosion and geo-mechanical dynamics problem in real air condition is studied in this paper. It analyzes and calculates the problem by using the real air state equations. Through researching on the non-coupled charge rock bench blasting with big clearance of air, its result indicates that the borehole wall reflection overpressure is far higher than strength of rock, but much lower than detonation front pressure of the charge. So non-coupled charge explosion blasting engineering is very successful. Furthermore, it introduces the method of shaft forming by blasting once and the new tube room technology. And the non-coupled charge explosion is used successfully in the method of shaft forming by blasting once. As it drills and blasts in the top and removes the broken rock from the bottom tunnel, it increases the construction efficiency significantly. This paper has important reference on the improvement of the large-span underground engineering construction.     

Scale-based spatial data model for GIS

Being the primary media of geographical information and the elementary objects manipulated, almost all of maps adopt the layer-based model to represent geographic information in the existent GIS. However,it is difficult to extend the map represented in layer-based model. Furthermore,in Web-Based GIS,It is slow to transmit the spatial data for map viewing. In this paper,for solving the questions above,we have proposed a new method for representing the spatial data. That is scale-based model. In this model we represent maps in three levels：scale-view,maps in a set of map layers,named Scale-Lastly,a prototype Web-Based GIS using described briefly.     

A novel method for solving the multiple traveling salesmen problem with multiple depots

Multi-traveling salesman problem(MTSP) is an extension of traveling salesman problem,which is a famous NP hard problem,and can be used to solve many real world problems,such as railway transportation,routing and pipeline laying.In this paper,we analyze the general properties of MTSP,and find that the multiple depots and closed paths in the graph is a big issue for MTSP.Thus,a novel method is presented to solve it.We transform a complicated graph into a simplified one firstly,then an effective algorithm is proposed to solve the MTSP based on the simplified results.In addition,we also propose a method to optimize the general results by using 2-OPT.Simulation results show that our method can find the global solution for MTSP efficiently.     

An Advanced Automatic Construction Method of ROP

Automatic return oriented programming(ROP) technology can effectively improve the efficiency of ROP constructed, but the existing research results still have some shortcomings including needing more address space, poor generality. In order to solve these problems, this paper presents an improved ROP auto-constructor QExtd. Firstly, we design a Turing-complete language QExtd L and provide the basis of gadgets analysis. Secondly, we represent the MI instruction and realize precise process of side-effect instructions for improving the efficiency of automatic construction. At last, we establish a three-layer language conversion mechanism, making it convenient for users to construct ROP. Theoretical and experimental data show that the QExtd automatic construction method is much better than the ROPgadget based on syntax. In addition, the proposed method succeeds in constructing gadgets of ROP with the probability of 84% for programs whose sizes are more than 20 KB and whose directory is "/usr/bin" in Ubuntu, which proves that the construction capability improves significantly.