基于分层思想的变量类型提取方法

提出了一种基于分层思想的，并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法，从而降低类型系统实现的难度以及产生程序错误的可能性，并且简化高级语言的中间表示，便于后端的代码生成和优化。     

类型系统的构造、实现及其在程序设计语言中的应用

类型系统是一种设计和研究程序设计语言的形式化方法和工具，既可在语言设计之初构造，便于严格、准确、正确地设计实现语言；也可在语言实现后构造，为研究语言的语义及其它性质建立模型。详细讨论了类型系统的基本构造和实现，通过基于图重写的函数式语言SClean的类型系统，提出一种实用的类型系统的构造和实现方法。     

不同水平英语学习者科技论文摘要名词化对比研究

名词化结构既是扩展语言意义潜势的一种主要资源，也是语言使用者作出的一种语法选择，因此名词化结构不仅与语篇类型有着密切的关系，也与使用者息息相关。本文以中国中、高级英语学习者和英语本族语作者的英语科技论文摘要为语料，对三组摘要进行对比统计分析，发现不同水平英语学习者和本族语者在名词化的使用频率方面存在显著差异，水平高的学习者使用名词化结构较多，水平低的使用则较少；不同水平学习者使用名词化类型也存在差异，中级学习者使用名词化结构的类型比较单一。     

反编译过程中的结构变换

反编译器是一种能将低级语言翻译到高级语言的工具，文中介绍了反编译实现过程中的结构变换，即通过提取逻辑表达式和控制结构，对初始流图进行变换，使其最终形式与高级语言的控制语句一一对应，从而进一步生成高级语言程序．     

高级语言中的类型等价问题

本文针对强类型语言中的类型等价问题，研究了几个影响较大的高级语言对此问题的解决办法，讨论了结构等价与名字等价的利弊，进而分析了类型等价概念在高级语言中的作用，在此基础上，提出一个推荐方案，可以兼收结构等价与名字等价的长处，而不必付出额外的代价。本文最后对如何解决XYZ／G语言的类型等价规定提出了建议。     

在C＋＋语言中构造布尔类数据

本文介绍了在Ｃ＋＋语言中构造布尔类数据的方法和有关的函数，使布尔类数据同ｃｈａｒ等类型数据分离开来，赋予布尔类数据更明确的表达形式，该类数据与ｃｈａｒ、ｉｎｔ类型数据相容，可用于程序控制语句和布尔表达式，便于ＦＯＲＴＲＡＨ和ＰＡＳＣＡＬ语言的程序移植到Ｃ＋＋语言。     

C#语言中参数传递分析研究

C#中的数据类型有值类型和引用类型，参数传递有值传递和引用传递，在程序设计实践中，数据类型和传递方式组合出了通过值传递值类型、通过值传递引用类型、通过引用传递值类型和通过引用传递引用类型四种情况。本文分别对这四种情况作了实例分析，比较了参数传递格式、不同传递方式对调用方和被调用方的影响，对于掌握运用C#语言有积极意义。     

科技英语翻译的功能翻译途径

德国学者赖斯根据语言的功能发展了文本类型理论,并且认为只有实现了文本的特定功能,译文才是合适的。根据这个划分,科技英语属于传意功能文本。为达到这个功能,译者可使用多种翻译方法,以使科技译文做到逻辑清楚、措辞精确、语言通顺自然。本文着重探讨在科技英语翻译中使用的翻译方法。     

关系数据库类型系统的扩充

讨论了关系数据库在类型和函数两个方面的扩充问题．对于类型扩充，讨论了特殊类型、抽象数据类型以及语言类型三个方向的扩充；对于函数扩充，讨论了源函数、ＳＱＬ函数和外部函数三个方面的扩充．研究了关系数据库在函数扩充方面出现的动态联编问题     

一种在静态类型面向对象语言中构造VFCG的方法

阐述了在静态类型面向对象语言中构造虚函数调用图（ＶＦＣＧ）的方法：先构造可见方法类层次图（ＶＭ－ＣＨＧ），再计算继承集、改写集，确定改写边界，最后利用ＶＭ－ＣＨＧ和改写边界构造ＶＦＣＧ。同时说明了ＶＦＣＧ在静态类型面向对象语言中解决虚函数调用方面的重要作用。     

基于QPSO和MATLAB优化资金投资组合

量子粒子群优化算法(QPSO)是一种基于粒子群优化算法(PSO)的进化算法,它收敛速度快、规则简单、易于编程实现;Matlab是国际控制界公认的标准计算软件。采用QPSO对资金组合投资的多目标问题进行优化,使用Matlab编程,解决了传统方法难以解决的问题,仿真实验表明采用本方法能对资金投资组合问题提出较好的优化决策。     

