上下文无关语言上的递归函数——I. CFPRF及CFRF的定义

建立上下文无关语言(CFL)上的递归函数理论. 在CFL上定义了函数类CFRF和它的真子类CFPRF，它们可用来十分直接地表述非数值加工算法. 事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数. 提出了证明CFPRF函数性质的结构归纳法，给出一种枚举CFL句子的方法，定义了极小算子. 基于CFL句子枚举，提出了极小算子的求值方法. 最后, 讨论了以CFRF为理论基础的可执行规约语言的设计和实现原则.     

基于DBF的多目标梯度跟踪算法仿真与实现

以均匀圆阵为接收天线阵,在分析梯度跟踪算法原理以及数字波束形成技术原理的基础上,提出了一种DBF技术与CORDIC算法相结合的FPGA实现方案,并用Verilog语言编写了算法程序,给出了电路原理图.使用ISE软件和Modelsim软件进行了仿真验证,仿真结果验证方案的正确性与可行性.     

一种新型形式化程序切片方法

针对目前程序切片方法较单一，且其模块性和程序语言适应性较差，提出一种新型的形式化程序切片方法——基于模块单子语义的切片方法．通过设计切片单子转换器，切片这一类计算被抽象成独立于具体语言的切片单子转换器，它可模块化地加载到实际程序中，得到相应的模块单子切片算法，这种模块化的抽象机制使得单子切片算法具有较强的模块性和语言适应性，还给出切片单子转换器的若干性质，并证明模块单子切片算法的正确性和终止性，同时研究单子切片算法与基于图可达性切片算法间的联系。     

高压微区流动与聚乙烯伸直链晶体束状成核模型

从分析聚乙烯伸直链晶体形成的动力学条件出发，结合乙基纤维素液晶能诱导聚合烯ＥＣＣ生成和高压结晶试样出现分层现象的流动痕迹的实验事实，得出了高压微压流动是ＥＣＣ形成的重要因素这一迄今未见报道的结论，为ＥＣＣ的束状成核模型找到了动力学基础和实验依据，根据晶核形成一消失是相互转化的随机过程这一特点，讨论了束状成核的生长速率Ｇ和表面成速率Ｊ的数学表达式。     

Garden:一种面向领域语言的集成开发环境

随着计算机技术的发展,通用语言已经不能满足各种领域应用程序开发的需要.由于领域语言提供领域专用术语和符号的概念,支持该领域中的各种处理,能够简洁、有效地构造该领域应用程序,因此,领域语言成为当前计算机语言研究中的热点.文中在面向模型的变换型软件开发方法和语言的抽象与封装机制研究的基础上,设计与实现了一种面向语言的领域语言的集成开发环境Garden,它包括软件开发环境和程序开发环境.软件开发环境以GarAda解释器为核心,用于支持领域语言开发的各过程;程序开发环境以领域语言编译器为核心,用于支持领域用户程序开发的各过程.Garden的研制成功,为领域语言的自动生成探索了一条切实可行的途径.     

ConEntity：一种基于进程的自主并发实体编程模型及其实现

摘要本文在虚拟计算环境之上，研究支持具有自主能力、高并发的新型互联网应用开发方法，在已有的基于进程、面向并发的编程模型中引入实体建模机制，扩展出一种兼具进程和自主并发实体的程序设计模型ConEntity，并给出了形式化定义和描述．ConEntity模型具有表达性、并发性和可伸缩性的特点，能对虚拟计算环境资源高效、透明访问．通过扩展Erlang／OTP将其实现为Erlang语言设施UniAgent．本文的模型为在虚拟计算环境上快速直接构建具有自主、高并发能力实体的新型互联网应用提供了模型和语言上的支持．     

韩国科学家发现癌症新成因

韩国科学家最新研究发现，人体内缺乏一种SUMO基因会促使肿瘤形成。这一成果可能有助于开发出抗癌新疗法。     

知识推理的一个模

引入了能描述操不同语言的多ａｇｅｎｔ系统中知识推理的模态逻辑语言及其Ｋｒｉｐｋｅ语义与Ａｕｍａｎｎ语义，为其建立了完备的形式化演绎系统；并构造了多ａｇｅｎｔ系统的逻辑的Ｉｎｓｔｉｔｕｔｉｏｎ。     

模糊图灵机的逼近性与通用性

