微机字处理软件CAI开发方法的研究

本文阐述了研究计算机软件ＣＡＩ开发方法学的意义，并介绍了字处理软件Ｗｏｒｄｓｔａｒ的教学软件的开发方法．     

GRAMMATICAL COMPLEXITY OF FEIGENBAUM TYPE ATTRACTORS IN PERIODIC WINDOWS

In [7,8] the grammatical complexity of the Feigenbaurn attractor and the general Feigenbaurn attractors, generated by period - n - tupling, are studied. In this paper we study the grammatical complexity of the Feigenbaurn type attractors, including Feigenbaurn attractors and general Feigenbaurn attractors,in periodic windows. It is shown that the languages determined by these attractors are CLS and are. not CFL.     

数学规划模型的建模语言（FQL）

对数学规划模型的结构作了深入分析。从纵向揭示了数学规划模型自然、清晰的层次结构；横向又把复合模型分解成若干基本模型，而基本模型又可由决策用户十分熟悉的二维形式加以描述。在此基础上，给出了建模语言（ＦＱＬ）的语法和语义。它除了具有建模能力外，消除了代数形式的索引；更重要的是具有数据库查询和模型操作能力。     

常系数线性中立型微分方程周期解存在唯一的充要条件

本文利用Fourier级数讨论具有常系数的任意阶中立型泛函微分方程的周期解，除一种特殊情况外，我们得到了用有限代数方程组描述的周期解存在唯一性的充要条件，对这种特例，我们也得到了若干实用结果．     

顺式丁二烯及其一氟、一氯取代物电环化反应过程的量子化学研究

用密度泛函理论（DFT）的B3LYP方法在6－311＋＋G**基组水平上研究了cis-1,3-丁二烯及其一氟、一氯取代物电环化反应过程的微观机理，优化得到了反应途径上的反应物、过渡态和产物的几何构型，通过振动分析对过渡态进行了确认，并对优化得到的单点在QCISD（T）水平上计算了能量。研究结果表明：cis-1,3－丁二烯的氟、氯代衍生物各有两种构象，且均能发生环化反应，两种构象环化的产物是一致的；亚甲基上外侧的氢原子被氟、氯原子取代后，有利于环化反应的进行。     

广告语创作应遵循的民族性原则

众所周知，广告语在广告中的作用越来越重要，广告语的制作又必须结合语言载体及广告对象的缺点，因此，在创作广告语时，应遵循民族性原则：广告语应是民族语言规范、灵活的运用；广告语的创作应符合受众的民族心理。     

生存的悖论:言语与沉默

通过对瑞典导演伯格曼的电影《假面》所进行的电影美学方面的文本分析,探讨存在于人类的言语与沉默之间的哲学与美学关系,并进而探讨电影作为一种语言的形式的本体论意义。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．