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

2020 ◽  
pp. 226-237
Author(s):  
Subhamoy Maitra ◽  
Bimal Mandal ◽  
Manmatha Roy ◽  
Deng Tang
Keyword(s):  
Higher Order ◽  
Experimental Results

scholarly journals A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

2017 ◽  
Author(s):  
Xiao Huang ◽  
Biqing Fang ◽  
Hai Wan ◽  
Yongmei Liu
Keyword(s):  
Normal Form ◽  
Belief Change ◽  
Common Knowledge ◽  
Dynamic Logic ◽  
Higher Order ◽  
Experimental Results ◽  
General Representation ◽  
Multi Agent ◽  
Representation Language ◽  
Contingent Planning

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.

Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod

10.29007/6shf ◽  
2018 ◽  
Author(s):  
Jasmin Christian Blanchette
Keyword(s):  
Higher Order ◽  
Order Logic ◽  
Experimental Results ◽  
Relational Model ◽  
Finite Model ◽  
Higher Order Logic ◽  
First Order ◽  
Recursive Functions

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.

scholarly journals Compact Multiband Interdigital-Coupled-Fed Planar Antenna with Stepped-Impedance Structures for Mobile Handsets

2017 ◽  
Vol 2017 ◽  
pp. 1-8 ◽  
Author(s):  
Tao Zhou ◽  
Yazi Cao ◽  
Zhiqun Cheng
Keyword(s):  
Small Area ◽  
Higher Order ◽  
Experimental Results ◽  
Antenna Design ◽  
Planar Antenna ◽  
Compact Structure ◽  
Resonant Frequencies ◽  
Additional Advantage ◽  
Resonance Modes ◽  
Resonant Modes

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.

Water Fluid Simulation with an Improved SPH Method

2014 ◽  
Vol 989-994 ◽  
pp. 1724-1727
Author(s):  
Xin Zhao
Keyword(s):  
Real Time ◽  
Time Frame ◽  
Higher Order ◽  
Fluid Simulation ◽  
Experimental Results ◽  
Frame Rate ◽  
Sph Method ◽  
Boundary Area ◽  
Virtual Particles ◽  
The Stability

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.

A Microstrip Stepped-Impedance Resonator Bandpass Filter Based on Inductive Coupling

Frequenz ◽  
2019 ◽  
Vol 73 (1-2) ◽  
pp. 7-11
Author(s):  
X. C. Zhang ◽  
X. Chen ◽  
L. Sun ◽  
Y. S. Huang ◽  
X. F. Gao
Keyword(s):  
Theoretical Analysis ◽  
Bandpass Filter ◽  
Higher Order ◽  
Experimental Results ◽  
Inductive Coupling ◽  
Successful Design ◽  
Stepped Impedance Resonator ◽  
Good Agreement

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.

scholarly journals NEUTRINO ELECTRON SCATTERING

1993 ◽  
Vol 08 (12) ◽  
pp. 1067-1088 ◽  
Author(s):  
GABY RÄDEL ◽  
ROLF BEYER
Keyword(s):  
Standard Model ◽  
High Precision ◽  
Electron Scattering ◽  
Higher Order ◽  
Experimental Results ◽  
Tree Level ◽  
Weak Neutral Currents ◽  
The Standard Model ◽  
Important Input ◽  
Higher Order Corrections

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.

Obstacles Perception for Serpentine Robot Based on Optical Flow Modules and Multi-Sensor Fusion

2011 ◽  
Vol 55-57 ◽  
pp. 1699-1704
Author(s):  
Jie Zhao ◽  
Zhen Feng Han ◽  
Gang Feng Liu ◽  
Yong Min Yang
Keyword(s):  
Mobile Robot ◽  
Optical Flow ◽  
Real Time ◽  
Sensor Fusion ◽  
Image Sequence ◽  
Higher Order ◽  
Experimental Results ◽  
New Approach ◽  
Environment Perception ◽  
Indoor And Outdoor

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.

scholarly journals A Method to Determine Material Length Scale Parameters in Elastic Strain Gradient Theory

2019 ◽  
Vol 87 (3) ◽  
Author(s):  
Jingru Song ◽  
Yueguang Wei
Keyword(s):  
Strain Gradient ◽  
Size Effects ◽  
Elastic Strain ◽  
Higher Order ◽  
Experimental Results ◽  
Strain Gradient Theory ◽  
Gradient Theory ◽  
Length Scale ◽  
Face Centered Cubic ◽  
Scale Parameters

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