scholarly journals The Formalization of The Arithmetic System on The Ground of The Atomic Logic

Author(s):  
T. J. Stepień, L. T. Stepień
Keyword(s):  
2014 ◽  
Vol 519-520 ◽  
pp. 769-774
Author(s):  
Xiu Zhen Wang ◽  
Ri Feng Wang ◽  
Jian Hui Chen ◽  
Wei Quan Gu ◽  
Yue Gu ◽  
...  

Stability, the ability to automatically extract and produce the efficient and accurate results of a defined problem without making epistemic assumptions, is discussed here as a possible memory system for understanding complex cognitive functions of the arithmetical learning. Stability is of top priority because it may typify organization of granule (knowledge-based information unit) structure. Memory efficiencies are that they depend on both linguistic factors and exposure to arithmetic training during granule formation or consolidation, supporting the idea of analog coding of numerical representations. Neuroimaging studies suggest that the parietal lobe as a potential substrate for a domain-specific representation of numeric quantities and associative memory mechanisms in stability, and results from these studies indicate that there may be the organization of number-related processes of stability in the parietal lobe. Stability seems to depend on the automatic information-processing system's response to experiential knowledge combining granularity (degree of detail or precision), maturational constraints, spatial factors (mental number line) and linguistic factors, making it an ideal candidate for understanding how these interactions play out in the cognitive arithmetic system.


Author(s):  
T. J. Stępień ◽  
Ł. T. Stępień
Keyword(s):  

2020 ◽  
Vol 24 (23) ◽  
pp. 17589-17600 ◽  
Author(s):  
Pierluigi Amodio ◽  
Luigi Brugnano ◽  
Felice Iavernaro ◽  
Francesca Mazzia

AbstractWe devise a variable precision floating-point arithmetic by exploiting the framework provided by the Infinity Computer. This is a computational platform implementing the Infinity Arithmetic system, a positional numeral system which can handle both infinite and infinitesimal quantities expressed using the positive and negative finite or infinite powers of the radix $${\textcircled {1}}$$ 1 . The computational features offered by the Infinity Computer allow us to dynamically change the accuracy of representation and floating-point operations during the flow of a computation. When suitably implemented, this possibility turns out to be particularly advantageous when solving ill-conditioned problems. In fact, compared with a standard multi-precision arithmetic, here the accuracy is improved only when needed, thus not affecting that much the overall computational effort. An illustrative example about the solution of a nonlinear equation is also presented.


2013 ◽  
Vol 650 ◽  
pp. 529-536
Author(s):  
Rou Gang Zhou ◽  
Yun Fei Zhou ◽  
Xing Chen

Synchronization data acquistition system with multiple processors is the trend of the modern manufacturing equipment development. Complex high-precision equipment even has hundreds of sensors and they are acquiring data at the same time, the sensors are distributed in dozens of data acquisition cards. The key technology is the acquisition system enable to synchro-gather data from data acquisition cards which base on data bus between them and then sent the gather data to arithmetic system. In order to synchronic data integration, it is required a high-speed and low-latency data channels and a suitable data protocol between data acquisition cards and main control card. This paper introduce a new type of synchronous data acquisition system, through the self-defined data bus and a specific memory allocation mechanism, the data acquisition system can sent the integrate data to arithmetic system through main control card after it get the data from acquisition cards, the transfer delay of data exchange is nanoseconds.


Sign in / Sign up

Export Citation Format

Share Document