软件体系结构动态演化的Z描述语言扩展方法

针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后的描述规则、构件的描述、连接件的描述和配置的描述,并用一个实例表明这个扩展的可行性.     

基于AOP的安全程序设计

软件规模的不断扩大、结构的日益复杂,给软件代码的安全性提出了更高的要求.AOP作为一种全新的编程思想,从编程方法学的角度提供了一种安全程序设计的方法.利用AOP技术,可将程序中的安全代码抽象成为单独模块,并可灵活使用各种安全策略,然后通过联结将安全代码作用于所有相关核心组件,由此大大提高了安全模块的重用性和程序的安全性.文章介绍了AOP的核心思想,探讨了基于AOP安全程序设计的基本方法,最后通过对程序实例的比较,分析了AOP安全程序设计的特点.     

OpenGL图形规范的Z形式化描述

OpenGL图形系统的开发难度随着OpenGL应用的不断发展和深入而日益增大,潜在的错误也越来越多,其中不能准确理解OpenGL规范是重要原因之一。由于OpenGL规范的描述主要是以自然语言为主,而且规范繁多,使用形式化描述规范可增加规范的准确性。本文选择描述OpenGL光照规范。通过列举光照的实例,利用Z语言给出了OpenGL中光照的规格说明,为规范的一致性测试提供了依据。     

基于VC++平台的C程序设计可视化研究

C程序设计是工科类各专业的一门重要基础课,本文在分析当前C语言教学存在的问题的基础上,以函数的调用章节为例展开教学讨论.通过课前预习互动的方法来确定每堂课的授课重点,同时借助VC++6.0的可视性,采用中断分析来直观的对抽象问题进行讲解.实际效果表明,采用该方法不但可以提高学生的学习积极能动性,而且加深了他们对程序实践的认识.     

需求分析的 Z 语言形式化方法

非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求.Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明.介绍了需求分析的Z语言形式化方法,并给出了一个通用堆栈的Z语言描述实例,同时指出这种形式化方法有待进一步研究的地方.     

《Z+Z智能教育平台》的设计与实现

《Z Z智能教育平台》系列软件之《三角函数》提供了程序编写功能,通过程序编写来模拟LOGO(WIN-LOGO版本)中的各个动作,进而设计并实现LOGO语言部分功能．     

基于Z语言的互联网登陆系统的形式化规格与验证

Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明,接着通过形式化验证,证明设计的规格说明能够满足用户的需求,提高了系统的可靠性和稳定性.     

基于AOP的细粒度RBAC模型的设计与实现

针对核心RBAC模型实现B/S企业应用时,没有根据操作特征细化权限控制粒度,缺乏针对细分数据的访问控制问题,提出了一种在操作维度上进行了扩充的细粒度RBAC模型,给出了模型的形式化描述;针对传统企业应用中权限认证逻辑横切业务逻辑的问题,阐述了基于AOP与注解的细粒度RBAC模型实现,模块化了权限认证逻辑,解除了业务逻辑与权限通用服务的耦合,提高了权限管理模块的复用性、可维护性与可扩展性.     

基于C++STL的Z规格说明数据类型的表示

介绍了Z规格说明的数据类型和它们的分类,从定义出发,阐述了这些数据类型派生的派生与继承关系．以Z规格说明向可执行代码的自动转换为目的,结合C 语言中STL模板库对数据结构和通用算法的强大支持功能,提出了用STL中的容器表示Z规格说明数据类型的方法。     

一个Z的证明责任产生器

在写出规格说明后,需要对规格说明的严密性进行证明,定理证明则可以消除规格说明中的模糊性和不一致性,从而验证规格说明是否满足用户需求．证明责任是从规格说明中产生待证的性质,该文描述了一个Z的证明责任产生器的工作过程、完成证明责任产生器的工作难点就在于如何生成证明责任,本文对这一工作进行了详细的介绍。     

在Delphi中调用由VC++生成DLL的方法

介绍了如何在Delphi中调用由VC     

C++Builder中如何动态设置系统的显示模式

本文介绍C++Builder中如何通过系统API函数ChangeDisplaySettinge()设置指定显示设备的显示模式的过程。     

C++ Builder中WinSock控件在基于Internet的机器人控制中的应用

探讨了在C Bilder中采用WinSock探件进行服务器/客户机网络编程的基本方法和注意事项，并给出了其在远程机器人控制模块中的例程。     

一种局部概率引导的优化K-means++算法

针对K-means++算法选取初始聚类中心计算误差平方和时, 实验次数对误差平方影响不准确的问题， 提出一种PK-means++算法. 结果表明, 该算法在进行分散数据聚类时, 在同一K值情形下, 聚类后的误差平方和较原K-means++算法更稳定, 从而更好地保证了随机实验取值的稳定性.     

用VC访问Oracle操作大数据类型的高效方法

在数据库应用开发过程中,经常要处理大量的大数据类型(如图形、声音文件或带格式的大文本文件等),如何处理这些数据是开发人员所面临的1个难题。本文阐明了在VC中利用OO4O包含的OracleC++ClassLibrary提供的一些基本类库来处理大数据类型的1种高效方法,并以处理Longraw数据类型和基本数据类型为例进行了比较说明。     

用C＋＋Builder实现多层数据库

讨论了使用Borland C Builder6开发多层数据库应用程序的方法,提出了利用BCB6所提供的Multi—Tier构件开发多层数据库应用程序，以此来实现过去的C／S模式下的各种功能。用这种方法实际构建了一个实验室日常管理系统，基于Multi—Tier构架，更便于扩充和二次开发。     

C++Builder制作报表的两种实用方法

在各种管理信息系统中,各种报表的输出是主要内容,在C Builder中,可以通过多种方法产生报表,着重讲述了怎样用Word的相应功能产生报表,以及怎样实现多个窗体下的报表合成的问题,同时也简单分析了各种方法的适应场合.     

基于K-means++的无线传感网能量高效分簇协议

针对传统无线传感网的分层路由算法中存在着分簇不均匀、簇首数量不固定、簇首位置不合理、节点的可扩展性不足以及数据传输方式比较单一的问题,提出一种无线传感网能量高效分簇协议.该协议在簇的建立阶段基于K-means++聚类算法进行分簇并采用S_Dbw聚类评价指标挑选其最优分簇,在簇的建立阶段,从每个簇中选取簇内剩余能量最高的节点作为簇首;在数据传输阶段,基于节点间的通信代价使用Dijkstra算法来寻找每个簇首到汇聚节点的最优路径.仿真结果表明:该协议可降低节点与汇聚节点之间数据传输的能耗,延长传感网的生命周期,并且在整个网络能量处于较低水平时也可以较好的覆盖整个监测区域.     

用VC++实现位图填充多边形区域

本文用VisualC + + 6.0与MFC实现用任意大小位图按任意间距填充多边形区域 ,增强了图形类的画刷功能 ,为今后用VC开发专用图形软件提供了有利帮助