Causality in structural engineering: discovering new knowledge by tying induction and deduction via mapping functions and explainable artificial intelligence

Causality is the science of cause and effect.It is through causality that explanations can be derived,theories can be formed,and new knowledge can be discovered.This paper presents a modern look into establishing causality within structural engineering systems.In this pursuit,this paper starts with a gentle introduction to causality.Then,this paper pivots to contrast commonly adopted methods for inferring causes and effects,i.e.,induction(empiricism)and deduc-tion(rationalism),and outlines how these methods continue to shape our structural engineering philosophy and,by extension,our domain.The bulk of this paper is dedicated to establishing an approach and criteria to tie principles of induction and deduction to derive causal laws(i.e.,mapping functions)through explainable artificial intelligence(XAI)capable of describing new knowledge pertaining to structural engineering phenomena.The proposed approach and criteria are then examined via a case study.

FUZZY APPROACHING SET AND FUZZYAPPROACHING FUNCTIONAL MAPPING

By establishing the concepts of fuzzy approaching set and fuzzy approaching functional mapping and making research on them, a new method for time series prediction is introduced.

PATTERN MAPPING ON BETA-SPLINE SURFACES——BILINEAR MAPPING METHOD

Texture pattern mapping is one of the most important techniques for high quality image syn- thesis. It can largely enhance the visual richness of raster-scan images. In this paper is presented a new method of mapping planar texture pattern onto beta-spline curved surfaces——bilinear mapping method which can map planar texture pattern onto curved surfaces with less distortion, and also can fulfill the geometric transformation of the texture pattern on the curved surfaces by operating the pattern win- dow. It is valuable to both CAD/CAM in artistic field and computer graphics.

Dynamic Backup Sharing Scheme of Service Function Chains in NFV

Service function chains(SFC)mapping takes the responsibility for managing virtual network functions(VNFs).In SFC mapping,existing solutions duplicate VNFs with redundant instances to provide high availability in response to failures.However,as a compromise,these solutions result in high resource consumption due to device maintenance.In this paper,we propose a novel method named dynamic backup sharing(DBS)that allows SFCs to dynamically share backups to reduce resource consumption.DBS formulates the problem of sharing backups among different VNFs as an integer linear programming(ILP).Thereafter,we design a novel online algorithm based on dynamic programming to solve the problem.The experimental results indicate that DBS outperforms state-ofthe-art works by reducing resource consumption and improving the number of accepted requests.

Balanced Functional Maps for Three-Dimensional Non-Rigid Shape Registration

Three-dimensional(3D)shape registration is a challenging problem,especially for shapes under non-rigid transformations.In this paper,a 3D non-rigid shape registration method is proposed,called balanced functional maps(BFM).The BFM algorithm generalizes the point-based correspondence to functions.By choosing the Laplace-Beltrami eigenfunctions as the function basis,the transformations between shapes can be represented by the functional map(FM)matrix.In addition,many constraints on shape registration,such as the feature descriptor,keypoint,and salient region correspondence,can be formulated linearly using the matrix.By bi-directionally searching for the nearest neighbors of points’indicator functions in the function space,the point-based correspondence can be derived from FMs.We conducted several experiments on the Topology and Orchestration Specification for Cloud Applications(TOSCA)dataset and the Shape Completion and Animation of People(SCAPE)dataset.Experimental results show that the proposed BFM algorithm is effective and has superior performance than the state-of-the-art methods on both datasets.

New Finite Difference Mapped WENO Schemes with Increasingly High Order of Accuracy

In this paper,a new type of finite difference mapped weighted essentially non-oscillatory(MWENO)schemes with unequal-sized stencils,such as the seventh-order and ninthorder versions,is constructed for solving hyperbolic conservation laws.For the purpose of designing increasingly high-order finite difference WENO schemes,the equal-sized stencils are becoming more and more wider.The more we use wider candidate stencils,the bigger the probability of discontinuities lies in all stencils.Therefore,one innovation of these new WENO schemes is to introduce a new splitting stencil methodology to divide some fourpoint or five-point stencils into several smaller three-point stencils.By the usage of this new methodology in high-order spatial reconstruction procedure,we get different degree polynomials defined on these unequal-sized stencils,and calculate the linear weights,smoothness indicators,and nonlinear weights as specified in Jiang and Shu(J.Comput.Phys.126:202228,1996).Since the difference between the nonlinear weights and the linear weights is too big to keep the optimal order of accuracy in smooth regions,another crucial innovation is to present the new mapping functions which are used to obtain the mapped nonlinear weights and decrease the difference quantity between the mapped nonlinear weights and the linear weights,so as to keep the optimal order of accuracy in smooth regions.These new MWENO schemes can also be applied to compute some extreme examples,such as the double rarefaction wave problem,the Sedov blast wave problem,and the Leblanc problem with a normal CFL number.Extensive numerical results are provided to illustrate the good performance of the new finite difference MWENO schemes.

