高校计算机硬件课程发展的新方向——嵌入式技术

本文指出我国高校计算机专业在计算机硬件课程教学上普遍存在的一些问题,分析了其产生的原因,并着重介绍了嵌入式技术的现状和可能出现的课程变革。

演化信息驱动的软件体系结构重构技术研究

通过在软件体系结构层次实施软件重构,能够改善软件的质量、提高软件的易演化性。提出了基于演化信息实施软件体系结构重构的策略,通过分析体系结构的演化历史,采用概念格的方法分析其中构件间的演化依赖关系,从而达到改善体系结构质量的目的。

基于区块链的药品供应链系统的分析与设计

由于假药事件层出不穷,药品的安全问题成为了公众关注的重点。在传统供应链模式下,供应链各主体相对独立,没有进行信息交互,数据存储在中心数据库中,这导致了药品数据不透明、中心数据被篡改等问题。文章针对传统的供应链系统存在的问题,提出了基于区块链的药品供应链系统,采用Hyperledger Fabric作为联盟链开发平台。供应链各主体作为联盟链中的节点加入区块链网络,进行药品数据的上链以及区块的共识操作;在药品运输过程中采用物联网技术,利用RFID标签对运输的数据进行双重验证,确保了数据的安全性和真实性;在数据存储方面,引入IPFS文件系统,将上链数据存入IPFS,对返回的哈希值进行上链,实现数据的“链下存储,链上索引”。

基于版本信息的面向对象框架实例化模式挖掘

基于框架的面向对象开发技术是实现大规模软件复用的一种有效的途径。由于框架本身层次的复杂性,往往导致框架实例化过程的复杂和烦琐,通常采用记录框架变化点的实例化过程和约束条件的方法来解决这个问题。但是,对于那些缺乏详细记录的“遗留”面向对象框架,框架变化点实例化记录往往隐含在具体的实现细节中,从而使得“遗留”面向对象框架的复用变得十分困难。提出了一种基于版本信息获取面向对象框架的实例化模式的方法,从而辅助框架的实例化工作。

版本信息驱动的框架变化点识别技术研究

面向对象的框架是实现软件产品线的一种重要形式.文章分析了当前面向对象框架开发的不足,提出了一种版本信息驱动的框架变化点识别技术,即采用概念格的数学方法从软件配置管理系统中挖掘框架实例化的模式,这些模式作为面向对象框架变化点的设计候选,从而更加精确和全面地辅助框架变化点设计.

云计算环境下可视化探索式搜索引擎的研究

针对目前搜索引擎返回的信息量过大且缺乏语义关联等问题,提出了一种云计算环境下的可视化探索式搜索引擎模型.该模型通过对元搜索引擎返回的原始信息在云计算环境下语义相似度的计算和语义链的构建,采用探索式搜索方法为用户获取个性化的结果.与传统搜索引擎相比,其结果更加直观地表现了目标信息及其之间丰富的语义关系,该方法使用户能够更为自然而有效地在海量的信息中发现更符合其需求的目标.作为实验模型,还需要更多的元搜索引擎的支持,以及进一步计算优化语义相似度的算法,才能使该模型真正实用化.本研究为云计算环境下构建新一代个性化智能搜索引擎提供了理论和实践上的参考.

基于自组织演化的多Agent可信联盟研究

不同于现有采用博弈论的方法研究多Agent联盟技术,从联盟信任这一角度开展可信联盟研究,首先在历史合作信息的基础上构建个体信任度,在此基础上建立联盟信任度,进而形成可信联盟.通过联盟间的竞价协商来使得多个小规模的联盟合并成规模更大的联盟从而完成复杂的任务,刻画出联盟演化的自组织性并将信任贯穿于联盟的演化过程.为获得稳定的联盟,在联盟内部收益分配的机制上采用自由竞价与信任评估方式,最后在联盟收益分配结束后,通过信任修正来解决自由竞价中的欺诈行为,并同时获得数据隐私保护,使得联盟内部成员获得公平合理而又高效的分配机制.通过联盟信任,建立起分布式合作模型,可以大规模地降低计算复杂度和可控的风险收益,为动态联盟的稳定性提供有效保障.

从C++模板到STL

该文以一个作用于不同数据结构上的搜索算法为例 ,先说明了C ++模板支持泛型的不足 ,然后引入迭代算子改造了这个搜索算法 ,展示了STL支持泛型的强大能力 .

一种改进的基于层次聚类的软件重构技术研究

为了改善Java源程序的质量,使之尽可能地符合"高内聚、低耦合"的设计要求,提出了扩展的Jaccard系数,并将其作为实体间相似性的度量公式,采用层次聚类算法将Java类图划分为若干个候选包。在基于交互及度量重构策略的引导下,对Java程序结构进行调整。通过实验表明,经过调整以后的Java源程序,在结构上更符合"高内聚、低耦合"的特征。

一种改进的移动Agent通信算法