模糊图灵机是模糊算法或模糊计算的形式模型．文中研究了模糊图灵机的几种变形，这包括基于max-★复合运算的非确定型模糊图灵机（简写为NFTM★，其中★为t-模），非确定型模糊图灵机（简写为NFTM），确定型模糊图灵机（简写为DFTM），以及这些变形的多带版本．得到了以下一些结论：第1，若t-模★不满足有限生成条件，则NFTM★，NFTM和DFTM一般不等价，这里等价指的是识别相同的模糊语言．但在逼近意义下等价，也即，NFTM★可以被NFTM以任意精度逼近，并给出了相关的构造．引入了模糊递归可枚举语言与模糊递归语言的概念，并利用递归可枚举语言与递归语言对其进行层次刻画．第2，如果限制NFTM★的模糊隶属函数的取值域为单位区间[0，1]的一个固定的有限子集D3则存在通用模糊图灵机，用该通用模糊图灵机可以模拟上述类型的限制型模糊图灵机．一般地，通用模糊图灵机在逼近意义下存在，该通用模糊图灵机可以以给定精度模拟任意类型的模糊图灵机．     

文化信息化标准规范CIML建设研究

随着计算机和网络技术的不断发展，信息化建设已成为当今建设的主题。中国作为文明古国有着悠久的历史和丰富的文化资源，因此其文化信息化建设显得尤为重要和复杂。通过对我国文化信息资源的分析，文章通过对文化信息资源分类，用XML语言将其封装，制定了一套文化信息化标准规范，并大胆地提出了CIML和文化信息元数据的概念。有效的解决了由于文化信息化标准不统一，带来的信息采集中数据整理困难和管理中存在的重复做功等现象，推动了文化信息化发展。     

政策驱动下的法国竞争力集群创新生态系统演进与治理研究

法国“竞争力集群计划”已实施近20年，成功培育了一批全球领先的创新型产业集群，形成一套区域创新生态治理的“法国”模式，总结其实践经验，可为我国加快世界级创新型产业集群培育提供参考。本文从政策驱动视角，在分析法国竞争力集群不同发展阶段政策着力点演变的基础上，剖析了其创新生态系统同步演进路径，并进一步总结提出其创新生态治理框架与主要治理策略。研究发现，法国竞争力集群创新生态系统经历了从研发项目驱动到产业现代化与数字化转型驱动的演进路径，并形成了“四级共治”模式下的创新生态治理架构。最后，从创新生态演化的驱动力转换、产学研协同创新服务体系完善、国际化战略牵引，及政府推动与引导作用强化这四方面，对我国加快世界领先科技园区建设给出启示建议。     

水热法制备氧化锌纤维及纳米粉体

介绍了一种新的水热合成技术－－水热盐溶液卸压技术，并由此技术制得了晶粒粒度仅为５ｎｍ的ＺｎＯ粉体和长径比为１６：１的ＺｎＯ纤维，着重研究了在水热条件下制得的ＺｎＯ粉体的晶粒粒度变化以及ＺｎＯ纤维形成的主要原因，提出了由水热法制备粉体时成核速度是影响晶粒度的主要原因，即成核速度越快，制得的粉体的晶粒粒度越小，纤维的形成与水热反应过程在卸压条件下进行有关；与卸压前粉体的结晶程度有关。     

法国科学家利用电化学技术使浸在海水中的舷窗不受污染

采用光学系统工作的深海观测设备所遇到的难题之一，便是观测口上容易结一层生物膜，影响视线。为避免此类污染物的形成，法国国家科学研究中心(CNRS)和“电化学接口和系统试验室”(LISE)的研究人员，合作开发出一种很有前途的电化学保护技术。其原理是采用海水的受控电解，在需要保护的观测孔上产自由氯。有了这种环保的方法，深海摄     

德美科学家借助植物实验获得癌症研究新进展

德国和美国科学家日前联合进行了一项研究，成功地发现了发育基因“RAD51”在模式植物拟南芥中的特性机理。科学家说，由于该基因与遗传行为及肿瘤形成具有密切关系，因此新成果有望为人类征服癌症带来帮助。     

发展中的困境:析我国创投业的法制障碍与改良

法制环境对形塑一国的创投产业起着最为至关重要的作用。我国创投产业在高速发展的过程中，遇到了难以跨越的多方面的法制障碍。要改良我国创投产业的法制环境，形成理想的创投市场结构，应主要从政策支持，多方面的法律修改和立法，转变政府职能，完善行业协会组织来同时入手加以解决。     

全球语言多样性面临危机