On ionosphere-delay processing methods for single-frequency precise-point positioning

In single-frequency precise-point positioning of a satellite,ionosphere delay is one of the most important factors impacting the accuracy. Because of the instability of the ionosphere and uncertainty of its physical properties, the positioning accuracy is seriously limited when using a precision-limited model for correction. In order to reduce the error, we propose to introduce some ionosphere parameter for real-time ionosphere-delay estimation by applying various mapping functions. Through calculation with data from the IGS（ International GPS Service） tracking station and comparison among results of using several different models and mapping functions, the feasibility and effectiveness of the new method are verified.

SOLUTION OF DIFFERENT HOLES SHAPE BORDERS OF FIBRE REINFORCED COMPOSITE PLATES BY INTEGRAL EQUATIONS

Accurate boundary conditions of composite material plates with different holes are founded to settle boundary condition problems of complex holes by conformal mapping method upon the nonhomogeneous anisotropic elastic and complex function theory. And then the two stress functions required were founded on Cauchy integral by boundary conditions. The final stress distributions of opening structure and the analytical solution on composite material plate with rectangle hole and wing manholes were achieved. The influences on hole-edge stress concentration factors are discussed under different loads and fiber direction cases, and then contrast calculates are carried through FEM.

Vertical deformation of the fault-crossing network around Baotou,observed by GPS

GPS data and precise leveling data of seismic network profiles across the fault in Baotou in 2006, 2009 and 2011 were processed and analyzed to test the feasibility of using GPS technology for fault-crossing vertical deformation monitoring. The results showed that high precision cross-fauh vertical deformation measurements can be obtained using appropriate GPS data processing strategies.

Use of Local Region Maps on Convolutional LSTM for Single-Image HDR Reconstruction

Low dynamic range(LDR)images captured by consumer cameras have a limited luminance range.As the conventional method for generating high dynamic range(HDR)images involves merging multiple-exposure LDR images of the same scene(assuming a stationary scene),we introduce a learning-based model for single-image HDR reconstruction.An input LDR image is sequentially segmented into the local region maps based on the cumulative histogram of the input brightness distribution.Using the local region maps,SParam-Net estimates the parameters of an inverse tone mapping function to generate a pseudo-HDR image.We process the segmented region maps as the input sequences on long short-term memory.Finally,a fast super-resolution convolutional neural network is used for HDR image reconstruction.The proposed method was trained and tested on datasets including HDR-Real,LDR-HDR-pair,and HDR-Eye.The experimental results revealed that HDR images can be generated more reliably than using contemporary end-to-end approaches.

AN EDGE CRACK PROBLEM IN A SEMI-INFINITE PLANE SUBJECTED TO CONCENTRATED FORCES

An oblique edge crack problem in a semi-infinite plane is discussed. Re concentrated forces are applied on the edge crack face, or on the line boundary of the cracked semi-infinite plane. The rational mapping function approach is suggested to solve the boundary value problem and a solution in a closed form is obtained. Finally, several numerical examples with the calculated results are given.

Electroacupuncture at Tianshu (ST 25) for diarrhea-predominant irritable bowel syndrome using positron emission tomography Changes in visceral sensation center

