Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewri...Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewriting logic was proposed. The powerful tool Ma ude 2.0 is used to implement this specification. In order to present the general ideas in a concr ete case study, a simple and classical example from the literature is adopted to present how to formally spe cify and execute a P system.展开更多
Palletizing robot technology has been applied more and more extensively in logistics automation field.But there are some limitations in the current single-arm palletizing robot that it cannot do effective work in the ...Palletizing robot technology has been applied more and more extensively in logistics automation field.But there are some limitations in the current single-arm palletizing robot that it cannot do effective work in the process of moving back to the taking-end and the mechanical arm has so many freedoms that its control system is relatively complex.Based on the translating cam principle,a novel palletizing robot is designed.The horizontal movement of the palletizing mechanical arm is controlled by changeable outer slides,and the vertical movement is controlled by partitioned up-and-down spindles.To improve palletizing efficiency,the single palletizing mechanical arm is changed into multi-arm.Moreover,to improve its kinematic properties,the acceleration operating performance,joint driving force and palletizing trajectory are optimized through the multi-objective delaminating sequence method.According to the optimization results,the 3D model of the multi-arm palletizing robot is built in Pro/E,and the kinematic simulation is made.The simulation results show that the novel mechanism and optimization parameters are rational and feasible.This novel palletizing robot has the advantages of cam mechanism,so it simplifies the driving mode of palletizing movement and can lower the requirements for controlling system.At the same time,it can increase palletizing efficiency further by adding mechanical arms.展开更多
This letter gives a random construction for Low Density Parity Check (LDPC) codes, which uses an iterative algorithm to avoid short cycles in the Tanner graph. The construction method has great flexible choice in LDPC...This letter gives a random construction for Low Density Parity Check (LDPC) codes, which uses an iterative algorithm to avoid short cycles in the Tanner graph. The construction method has great flexible choice in LDPC code's parameters including codelength, code rate, the least girth of the graph, the weight of column and row in the parity check matrix. The method can be applied to the irregular LDPC codes and strict regular LDPC codes. Systemic codes have many applications in digital communication, so this letter proposes a construction of the generator matrix of systemic LDPC codes from the parity check matrix. Simulations show that the method performs well with iterative decoding.展开更多
South Africa has 11 official languages enshrined in the Constitution of the country. An additional language, sign language was approved as an official language at the end of 2008. The Constitution of the Republic of S...South Africa has 11 official languages enshrined in the Constitution of the country. An additional language, sign language was approved as an official language at the end of 2008. The Constitution of the Republic of South Africa and the South African Schools Act 84 of 1996 emphasise teaching and learning through any mother tongue, a learner would understand best. Section 29(1) of the Constitution of the Republic of South Africa categorically states that: "Everyone has the right to receive education in the official language or languages of their choice in public educational institutions where that education is reasonably practicable". However, most text books written in English have been prescribed at many schools. One is not certain whether the subjects are taught in English or in the indigenous language at these schools. In the end, those teachers use the mother tongue, together with English, in teaching learners. This result in code switching and code mixing takes place in classes, which are meant to facilitate communication across barriers of colour, language, and region, while creating an environment in which respect for languages other than one's own would be encouraged. Teaching and learning in one's mother tongue promotes full participation in the economy of the country. The aim of the paper is to investigate teaching and learning in Vhembe primary schools of the Limpopo Province in South Africa, within the framework of existing legislation. This will be compared with empirical evidence. The researcher seeks to establish what language(s) primary schools use for teaching and learning. Based on this, conclusions and recommendations will be made to assist stakeholders in language-in-education policy formulation.展开更多
In view of the problems of multi-scale changes of segmentation targets,noise interference,rough segmentation results and slow training process faced by medical image semantic segmentation,a multi-scale residual aggreg...In view of the problems of multi-scale changes of segmentation targets,noise interference,rough segmentation results and slow training process faced by medical image semantic segmentation,a multi-scale residual aggregation U-shaped attention network structure of MAAUNet(MultiRes aggregation attention UNet)is proposed based on MultiResUNet.Firstly,aggregate connection is introduced from the original feature aggregation at the same level.Skip connection is redesigned to aggregate features of different semantic scales at the decoder subnet,and the problem of semantic gaps is further solved that may exist between skip connections.Secondly,after the multi-scale convolution module,a convolution block attention module is added to focus and integrate features in the two attention directions of channel and space to adaptively optimize the intermediate feature map.Finally,the original convolution block is improved.The convolution channels are expanded with a series convolution structure to complement each other and extract richer spatial features.Residual connections are retained and the convolution block is turned into a multi-channel convolution block.The model is made to extract multi-scale spatial features.The experimental results show that MAAUNet has strong competitiveness in challenging datasets,and shows good segmentation performance and stability in dealing with multi-scale input and noise interference.展开更多
The nodes number of the hidden layer in a deep learning network is quite difficult to determine with traditional methods. To solve this problem, an improved Kullback-Leibler divergence sparse autoencoder (KL-SAE) is...The nodes number of the hidden layer in a deep learning network is quite difficult to determine with traditional methods. To solve this problem, an improved Kullback-Leibler divergence sparse autoencoder (KL-SAE) is proposed in this paper, which can be applied to battle damage assessment (BDA). This method can select automatically the hidden layer feature which contributes most to data reconstruction, and abandon the hidden layer feature which contributes least. Therefore, the structure of the network can be modified. In addition, the method can select automatically hidden layer feature without loss of the network prediction accuracy and increase the computation speed. Experiments on University ofCalifomia-Irvine (UCI) data sets and BDA for battle damage data demonstrate that the method outperforms other reference data-driven methods. The following results can be found from this paper. First, the improved KL-SAE regression network can guarantee the prediction accuracy and increase the speed of training networks and prediction. Second, the proposed network can select automatically hidden layer effective feature and modify the structure of the network by optimizing the nodes number of the hidden layer.展开更多
基金National Natural Science Foundation ofChina (No. 60173033) and 973 Project( No. 2002CB312002 ) of China, andGrand Project of the Science and Tech-nology Commission of Shanghai Munici-pality ( No. 03dz15027 and No.03dz15028)
文摘Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewriting logic was proposed. The powerful tool Ma ude 2.0 is used to implement this specification. In order to present the general ideas in a concr ete case study, a simple and classical example from the literature is adopted to present how to formally spe cify and execute a P system.
基金Supported by Natural Science Foundation of Shandong Province,China(No.ZR2010EM007)Shandong Province Science and Technology Development Plan(No.2010GGX10402)
文摘Palletizing robot technology has been applied more and more extensively in logistics automation field.But there are some limitations in the current single-arm palletizing robot that it cannot do effective work in the process of moving back to the taking-end and the mechanical arm has so many freedoms that its control system is relatively complex.Based on the translating cam principle,a novel palletizing robot is designed.The horizontal movement of the palletizing mechanical arm is controlled by changeable outer slides,and the vertical movement is controlled by partitioned up-and-down spindles.To improve palletizing efficiency,the single palletizing mechanical arm is changed into multi-arm.Moreover,to improve its kinematic properties,the acceleration operating performance,joint driving force and palletizing trajectory are optimized through the multi-objective delaminating sequence method.According to the optimization results,the 3D model of the multi-arm palletizing robot is built in Pro/E,and the kinematic simulation is made.The simulation results show that the novel mechanism and optimization parameters are rational and feasible.This novel palletizing robot has the advantages of cam mechanism,so it simplifies the driving mode of palletizing movement and can lower the requirements for controlling system.At the same time,it can increase palletizing efficiency further by adding mechanical arms.
基金Supported by the National Natural Science Foundation of China(No.60472053)
文摘This letter gives a random construction for Low Density Parity Check (LDPC) codes, which uses an iterative algorithm to avoid short cycles in the Tanner graph. The construction method has great flexible choice in LDPC code's parameters including codelength, code rate, the least girth of the graph, the weight of column and row in the parity check matrix. The method can be applied to the irregular LDPC codes and strict regular LDPC codes. Systemic codes have many applications in digital communication, so this letter proposes a construction of the generator matrix of systemic LDPC codes from the parity check matrix. Simulations show that the method performs well with iterative decoding.
文摘South Africa has 11 official languages enshrined in the Constitution of the country. An additional language, sign language was approved as an official language at the end of 2008. The Constitution of the Republic of South Africa and the South African Schools Act 84 of 1996 emphasise teaching and learning through any mother tongue, a learner would understand best. Section 29(1) of the Constitution of the Republic of South Africa categorically states that: "Everyone has the right to receive education in the official language or languages of their choice in public educational institutions where that education is reasonably practicable". However, most text books written in English have been prescribed at many schools. One is not certain whether the subjects are taught in English or in the indigenous language at these schools. In the end, those teachers use the mother tongue, together with English, in teaching learners. This result in code switching and code mixing takes place in classes, which are meant to facilitate communication across barriers of colour, language, and region, while creating an environment in which respect for languages other than one's own would be encouraged. Teaching and learning in one's mother tongue promotes full participation in the economy of the country. The aim of the paper is to investigate teaching and learning in Vhembe primary schools of the Limpopo Province in South Africa, within the framework of existing legislation. This will be compared with empirical evidence. The researcher seeks to establish what language(s) primary schools use for teaching and learning. Based on this, conclusions and recommendations will be made to assist stakeholders in language-in-education policy formulation.
基金National Natural Science Foundation of China(No.61806006)Jiangsu University Superior Discipline Construction Project。
文摘In view of the problems of multi-scale changes of segmentation targets,noise interference,rough segmentation results and slow training process faced by medical image semantic segmentation,a multi-scale residual aggregation U-shaped attention network structure of MAAUNet(MultiRes aggregation attention UNet)is proposed based on MultiResUNet.Firstly,aggregate connection is introduced from the original feature aggregation at the same level.Skip connection is redesigned to aggregate features of different semantic scales at the decoder subnet,and the problem of semantic gaps is further solved that may exist between skip connections.Secondly,after the multi-scale convolution module,a convolution block attention module is added to focus and integrate features in the two attention directions of channel and space to adaptively optimize the intermediate feature map.Finally,the original convolution block is improved.The convolution channels are expanded with a series convolution structure to complement each other and extract richer spatial features.Residual connections are retained and the convolution block is turned into a multi-channel convolution block.The model is made to extract multi-scale spatial features.The experimental results show that MAAUNet has strong competitiveness in challenging datasets,and shows good segmentation performance and stability in dealing with multi-scale input and noise interference.
基金Project supported by the National Basic Research Program (973) of China (No. 61331903) and the National Natural Science Foundation of China (Nos. 61175008 and 61673265)
文摘The nodes number of the hidden layer in a deep learning network is quite difficult to determine with traditional methods. To solve this problem, an improved Kullback-Leibler divergence sparse autoencoder (KL-SAE) is proposed in this paper, which can be applied to battle damage assessment (BDA). This method can select automatically the hidden layer feature which contributes most to data reconstruction, and abandon the hidden layer feature which contributes least. Therefore, the structure of the network can be modified. In addition, the method can select automatically hidden layer feature without loss of the network prediction accuracy and increase the computation speed. Experiments on University ofCalifomia-Irvine (UCI) data sets and BDA for battle damage data demonstrate that the method outperforms other reference data-driven methods. The following results can be found from this paper. First, the improved KL-SAE regression network can guarantee the prediction accuracy and increase the speed of training networks and prediction. Second, the proposed network can select automatically hidden layer effective feature and modify the structure of the network by optimizing the nodes number of the hidden layer.