基于U—CODE中间语言上的代码生成器

本文描述了一种编译程序的代码生成算法,它是为JOVIAL高级语言编译程序而设计的。其中间形式采用了STANFORD大学设计的U-code中间语言,本代码生成器就是以U-code语言为源语言,生成到多个目标机上。本文在分析了U-code特点之后,针对U-code的结构,和目标机汇编语言的功能,将代码生成工作分成了三遍,模拟/归约处理;代码派生和代码汇编。然后,在介始了归约算法、存贮分配算法、寄存器分配算法的基础上,对三遍处理的工作做了详细论述, 给出了程序设计结构。特别是在模拟/归约算法上,本文给予了详细描述,其算法的优劣,则直接影响着代码翻译的质量。总之,我们的目标是多种机型,该代码生成设计算法仅在变更少部分就可达到目的。     

用VisualLisp动态设计建筑施工总平面图

本文介绍了一种采用VisualLisp语言对施工图进行动态绘制的方法。本文从该方法的特点、设计思想和设计过程等方面进行了论述，作为一种适用的动态绘制方法，为快速绘制建筑施工总平面图提供了一种手段。     

提高大学生读写能力之策略

本文着重论述了加强语言基础训练和培养语篇阅读能力是提高大学生读写能力的有效途径.指出两者是相互促进、相辅相成的的关系.同时,就如何提高大学生的读写能力提出了一些方法和策略.     

中国学生与西方人交往的障碍

英汉两个民族在逻辑思维上的差异、不同。中国学生在与西方人交往时，常常感到有障碍，异和语言技巧两大方面的障碍。思维方式的不同，导致语言表达方式的本文认为中国学生主要有东西方文化差     

Ada软件性能检测技术研究及工具的实现

介绍了一些软件的性能检测技术和检测工具，并对它们的实用性和适用性进行了讨论然后，着重讨论了Ａｄａ软件系统的并行机制，并详细分析了与软件的性能密切相关的语法现象，从而设计出合理的处理方法。     

服务化多工艺设计研究

提出了服务化的多工艺设计方法。建立了基于过程规范语言的完整多工艺信息模型,提供统一的工艺数据访问服务和工艺业务服务调用。最后,给出了服务化多工艺设计平台体系结构,采用开源的面向服务架构技术进行了系统实现。     

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

多粒度概率语言环境下基于PROMETHEE的改进FMEA方法

针对传统故障模式和影响分析（FMEA）方法中存在关于故障模式评估、风险因子权重和风险优先级排序等方面的固有缺陷,提出了一种多粒度概率语言环境下基于偏好顺序结构评估法（PROMETHEE）的改进FMEA方法。该方法运用多粒度概率语言术语集（PLTS）刻画了专家评估信息的多样性和不确定性,并基于二元语义转换函数为引入工具的语言计算模型统一各专家多粒度风险评估信息,运用最优最劣法（BWM）和熵权法相结合的综合赋权法确定风险因子权重,将PROMETHEE拓展到概率语言环境中用于确定故障模式风险优先序。最后,运用托盘交换架故障风险评估案例来验证该方法的适用性和有效性,并进一步通过敏感度与对比分析以显示该方法的优越性。      

一种基于非面向对象语言的星载软件构件技术

为了进一步提高星载软件复用程度和解决航天器软件开发效率低下的问题,对星载软件特性和软件构件技术进行了分析和研究;对星载软件构件进行了定义,提出了一种基于非面向对象语言的、适用于星载软件开发和应用环境的星载软件构件模型。基于该模型开发的星载软件构件,具备独立性、完整性、可组装性和功能性。除此之外,对基于这种模型的星载软件构件设计、开发和使用方法进行了介绍,可以为采用非面向对象语言进行星载软件构件开发提供参考。在多个型号中对该技术展开实践,实践结果表明：提出的星载软件构件设计方法能够将星载软件开发效率提高2～5倍。     

C#3.0中LAMBDA表达式树的构建

对C#3.0中LAMBDA表达式及其特性进行了研究,提出了动态构建LAMBDA表达式树的方法,该方法可以减化数据库的查询环节.