Lean construction has been newly applied to construction industry. The best performance of a project can be achieved through the precise definition of construction product, rational work break structure, lean supply c...Lean construction has been newly applied to construction industry. The best performance of a project can be achieved through the precise definition of construction product, rational work break structure, lean supply chain, decrease of resources waste, objective control and so forth. Referring to the characteristics of schedule planning of construction projects and lean construction philosophy, we proposed optimizing methodology of real-time and dynamic schedule of construction projects based on lean construction. The basis of the methodology is process reorganization and lean supply in construction enterprises. The traditional estimating method of the activity duration is fuzzy and random;however, a newly proposed lean forecasting method employs multi-components linear-regression, back-propagation artificial neural networks and learning curve. Taking account of the limited resources and the fixed duration of a project, the optimizing method of the real-time and dynamic schedule adopts the concept of resource driving. To optimize the schedule of a construction project timely and effectively, an intellectualized schedule management system was developed. It can work out the initial schedule, optimize the real-time and dynamic schedule, and display the schedule with the Gant Chart, the net-work graph and the space-time line chart. A case study was also presented to explain the proposed method.展开更多
A simple and adaptive lossless compression algorithm is proposed for remote sensing image compression, which includes integer wavelet transform and the Rice entropy coder. By analyzing the probability distribution of ...A simple and adaptive lossless compression algorithm is proposed for remote sensing image compression, which includes integer wavelet transform and the Rice entropy coder. By analyzing the probability distribution of integer wavelet transform coefficients and the characteristics of Rice entropy coder, the divide and rule method is used for high-frequency sub-bands and low-frequency one. High-frequency sub-bands are coded by the Rice entropy coder, and low-frequency coefficients are predicted before coding. The role of predictor is to map the low-frequency coefficients into symbols suitable for the entropy coding. Experimental results show that the average Comprcssion Ratio (CR) of our approach is about two, which is close to that of JPEG 2000. The algorithm is simple and easy to be implemented in hardware. Moreover, it has the merits of adaptability, and independent data packet. So the algorithm can adapt to space lossless compression applications.展开更多
Pre-coding aided quadrature spatial modulation(PQSM) is a promising multiple input multiple output(MIMO) transmission technology. The multiuser(MU) detection in PQSM system is investigated in this paper. Based on the ...Pre-coding aided quadrature spatial modulation(PQSM) is a promising multiple input multiple output(MIMO) transmission technology. The multiuser(MU) detection in PQSM system is investigated in this paper. Based on the known channel state information, pre-coding matrix is designed to pre-process the in-phase and quadrature signals of quadrature spatial modulation(QSM) to reduce the inter-channel interference. In order to lower the complexity at the receiver brought by the orthogonality of the PQSM system, an orthogonal matching pursuit(OMP) detection algorithm and a reconstructed model are proposed. The analysis and simulation results show that the proposed algorithm can obtain a similar bit error rate(BER) performance as the maximum likelihood(ML) detection algorithm with more than 80% reduction of complexity.展开更多
Investigated the properties of LUCas sequence(LUC), the paper proposed a new variant of (probabilistic) public-key encryption scheme. Security analysis of the proposed encryption schemes shows that its one-wayness is ...Investigated the properties of LUCas sequence(LUC), the paper proposed a new variant of (probabilistic) public-key encryption scheme. Security analysis of the proposed encryption schemes shows that its one-wayness is equivalent to partial LUC discrete logarithm problem in ZN, and for the proposed probabilistic encryption scheme, its semantic security is equivalent to decisional LUC Diffie-Hellman problem in ZN. At last, the efficiency of the proposed schemes is briefly analyzed.展开更多
In this paper,an oil well production scheduling problem for the light load oil well during petroleum field exploitation was studied.The oil well production scheduling was to determine the turn on/off status and oil fl...In this paper,an oil well production scheduling problem for the light load oil well during petroleum field exploitation was studied.The oil well production scheduling was to determine the turn on/off status and oil flow rates of the wells in a given oil reservoir,subject to a number of constraints such as minimum up/down time limits and well grouping.The problem was formulated as a mixed integer nonlinear programming model that minimized the total production operating cost and start-up cost.Due to the NP-hardness of the problem,an improved particle swarm optimization(PSO) algorithm with a new velocity updating formula was developed to solve the problem approximately.Computational experiments on randomly generated instances were carried out to evaluate the performance of the model and the algorithm's effectiveness.Compared with the commercial solver CPLEX,the improved PSO can obtain high-quality schedules within a much shorter running time for all the instances.展开更多
This paper proposed four types of differential modulation to map the unitary code into the orthogonal frequency division multiplexing(OFDM) signal. The time-varying channel model is established and the norm of detecti...This paper proposed four types of differential modulation to map the unitary code into the orthogonal frequency division multiplexing(OFDM) signal. The time-varying channel model is established and the norm of detection metric is deduced. The norm is the inherent interference of the time-varying channel, so it can be used as criterion to evaluate the performance of the mapping schemes. The simulation results agree with the analytic conclusion.展开更多
To maximize the aggregate throughput achieved in heterogeneous networks, this paper investigates inter-session network coding for the distribution of layered source data. We define inter-layer hierarchical random line...To maximize the aggregate throughput achieved in heterogeneous networks, this paper investigates inter-session network coding for the distribution of layered source data. We define inter-layer hierarchical random linear network codes (IHRLNC), which not only take the flexibility of intersession network coding for layer mixing but also consider the strict priority inherent in the layered source data. Furthermore, we propose the inter-layer hierarchical multicast (IHM), which performs IHRLNC in the network such that each sink can recover some source layers according to its individu- al capacity. To determine the optimal type of IHRLNC that should be performed on each edge in IHM, we formulate an optimization problem based on 0-1 integer linear programming, and propose a heuristic approach to approximate the optimal solution in polynomial time. Simulation results show that the proposed IHM can achieve throughput gains over the layered muhicast schemes.展开更多
This paper proposes a new coordination method for multi-robot system.The state space for a multi-robot system is constructed according to the task requirements and system characteristics.Reachable statefor the system ...This paper proposes a new coordination method for multi-robot system.The state space for a multi-robot system is constructed according to the task requirements and system characteristics.Reachable statefor the system is constrained by the system s internal and external constraints,under which the task isexecutable if there exists a state transition trajectory from the initial to the goal state in its state space.Ifthe task is realizable,the feasible or the optimal strategy for task execution could then be investigated inthe state space.Otherwise,the task could be modified to be realizable via adjusting system s configura-tions and/or task constraints,which provides critical guidance for system reconstructions.This con-tributes to the designing and planning of the robotic tasks.Experiments of multi-robot formation movementare conducted to show the validity of the proposed method.展开更多
To gain the tradeoff between lower sidelobe and higher power amplifiers efficiency,a transmitting beam shaping scheme with limited amplitude weight values for satellite active phased array antenna is presented. The sc...To gain the tradeoff between lower sidelobe and higher power amplifiers efficiency,a transmitting beam shaping scheme with limited amplitude weight values for satellite active phased array antenna is presented. The scheme is implemented by a dual coding genetic algorithm(GA). Phase and amplitude of array weight vectors for beam shaping are encoded by real coding and finite length binary coding,respectively,which,maintaining accuracy of results,reduces the amplitude dynamic range and improves the efficiency of power amplifiers. The presented algorithm,compared with complex-coded GA,increases the convergence rate due to the search space's decrease. In order to overcome the prematurity and obtain better global optimization or quasi-global optimization,a new dual coding GA based on "species diversity retention" strategy and adaptive crossover and mutation probability are presented.展开更多
Myogenesis is a complex process required for skeletal muscle formation during embryonic development and for regeneration and growth of myofibers in adults. Accumulating evidence suggests that long non-coding RNAs (In...Myogenesis is a complex process required for skeletal muscle formation during embryonic development and for regeneration and growth of myofibers in adults. Accumulating evidence suggests that long non-coding RNAs (IncRNAs) play key roles in regulating cell fate decision and function in various tissues. However, the role of IncRNAs in the regulation of myogenesis remains poorly understood. In this study, we identifed a novel muscle-enriched IncRNA called 'Myolinc (AK142388)', which we functionally characterized in the C2C12 myoblast cell line. Myolinc is predominately localized in the nucleus, and its levels increase upon induction of the differ-entiation. Knockdown of Myolinc impairs the expression of myogenic regulatory factors and formation of multi-nucleated myotubes in cultured myoblasts. Myolinc also regulates the expression of Filipl in a cis-manner. Similar to MyoUnc, knockdown of FiUpl inhi-bits myogenic differentiation. Furthermore, Myolinc binds to TAR DNA-binding protein 43 (TDP-43), a DNA/RNA-binding protein that regulates the expression of muscle genes (e.g. Actal and MyoD). Knockdown of TDP-43 inhibits myogenic differentiation. We also show that Myolinc-TDP-43 interaction is essential for the binding of TDP-43 to the promoter regions of muscle marker genes. Finally, we show that silencing of Myolinc inhibits skeletal muscle regeneration in adult mice. Altogether, our study identifies a novel IncRNA that controls key regulatory networks of myogenesis.展开更多
Karhunen-Loeve transform (KLT) is the optimal transform that minimizes distortion at a given bit allocation for Gaussian source. As a KLT matrix usually contains non-integers, integer-KLT design is a classical probl...Karhunen-Loeve transform (KLT) is the optimal transform that minimizes distortion at a given bit allocation for Gaussian source. As a KLT matrix usually contains non-integers, integer-KLT design is a classical problem. In this paper, a joint reversibility-gain (R-G) model is proposed for integer-KLT design in video coding. Specifically, the 'reversibility' is modeled according to distortion analysis in using forward and inverse integer transform without quantization. It not only measures how invcrtible a transform is, but also bounds the distortion introduced by the non-orthonormal integer transform process. The 'gain' means transform coding gain (TCG), which is a widely used criterion for transform design in video coding. Since KLT maximizes the TCG under some assumptions, here we define the TCG loss ratio (LR) to measure how much coding gain an integer-KLT loses when compared with the original KLT. Thus, the R-G model can be explained as follows: subject to a certain TCG LR, an integer- KLT with the best reversibility is the optimal integer transform for a given non-integer-KLT. Experimental results show that the R-G model can guide the design of integer-KLTs with good performance.展开更多
Rather than random degradation products, the 18 to 40 nucleotides(nt) transfer RNA-derived small RNAs(tsRNAs) are RNA species generated specifically from pre-RNAs or mature tRNAs in archaea, bacteria and eukaryotes. R...Rather than random degradation products, the 18 to 40 nucleotides(nt) transfer RNA-derived small RNAs(tsRNAs) are RNA species generated specifically from pre-RNAs or mature tRNAs in archaea, bacteria and eukaryotes. Recent studies from animal systems have shown that tsRNAs are important non-coding RNAs that regulate gene expression at the transcriptional and/or post-transcriptional levels. They are involved in various biological processes, such as cell proliferation, tumor genesis, stress response and intergenerational epigenetic inheritance. In this review, we will summarize the discovery, biogenesis, and function of tsRNAs in higher plants. In addition, analysis on tsRNAs from lower plants is shown.展开更多
Let E be an elliptic curve defined over the field of rational numbers ~. Let d be a square-free integer and let Ed be the quadratic twist of E determined by d. Mai, Murty and Ono have proved that there are infinitely ...Let E be an elliptic curve defined over the field of rational numbers ~. Let d be a square-free integer and let Ed be the quadratic twist of E determined by d. Mai, Murty and Ono have proved that there are infinitely many square-free integers d such that the rank of Ed(Q) is zero. Let E(k) denote the elliptic curve y2 = x3 + k. Then the quadratic twist E(1)d of E(1) by d is the elliptic curve E(d3): y2 = x3+ k3. Let r = 1, 2, 5, 10, 13, 14, 17, 22. Ono proved that there are infinitely many square-free integers d = r (rood 24) such that rankE(-d3)(Q) = 0, using the theory of modular forms. In this paper, we use the class number of quadratic field and Pell equation to describe these square-free integers k such that E(k3)(Q) has rank zero.展开更多
文摘Lean construction has been newly applied to construction industry. The best performance of a project can be achieved through the precise definition of construction product, rational work break structure, lean supply chain, decrease of resources waste, objective control and so forth. Referring to the characteristics of schedule planning of construction projects and lean construction philosophy, we proposed optimizing methodology of real-time and dynamic schedule of construction projects based on lean construction. The basis of the methodology is process reorganization and lean supply in construction enterprises. The traditional estimating method of the activity duration is fuzzy and random;however, a newly proposed lean forecasting method employs multi-components linear-regression, back-propagation artificial neural networks and learning curve. Taking account of the limited resources and the fixed duration of a project, the optimizing method of the real-time and dynamic schedule adopts the concept of resource driving. To optimize the schedule of a construction project timely and effectively, an intellectualized schedule management system was developed. It can work out the initial schedule, optimize the real-time and dynamic schedule, and display the schedule with the Gant Chart, the net-work graph and the space-time line chart. A case study was also presented to explain the proposed method.
文摘A simple and adaptive lossless compression algorithm is proposed for remote sensing image compression, which includes integer wavelet transform and the Rice entropy coder. By analyzing the probability distribution of integer wavelet transform coefficients and the characteristics of Rice entropy coder, the divide and rule method is used for high-frequency sub-bands and low-frequency one. High-frequency sub-bands are coded by the Rice entropy coder, and low-frequency coefficients are predicted before coding. The role of predictor is to map the low-frequency coefficients into symbols suitable for the entropy coding. Experimental results show that the average Comprcssion Ratio (CR) of our approach is about two, which is close to that of JPEG 2000. The algorithm is simple and easy to be implemented in hardware. Moreover, it has the merits of adaptability, and independent data packet. So the algorithm can adapt to space lossless compression applications.
基金partially supported by the National Natural Science Foundation of China (Grant No. 61701063)Scientific and Technological Research Program of Chongqing Municipal Education Commission (No. KJ1600435)
文摘Pre-coding aided quadrature spatial modulation(PQSM) is a promising multiple input multiple output(MIMO) transmission technology. The multiuser(MU) detection in PQSM system is investigated in this paper. Based on the known channel state information, pre-coding matrix is designed to pre-process the in-phase and quadrature signals of quadrature spatial modulation(QSM) to reduce the inter-channel interference. In order to lower the complexity at the receiver brought by the orthogonality of the PQSM system, an orthogonal matching pursuit(OMP) detection algorithm and a reconstructed model are proposed. The analysis and simulation results show that the proposed algorithm can obtain a similar bit error rate(BER) performance as the maximum likelihood(ML) detection algorithm with more than 80% reduction of complexity.
基金Supported by the 973 State Key Project of China (No.G1999035803)the National Natural Science Foundation of China (No.69931010).
文摘Investigated the properties of LUCas sequence(LUC), the paper proposed a new variant of (probabilistic) public-key encryption scheme. Security analysis of the proposed encryption schemes shows that its one-wayness is equivalent to partial LUC discrete logarithm problem in ZN, and for the proposed probabilistic encryption scheme, its semantic security is equivalent to decisional LUC Diffie-Hellman problem in ZN. At last, the efficiency of the proposed schemes is briefly analyzed.
基金Supported by National High Technology Research and Development Program of China(2013AA040704)the Fund for the National Natural Science Foundation of China(61374203)
文摘In this paper,an oil well production scheduling problem for the light load oil well during petroleum field exploitation was studied.The oil well production scheduling was to determine the turn on/off status and oil flow rates of the wells in a given oil reservoir,subject to a number of constraints such as minimum up/down time limits and well grouping.The problem was formulated as a mixed integer nonlinear programming model that minimized the total production operating cost and start-up cost.Due to the NP-hardness of the problem,an improved particle swarm optimization(PSO) algorithm with a new velocity updating formula was developed to solve the problem approximately.Computational experiments on randomly generated instances were carried out to evaluate the performance of the model and the algorithm's effectiveness.Compared with the commercial solver CPLEX,the improved PSO can obtain high-quality schedules within a much shorter running time for all the instances.
文摘This paper proposed four types of differential modulation to map the unitary code into the orthogonal frequency division multiplexing(OFDM) signal. The time-varying channel model is established and the norm of detection metric is deduced. The norm is the inherent interference of the time-varying channel, so it can be used as criterion to evaluate the performance of the mapping schemes. The simulation results agree with the analytic conclusion.
基金Supported by the National Natural Science Foundation of China ( No. 60832001 ).
文摘To maximize the aggregate throughput achieved in heterogeneous networks, this paper investigates inter-session network coding for the distribution of layered source data. We define inter-layer hierarchical random linear network codes (IHRLNC), which not only take the flexibility of intersession network coding for layer mixing but also consider the strict priority inherent in the layered source data. Furthermore, we propose the inter-layer hierarchical multicast (IHM), which performs IHRLNC in the network such that each sink can recover some source layers according to its individu- al capacity. To determine the optimal type of IHRLNC that should be performed on each edge in IHM, we formulate an optimization problem based on 0-1 integer linear programming, and propose a heuristic approach to approximate the optimal solution in polynomial time. Simulation results show that the proposed IHM can achieve throughput gains over the layered muhicast schemes.
基金Supported by the National Natural Science Foundation for Distinguished Young Scholars Abroad (No. 60428303)
文摘This paper proposes a new coordination method for multi-robot system.The state space for a multi-robot system is constructed according to the task requirements and system characteristics.Reachable statefor the system is constrained by the system s internal and external constraints,under which the task isexecutable if there exists a state transition trajectory from the initial to the goal state in its state space.Ifthe task is realizable,the feasible or the optimal strategy for task execution could then be investigated inthe state space.Otherwise,the task could be modified to be realizable via adjusting system s configura-tions and/or task constraints,which provides critical guidance for system reconstructions.This con-tributes to the designing and planning of the robotic tasks.Experiments of multi-robot formation movementare conducted to show the validity of the proposed method.
基金The project supported by National Natural Science Foundation of China (No. 60572095)Research Foundation for Doctors of ZZULI
文摘To gain the tradeoff between lower sidelobe and higher power amplifiers efficiency,a transmitting beam shaping scheme with limited amplitude weight values for satellite active phased array antenna is presented. The scheme is implemented by a dual coding genetic algorithm(GA). Phase and amplitude of array weight vectors for beam shaping are encoded by real coding and finite length binary coding,respectively,which,maintaining accuracy of results,reduces the amplitude dynamic range and improves the efficiency of power amplifiers. The presented algorithm,compared with complex-coded GA,increases the convergence rate due to the search space's decrease. In order to overcome the prematurity and obtain better global optimization or quasi-global optimization,a new dual coding GA based on "species diversity retention" strategy and adaptive crossover and mutation probability are presented.
文摘Myogenesis is a complex process required for skeletal muscle formation during embryonic development and for regeneration and growth of myofibers in adults. Accumulating evidence suggests that long non-coding RNAs (IncRNAs) play key roles in regulating cell fate decision and function in various tissues. However, the role of IncRNAs in the regulation of myogenesis remains poorly understood. In this study, we identifed a novel muscle-enriched IncRNA called 'Myolinc (AK142388)', which we functionally characterized in the C2C12 myoblast cell line. Myolinc is predominately localized in the nucleus, and its levels increase upon induction of the differ-entiation. Knockdown of Myolinc impairs the expression of myogenic regulatory factors and formation of multi-nucleated myotubes in cultured myoblasts. Myolinc also regulates the expression of Filipl in a cis-manner. Similar to MyoUnc, knockdown of FiUpl inhi-bits myogenic differentiation. Furthermore, Myolinc binds to TAR DNA-binding protein 43 (TDP-43), a DNA/RNA-binding protein that regulates the expression of muscle genes (e.g. Actal and MyoD). Knockdown of TDP-43 inhibits myogenic differentiation. We also show that Myolinc-TDP-43 interaction is essential for the binding of TDP-43 to the promoter regions of muscle marker genes. Finally, we show that silencing of Myolinc inhibits skeletal muscle regeneration in adult mice. Altogether, our study identifies a novel IncRNA that controls key regulatory networks of myogenesis.
基金Project supported by the National Natural Science Foundation of China(Nos.61371162 and 61431015)
文摘Karhunen-Loeve transform (KLT) is the optimal transform that minimizes distortion at a given bit allocation for Gaussian source. As a KLT matrix usually contains non-integers, integer-KLT design is a classical problem. In this paper, a joint reversibility-gain (R-G) model is proposed for integer-KLT design in video coding. Specifically, the 'reversibility' is modeled according to distortion analysis in using forward and inverse integer transform without quantization. It not only measures how invcrtible a transform is, but also bounds the distortion introduced by the non-orthonormal integer transform process. The 'gain' means transform coding gain (TCG), which is a widely used criterion for transform design in video coding. Since KLT maximizes the TCG under some assumptions, here we define the TCG loss ratio (LR) to measure how much coding gain an integer-KLT loses when compared with the original KLT. Thus, the R-G model can be explained as follows: subject to a certain TCG LR, an integer- KLT with the best reversibility is the optimal integer transform for a given non-integer-KLT. Experimental results show that the R-G model can guide the design of integer-KLTs with good performance.
基金supported by the General Program of National Natural Science Foundation of China (31471165 to Zhicheng Dong)
文摘Rather than random degradation products, the 18 to 40 nucleotides(nt) transfer RNA-derived small RNAs(tsRNAs) are RNA species generated specifically from pre-RNAs or mature tRNAs in archaea, bacteria and eukaryotes. Recent studies from animal systems have shown that tsRNAs are important non-coding RNAs that regulate gene expression at the transcriptional and/or post-transcriptional levels. They are involved in various biological processes, such as cell proliferation, tumor genesis, stress response and intergenerational epigenetic inheritance. In this review, we will summarize the discovery, biogenesis, and function of tsRNAs in higher plants. In addition, analysis on tsRNAs from lower plants is shown.
文摘Let E be an elliptic curve defined over the field of rational numbers ~. Let d be a square-free integer and let Ed be the quadratic twist of E determined by d. Mai, Murty and Ono have proved that there are infinitely many square-free integers d such that the rank of Ed(Q) is zero. Let E(k) denote the elliptic curve y2 = x3 + k. Then the quadratic twist E(1)d of E(1) by d is the elliptic curve E(d3): y2 = x3+ k3. Let r = 1, 2, 5, 10, 13, 14, 17, 22. Ono proved that there are infinitely many square-free integers d = r (rood 24) such that rankE(-d3)(Q) = 0, using the theory of modular forms. In this paper, we use the class number of quadratic field and Pell equation to describe these square-free integers k such that E(k3)(Q) has rank zero.