世界上的语言尚有6 0 0 0多种,但多数语言的发展前景并不乐观。如果按联合国教科文组织所得出的语言消失速度来预计,2 5 0年后人们可能将只会听到汉语、英语、法语、西班牙语和葡萄牙语等少数几种语言了。联合国教科文组织的新研究发现,全世界有95 %的语言目前只被4 %的人使用,平均每个月就有2种语言消失。该组织呼吁,世界各国应该立即着手解决语言灭绝的问题,把保护语言文化遗产纳入国家教育体系。据尼日利亚《卫报》报道,联合国教科文组织总干事松浦晃一郎认为,实行母语和官方语言的双语教育将会促进孩子的认知发展,增强他们的学习能力,有…     

揭开成化斗彩“差紫”之谜

20世纪50年代末，孙瀛洲先生认为出现在成化斗彩瓷上的“差紫”是原来烧造时所产生的差异色疵。这种观点早已被中国文物界普遍接受。但近20年来景德镇明御器厂遗址出土了数以吨计的成化瓷片，至今从未发现一片带有“差紫”的瓷片。国内无论是文物界还是科技界，几乎没有学者对出现在成化斗彩上的“差紫”提出疑问，并做深入的研究和考证。英国大英博物馆研究实验室的科技人员，曾利用X荧光衍射分析仪对该馆收藏的一件成化斗彩高足杯上的“差紫”进行过无损成分分析，确认“差紫”是由1923年发生在紫禁城中建福宫的火灾造成的色彩损伤。在英国大英博物馆的研究基础上，笔者根据陶瓷工艺学原理，对成化斗彩“差紫”形成的色化学机理，做了深入细致的研究，对“差紫”形成的原因做出了科学合理的解释，并与近代清官历史相结合，揭开了成化斗彩“差紫”之谜，纠正了中国文物界普遍存在的对“差紫”形成的错误认识。证明科技考古是古陶瓷研究深入发展的必然趋势。     

中国计算机产业的下一个亮点--汉语语音合成的实用化

现代社会已经进入数字化信息时代，网络技术和多媒体技术获得迅猛发展，计算机与人之间的互日益频繁，如何使电脑具有类似于人一样的听，说能力，成为自90年代以以来信息产业的研究热点，要建立一个具有听、说能力的计算机语音系统、必需的两项关键技术就是语音识别技术与语音合成技术。同语音识别技术相比， 语音合成技术相对成熟一些，是该领域中近年期最有希望产生突破性进展并形成产业化的技术，而汉语语音合成的实用化更将成为中国计算机产业的一个亮点，近几十年来国际和国内对于语音合成技术的研究主要集中在按规则进行文语转换，即将书面语言转换成口头语言，到目前为止，法语、德语、英语、日语等语种的文语转换系统都已经研制成功，相对而言，中文语音合成技术现在还尚未达到实用化的要求，本文对当前语音合成中热点的文本分析，韵律生成，语音合成三项关键技术进行了剖析，并针对中文的文语特点，指出了中文语音合成技术的难点所在，勿庸置疑，中文语音合成具有非常惊人的调潜力，因而必将成为国内外IT业争夺的重点，虽然国内的语音事成技术起步较晚，但是我们拥有其他非汉语言国家所不同能相比的优势，汉语对于我们来说是如此熟悉，以至于我们可以说：我们拥有一支完全可以驾驶汉字及其语音处理技术的人才队伍，而且我们已经在汉字输入、输出、汉字排版，汉字OCR方面取得了举世瞩目的成绩，因此，真正实用的汉语语音事成系统应该，也必交在我国本土研究成功。     

面向协同应用的编程语言Cova

Cova是面向集成性协同应用而设计的一种新型语言. 它提供了一套完整的描述协同系统控制部分及计算部分的设施,并以此为基础通过其运行时系统提供协作过程不同阶段所需的协同计算服务,从而为不同模式协同应用系统的开发提供一个统一的平台. 详细讨论了Cova的语言特性及其运行时系统,并给出了有关结论及进一步工作.     

稀土数据库中化学过程计算方程式自动配平程序的改进

化学方程式的自动配平是稀土数据库研究和开发中的一个重要辅助程序。已有的关于自动配平化学方程式的报道，其内容大多是数学方法的介绍和讨论，关于程序实现的论述还很少见。本文重点讨论了通过java语言实现化学方程式的配平过程，并使之更加完善，更加优化。该模块已在稀土数据库中使用。