Structural damage detection method based on information fusion technique

Multi-source information fusion （MSIF） is imported into structural damage diagnosis methods to improve the validity of damage detection. After the introduction of the basic theory, the function model, classifications and mathematical methods of MSIF, a structural damage detection method based on MSIF is presented, which is to fuse two or more damage character vectors from different structural damage diagnosis methods on the character-level. In an experiment of concrete plates, modal information is measured and analyzed. The structural damage detection method based on MSIF is taken to localize cracks of concrete plates and it is proved to be effective. Results of damage detection by the method based on MSIF are compared with those from the modal strain energy method and the flexibility method. Damage, which can hardly be detected by using the single damage identification method, can be diagnosed by the damage detection method based on the character-level MSIF technique. Meanwhile multi-location damage can be identified by the method based on MSIF. This method is sensitive to structural damage and different mathematical methods for MSIF have different preconditions and applicabilities for diversified structures. How to choose mathematical methods for MSIF should be discussed in detail in health monitoring systems of actual structures.

辨《伤寒杂病论》中“麻黄升麻汤主之”证治

麻黄升麻汤是《伤寒杂病论》所载著名方剂,出自《伤寒论》厥阴病篇第357条。从古至今对麻黄升麻汤进行评论的医家不乏其人。妄议此方为谬者有之,付诸临床活人者有之,运用麻黄升麻汤于临床医家亦有颇多,因此历代医家争议颇大。在中医理论指导下运用中药方剂治病的范围内,麻黄升麻汤方药物组成阴阳相配,恰有扶正而不助邪、祛邪而不伤正的治疗特点。在临床运用的过程中,结合病人当下的症状及病机,针对病邪所在而非针对病症所在适当处以有靶向性的药队则病情是可以确切控制的。当今临床医家在临床上治疗肺系疾病的疑难杂症中常会以麻黄升麻汤加减,疗效显著确切且经验颇丰。甚或有医家治疗其他系统疾病时,亦见以麻黄升麻汤加减。因此,文章梳理历代医家研究、运用麻黄升麻汤之经验脉络,举隅历代医家理论辨析及临床应用,深入挖掘麻黄升麻汤所正治的病因、病机、病证,试明晰麻黄升麻汤之真义。通过析议麻黄升麻汤的理论和治法,并以孔明望教授用麻黄升麻汤加减治疗顽固性咳嗽、慢性喘息性支气管炎、多重耐药性肺炎的验案为延发,悉心探讨经方有效性。附以古今医家用麻黄升麻汤治疗呼吸系统、循环系统、消化系统、外科的经验整理,旨在辨识麻黄升麻汤在历史洪流中怎样传承、探讨在临床上怎样应用,从而达到让更多医者在临床中面临该方剂所涉之病证时,有效潜方、药到病除之功用。

Ecotourism certification and its progress in China

Since the middle 1990s, ecotourism certification has been given more and more attention to around the world.As a developing country with abundant ecotourism products, it is necessary for China to adopt certification to ensuresustainable development of ecotourism. But there are few products certificated until now in China. After reviewing thetrend of ecotourism certification in the world and summarizing its theory and method, this paper analyzes the progressand prospect of ecotourism certification in China, and concludes that certification in China is necessary and promising.

A variable weight approach for evidential reasoning

A variable weight approach was proposed to handle the probability deficiency problem in the evidential reasoning （ER） approach. The probability deficiency problem indicated that the inadequate information in the assessment result should be less than that in the input. However, it was proved that under certain circumstances, the ER approach could not solve the probability deficiency problem. The variable weight approach was based on two assumptions： 1） the greater weight should be given to the rule with more adequate information; 2） the greater weight should be given to the rules with less disparate information. Assessment results of two notional case studies show that 1） the probability deficiency problem is solved using the proposed variable weight approach, and 2） the information with less inadequacy and more disparity is provided for the decision makers to help reach a consensus.

Verified Solution for a Statically Determinate Truss Structure with Uncertain Node Locations

We consider a statically determinate structural truss problem where all of the physical model parameters are uncertain： not just the material values and applied loads, but also the positions of the nodes are assumed to be inexact but bounded and are represented by intervals. Such uncertainty may typically arise from imprecision during the process of manufacturing or construction, or round-off errors. In this case the application of the finite element method results in a system of linear equations with numerous interval parameters which cannot be solved conventionally. Applying a suitable variable substitution, an iteration method for the solution of a parametric system of linear equations is firstly employed to obtain initial bounds on the node displacements. Thereafter, an interval tightening （pruning） technique is applied, firstly on the element forces and secondly on the node displacements, in order to obtain tight guaranteed enclosures for the interval solutions for the forces and displacements.

