汽巴精化2004年销售量增加6％

汽巴精化宣布2004年全年销售额达到70．3亿瑞士法郎，与2003年相比，依据当地货币计算的销售额增长8％，根据瑞郎计算的销售额增长6％。排除兼并的影响，集团销售额依据当地货币计算增长2％，但是由于汇率的改变，主要是美元的持续疲软，导致依据瑞郎计算持平。2004年集团的净收入，经过调整和专项性收费，是3．11亿美元，而2003年是3．44亿美元。营业收益经过这些特殊项目后，依据瑞郎计算和依据当地货币计算分别下降9％和1％。     

STM32Cube开发工具将支持经市场考验的STM32 F2微控制器

正意法半导体发布新款STM32Cube开发平台中间件,让开发人员可以在该开发平台上开发STM32F2 120MHz ARM Cortex-M3微控制器应用。STM32Cube目前可支持STM32F2和F4系列产品,预计今年还将推出新的版本,将支持范围扩大到STM32全系列产品。新的中间件与STM32Cube平台的通用低层驱动程序和硬件抽象层(HAL,Hardware Abstraction Layer)配合使用,提供一套可直接使用的自动升级的软件组件库,     

KKM映射和KKM型定理及其相关结果

简要介绍古典的KKM映射的演变过程和KKM理论的发展历史,并给出利用KKM型定理得到的最近的一些重要研究成果,以进一步了解和掌握并研究KKM理论．     

论油画中线的审美特性

阐述了油画中线的具象美、抽象美、情感美和线的独立审美价值。线是油画语言中最基本的表现形式。在现代油画中,线条不再仅仅是形体的附庸,而有着独立的审美价值。     

一种基于抽象解释的二进制代码测试方法

针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法。首先结合动态和静态程序分析方法,生成目标二进制程序的过程间控制流程图,然后基于过程间控制流程图,计算出潜在脆弱点集。利用节点距离、节点可达性和约束条件集概率静态信息作为符号执行的制导因素,对二进制程序进行动态测试,过滤虚假的脆弱点,并对真实脆弱点生成相应的触发测试用例。实验结果表明文章提出的方法能有效避免执行无效路径,提高二进制代码测试效率。     

基于ZedBoard的SCA架构的设计与实现

Zed Board是Xilinx公司首款融合了ARM Cortex A9双核和7系列FPGA的全可编程片上系统,兼具ARM和FPGA两者的优势,是小型化SCA实现的最佳嵌入式平台之一。本文介绍了Zed Board平台的硬件结构,并针对SCA架构在专用硬件平台上无法实现的问题,通过分析研究MHAL硬件抽象层技术和OCP接口规范,设计了符合ZedBoard平台硬件环境的MHAL硬件抽象接口和FPGA波形组件容器,有效地解决了SCA架构在Zed Board平台上的实现问题,为在Zed Board上实现以SCA架构为核心的系统开发打下了基础。     

基于计算思维的数理逻辑教学改革探索

针对离散数学课程中的数理逻辑教学,分析计算思维与数理逻辑之间的内在关系,从计算思维的角度对数理逻辑教学内容进行梳理,论述如何将"对问题进行抽象建模—形式化—自动化—分析评估"这一思维模式贯穿于教学过程中,以及如何在教学中强调计算思维的基本概念和基本方法。     

基于语法结构的源代码搜索的研究

现有的源代码搜索引擎大都是基于文本的搜索,没有利用代码在语法上的特性,因此在搜索准确性方面受到极大的限制.本文从语法结构角度,提出一种源代码的过滤方法,构造基于语法结构的代码过滤器,从而抽取对搜索有用的信息.通过该方法实现了一个基于语法结构的源代码搜索引擎.实验表明本文所建立的源代码搜索在搜索准确度、搜索结果展示的友好性方面都有改进.     

XML的面向对象语言特性

面向对象程序设计思想是现在程序设计的主流思想,它通过给程序中加入扩展语句,把函数＂封装＂进编程所必需的＂对象＂中,使得复杂的工作条理清晰、编写容易。有着广泛应用的XML也必包含这一思想。文中首先详细介绍了XML的起源与特点,接着对面向对象语言特性进行了简单的阐述：如抽象、封装、继承、多态性,最后通过XML实例与面向对象语言的特性相结合来着重分析XML的面向对象的语言特性。因此,通过使用面向对象程序设计的思想与方法,能够更加灵活方便地构造和设计XML。     

SCA硬件抽象层接口设计

随着软件通信体系结构的广泛研究和应用,为在包含特定硬件单元的SCA硬件平台上实现不同计算单元上组件间管理的统一性和通信的标准化,提高波形应用在不同的硬件平台上的可移植性和重用性,软件通信体系结构引入了硬件抽象层的概念.该文以通用处理器和DSP为例,描述硬件抽象层的功能及其在通用处理器GPP和DSP上的API实现.