面向对象语言和C＋＋讲座

本讲座从面向对象语言的基本概念和主要特征出发,着重介绍了目前最为流行的面向对象语言C++。但又不是C++的编程辅导,介绍给大家的是关于面向对象语言的本质,特征和C++语言的特性,希望有助于读者对面向对象技术和面向对象语言有比较深刻和全面的了解,帮助您更好使用C++语言和从事面向对象的研究和实践。本讲座有六讲: 第一讲:什么是面向对象语言 第二讲:面向对象语言的基本特征 第三讲:C++语言的基本特性 第四讲:基于C++语言的面向对象分析与设计 第五讲:C++语言的基本类库 第六讲:对于发展中的C++语言的评价     

一种多范例并行应用系统的描述方法和性能估算模型

多范例并行是大规模并行应用系统的本质特征．规范化描述并行应用系统，建立性能估算模型对于提高多范例并行应用系统的开发效率和运行效率具有重要意义．该文提出了一种基于模块及其组合关系的描述方法和系统执行代价计算模型，它不仅能描述并行应用系统的多范例特征，而且将不同并行范例模块的组合时产生的代价引入模型．考虑的代价包括并行执行模式的转换、数据分布方式的转换以及编程范例的转换等，从而使模型更为准确．给出了描述和代价估算的应用实例，说明了规范化描述和代价估算对于确定并行策略的重要性以及模型的精确性．     

基于知识的航电设备故障诊断专家系统

为了解决航电设备故障难以诊断的问题,设计一个基于知识的航电设备故障诊断专家系统。该系统中的知识表示形式及与之相配合的基于确定性理论模型的不确定性推理方法,以及基于示例的推理方法可以实现航电设备的故障推理和诊断,其规则的可信度可达到理想的程度。     

编译基础设施研究进展初谈

1 引言为便于开展对计算机体系结构、编程语言和编程环境的研究,必须能够快速地产生高质量的编译器。编译器的构造是一个繁琐的工作,经常是一个瓶颈。在通常情况下,尽管必须修改的成份仅占整个编译器的一小部分,但却要重新构造整个编译器。在编译器成份和算法方面虽已积累了丰富的研究成果,尚未能为广泛编译器开发者所共享。随着嵌入式系统的迅速发展和高性能体系结构的推陈出新,对编译器的开发速度和质量提出了新的挑战和需求。为此,人们在编译基础设     

字节码虚拟机的构造和验证

提出一种虚拟机构造和验证方案.给出字节码程序运行环境BVM(bytecode virtual machine)的形式化定义;采用X86机器语言构造虚拟机CertVM(certified virtual machine);并证明该虚拟机实现符合相应程序规范并和BVM之间具有模拟关系.利用辅助工具Coq给出证明,所有证明均可机器自动检查.CertVM确保在硬件环境满足其语义规范的情况下,已验证的字节码程序能够在给定虚拟机环境中正常运行.给出的方案不仅为虚拟机验证提供理论基础,而且为可信软件构造提供了一种有益的尝试.     

项目教学法在高职院校数字电路课程中的应用

为培养提高高职学生综合职业素养,提高课程教学的实效性,高职院校数字电路课程应进行项目式教学改革。项目式教学中应精心设计数字电路课程结构和项目任务,以基于工作过程的方式进行。在实施中还应注意教师角色的转换,把握好各个教学环节,合理分组,避免学生两极分化,并有效改革评价方式。     

完善水利企事业单位财务“一支笔”审批制度之我见

财务"一支笔"审批制度由来已久,在实践中也被很多水利单位或组织所采用,但这一制度也存在不少弊端.文章着重从完善内控制度等方面阐述了水利企事业单位如何避其短,扬其长.     

面向多核处理器的低级并行程序验证

随着多核处理器的广泛使用以及人们对软件可靠性提出更高要求,多核并行程序验证的重要性日益凸显.本文提出了一个完整的基于多核的并行程序验证框架,该验证框架包括抽象机器定义、目标代码的形式规范、逻辑推理系统、可靠性定理及其证明.我们的目标程序使用自旋锁机制来实现线程间对共享内存的互斥访问.验证框架采用Hoare风格的推导方式,使用高阶逻辑来同时描述机器指令的操作语义和所需要的安全策略.在该框架下,程序员可以对多核并行程序的部分正确性进行验证.     

老公罚我面壁思过

左算右算,满打满算,我嫁给老公也才八个月,老公居然真的就罚我面壁思过,不就是因为他要用电脑,我没给他用嘛,他就借机"报复",恨得我咬牙切齿.     

编译系统中间代码的一种抽象表示

中间表示是提高编译器的可移植性和代码生成的有效性的关键技术.为提高编译成份的可复用性,简化编译器的构造,本文提出了一种描述程序语言抽象语法及编译器内部数据结构的抽象中间表示AIR(Abstract Inter-mediate Representation).AIR以代数数据类型为主体,并用面向对象特征对其进行扩展,从而使之具有简洁的语法,较强的表达能力、灵活性和可扩展性.AIR将抽象描述与其具体实现相分离,可方便地用不同的高级程序语言实现,从而有助于提高编译成份间的互操作性.