Food Physics and Food Safety- Some Aspects in Food Processing and Food Quality Control

The article deals with special questions of some aspects of food safety and application of methods of food physics in food processing and also in food quality control and quality assurance. The role of food safety has developed significantly in the last 2 decades, so today the production and processing of safe and quality food is of primary importance. Modem food production is based on principles of GAP and GMP （including GHP） and different methods and tools for quality control and assurance （IFS, HACCP, ISO-9000, ISO-9000/2010, ISO-22000, TQM）. There are different techniques and methods to produce safe food and to control the quality of the foodstuffs. The modem, up-to-date technologies and measurement techniques involve the application of many physical methods - high pressure, pulsing electrical field, microwave, non-destructive techniques （e.g., INAA, NMR, NIR-NIT, PAS）, radiation treatments as well. Using radiation technologies （of course not only nuclear ones） it is possible to fulfil some very important expectations of modem food processing, e.g., decrease of microbial contamination, improvement of sensory properties, increase of storability of food products.

Agent-Based Simulation for Interconnection-Scale Renewable Integration and Demand Response Studies

This paper collects and synthesizes the technical requirements, implementation, and validation methods for quasi-steady agent-based simulations of interconnectionscale models with particular attention to the integration of renewable generation and controllable loads. Approaches for modeling aggregated controllable loads are presented and placed in the same control and economic modeling framework as generation resources for interconnection planning studies. Model performance is examined with system parameters that are typical for an interconnection approximately the size of the Western Electricity Coordinating Council(WECC) and a control area about 1/100 the size of the system. These results are used to demonstrate and validate the methods presented.

PIR-based data integrity verification method in sensor network

Since a sensor node handles wireless communication in data transmission and reception and is installed in poor environment, it is easily exposed to certain attacks such as data transformation and sniffing. Therefore, it is necessary to verify data integrity to properly respond to an adversary's ill-intentioned data modification. In sensor network environment, the data integrity verification method verifies the final data only, requesting multiple communications. An energy-efficient private information retrieval(PIR)-based data integrity verification method is proposed. Because the proposed method verifies the integrity of data between parent and child nodes, it is more efficient than the existing method which verifies data integrity after receiving data from the entire network or in a cluster. Since the number of messages for verification is reduced, in addition, energy could be used more efficiently. Lastly, the excellence of the proposed method is verified through performance evaluation.

A Digital Evidence Fusion Method in Network Forensics Systems with Dempster-Shafer Theory

Network intrusion forensics is an important extension to present security infrastructure,and is becoming the focus of forensics research field.However,comparison with sophisticated multi-stage attacks and volume of sensor data,current practices in network forensic analysis are to manually examine,an error prone,labor-intensive and time consuming process.To solve these problems,in this paper we propose a digital evidence fusion method for network forensics with Dempster-Shafer theory that can detect efficiently computer crime in networked environments,and fuse digital evidence from different sources such as hosts and sub-networks automatically.In the end,we evaluate the method on well-known KDD Cup1999 dataset.The results prove our method is very effective for real-time network forensics,and can provide comprehensible messages for a forensic investigators.

Application of geophysical-geochemical method in verification of stream sediment anomaly in Baoxinggou area of Heilongjiang

Baoxinggou area is located in northern Daxing'anling. In this area,comprehensive use of geophysical and geochemical exploration methods plays an important role in the prospecting,and has yielded some application results so far. Based on the 1 /100 000 stream sediment anomaly survey,the methods of 1 /20 000 soil geochemical measurement,trenching engineering on the earth's surface and 1 /10 000 IP intermediate gradient survey were all used to verify and decompose drainage anomalies,as well as to find and locate ore bodies. In this way,an effective,economical and quick prospecting method was concluded,which focuses on the middle and lower mountain forest swamp landscape in the northern part of Daxing'anling,and provides reference for the prospecting in the area.

A three level linearized compact difference scheme for the Cahn-Hilliard equation

This article is devoted to the study of high order accuracy difference methods tor the Cahn-rnmara equation. A three level linearized compact difference scheme is derived. The u^ique solvability and uaconditional convergence of the difference solution are proved. The convergence order is O（T2＋h4） in the maximum norm. The mass conservation and the non-increase of the total energy are also verified. Some numerical examples are given to demonstrate the theoretical results.

ON INVARIANT CHECKING

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.