检索结果-内蒙古大学图书馆

Unexpected universality results for three classes of P systems with symport/antiport

Natural Computing 2003年第4期2卷 337-348页

作者： Ionescu, Mihai Martín-Vide, Carlos Pǎun, Andrei Pǎun, Gheorghe Faculty of Mathematics University of Bucharest 70109 Bucharest Str. Academiei 14 Romania Research Group on Math. Linguistics Rovira i Virgili University 43005 Tarragona Pl. Imperial Tárraco 1 Spain Department of Computer Science University of Western Ontario London Ont. N6A 5B7 Canada Research Group on Math. Linguistics Inst. of Math. of the Romanian Acad. 70700 Bucharest PO Box 1-764 Romania

Symport and antiport are biological ways of transporting molecules through membranes in "collaborating" pairs;in the case of symport the two molecules pass in the same direction, in the case of antiport the two molecules pass in opposite directions. Here we first survey the results about the computing power of membrane systems (P systems) using only symport/antiport rules (hence these systems compute by communication only), then we consider a recently introduced, way of defining the result of a computation in a membrane system: looking for the trace of certain objects in their movement through membranes. Rather unexpected, in this way we get characterizations of recursively enumerable languages by means of membrane systems with symport/antiport which work with multisets of objects (note the qualitative difference between the data structure used by computations - multisets: no ordering - and the data structure of the output - strings: linear ordering). A similar remark holds true for the case of analysing P systems, which work in an automata-like manner: the sequence of certain distinguished objects taken from the environment during a computation is the string recognized by the computation. We also survey universality results from this area, with sketched proofs. Some open problems are also formulated. © 2003 Kluwer acad.mic Publishers.

关键词： Chomsky hierarchy Membrane computing P system Turing computability

来源：评论

学校读者我要写书评

暂无评论

A New Boundary Control Method for Beam Equation With Delayed Boundary Measurement Using Modified Smith Predictors

A New Boundary Control Method for Beam Equation With Delayed...

引用

42nd IEEE Conference on Decision and Control

作者： Liang, Jinsong Chen, YangQuan Guo, Bao-Zhu Ctr. Self-Organizing/Intelligent S. Dept. of Electrical Engineering Utah State University 4160 Old Main Hill Logan UT 84322-4160 United States Institute of Systems Sciences Acad. of Math. and System Sciences Academia Sinica Beijing 100080 China

The Smith predictor and its variants are applied to the boundary control of Euler-Bernoulli beam equation with delayed boundary measurement to solve the well-known instability problem due to a small time delay. Simula... 详细信息

关键词： system stability

来源：评论

学校读者我要写书评

暂无评论

REGULARITY OF WEAK SOLUTION TO P-LAPLACIAN WITH MEASURABLE COEFFICIENT

引用

Annals of Differential Equations 2003年第1期19卷 118-125页

作者：周树清王远弟文海英 Wuhan Inst. of Phy. and Math. Chinese Acad. of Sci. Wuhan 430071 Dept. of Math. Hunan Norm. Univ. Changsha 410081 Dept. of Math. Shanghai Univ. Shanghai 201800 Dept. of Computer Science in Lingling College Yongzhou 425006

Holder continuity and C1-regularity for the weak solution in W1,p to P-Laplacianwith measurable coefficient were obtained.

Holder continuity and C1-regularity for the weak solution in W1,p to P-Laplacian with measurable coefficient were obtained.

关键词： P-Laplacian Holder continuity and C1-regularity

来源：评论

学校读者我要写书评

暂无评论

From Watson-Crick L systems to Darwinian P systems

引用

Natural Computing 2003年第3期2卷 299-318页

作者： Csuhaj-Varjú, Erzsébet Martín-Vide, Carlos Pǎaun, Gheorgh Salomaa, Arto Computer/Automation Research Inst. Hungarian Academy of Sciences 1111 Budapest Kende u. 13-17 Hungary Research Group on Math. Linguistics Rovira i Virgili University 43005 Tarragona Pl. Imperial Tárraco 1 Spain Inst. of Math. of the Romanian Acad. 70700 Bucureşti P.O. Box 1-764 Romania Turku Centre for Computer Science 20520 Turku Lemminkäisenkatu 14A Finland

Watson-Crick L systems are language generating devices making use of Watson-Crick complementarity, a fundamental concept of DNA computing. These devices are Lindenmayer systems enriched with a trigger for complementarity transition: if a "bad" string is obtained, then the derivation continues with its complement which is always a "good" string. Membrane systems or P systems are distributed parallel computing models which were abstracted from the structure and the way of functioning of living cells. In this paper, we first interpret the results known about the computational completeness of Watson-Crick E0L systems in terms of membrane systems, then we introduce a related way of controlling the evolution in P systems, by using the triggers not in the operational manner (i.e., turning to the complement in a "bad" configuration), but in a "Darwinian" sense: if a "bad" configuration is reached, then the system "dies", that is, no result is obtained. The triggers (actually, the checkers) are given as finite state multiset automata. We investigate the computational power of these P systems. Their computational completeness is proved, even for systems with non-cooperative rules, working in the non-synchronized way, and controlled by only two finite state checkers;if the systems work in the synchronized mode, then one checker for each system suffices to obtain the computational completeness. © 2003 Kluwer acad.mic Publishers.

关键词： L system Membrane computing P system Recursively enumerable language Watson-Crick complementarity

来源：评论

学校读者我要写书评

暂无评论

On dispatching unequally capable service technicians

引用

