一种基于属性的操作系统内核自动验证方法

传统的模型检测摒除了很多软件实现细节,要检测实际的代码,就需要从代码中直接建立抽象描述.而操作系统内核结构复杂,手动对源代码进行抽象存在建模工作量大、人工参与过多易出错以及属性难以描述和检测等问题.本文以Linux内核作为实验对象,提出了一种基于属性的OS内核自动验证方法,利用模型抽取工具Modex自动的从inux内核源代码抽取模型,试图保证模型与实现代码一致性的同时减少因人工参与产生的人为错误,然后用时间轴属性来描述属性,最后用模型检测工具Spin对Linux内核代码模型进行检测.实验选取了Linux内核中接口和数据结构相对复杂的调度器进行模型的自动抽取与属性检测,验证了该方法在操作系统内核模型检测中的有效性和实用性.     

代码生成技术在MDA中的实现

针对如何将具体的业务模型转换为应用程序代码的问题,提出了一个采用XSLT技术的代码生成器设计方案,用来实现MDA中的自动代码生成。从介绍代码生成器的输入文件入手,讨论了代码生成器的处理原理,最后举了一个采用XSLT技术的代码生成器生成代码的例子。     

一种生态粒子群竞争优化计算模式

将生态种群密度的概念引入群体智能计算,提出一种基于生态群竞争模型的粒子群优化模型。该模型的动力学特征可较全面地描述个体与环境及相互之间的协同行为,在一定程度上脱离了只采用个体适应度来控制进化的生物进化框架。数值仿真结果表明该生态型粒子群优化模型可有效改善早熟收敛和提高收敛速度。     

用于黑盒测试的测试用例优先级改进算法

为了在源代码不可见的黑盒环境下提高软件测试效率,研究了通过调整测试用例执行顺序的测试用例优先级方法在黑盒测试中的应用.针对已有的用于黑盒测试优先级方法的不足,提出了改进的基于黑盒测试的优先级方法.以提高错误检测率为目标,该方法通过结合两种用于不同情况下的优先级调整策略和使用动态方法代替静态方法生成优先级步调调整值对原方法提出了两处改进.仿真实验结果表明,该算法有效且可行,两处改进均能有效地提高测试集的错误检测率,同时使用改进效果尤为明显.     

兼容机智能配置系统的设计

目前,电脑销售公司通常采用人工方式为用户配置兼容机,存在效率低、难以为用户提供个性化服务等问题。该文在改进专家系统结构的基础上,通过建立用户模型与配件信息库,设计了兼容机智能配置系统。该系统能够对用户需求进行分析,快速配置个性化的兼容机。     

无线传感网络在机群状态监测中的应用研究

利用传感技术、无线数据传输和网络技术等,搭建了基于无线传感器网络的施工设备监测系统,通过对无线传感网络的传输标准、发送模块和网络接口的设计与实施,实现了对机群中各分散单机的远程监测与故障诊断,以实时评估当前机群总体运行情况及各单机的运行状况的目的。该技术的运用开辟了网络技术与状态监测、故障诊断综合应用的新领域。     

XENIX系统下文件系统的维护技巧

XENIX系统以其丰富的功能,良好的可移植性等优点得到了越来越广泛的应用。当XENIX系统下众多用户同时运行相同或不同的多个任务时,难免会发生各种冲突,为保证系统高效、安全的运行,就需要系统管理员实施有效的文件系统维护。其中包括:文件系统出现故障时及时修复,保持文件系统的空闲空间等。笔者已在本刊谈过XENIX系统故障修复技巧,这里不再赘述。下面仅谈谈保持文件系统的空闲空间技巧。     

基于Web的车身设计CAD／CAE信息集成系统研究

针对车身开发设计中CAD、CAE子系统间相互独立，导致车身设计效率低的问题，开发了汽车车身设计CAD／CAE信息集成系统，该系统由可视化查询模块、结构化查询模块和数据库模块组成，该系统易于实现对先进设计和管理技术的支持，实现对分布式异构CAD与CAE应用系统支持下的产品进行虚拟设计，达到对内可支持并行工程的虚拟设计，对外可支持异地合作设计的目的。     

基于改进的渐进纹理分析技术提取IKONOS影像中的城市主要道路

提出了一种从IKONOS多光谱影像提取城市主要道路的方法。首先对影像进行3个层次的纹理分析。第一层为检测集像元与训练集像元在波段空间中的闵氏距离;第二层为检测集像元及其3×3窗口内像元分布与训练集像元在波段空间中的巴氏距离;第三层为检测集像元及其3×3窗口内像元分布与训练集像元在彩色纹理特征空间中的巴氏距离。对上述获取的结果分别进行了阈值分割、细化,并结合道路的几何特征,采用模糊数学的方法对各个图层进行了融合。接着提出了一种基于道路知识的道路段连接算法。最后用多项式拟合方法对连接结果进行了优化,获得了较好的提取结果。