Previous studies have demonstrated that electroacupuncture therapy is effective in the treatment of irritable bowel syndrome. However, the precise mechanism of this therapy is unknown. The present study served to investigate the effects of electroacupuncture therapy on treatment of patients with diarrhea-predominant irritable bowel syndrome （IBS）. We compared brain activation maps based on the changes of cerebral glucose metabolism obtained by 18-fluorodeoxyglucose positron emission tomography scanning under three conditions： resting, rectal balloon distension and rectal balloon distension plus electroacupuncture. Under the resting condition, compared with healthy controls, IBS patients displayed an increasing regional cerebral metabolic rate of glucose over a wide range： bilateral superior temporal gyrus, right middle occipital gyrus, superior frontal gyrus and bilateral middle frontal gyrus. However, there was no significant activity in the visceral pain center. Compared with the resting condition, under the rectal balloon distension condition, patients with IBS had a greater regional cerebral metabolic rate of glucose in the prefrontal cortex, left anterior cingulate cortex, postcentral gyrus, precentral gyrus and temporal gyrus. Under the rectal balloon distension plus electroacupuncture condition, stimulation by electroacupuncture at Tianshu （ST 25） manifested a decreased regional cerebral metabolic rate of glucose in the left cingulate gyrus, right insula, right caudate nucleus, fusiform gyrus and hippocampal gyrus. Electroacupuncture therapy relieved abdominal pain, distension or discomfort by decreasing glucose metabolism in the brain.

Analytic solutions to a finite width strip with a single edge crack of two-dimensional quasicrystals

In this paper, we investigate the well-known problem of a finite width strip with a single edge crack, which is useful in basic engineering and material science. By extending the configuration to a two-dimensional decagonal quasicrystal, we obtain the analytic solutions of modesⅠand Ⅱ using the transcendental function conformal mapping technique. Our calculation results provide an accurate estimate of the stress intensity factors K_Ⅰ and K_Ⅱ, which can be expressed in a quite simple form and are essential in the fracture theory of quasicrystals. Meanwhile, we suggest a generalized cohesive force model for the configuration to a two-dimensional decagonal quasicrystal. The results may provide theoretical guidance for the fracture theory of two-dimensional decagonal quasicrystals.

Image encryption technique based on new two-dimensional fractional-order discrete chaotic map and Menezes–Vanstone elliptic curve cryptosystem

We propose a new fractional two-dimensional triangle function combination discrete chaotic map （2D-TFCDM） with the discrete fractional difference. Moreover, the chaos behaviors of the proposed map are observed and the bifurcation diagrams, the largest Lyapunov exponent plot, and the phase portraits are derived, respectively. Finally, with the secret keys generated by Menezes-Vanstone elliptic curve cryptosystem, we apply the discrete fractional map into color image encryption. After that, the image encryption algorithm is analyzed in four aspects and the result indicates that the proposed algorithm is more superior than the other algorithms.

Axonal remodeling in the corticospinal tract after stroke： how does rehabilitative training modulate it？

Stroke causes long-term disability, and rehabilitative training is commonly used to improve the consecutive functional recovery. Following brain damage, surviving neurons undergo morphological alterations to reconstruct the remaining neural network. In the motor system, such neural network remodeling is observed as a motor map reorganization. Because of its significant correlation with functional recovery, motor map reorganization has been regarded as a key phenomenon for functional recovery after stroke. Although the mechanism underlying motor map reorganization remains unclear, increasing evidence has shown a critical role for axonal remodeling in the corticospinal tract. In this study, we review previous studies investigating axonal remodeling in the corticospinal tract after stroke and discuss which mechanisms may underlie the stimulatory effect of rehabilitative training. Axonal remodeling in the corticospinal tract can be classified into three types based on the location and the original targets of corticospinal neurons, and it seems that all the surviving corticospinal neurons in both ipsilesional and contralesional hemisphere can participate in axonal remodeling and motor map reorganization. Through axonal remodeling, corticospinal neurons alter their output selectivity from a single to multiple areas to compensate for the lost function. The remodeling of the corticospinal axon is influenced by the extent of tissue destruction and promoted by various therapeutic interventions, including rehabilitative training. Although the precise molecular mechanism underlying rehabilitation-promoted axonal remodeling remains elusive, previous data suggest that rehabilitative training promotes axonal remodeling by upregulating growth-promoting and downregulating growth-inhibiting signals.

SINGULAR MAPS ON THE KLEIN BOTTLE