IMA Journal of Management math.matics 2002年第3期13卷 153-165页

作者： Lai, K.K. Liu, Ke Liu, Jianyong Department of Management Sciences City University of Hong Kong Hong Kong Hong Kong Institute of Applied Mathematics Acad. of Math. and System Sciences Chinese Academy of Science Beijing China

A common problem that faces many high-tech electronic product companies is how to effectively provide systems support for their products/machines/systems installed at various customer sites using different levels of technical personnel. The problem can be viewed as a model with multiple level servers and multiple volume demands. In this paper, a semi-Markov decision process with average criterion has been employed to formulate the dynamics of the system. Optimal policies for human resource allocation decision with minimum costs have been derived and the loss rate for customer requests has been considered. We prove that the embedding Markov chain is ergodic, induced by any stationary deterministic policy. We obtain some related parameters which can answer questions from managers. We also provide some numerical examples.

关键词： Loss rate Manpower planning Markov decision process Optimal policy

来源：评论

学校读者我要写书评

暂无评论

A global solution of the Einstein-Yang-Mills equation on the conformal space

引用

science in China, Series A: math.matics, Physics, Astronomy 2002年第3期45卷 342-355页

作者： Lu, Qikeng Institute of Mathematics Acad. of Math. and Systems Science Chinese Academy of Sciences Beijing 100080 China

The method used to construct the SU(2) Yang-Mills field on a compactified Minkowski space M over-bar (which is equivalent to the conformal space) is generalized to construct an SU(N)(N > 2) Yang-Mills field Fjk on M over-bar . It is proved that both Fjk and the invariant metric tensor gjk of M over-bar satisfy the Einstein-Yang-Mills equation. The case of N -> infinity is also discussed.

关键词： Conformal space Einstein-Yang-Mills equation Large N limit Su(N)-connection

来源：评论

学校读者我要写书评

暂无评论

An adaptive trust region method and its convergence

引用

science in China, Series A: math.matics, Physics, Astronomy 2002年第5期45卷 620-631页

作者： Zhang, Xiangsun Zhang, Juliang Liao, Lizhi Acad. of Math. and System Sciences Chinese Academy of Sciences Beijing 100080 China Department of Mathematics Hong Kong Baptist University Kowloon Tong Hong Kong

In this paper, a new trust region subproblem is proposed. The trust radius in the new subproblem adjusts itself adaptively. As a result, an adaptive trust region method is constructed based on the new trust region subproblem. The local and global convergence results of the adaptive trust region method are proved. Numerical results indicate that the new method is very efficient.

关键词： Global convergence Super-linear convergence Trust region method Unconstrained optimization

来源：评论

学校读者我要写书评

暂无评论

Gradient-based policy iteration: An example

Gradient-based policy iteration: An example

引用

41st IEEE Conference on Decision and Control

作者： Cao, Xi-Ren Fang, Hai-Tao Dept. of Elec. and Electron. Eng. Hong Kong Univ. of Sci. and Technol. Clear Water Bay Kowloon Hong Kong Inst. of Systems Science Acad. of Math. and Syst. Sci. Chinese Academy of Sciences Beijing 100080 China

Recent research indicates that perturbation analysis (PA), Markov decision processes (MDP), and reinforcement learning (RL) are three closely-related areas in discrete event dynamic system optimization. In particular, it was shown that policy iteration in fact chooses the policy that has the steepest performance gradient (provided by PA) for the next iteration. This sensitivity point of view of MDP leads to some new research topics. In this note, we propose to implement policy iteration based on performance gradients. This approach is particularly useful when the actions at different states are correlated and hence the standard policy iteration cannot apply. We illustrate the main ideas with an example of M/G/1/N queue and identify some further research topics.

关键词： Discrete time control systems

来源：评论

学校读者我要写书评

暂无评论

Bicriterion optimization problems for power transmitting line

Bicriterion optimization problems for power transmitting lin...

引用

International Seminar/Workshop on Direct and Inverse Problems of Electromagnetic and Acoustic Wave Theory (DIPED)

作者： O.V. Kusyi S.S. Shaposhnikov R.B. Vaganov N.N. Voitovich Institute of Radio Engineering and Electronics Russian Academy of Science Moscow Russia Pidstryhach Inst. of Appl. Problems of Mech. & Math. Nat. Acad. of Sci. of Ukraine Lviv Ukraine

Two bicriterion optimization problems consisting of the minimization of functionals, describing the energy and ecology requirements (transmission efficiency, surface usage, side radiation) are considered. A numerical ... 详细信息

关键词： Rectennas Polynomials Environmental factors math.matics Power engineering and energy Space power stations Satellite ground stations Safety Minimization methods

来源：评论

学校读者我要写书评

暂无评论

Recovery of the scale-ε2 pattern by lattice BGK model

引用

Communications in Nonlinear science and Numerical Simulation 2001年第1期6卷 40-44页

作者： Guangwu YAN and Li YUAN (Institute of Computational math.matics, acad.my of math.matics and system sciences, Chinese acad.my of sciences, Beijing 100080, China Department of math.matics, Jinn University, Chongchun 130023, China) Inst. of Computational Mathematics Acad. of Math. and System Sciences Chinese Academy of Sciences Beijing 100080 China Department of Mathematics Jilin University Changchun 130023 China

A lattice BGK method for nonlinear chemical reactions is described. Since the equation does not possess the convect terms, we can easily get the equilibrium distribution functions of the lattice BGK models. Using this... 详细信息

关键词： lattice BGK method Turing pattern mosaic structure

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：