通信机制是移动Agent技术研究的重要课题,目前提出的多种Agent通信机制都尚未满足要求或存在缺陷,该文结合多种传统的Agent通信机制,提出了一种改进的移动Agent通信算法,实现了通信的位置透明性、高可靠性、高效性,极大地减少了迁移受到的限制和迁移引起的地址注册(或更改)开销。该算法在网络主机数目多的Agent系统中,其优点更为明显。

最小测试用例集生成方法改进及应用

软件测试是保证软件质量和可靠性的重要手段,如何对软件进行全面且高效的测试一直是备受关注的问题。分析了白盒测试与黑盒测试的优缺点;具体分析了最小测试用例生成算法,接着对生成最小测试用例集的方法提出改进:首先消除掉测试需求中存在的冗余,再对由该测试需求生成的测试用例集使用简化算法,得到一组无冗余的测试用例集。这种先对测试需求进行精简的方法,使得测试用例集中测试用例的数量大为减少,提高了简化算法的使用效率。将上述最小测试用例集生成方法运用到Apla到delphi生成器系统的测试中,提高了测试效率。

MobileAgent系统位置透明通信的实现

在MobileAgent系统中,Agent之间需要不断进行协作和信息交换,如何实现Agent通信的位置透明性,保证消息不会因为移动Agent的迁移而丢失,一直是移动Agent通信面临的难题,在现有的系统中都没得到很好的解决。提出了一种MobileAgent位置透明通信的方法,实现了通信的位置透明性、可靠性、高效性,并极大地减少了Agent迁移引起的地址注册(或更改)开销。

在建模语言Apla中实现多媒体数据库应用的方法研究

随着信息技术在各大领域的广泛应用,产生的多媒体数据所占比例越来越大,对多媒体数据处理的需求也越来越多,高级程序设计语言支持多媒体数据处理的功能也变得尤为重要.采用模型驱动的思想,在支持模型驱动软件开发PAR平台的Apla→Java程序自动生成系统中,扩充对多媒体数据处理的功能,并提出多媒体数据处理机制和Apla中基于关系代数的文本处理机制自然融合,包含了对多媒体数据处理的Apla语言程序,可以通过Apla→Java程序自动生成系统自动转换成等价的Java程序,使得Apla语言具有对多媒体数据处理的能力.

Transaction在PAR平台中的实现方法及应用研究

随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几年在Java软件开发环境中也新增了事务处理接口JTA,但是在基于模型驱动架构设计的建模语言中嵌入事务处理机制的成功案例尚不多见。论文在已有体现模型驱动软件架构思想的PAR方法和PAR平台中,融入抽象事务处理机制,并使用融入了事务处理机制的PAR平台及其建模语言开发了具有事务处理功能的金融软件模型,通过PAR平台的模型自动转换工具生成了Java和SQL程序。实验证明融入了事务处理机制的PAR方法和PAR平台具有建模简单、实用,软件开发效率高,便于形式化推导和证明等特点。

一种自动的软件体系结构规约重写方法及工具支持

在软件体系结构层次实施重构,能更好地提高软件的易维护性.该文提出了一种体系结构规约重写的策略描述方法,将体系结构重构转换为接口重构和实现体重构两部分,给出了接口规约重写的基本操作,以及实现体规约重写的操作,并用策略描述语言对这些规则进行了描述和代码实现.

红外上转换材料的检测传感器

通过设计一种用于检测纸币上红外上转换材料的光电传感器,研究这种光电传感器的工作原理、结构以及信号处理电路。该传感器具有体积小、抗干扰能力好等特点,对红外上转换材料在防伪技术上的应用提供了有力的检测手段,同时,这种传感器易于安装在自动点钞机上,有很好应用前景。

面向对象框架变化点识别技术分析

面向对象的框架是实现软件产品线的一种重要形式,变化点体现了领域内产品家族的变化性,获取和设计尽可能完整的变化点是提高面向对象框架可复用性关键之一。目前存在各种面向对象框架的构造和变化点分析技术,该文提出了一个分类框架,从知识获取、知识表示和知识获取手段3个方面分析了面向对象框架变化点的识别技术的特点和发展;最后指出其不足和未来可能改进的方向。

声控舞台激光灯的设计

本文介绍了单片机在舞台灯光的应用。利用激光的准直性、单色性、高亮度等特点,采用单片机和声音控制步进电机,控制激光的反射,从而得到合成的图案,而且图案能随着音乐的变换而改变,产生不同的灯光效果。

静态网页结构模式相似性判断研究

网页内容的不断更新往往使得采用静态网页制作技术设计的网站难以维护。本文采用基于最长公共子序列算法(LCS),挖掘静态网页之间在网页结构上的相似性即结构模式,结合可视化标注技术辅助静态网站的维护。

Apla→Java程序生成系统中泛型机制实现方法研究

在对泛型程设本质特征深入研究的基础上提出了新型泛型语言机制构想,并在Apla→Java生成系统中具体实现的新方法.该方法比现有的Java、C++、C#等语言中泛型机制的实现方法简单,并通过经典算法实例演示实现效果,大量用例的成功测试表明该实现方法的可靠性和新型泛型语言机制的正确性.