CNC曲面直接插补(SDI)算法和系统

提出了曲面直接插补算法(SDI)和基于SDI的新型CNC系统.具有三维连续轨迹和刀具补偿功能,可对粗精加工余量补偿和自动行距调节,实现高速高精度加工.其输入信息仅为曲面定义和边界条件,使用类APT的高级语言,极大简化CAM编程和加工信息,使曲面精加工既经济又高效.     

面向嵌入式媒体处理体系结构的SPUR编程模型

针对嵌入式媒体处理体系结构的编程复杂性，提出了SPUR编程模型，即将媒体数据及其运算自然地表示为媒体流和相应的操作符，利用媒体流数据类型、组合数据类型、媒体操作符和特殊控制流等关键扩展以显式开发细粒度的数据并行性，并将媒体处理算法重构为SP—C编写的高级部分和UR—C编写的低级部分．通过对编译器原型系统和典型媒体应用微代码例程的目标代码效率和尺寸进行测量，结果表明，SPUR模型能针对媒体应用提供高级抽象，从而简化了媒体应用程序的编写，提高了程序的可读性、鲁棒性和开发效率，特别是为硬件体系结构提供了合理的映射，便于编译器优化设计，而且目标代码质量也比较高．     

浅析乒乓球高水平运动员与业余运动员赛前心理特点对比与调整方法

本文通过对高水平运动员和业余水平运动员在赛前心理特点上的差异对比,找出业余运动员赛前心理状态的弱向所在,针对业余运动员的特点,并且同时借鉴高水平运动员的心理优势,提出相关调整方法,从而有利于完善提升业余运动员赛前心理的稳定性、适应性的特点,使得运动员得以在不同的激烈紧张的比赛场面中发挥出正常甚至于超常的水平,获取优异的成绩。     

泛型程序的多型值构造

泛型程序设计提供了一种重要的程序设计范型,使程序员无须为不同的数据类型重复编写功能相似的程序代码。本文以相等函数为例阐述了泛型程序设计的基本方法,并利用直积和直和给出了构造多型值的方法。利用这一结果能够定义各种数据类型的相等性,同时,定义相等性的方法也可以自然地推广到其他函数的定义上。     

PLC的SFC图在编写顺序控制梯形图中的应用

为了解决应用可编程控制器(PLC)的基本逻辑指令编写顺序控制梯形图时所存在的编程复杂、不易理解等问题,采用PLC的顺序功能图来编写顺序控制梯形图是一种非常有效的方法,该方法具有编程简单而且直观等特点.以送料小车的控制为例,采用顺序功能图的方法编写其控制梯形图,从编程结果可以看出,与应用PLC的基本逻辑指令方法相比具有简单、直观、逻辑性强等特点,提高编程的效率.     

多目标凸规划凝聚同伦内点算法

研究凝聚同伦内点法求解多个约束的多目标凸光滑优化问题. 用凝聚函数将多目标凸函数凝聚为单目标凸函数, 再利用凝聚函数将多个凸约束凝聚为单个凸约束, 使原来的多约束多目标凸优化转变为单目标单个约束的凸规划问题, 再利用同伦内点法求得单目标凸优化的最优解, 即为原多目标凸优化的弱有效解.     

无奇性边界元法解平板弯曲问题

本文用具有较高协调性的边界元法解克希霍夫板弯曲问题。在数值解法中，对面载 荷积分项统一化为边界积分，以适应复杂载荷的要求；利用无奇性边界积分技术完全避 免边界奇积分。文中还给出求域内点弯矩、扭矩及边界切向弯矩的公式．数值算例表明 程序可靠、精度良好、机时节省，是以前工作的一个改进。     

一种准最优多用户检测方法

由于 Verdu 提出的最优多用户检测方法采用Viterbi算法 ,它的计算复杂度与用户数成指数关系 ,无法在实际中应用 ,因此提出了一种采用半正定规划 (positive se-mi- definite programming,SDP)的新的准最优多用户检测方法。这种方法将最优多用户检测方法转化成一个二次规划(quadratic programm ing,QP)的求解问题 ,并通过半正定规划松弛来解决这个二次规划问题。由于这种方法采用的半正定规划问题求解方法具有多项式程度的复杂性 ,所以这种新的 SDP多用户检测方法也具有多项式程度的复杂性。仿真表明 :这种新的 SDP多用户检测器的性能十分逼近最优多用户检测器的性能