Intelligent Transformation: General Intelligence Theory

This paper aims to formalize a general definition of intelligence beyond human intelligence. We accomplish this by re-imagining the concept of equality as a fundamental abstraction for relation. We discover that the concept of equality = limits the sensitivity of our mathematics to abstract relationships. We propose a new relation principle that does not rely on the concept of equality but is consistent with existing mathematical abstractions. In essence, this paper proposes a conceptual framework for general interaction and argues that this framework is also an abstraction that satisfies the definition of Intelligence. Hence, we define intelligence as a formalization of generality, represented by the abstraction ∆∞Ο, where each symbol represents the concepts infinitesimal, infinite, and finite respectively. In essence, this paper proposes a General Language Model (GLM), where the abstraction ∆∞Ο represents the foundational relationship of the model. This relation is colloquially termed “The theory of everything”.

Abstraction and Representation:Form and Meaning in the Philosophy of Images

This article examines the complex interplay between abstraction and representation in the ontology of images.Images inhabit an in-between space as tangible artifacts that also convey intangible ideas and meanings.The analysis synthesizes perspectives from across the history of philosophy to elucidate how images bridge abstraction and representation through their form and function.It engages with ongoing epistemological and aesthetic debates concerning the dual nature of images.Plato’s theory of ideal forms is outlined as an early attempt to define abstraction.Modern semiotic theories are discussed for their insights into how images create meaning through codes and signs.Phenomenology offers an alternative approach by prioritizing the sensorial,affective impact of images.Poststructuralism problematizes representation in the context of mechanical reproduction and simulacra.While diverse,these philosophical frameworks all grapple with the issues images pose between abstract essence and concrete appearance,conceptual ideas and sensory manifestations.The article reveals the richness of images as liminal constructs that collapse dualisms in their creative interfacing of material forms and immaterial meanings.It concludes that this ontological ambiguity empowers images as mediators between imagination and perception,subjectivity and reality.

Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes

Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is finding ways to make software more reliable. This review provides an overview of techniques developed over time in the field of software model checking to solve the problem of detecting errors in program code. In addition, the challenges posed by this technology are discussed and ways to mitigate them in future research and applications are proposed. A comprehensive examination of the various model verification methods used to detect program code errors is intended to lay the foundation for future research in this area.

Experimental and Theoretical Study of Hydrogen Atom Abstraction from C2H6 and C4H10 by Zirconium Oxide Clusters Anions

The reactions of anionic zirconium oxide clusters ZrxOy- with C2H6 and C4H10 are investi-gated by a time of flight mass spectrometer coupled with a laser vaporization cluster source.Hydrogen containing products Zr2O5H- and Zr3O7H- are observed after the reaction. Den-sity functional theory calculations indicate that the hydrogen abstraction is favorable in the reaction of Zr2O5- with C2H6, which supports that the observed Zr2O5H- and Zr3O7H- are due to hydrogen atom abstraction from the alkane molecules. This work shows a newpossible pathway in the reaction of zirconium oxide cluster anions with alkane molecules.

Photochemical Hydrogen Abstraction and Electron Transfer Reactions of Tetrachlorobenzoquinone with Pyrimidine Nucleobases

Pentachlorophenol, a widespread environmental pollutant that is possibly carcinogenic to humans, is metabolically oxidized to tetrachloroquinone （TCBQ） which can result in DNA damage. We have investigated the photochemical reaction dynamics of TCBQ with two pyrimidine type nucleobases （thymine and uracil） upon UVA （355 ran） excitation using the technique of nanosecond time-resolved laser flash photolysis. It has been found that 355 nm excitation populates TCBQ molecules to their triplet state 3TCBQ＊, which are highly reactive towards thymine or uracil and undergo two parallel reactions, the hydrogen abstraction and electron transfer, leading to the observed photoproducts of TCBQH. and TCBQ.- in transient absorption spectra. The concomitantly produced nucleobase radicals and radical cations are expected to induce a series of oxidative or strand cleavage damage to DNA afterwards. By characterizing the photochemical hydrogen abstraction and electron transfer reactions, our results provide potentially important molecular reaction mechanisms for understanding the carcinogenic effects of pentachlorophenol and its metabolites TCBQ.

Laser Flash Photolysis Mechanism of Anthraquinone-2-Sodium Sulfonate in Pyridine Ionic Liquid/Water Mixed System

