面向方面联结器的形式化及应用

目前各种主要的面向对象语言都进行了面向方面的扩展以支持AOP,由于联结器对语义和语法结构的限制,这些语言不提供对非正交方面的支持,提出了方面联结器的形式化定义,并依此实现了通用OO语言的AOP支持,该模式的归纳定义方式支持更大粒度的方面表达,能作为各种轻量级AOSD框架的基础,同时其简洁性和可扩充性适合面向对象软件的方面挖掘工程的需要。     

基于Z语言的形式化需求分析

介绍了形式化方法和形式化规格说明语言Z语言，利用Z语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能．利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从而进行规范化管理．     

形式化数学语言的培养

形式化语言是表征数学知识的工具,它具有表征的科学性、高度的抽象性、表达的简洁性、涵盖的广泛性等特征。形式化语言的培养措施有:循序渐进,符合学生认知序;师生互动,培养学生形式化语言的交流能力;小组协作,培养学生形式化语言的问题解决能力。     

浅谈计算机软件开发的语言研究

随着计算机技术的发展和其应用领域的日益扩大,软件技术的研发也日益受到IT人士的广泛重视。与此同时,软件开发语言也在与时俱进,处在不断地发展当中,从低级、不成熟到高级、日趋成熟完善,再到现在的追逐更好。但是,当今软件开发的过程却是越来越繁琐,因此,人们对软件开发语言的研究、探索和开发也愈加的重视。本文则针对软件开发语言的不同发展时期的情况进行分析研究。     

从语言信息视角看英语课堂教学的形式化语言

本文从语言信息的定义及语言信息的传递过程着手,举例分析英语课堂教学的形式化语言所传递信息的意义及其功能对英语课堂教学效果有很大的影响.研究表明,遵循现代教学模式理论或教学原则来设计的英语课堂教学的形式化语言,就会取得良好的教学效果.最后呼吁英语教师努力钻研教学理论,并用于教学实践,使教学形式多样化、特色化,教学效果最佳化.     

论艺术语言审美空间的物态化和形式化

旨在表现现实和人的精神美的艺术语言的审美空间，是一种融客观世界和主观世界为一体的艺术审美反映形式。它建构在以语境为核心和基础的依据上，运用艺术思维作为其内部生成机制。但最终导致艺术语言审美空间的物态化和形式化的因素则是对常规语言的超脱和违背所形成的特殊言语形式。这种以变异性为艺术表征，产生于“活法”驱使的符号与情感内涵相对应的艺术体系，既建构了同情感体悟等人类生命力运动结构模式相似的客观外在显性形式，又创造了艺术语言审美空间整体性意蕴结构形式。同时，它也就成了自身所特有的美感功能和精神价值的载体形式的结合体。     

基于过程语言的面向对象程序开发

文章论述了在面向对象语言普遍使用的同时,在一些特殊领域中,由于历史原因等面向过程语言使用依然广泛;如果能把面向过程语言自动转换成面向对象语言,这对于广大编程者来说是一次完全的解放。笔者发现使用面向过程语言事实上能够实现面向对象技术的本质和核心,因为面向对象设计技术本质上是一种思维方法,是不依赖于程序设计语言的应用软件开发的基本核心技术;使用面向对象语言能充分发挥面向对象程序设计技术的种种优点,但是它决不是体现面向对象设计技术的唯一方法,实际上过程语言也能实现面向对象设计。文章阐述了将面向过程语言自动转化为面向对象语言的一系列规则。     

基于UML对AspectJ建模方法的研究

开发基于面向方面的应用是目前软件工程领域研究的热点,AspectJ又是AOP的一个具有代表性的语言,而UML是用于建立面向对象系统模型的标准建模语言,如何运用UML对基于AspectJ的应用系统建模是一个新的研究方向。阐述了结合使用AspectJ和UML的原因以及提出了一种运用UML扩展机制对AspectJ的建模表示,并结合一个在线外汇交易平台系统的建模实例,详细说明了建模过程和方法。     

基于FPGA的集成电路形式化验证加速

