P systems generating iso-plcture languages

P systems generating rectangular arrays and hexagonal arrays have been studied in the literature,bringing together the two areas of theoretical computer science,namely membrane computing and picture languages.Recently,a new class of picture languages called the class of iso-picture languages generating interesting picture languages has been introduced.In this paper,we develop a class of tissue-like P systems with active membranes as a generative device for iso-picture languages.     

P Systems Generating Iso-Picture Languages

P systems generating rectangular arrays and hexagonal arrays have been studied in the literature, bringing together the two areas of theoretical computer science, namely membrane computing and picture languages. Recently a new class of picture languages called the class of iso-picture languages generating interesting picture lan-guages have been introduced . In this paper, we develop a class of tissue-like P systems with active membranes as a generative device for iso-picture languages.     

P systems with array objects and array rewriting rules

Array P systems were introduced by Paun Gh. which is linking the two areas of membrane computing and picture grammars. Puzzle grammars were introduced by us for generating connected picture arrays in the two-dimensional plane, motivated by the problem of tiling the plane. On the other hand, incorporating into arrays the developmental type of generation used in the well-known biologically motivated L systems, Siromoney and Siromoney proposed a very general rectangular array generating model, called extended controlled tabled L array system (ECTLAS). In this paper we introduce two variations of the array P system, called BPG array P system and parallel array P system. The former has in the regions array objects and basic puzzle grammar rules (BPG), which are a specific kind of puzzle grammar rules. In the latter, the regions have rectangular array objects and tables of context-free rules. We examine these two types of P systems for their array generative power.     

P systems with array objects and array rewriting rules

Array P systems were introduced by Paun Gh. which is linking the two areas of membrane computing and picture grammars. Puzzle grammars were introduced by us for generating connected picture arrays in the two-dimensional plane, motivated by the problem of tiling the plane. On the other hand, incorporating into arrays the developmental type of generation used in the well-known biologically motivated L systems, Siromoney and Siromoney proposed a very general rectangular array generating model, called extended controlled tabled L array system (ECTLAS). In this paper we introduce two variations of the array P system, called BPG array P system and parallel array P system. The former has in the regions array objects and basic puzzle grammar rules (BPG), which are a specific kind of puzzle grammar rules. In the latter, the regions have rectangular array objects and tables of context-free rules. We examine these two types of P systems for their array generative power.     

Quantum coherence and entanglement with ultracold atoms in optical lattices

At nanokelvin temperatures, ultracold quantum gases can be stored in optical lattices, which are arrays of microscopic trapping potentials formed by laser light. Such large arrays of atoms provide opportunities for investigating quantum coherence and generating large-scale entanglement, ultimately leading to quantum information processing in these artificial crystal structures. These arrays can also function as versatile model systems for the study of strongly interacting many-body systems on a lattice.     

一种实现IBMPC高级语言图形输出功能的有效方法

IBM PC是目前使用最为广泛的个人计算机,配置于IBM PC上的多种高级语言至今还不具备图形辅出功能。本文介绍了一种通过高级语言和具有基本图形功能的BASIC语言共享图形文件的方式实现了图形辅出功能的方法,并给出一个绘制复杂图形的应用实例。     

有关两类特殊组合数的若干结论

引进了特殊数P(r,n,k)和Leibniz数R(n,k)的定义,并利用Riordan阵、发生函数和定积分等方法得到了一些关于两类特殊数的新结论;利用Laplace方法讨论了包含P(r,n,k)和Leibniz数R(n,k)的和式的渐近性.     

计算机图形生成算法的可视化研究

传统的计算机图形学教学都是以理论文稿附以静态图片的形式讲授.文章提出了一种计算机图形学图形生成算法可视化的方法,在VC 6.0环境下,通过对计算机执行程序过程的有效控制,实现了算法显示和图形生成的同步可视化演示,开发了一套计算机图形学可视化教学演示系统CAI,弥补了传统教学的不足,有效提高了课程的教学质量.     

Some variants of SAT and their properties

A new model for the well-known problem, the satisfiablility problem of boolean formula (SAT), is introduced. Based on this model, some variants of SAT and their properties are presented. Denote by NP the class of all languages which can be decided by a non-deterministic polynomial Turing machine and by P the class of all languages which can be decided by a deterministic polynomial-time Turing machine. This model also allows us to give another candidate for the natural problems in ((NP-NPC)-P), denoted as NPI, under the assumption P≠NP, where NPC represents NP-complete. It is proven that this candidate is not in NPC under P≠NP. While, it is indeed in NPI under some stronger but reasonable assumption, specifically, under the Exponential-Time Hypothesis (ETH). Thus we can partially solve this long standing important open problem.     

现代装饰画在环境设计中的独特运用

针对现代装饰画在环境设计中的广泛运用，介绍了现代装饰画新的材质、新的表现形式，以及在环境设计中的具体运用和如何使之具备改善环境的装饰作用。指出了设计符合环境需求的装饰画，应采用不同的设计语言，使之与空间效果协调，与人的情感需求吻合。     