The photochemical reaction process of anthraquinone-2-sodium sulfonate （AQS） in the mixture of water （H2O） and N-butylpyridinium tetrafluoroborate （[BPy] [BF4]） was studied using the laser flash photolysis technique. Experimental results show that the excited triplet of AQS （3AQS＊） could react rapidly with H2O and the transient absorption spectra greatly changed by increasing the volume fraction of the ionic liquid （VIL） in [BPy][BF4]/H2O mixtures. The absorbance at 510 nm increased gradually with increasing VIL when 0〈VIL〈0.1. By contrast, the absorbance decreased gradually when VIL〉0.1. Otherwise, the absorbance of the band near 380 nm steadily increased. The apparent kinetic parameters of transient species B and ^3AQS＊ are obtained approximately. 3AQS＊ abstracting hydrogen from [BPy]＋ was also explored. It was deduced that the 350-420 nm band was the superposition of the peaks of 3AQS＊ and AQSH＇. The two reactions of 3AQS＊ with [BPy][BF4] and H2O are a pair of competitive reactions. We also concluded that the entire reaction processes slow down in the case of high [BPy] [BF4] concentrations.

Theoretical Study on Gas Phase Reactions of OH Hydrogen-Abstraction from Formyl Fluoride with Different Catalysts

The mechanisms and kinetics of the gas phase reactions that the hydrogen atom in formyl fluoride （FCHO） abstracted by OH in the presence of water, formic acid （FA）, or sulfuric acid （SA） are theoretically investigated at the CCSD（T）/6-311＋＋G（3df, 3pd）//MO6-2X/6- 311＋＋G（3df, 3pd） level of theory. The calculated results show that the barriers of the transition states involving catalysts are lowered to -2.89, -6.25, and -7.76 kcal/mol from 3.64 kcal/mol with respect to the separate reactants, respectively, which reflects that those catalysts play an important role in reducing the barrier of the hydrogen abstraction reaction of FCHO with OH. Additionally, using conventional transition state theory with Eckart tun- neling correction, the kinetic data demonstrate that the entrance channel X…FCHO＋OH （X=H2O, FA, or SA） is significantly more favorable than the pathway X…OH＋FCHO. More- over, the rate constants of the reactions of FCHO with OH radical with H2O, FA, or SA introduced are computed to be smaller than that of the naked OH＋FCHO reaction because the concentration of the formed X…FCHO or X…OH complex is quite low in the atmosphere.

Marine spatio-temporal process semantics and its applications-taking the El Nio Southern Oscilation process and Chinese rainfall anomaly as an example

Spatio-temporal semantics based on ＂object views＂ or ＂event views＂ has few abilities to represent and model the continuity and gradual oceanic phenomena or objects, which seriously limits the specific marine applications and knowledge discovery and data mining, so this paper proposes a hierarchical abstraction semantics with ＂marine spatio-temporal process-life span phases-evolution sequences--state units＂ and process objects included by level with ＂marine process objects--phase objects--sequence object---state objects＂ with the oceanic process characteristics into the marine process semantics. In addition, this paper designs the storage and representation of marine process objects using the backus normal forms （BNF） and abstract data type （ADT）. Base on E1 Nifio Southern Oscilation （ENSO） index and Chinese rain gauging station data, this paper also gives a case of study. The spatio-temporal analysis between ENSO process and Chinese rainfall anomalies shows that the marine spatio-temporal semantics not only can illustrate the spatial distribution of Chinese rainfall anomalies in different time scales at ENSO process, life span phases and state units, but also analyze the dynamic changes of Chinese rainfall anomalies in different life span phases or state units within ENSO evolution.

Theoretical Studies on the Reaction Mechanism of Hydroxyl Radical with 1,1,1-Trichloroethane

Ab initio and density functional theory calculations have been carried out to investigate the reaction of hydroxyl radical （OH） and 1,1,1-trichloroethane （CH3CCl3）. The potential energy surface has been given according to the relative energies calculated at the MP2/cc-pVTZ level after the spin projection （PMP2）. Five reaction channels were identified and the intramolecular hydrogen bonding was observed in some transition state structures. The barrier heights and reaction enthalpies calculated for all possible channels show that the hydrogen abstraction channel is predominant kinetically and thermodynamically. The contribution from other channels was predicted to be minor.

Density Functional Theory Studies on the Mechanism of Activation Formic Acid Catalyzed by Transition Metal Oxide MoO

