Experimental Results on Higher-Order Differential Spectra of 6 and 8-bit Invertible S-Boxes

Author(s):  
Subhamoy Maitra ◽  
Bimal Mandal ◽  
Manmatha Roy ◽  
Deng Tang
Author(s):  
Xiao Huang ◽  
Biqing Fang ◽  
Hai Wan ◽  
Yongmei Liu

In recent years, multi-agent epistemic planning has received attention from both dynamic logic and planning communities. Existing implementations of multi-agent epistemic planning are based on compilation into classical planning and suffer from various limitations, such as generating only linear plans, restriction to public actions, and incapability to handle disjunctive beliefs. In this paper, we propose a general representation language for multi-agent epistemic planning where the initial KB and the goal, the preconditions and effects of actions can be arbitrary multi-agent epistemic formulas, and the solution is an action tree branching on sensing results.To support efficient reasoning in the multi-agent KD45 logic, we make use of a normal form called alternative cover disjunctive formula (ACDF). We propose basic revision and update algorithms for ACDF formulas. We also handle static propositional common knowledge, which we call constraints. Based on our reasoning, revision and update algorithms, adapting the PrAO algorithm for contingent planning from the literature, we implemented a multi-agent epistemic planner called MAEP. Our experimental results show the viability of our approach.


10.29007/6shf ◽  
2018 ◽  
Author(s):  
Jasmin Christian Blanchette

Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)inductive predicates and datatypes, and (co)recursive functions. Fundamentally a finite model finder, it approximates infinite types by finite subsets. Our experimental results on Isabelle theories and the TPTP library indicate that Nitpick generates more counterexamples than other model finders for higher-order logic, without restrictions on the form of the formulas to falsify.


2017 ◽  
Vol 2017 ◽  
pp. 1-8 ◽  
Author(s):  
Tao Zhou ◽  
Yazi Cao ◽  
Zhiqun Cheng

A new compact multiband planar antenna combining an interdigital-coupled feeding line and one stepped-impedance structure is presented here. This antenna is capable of generating five resonant modes to cover the ISM 915/2400/5800 MHz bands, GPS band, and IMT C-band, respectively. The five resonant frequencies covered by the proposed antenna can be adjusted individually by controlling the impedances and electrical lengths of the corresponding stepped-impedance sections. An additional advantage of the proposed stepped-impedance structure is its ability to suppress higher order resonance modes, thus filtering out unwanted interference. The proposed antenna utilizes a simple planar compact structure and occupies a small area of only 12 × 30 mm2. Details of the antenna design and experimental results are presented and discussed.


2014 ◽  
Vol 989-994 ◽  
pp. 1724-1727
Author(s):  
Xin Zhao

An improved SPH method for water fluid simulation was proposed in this paper. We used higher order splines to improve the stability, and two layers virtual particles to solve particle inconsistency problem near the boundary area. Due to the improvements paid more attention on details, we obtained more realistic and stalbe effect, which was different with previous works. Experimental results showed that our method was realistic, and could achieve real-time frame rate when particle amount was less than 10000.


Frequenz ◽  
2019 ◽  
Vol 73 (1-2) ◽  
pp. 7-11
Author(s):  
X. C. Zhang ◽  
X. Chen ◽  
L. Sun ◽  
Y. S. Huang ◽  
X. F. Gao

Abstract A simple and successful design for a microstrip stepped-impedance resonator (SIR) bandpass filter (BPF) based on inductive coupling is presented. It is well known that SIRs are used to shift or suppress the higher order frequencies. In order to achieve compact circuit size, a perceptual stepped-impedance resonator is utilized. Based on theoretical analysis, this resonator can shift the spurious frequency to 3.8f0. The experimental results show good agreement with theory and simulations.


1993 ◽  
Vol 08 (12) ◽  
pp. 1067-1088 ◽  
Author(s):  
GABY RÄDEL ◽  
ROLF BEYER

This article reviews experimental results obtained from studies of neutrino electron scattering and shows in particular the important input from these experiments to the improved knowledge of weak neutral currents and the confirmation of the Standard Model at tree level. Special emphasis is put on recent high precision νe-experiments, whose results on electroweak parameters allow, in combination with precise results obtained at higher Q2, a test of the Standard Model at the level of higher order corrections.


2011 ◽  
Vol 55-57 ◽  
pp. 1699-1704
Author(s):  
Jie Zhao ◽  
Zhen Feng Han ◽  
Gang Feng Liu ◽  
Yong Min Yang

To move efficiently in an unknown environment, a mobile robot must use observations taken by various sensors to detect obstacles. This paper describes a new approach to detect obstacles for serpentine robot. It captures the image sequence and analyzed the optical flow modules to estimate the deepness of the scene. This avoids one or higher order differential in the traditional optical flow calculation. The data of ultrasonic sensor and attitude transducer sensor are fused into the algorithm to improve the real-time capability and the robustness. The detecting results are presented by fuzzy diagrams which is concise and convenient. Indoor and outdoor experimental results demonstrate that this method can provide useful and comprehensive environment perception for the robot.


2019 ◽  
Vol 87 (3) ◽  
Author(s):  
Jingru Song ◽  
Yueguang Wei

Abstract With specimen size decrease for advanced structural materials, the measured mechanics behaviors display the strong size effects. In order to characterize the size effects, several higher-order theories have been presented in the past several decades, such as the strain gradient theories and the micro-polar theories, etc. However, in each higher-order theory, there are several length scale parameters included, which are usually taken as the material parameters and are determined by using the corresponding theoretical predictions to fit experimental results. Since such kind of experimental approaches needs high techniques, it is very difficult to be performed; therefore, the obtained experimental results are very few until now; in addition, the physical meanings of the parameters still need to be investigated. In the present research, an equivalent linkage method is used to simply determine the elastic length parameters appeared in the elastic strain gradient theory for a series of typical metal materials. We use both the elastic strain gradient theory and the higher-order Cauchy-Born rule to model the materials mechanics behaviors by means of a spherical expanding model and then make a linkage for both kinds of results according to the equivalence of strain energy densities. The values of the materials length parameters are obtained for a series of typical metal systems, such as the face-centered cubic (FCC), body-centered cubic (BCC), and hexagonal close-packed (HCP) metals.


Sign in / Sign up

Export Citation Format

Share Document