A Survey of Language-Based Approaches to Cyber-Physical and Embedded System Development

As computers continue to advance, they are becoming more capable of sensing, interacting, and communicating with the physical and cyber world. Medical devices, electronic braking systems in automotive applications, and industrial control systems are examples of the many Cyber-Physical Systems(CPS) that utilize these computing capabilities. Given the potential consequences of software related failures in such systems, a high degree of safety, security, and reliability is often required. Programming languages are important tools used by programmers to develop CPS. They provide a programmer with the ability to transform designs into machine code. Of equal importance is their ability to detect and avoid programming mistakes. The development of CPS has predominantly been accomplished using the C programming language. Although C is a powerful language, it lacks features present in other languages that facilitate the development of reliable systems. This has prompted research into language-based alternatives for improving program quality through the use of programming languages. This paper presents an overview of the characteristics of embedded and cyber-physical systems and the associated requirements imposed on programming languages. This is followed by a survey of relevant research into languagebased methods for creating safe, reliable, and robust software for CPS.     

半群语言与正规语言

利用三元关系定义半群语言(半群的子集),初步讨论了半群语言的代数性质,然后证明了非空有限集合∑上的自由半群∑*的半群语言类与有穷状态自动机所接受的正规语言类是一致的。     

RGDL语义结构的面向对象模型及翻译方法

分析报表描述语言ＲＧＤＬ与一般高级语言在语义上的明显差异后，给出一种新的语义描述方法和翻译方法，重点介绍ＲＧＤＬ语义结构建模技术、面向对象的语义子程序设计以及目标代码生成系统的总体构成等。     

嵌入式系统中同步式语言的智能化

分析嵌入式系统中同步式语言的特征和智能特性方面的不足,提出嵌入式系统同步式语言智能化扩充时应增加的设施,并给出智能化同步式语言的具体模型.     

粒子系统方法及其应用

介绍了粒子系统方法的基本思想、生成粒子系统某瞬间的画面的基本步骤，并讨论了3D Stu-dio MAX3.0中的粒子系统及其应用。     

以概率P进入和服务时间为Erlang分布的可修排队模型

在服务时间为Erlang分布的排队模型的基础上,考虑服务台可以损坏并进行维修,且顾客到达后以概率P进入服务台接受服务。研究一个以概率P进入和服务时间为Erlang分布的可修排队模型,通过求解模型方程组得到了系统的瞬态队长母函数,稳态队长母函数和系统的一些可靠性指标。     

基于蒙太古语义学和受控自然语言的文献信息系统的实现

基于蒙太古语义学(MS)和受控自然语言(CNL)的文献信息系统,兼具传统文献检索分类法的"符号化"和主题法的"规范词"的特点,并带有复杂的语法和语义功能;从而可以大大提高文献信息的检索和利用效率,还能自动生成规范的文献摘要,并完成不同语言之间的自动翻译.尝试实现这种文献信息系统的结构,其中包括构建语词的范畴分类和语句的函数表达式,以及自然语言-形式语言、中文-英文之间的映射(翻译)等;最后设计一个应用程序以验证该系统的若干功能.本研究表明:这种全新概念的信息组织和管理系统是可行的.     

一种具有负载平衡的虚拟计算环境拓扑

通过分析典型P2P系统的拓扑结构特征,提出一种包括产生、成长和成熟运行的三阶段支持多节点同时并行加入的iVCE拓扑生成方法。研究结果表明：该方法可以产生结构稳定、具有负载均衡能力的网络拓扑结构。其超级节点度呈现一种正态分布特征,平均节点间最短路径长度显示拓扑具有小世界特征;该拓扑生成方法可为研究、设计实际的iVCE系统仿真提供支持。     

并发语言OCCAM的指称语义

在研究关于CSP并发指称语义的不同研究方法的基础之上，利用广义状态的概念和完间作为指称的方法，讨论了OCCAM的一个子集OCCAM/TOY的并发语义。针对目前交垒并发语义研究方法的问题和不足，首先在OCCAM/TOY的语法中经入了一类具体的原子语句，并从语义上考虑了原子语句的语义对整个程序语义的影响；其次，对于通常语义方法中合并处理的一对通信原语的一次通信分开处理，描述了单个通信步骤的语义及其对程序的影响。在构造语义域时，利用完备距离空间作为指称，讨论了在距离空间范畴中语义域议程的解的存在性；并且在定义域时，保证了递归定义的语义函数的存在性。给出了OCCAM/TOY的完全意义上的并发指称语义，既体现了由于并发而导致的执行过程的不确定性，又反映了并发导致的执行效果的不确定性。     

数字阵列转化的讨论

利用置换群将阵列分为两个等价类,两类阵列之间不能互化,同类阵列间可以互化,给出了将任意陈列移成标准阵列的算法．