This paper systematically studies the reaction mechanisms of formic acid catalyzed by transition metal oxide MoO. Three different reaction pathways of Routes I, Ⅱ and Ⅲ were found through studying the reaction mechanism of transition metal oxide MoO catalyzing the formic acid. The transition metal oxide MoO interacts with the C=O double bond to form chiral chain compounds（Routes I and Ⅱ） and metallic compound MoOH2（Route Ⅲ）. In this paper, we have studied the mechanisms of two addition reaction pathways and hydrogen abstraction reaction pathway. Routes I and Ⅱ are both addition reactions, and their products are two different chiral compounds MoO3CH2, which are enantiomeric to each other. In Route Ⅲ, metal compounds MoOH2 and CO2 are obtained from the hydrogen abstraction reaction. Among them, the hydrogen abstraction reaction occurring in Route Ⅲ is more likely to occur than the others. By comparing the results of previous studies on the reaction of MxOy-＋ ROH（M= Mo,W; R = Me, Et）, we found that the hydrogen abstraction mechanism is completely different from the mechanism of oxygen-containing organic compound catalyzed by MxOy.

Theoretical Studies on the Reaction Kinetics of Methyl 2-Furoate with Hydroxyl Radical

Methyl 2-furoate(FAME2)is a model for the potential renewable biofuel of dimethyl furan-2,5-dicarboxylate,with the development of its new synthesis method.The potential energy surfaces of H-abstractions and OHadditions between FAME2 and hydroxyl radical(OH)were studied using CCSD(T)/CBS//M062X/ccpVTZ.The subsequent isomerization and decomposition reactions were also determined for the primary radicals produced.The results showed that H-abstraction on the branched methyl group was the dominant channel and that the OH-addition reactions on the furan ring had a significant pressure dependency.The rate coefficients presented here provide important kinetic data to support future improvement of the combustion mechanism of FAME2,and present a sound basis for further research into practical fuels.

Predicting the Geographic Traffic Distribution in Cellular Networks

Early detection and rapid resolution network congestion can considerably improve network capacity. Consequently, much research has been carried out on predicting traff ic patterns in 3G networks. This paper introduces an access point centric approach that is implemented by two prediction models, the traffic abstraction model and the order-k Markov model. Traffi c predictions are carried out to support the congestion control in the semi-smart antenna systems. The simulation result shows that the cumulative error rate is below 25% even carrying out multi-step-ahead predictions.

Improvement of LCM model and determination of model parameters at watershed scale for flood events in Hongde Basin of China

Considering the fact that the original two-parameter LCM model can only be used to investigate rainfall losses during the runoff period because the initial abstraction is not included, the LCM model was redefined as a three-parameter model, including the initial abstraction coefficient l, the initial abstraction Ia, and the rainfall loss coefficient R. The improved LCM model is superior to the original two-parameter model, which only includes r and R, where r is the initial rainfall loss index and can be calculated with l using the Soil Conservation Service curve number （SCS-CN） method, with r = 1/（1 ＋ λ）. The trial method was used to determine the parameter values of the improved LCM model at the watershed scale for 15 flood events in the Hongde Basin in China. The results show that larger r values are associated with smaller R values, and the parameter R ranges widely from 0.5 to 2.0. In order to improve the practicability of the LCM model, r = 0.833 with λ = 0.2 is reasonable for simplifying calculation. When the LCM model is applied to arid and semi-arid regions, rainfall without yielding runoff should be deducted from the total rainfall for more accurate estimation of rainfall-runoff.

Security Analysis of an Attractive Online Authentication Standard：FIDO UAF Protocol

FIDO(Fast IDentity Online) Alliance proposed a set of standard in 2014 for change the nature of online authentication. By now, it has drawn attention from many companies, including Google, VISA, Intel etc. In this paper, we analyze the FIDO UAF(Universal Authentication Framework) Protocol, one of the two sets of specifications in the standard. We first present protocols' cryptographic abstractions for the registration and authentication protocols of the FIDO UAF. According to the abstractions, we discuss on selected security goals presented in the standard to study UAF security properties. We also propose three attacks, which the first two are based on an assumption that an attacker can corrupt the software installed on the user device, and the third is based on two users sharing a FIDO roaming authenticator. The results of the attacks are to impersonate the legitimate user to pass the online authentication.

Recovery of V_2O_5 from Bayer liquor by ion exchange

