Complex model, say C3, of “para-space” as alternative to the real M4 Minkowski space-time for both relativistic and classical mechanics was shortly introduced as reference to our previous works on that subject. The ...Complex model, say C3, of “para-space” as alternative to the real M4 Minkowski space-time for both relativistic and classical mechanics was shortly introduced as reference to our previous works on that subject. The actual aim, however, is an additional analysis of the physical and para-physical phenomena’ behavior as we formally transport observable mechanical phenomena [motion] to non-real interior of the complex domain. As it turns out, such procedure, when properly set, corresponds to transition from relativistic to more classic (or, possibly, just classic) kind of the motion. This procedure, we call the “Newtonization of relativistic physical quantities and phenomena”, first of all, includes the mechanical motion’s characteristics in the C3. The algebraic structure of vector spaces was imposed and analyzed on both: the set of all relativistic velocities and on the set of the corresponding to them “Galilean” velocities. The key point of the analysis is realization that, as a matter of fact, the relativistic theory and the classical are equivalent at least as for the kinematics. This conclusion follows the fact that the two defined structures of topological vector spaces i.e., the structure imposed on sets of all relativistic velocities and the structure on set of all “Galilean” velocities, are both diffeomorphic in their topological parts and are isomorphic as the vector spaces. As for the relativistic theory, the two approaches: the hyperbolic (“classical” SR) with its four-vector formalism and Euclidean, where SR is modeled by the complex para-space C3, were analyzed and compared.展开更多
OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed execu-tive)OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制。违反系统服务调用规范是一种很隐...OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed execu-tive)OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制。违反系统服务调用规范是一种很隐蔽的错误,不会被编译器发现。提出一种OSEK/VDX OS系统服务调用规范一致性的检测方法,利用森林图描述用户自定义代码中的函数及其调用关系,采用矩阵描述OSEK/VDX OS系统服务调用的规则,遍历该森林图的函数调用路径,对于每条路径,结合该规则矩阵判断其规范一致性。实验和分析表明该方法能有效地检测用户自定义代码中隐藏的违反OSEK/VDX OS系统服务调用规范的错误。展开更多
The conjecture of twin prime numbers is a mathematical problem. Proving the twin prime conjecture using traditional modern number theory is extremely profound and complex. We propose an elementary research method for ...The conjecture of twin prime numbers is a mathematical problem. Proving the twin prime conjecture using traditional modern number theory is extremely profound and complex. We propose an elementary research method for corresponding prime number, proved that the conjecture of twin prime numbers and obtain the corresponding prime distribution equation. According to the distribution rate of corresponding prime numbers, the distribution pattern of twin prime numbers was proved the distribution rate theorem. This is the distribution rate of prime numbers corresponding to composite numbers, which approaches the distribution rate of prime numbers corresponding to integers. Based on the corresponding prime distribution equation, obtain the twin prime inequality function. Then, the formula for calculating twin prime numbers was discussed. There is also the Hardy Littlewood conjecture. This provides a practical and feasible approach for studying the distribution of twin prime numbers.展开更多
With the aim to the quantification of anomaly identification and extraction for observed or analyzed records, we present two statistical methods of earthquake corresponding relevancy spectrum （ECRS） and sliding mean...With the aim to the quantification of anomaly identification and extraction for observed or analyzed records, we present two statistical methods of earthquake corresponding relevancy spectrum （ECRS） and sliding mean relevancy （SMR）. With ECRS method, we can obtain the abnormal confidence attribute of data in different value ranges. Based on the relevancy spectrum in different studied time-intervals, we convert the original time sequence into relevancy time sequence, and can obtain the SMR time series by using the multi-point cumulative sliding mean method. Then we can identify the seismic precursor anomaly. We test this method by taking the time sequence of r/-value in the northern Tianshan region as original data. The result shows that when the studied time-interval is 18 months, the precursor anomaly can be identified bet- ter from sliding mean relevancy. The anomaly corresponding rate is 83 percent, the earthquake corresponding rate is 86 per- cent, and the anomaly is characteristic of the middle term. To try the research on multi-parameter comprehensive application, we take the Kalpin tectonic block in Xinjiang as our studied region, and analyze the spatial and temporal abnormal characters of multi-parameter sliding extreme-value relevancy （MSER） before mid-strong earthquakes in the Kalpin block. The result indicates that ECRS and SMR sequence in different time-intervals can not only be used to identify the precursor anomaly of single-item data, but also offer the data of quantitative single-item anomaly for comprehensive earthquake analysis and prediction.展开更多
The distribution of twin prime numbers is discussed. The research method of corresponding prime number distribution is proposed. The distribution of prime numbers corresponding to integers and composite numbers is dis...The distribution of twin prime numbers is discussed. The research method of corresponding prime number distribution is proposed. The distribution of prime numbers corresponding to integers and composite numbers is discussed. Through the corresponding prime distribution rate of integers and composite numbers, it is found that the corresponding prime distribution rate of composite numbers approaches the corresponding prime distribution rate of integers. The distribution principle of corresponding prime number of composite number is proved. The twin prime distribution theorem is obtained. The number of twin prime numbers is thus obtained. It provides a practical way to study the conjecture of twin prime numbers.展开更多
文摘Complex model, say C3, of “para-space” as alternative to the real M4 Minkowski space-time for both relativistic and classical mechanics was shortly introduced as reference to our previous works on that subject. The actual aim, however, is an additional analysis of the physical and para-physical phenomena’ behavior as we formally transport observable mechanical phenomena [motion] to non-real interior of the complex domain. As it turns out, such procedure, when properly set, corresponds to transition from relativistic to more classic (or, possibly, just classic) kind of the motion. This procedure, we call the “Newtonization of relativistic physical quantities and phenomena”, first of all, includes the mechanical motion’s characteristics in the C3. The algebraic structure of vector spaces was imposed and analyzed on both: the set of all relativistic velocities and on the set of the corresponding to them “Galilean” velocities. The key point of the analysis is realization that, as a matter of fact, the relativistic theory and the classical are equivalent at least as for the kinematics. This conclusion follows the fact that the two defined structures of topological vector spaces i.e., the structure imposed on sets of all relativistic velocities and the structure on set of all “Galilean” velocities, are both diffeomorphic in their topological parts and are isomorphic as the vector spaces. As for the relativistic theory, the two approaches: the hyperbolic (“classical” SR) with its four-vector formalism and Euclidean, where SR is modeled by the complex para-space C3, were analyzed and compared.
文摘OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed execu-tive)OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制。违反系统服务调用规范是一种很隐蔽的错误,不会被编译器发现。提出一种OSEK/VDX OS系统服务调用规范一致性的检测方法,利用森林图描述用户自定义代码中的函数及其调用关系,采用矩阵描述OSEK/VDX OS系统服务调用的规则,遍历该森林图的函数调用路径,对于每条路径,结合该规则矩阵判断其规范一致性。实验和分析表明该方法能有效地检测用户自定义代码中隐藏的违反OSEK/VDX OS系统服务调用规范的错误。
文摘The conjecture of twin prime numbers is a mathematical problem. Proving the twin prime conjecture using traditional modern number theory is extremely profound and complex. We propose an elementary research method for corresponding prime number, proved that the conjecture of twin prime numbers and obtain the corresponding prime distribution equation. According to the distribution rate of corresponding prime numbers, the distribution pattern of twin prime numbers was proved the distribution rate theorem. This is the distribution rate of prime numbers corresponding to composite numbers, which approaches the distribution rate of prime numbers corresponding to integers. Based on the corresponding prime distribution equation, obtain the twin prime inequality function. Then, the formula for calculating twin prime numbers was discussed. There is also the Hardy Littlewood conjecture. This provides a practical and feasible approach for studying the distribution of twin prime numbers.
文摘With the aim to the quantification of anomaly identification and extraction for observed or analyzed records, we present two statistical methods of earthquake corresponding relevancy spectrum （ECRS） and sliding mean relevancy （SMR）. With ECRS method, we can obtain the abnormal confidence attribute of data in different value ranges. Based on the relevancy spectrum in different studied time-intervals, we convert the original time sequence into relevancy time sequence, and can obtain the SMR time series by using the multi-point cumulative sliding mean method. Then we can identify the seismic precursor anomaly. We test this method by taking the time sequence of r/-value in the northern Tianshan region as original data. The result shows that when the studied time-interval is 18 months, the precursor anomaly can be identified bet- ter from sliding mean relevancy. The anomaly corresponding rate is 83 percent, the earthquake corresponding rate is 86 per- cent, and the anomaly is characteristic of the middle term. To try the research on multi-parameter comprehensive application, we take the Kalpin tectonic block in Xinjiang as our studied region, and analyze the spatial and temporal abnormal characters of multi-parameter sliding extreme-value relevancy （MSER） before mid-strong earthquakes in the Kalpin block. The result indicates that ECRS and SMR sequence in different time-intervals can not only be used to identify the precursor anomaly of single-item data, but also offer the data of quantitative single-item anomaly for comprehensive earthquake analysis and prediction.
文摘The distribution of twin prime numbers is discussed. The research method of corresponding prime number distribution is proposed. The distribution of prime numbers corresponding to integers and composite numbers is discussed. Through the corresponding prime distribution rate of integers and composite numbers, it is found that the corresponding prime distribution rate of composite numbers approaches the corresponding prime distribution rate of integers. The distribution principle of corresponding prime number of composite number is proved. The twin prime distribution theorem is obtained. The number of twin prime numbers is thus obtained. It provides a practical way to study the conjecture of twin prime numbers.
