The Kina Model. A tool for exploring the spatial population development in China by large scale micro simulation

This paper is on work in progress. The China Model exists and runs fast and usually reliably although it still has very simple behavioural modules that do not produce very reliable results. The purpose of the paper is to present the structure, content, and current state of validity of the model.

The Kina Model. A tool for exploring the spatial population development in China by large scale micro simulation

This paper is on work in progress. The China Model exists and runs fast and usually reliably although it still has very simple behavioural modules that do not produce very reliable results. The purpose of the paper is to present the structure, content, and current state of validity of the model

Projective synchronization analysis for BAM neural networks with time-varying delay via novel control

In this paper, the projective synchronization of BAM neural networks with time-varying delays is studied. Firstly, a type of novel adaptive controller is introduced for the considered neural networks, which can achieve projective synchronization. Then, based on the adaptive controller, some novel and useful conditions are obtained to ensure the projective synchronization of considered neural networks. To our knowledge, different from other forms of synchronization, projective synchronization is more suitable to clearly represent the nonlinear systems’ fragile nature. Besides, we solve the projective synchronization problem between two different chaotic BAM neural networks, while most of the existing works only concerned with the projective synchronization chaotic systems with the same topologies. Compared with the controllers in previous papers, the designed controllers in this paper do not require any activation functions during the application process. Finally, an example is provided to show the effectiveness of the theoretical results

Climate change impact on China food security in 2050

Climate change is now affecting global agriculture and food production worldwide. Nonetheless the direct link between climate change and food security at the national scale is poorly understood. Here we simulated the effect of climate change on food security in China using the CERES crop models and the IPCC SRES A2 and B2 scenarios including CO2 fertilization effect. Models took into account population size, urbanization rate, cropland area, cropping intensity and technology development. Our results predict that food crop yield will increase +3-11 % under A2 scenario and +4 % under B2 scenario during 2030-2050, despite disparities among individual crops. As a consequence China will be able to achieve a production of 572 and 615 MT in 2030, then 635 and 646 MT in 2050 under A2 and B2 scenarios, respectively. In 2030 the food security index (FSI) will drop from +24 % in 2009 to -4.5 % and +10.2 % under A2 and B2 scenarios, respectively. In 2050, however, the FSI is predicted to increase to +7.1 % and +20.0 % under A2 and B2 scenarios, respectively, but this increase will be achieved only with the projected decrease of Chinese population. We conclude that 1) the proposed food security index is a simple yet powerful tool for food security analysis; (2) yield growth rate is a much better indicator of food security than yield per se; and (3) climate change only has a moderate positive effect on food security as compared to other factors such as cropland area, population growth, socio-economic pathway and technology development. Relevant policy options and research topics are suggested accordingly

Study on the diagnostic efficacy of ADNEX model in differentiating metastatic and primary ovarian cancer

Objective: To study the clinical value of the International Ovarian Tumor Analysis(IOTA) ADNEX(the Assessment of Differential NEopasia in the adneXa) model in differentiating metastatic ovarian cancer from primary ovarian cancer. Methods: Patients who underwent transvaginal ultrasonography and operation in our hospital from March 2016 to April 2021 were selected. Preoperative ultrasound examination was performed, and the model prediction results were recorded. Based on the postoperative pathological results， the sensitivity, specificity and area under receiver operating characteristic (ROC) curve of the ADNEX model with and without CA125 in distinguishing metastatic and primary ovarian cancer was calculated. Results: A total of 197 patients with ovarian cancer were enrolled, including 153 patients with primary ovarian cancer (36 patients with stage Ⅰ ovarian cancer, 117 patients with stage Ⅰ-Ⅳ ovarian cancer) and 44 patients with metastatic ovarian cancer. The area under the ROC curve of ADNEX model without CA125 in differentiating metastatic and primary ovarian cancer was 0.621 (95% confidence interval 0.534-0.708), with a sensitivity of 93.2% and a specificity of 31.4%.The area under the ROC curve of ADNEX model with CA125 was 0.810 (95% confidence interval 0.747-0.872), with a sensitivity of 79.5% and a specificity of 69.3%. The difference between the two was statistically significant (P<0.001). Conclusions: ADNEX model has good clinical value in the differentiation of metastatic and primary ovarian cancer. Use of CA125 in ADNEX can improve the diagnostic efficiency of the model

An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts

Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core issue, we propose a technology that enables programmers to focus on design-level properties rather than specific low-level attack patterns. Our proposed technology, called Theorem-Carrying-Transaction (TCT), combines the benefits of runtime checking and symbolic proof. Under the TCT protocol, every transaction must carry a theorem that proves its adherence to the safety properties in the invoked contracts, and the blockchain checks the proof before executing the transaction. The unique design of TCT ensures that the theorems are provable and checkable in an efficient manner. We believe that TCT holds a great promise for enabling provably secure smart contracts in the future. As such, we call for collaboration toward this vision

Research of the Real-time Database in Embedded Configuration Software

In recent years, the application of embedded technology and configuration technology in industrial control is more and more widely. The embedded configuration software which is combined of embedded and configuration has become the inevitable trend in industrial control field. Real-time database system as the core of embedded configuration software, the organizational structure whether reasonable and effective is directly related to the performance of the whole system, affecting field devices real-time communication and data transmission in graphic display interface. Based on a large number of configuration-related papers, this paper deeply researched the real-time database and using three layer storage structures which consist of shared memory, file system and general database. It improves the access efficiency of real-time database and data reliability in a timely manner. DOI : http://dx.doi.org/10.11591/telkomnika.v12i4.4778