A new technology was developed to recover V2O5 from Bayer spent liquor by ion exchange.The experimental results show that in the conditions of 105℃ and 0.20-0.25 mass ratios between CaO in lime and Al2O3 in spent liquor, the precipitation rate of vanadium in Bayer liquor is more than 85%.The vanadium-bearing precipitation is leached by NaHCO3 solution.The leaching rate of vanadium can reach 85% in the conditions of 95℃, 40 g·L-1 of NaHCO3 concentration, and ventilating of CO2.The 201 × 7 type of resin has good adsorption effect on vanadium in the leaching solution.The adsorption rate is more than 94% with the flow rate of 0.09 mL·min-1·g-1 of leaching solution and the temperature of 40-50℃.By using 3 mol·L-1 of NaOH to desorb the saturated resin after adsorption at 40-50℃, a solution with more than 5 g·L-1 of V2O5 can be obtained.After roasting ammonium metavanadate that precipitates from the desorption solution when NH4Cl is added at the temperature of 500-550℃ for 2 h, V2O5 with more than 99% of purity is obtained.

Theoretical Study on the Excited-state Intramolecular Hydrogen Abstraction Reactions of Butanal

The excited-state intramolecular hydrogen abstraction reactions of butanal have been investigated using the CAS-MP2/6-311＋G^＊//CASSCF/6-31G^＊ methods. Calculated results show that the hydrogen transfer induced fluorescence quenching of the n,π^＊-excited state of covalent butanal with three paths： （1） The first path corresponds to direct S0-react reconstitution, which involves the first S1 decay by partial hydrogen atom transfer. （2） The second stepwise mechanism can be viewed as a full hydrogen atom transfer followed by a partial hydrogen atom back transfer, electron transfer （near S1/S0 or S0-TS） and finally a proton transfer to S0-react. （3） On the triplet surface, the surface crossing to the singlet state would be clearly much efficient at the T1/S0 region due to the large SOC value of 8.3 cm^-1. The S0-react decay route from T1/S0 was studied with an intrinsic reaction coordinate （IRC） calculation at the CASSCF level, resulting in the S0-React minimum.

Topology Abstraction Service for IP VPNs: Core Network Partitioning for Resource Sharing

VPN service providers (VSP) and IP-VPN customers have traditionally maintained service demarcation boundaries between their routing and signaling entities. This has resulted in the VPNs viewing the VSP network as an opaque entity and therefore limiting any meaningful interaction between the VSP and the VPNs. A key challenge is to expose each VPN to information about available network resources through an abstraction (TA) [1] which is both accurate and fair. In [2] we proposed three decentralized schemes assuming that all the border nodes performing the abstraction have access to the entire core network topology. This assumption likely leads to over- or under-subscription. In this paper we develop centralized schemes to partition the core network capacities, and assign each partition to a specific VPN for applying the decentralized abstraction schemes presented in [2]. First, we present two schemes based on the maximum concurrent flow and the maximum multicommodity flow (MMCF) formulations. We then propose approaches to address the fairness concerns that arise when MMCF formulation is used. We present results based on extensive simulations on several topologies, and provide a comparative evaluation of the different schemes in terms of abstraction efficiency, fairness to VPNs and call performance characteristics achieved.

Research on the Automatic Pattem Abstraction and Recognition Methodology for Large-scale Database System based on Natural Language Processing

In this research paper, we research on the automatic pattern abstraction and recognition method for large-scale database system based on natural language processing. In distributed database, through the network connection between nodes, data across different nodes and even regional distribution are well recognized. In order to reduce data redundancy and model design of the database will usually contain a lot of forms we combine the NLP theory to optimize the traditional method. The experimental analysis and simulation proves the correctness of our method.

Verifying Stacks and Queues Using Symbolic Simulation Techniques

This paper presents a formal verification method based on logic simulation. In our method, using symbolic values even circuits which include data paths can be verified without abstraction of data paths. Our verifier extracts a transition relation from the state graph (given as a specification) which is expressed using symbolic values, and verifies based on simulation using those symbolic values if the circuit behaves correctly with respect to each transition of the specification. If the verifier terminates with "correct", then we can guarantee that for any applicable input vector sequences, the circuit and the specification behaves identically. We have implemented the proposed method on a Unix workstation and verified some FIFO and LIFO circuits by using it.

Vibration Feature Abstraction and Classification of Diesel Fault

ion and classification is put forward for periodic cyclic nonstationary vibration signal. The proposed method is applied to experimental data of an ISUZU C240 diesel engine. Experiment results show the effectiveness of the proposed method in classification of engine faults.