OpenCoho是一个通过可达性分析及计算对集成电路设计进行形式化验证的软件工具。它可以验证由非线性常微分方程建模的电路系统的正确性。提出基于FPGA的验证算法硬件加速方法,探讨环形振荡器电路有效性验证,通过仿真说明该方法的可行性和意义。实验结果表明,利用该方法平均验证速度提高了约10倍。     

基于形式化方法的混成系统验证

对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基于形式化方法是根据混成系统的形式规范与属性,使用数学方法证明其正确性或非正确性。对温控系统实现了抽象算法的形式化,首先对线性混成系统的状态空间进行分割,然后将其转化为图的可达性问题,利用图算法求解,最终对系统进行了安全性验证。实验结果表明,采用形式化方法对混成系统进行安全性验证具有较高的可靠性与可信性。     

发电机组实时监测和诊断专家系统的开发和应用研究

针对发电机故障诊断的特点,结合实时数据采集和专家系统的开发思想,建立了具有针对性的实时监控和故障诊断专家系统的框架,分析了三层子系统的分解模式和实现,系统的知识表示、诊断和学习过程的通用方法.     

实时数据库管理系统的分析和研究

实时数据库管理系统(RTDBMS)是传统数据库管理系统的发展和延伸,它具备传统数据库管理系统的所有基本特性,同时在其基础之上增加了实时响应和管理机制。实时数据库管理系统和实时操作系统紧密联系在一起,实时数据库管理系统正是通过实时操作系统所提供的系统级实时服务来实现其实时响应和管理。本文对实时数据库管理系统进行了分析研究。     

基于B方法的体系结构描述语言的精化研究

通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法：首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序,最后给出实例加以说明该方法的可行性.     

基于粒子系统的尾焰实时模拟

在总结传统粒子系统理论的基础上,提出了一种基于粒子系统的尾焰实时模拟方法．该方法在渲染过程中使用透明混合技术和billboard技术,并利用GPU的并行处理能力和高速运算能力,在GPU中实现billboard视向变换和透明混合．最后基于DirectX平台,利用VC＋＋进行编程实现了本文提出的尾焰模拟方法．模拟结果表明,此仿真方法具有很高的逼真度和实时性．     

基于VB6.0的发动机实时监控系统

使用VB6.0对发动机控制系统上位机通信监控程序进行了设计和开发,通过程序编制,实现了对发动机的工况参数和原电控单元(ECU)控制参数的实时采集、存储、显示、离线图形化处理,并对DSP进行程序在线调整、对执行器进行实时控制.     

关于形式语言与自动机理论的教学方法探讨

形式语言与自动机理论是计算机科学与技术专业的一门重要专业基础理论课,搞好本课程的教学,不但能为学生学好本专业后续课程奠定坚实的理论基础,而且有利于培养学生的计算机抽象思维,形式化设计构造的能力,从而适应进一步的学习和工作中本学科专业发展的需要。本文首先对当前该课程教学中存在的一些现象进行分析,然后介绍作者总结出的一些行之有效的教学策略与方法。     

基于OpenCV的视频图像梯形畸变实时校正方法

在拍摄视频时,由于拍摄位置、方向等因素的限制,拍摄的图像常常会出现梯形畸变．通过分析数字图像梯形畸变产生的机制并考虑到实际环境的复杂度对校正效果的影响,提出一种在VC＋＋环境下调用OpenCV库函数实现实时校正视频图像梯形畸变的方法．该方法首先利用人工标定的方式提取梯形畸变图像的边缘轮廓：然后利用轮廓顶点坐标,计算各顶点在校正后图像上对应顶点坐标,再通过顶点坐标求得畸变校正矩阵;最后对畸变图像进行校正．实验表明,该方法能够快速有效地进行实时校正,具有较强的鲁棒性．     

MATLAB在光学实验中的应用

利用MATLAB强大便捷的科学计算功能，引入多项式拟合法处理牛顿环实验数据，提高了实验的测量精度，拓展了测量范围；基于MATLAB的科学可视化功能对光学实验现象进行计算机模拟，在实验教学中应用效果明显。