It is well known that singular maps(i.e.,those have only one face on a surface)play a key role in the theory of up-embeddability of graphs.In this paper the number of rooted singular maps on the Klein bottle is studied.An explicit form of the enumerating function according to the root-valency and the size of the map is determined.Further,an expression of the vertex partition function is also found.

AB076.Prototypical spatial patterns of activation from common experience

Background:The guiding principle of functional brain mapping is that the cortex exhibits a spatial pattern of response reflecting its underlying functional organization.We know that large-scale patterns are common across individuals-everyone roughly has the same visual areas for example,but we do not know about small patterns,like the distribution of ocular dominance and orientation columns.Studies investigating the temporal aspect of brain-to-brain similarity have shown that a large portion of the brain is temporally synchronized across subjects(Hasson et al.,2004),but spatial pattern similarity has been scarcely studied,let alone at a fine scale.In the current study,we investigated fine-scale spatial pattern similarity between subjects during movie viewing and generated a map of prototypical patterns spanning the visual system.Characteristics of the map,such as spatial pattern size and distribution,reveal properties of the underlying structure and organisation of the visual cortex.These results will guide future brain mapping studies in decoding the informative spatial patterns of the visual cortex and increasing the resolution of current brain maps.Methods:We had 56 subjects watch two movie clips from“Under the Sea 3D:IMAX”during an fMRI scan.Each clip was 5 minutes in length and was presented in 2D and 3D,in random order.We calculated the intersubject correlation of the spatial pattern inside predefined searchlights of diameter 3,5,7,9 and 11 mm,covering the entire brain.A single threshold permutations test was used to test for significance:we generated 1,000 permutations made from scrambling the spatial patterns inside each searchlight of every subject,pooled these permutations together to generate a large distribution and used the 95th percentile to threshold the actual measurements.We compared these spatial pattern correlations to convexity variance between subjects to determine whether spatial pattern correlation could be explained by differing degrees of alignment across the cortex.We also compared spatial pattern correlation during 2D and 3D movie presentation.Results:We found significant correlations in spatial pattern between subjects in the majority of early visual cortex,as well as higher visual areas.We found that mean spatial pattern similarity in a visual area tended to decrease as we move up the visual hierarchy.Spatial pattern correlation showed significant positive correlation with convexity variance for most visual areas,meaning that as anatomical misalignment increased,patterns became more similar.Spatial pattern correlation therefore cannot be explained by anatomical misalignment.Lastly,spatial pattern correlations tended to be higher for 3D movie presentation compared to 2D.Conclusions:Our results suggest that many processes in early visual areas and even higher visual areas process visual information the same way in different individuals.Our results expand past studies by exploring spatial patterns instead of temporal patterns and studying at a fine-scale.This is the first study,to our knowledge,exploring fine-scale spatial patterns across the visual system.Our results show that fine-scale structures underlying activation patterns may be highly similar across subjects,pointing to a more ingrained organisation of the visual system than previously believed.This map we termed the“protoSPACE map”,may one day result in the detection of more subtle abnormalities that arise only during realistic vision in situations such as schizophrenia or mild traumatic brain injury,where traditional anatomical MRI scans report no changes.

CONCEPTUAL MODELING BASED ON LOGICAL EXPRESSION AND EVOLVEMENT

Aiming at the problem of abstract and polytype information modeling in product conceptual design, a method of conceptual modeling based on logical expression and evolvement is presented. Based on the logic expressions of the product conceptual design information, a fimction/logic/strucmre mapping model is set up. First, the fimction semantics is transformed into logical expressions through fimction/logic mapping. Second, the methods of logical evolvement are utilized to describe the fimction analysis, fimction/strucmre mapping and structure combination. Last, the logical structure scheme is transformed into geometrical sketch through logic/structure mapping. The conceptual design information and modeling process are described uniformly with logical methods in the model, and an effective method for computer aided conceptual design based on the model is implemented.

测绘e系统的开发与应用

重点介绍进行具有自主知识产权的不需AutoCAD支持的纯国产数字化测图软件测绘e系统的必要性、技术路线、主要功能及特点、应用情况及未来的发展方向等。

Chaos in a Damped Power System

The analytical investigation of a damped power system has been made based on Holmes and Marsden's theorems. The condition for the occurrence of chaotic motions in the system is that the damping factor has to possess negative values. The numerical simulation results concur very well with theoretical predictions.