关于Ada95变体部分等语法的修正意见

本文指出了Ａｄａ９５ 参考手册中记录变体部分、记录聚集、分情形语句与异常处理段等语法描述中存在的问题，并分别给出了它们的修正方案。     

基于客户程序度量包内聚性

为了一致而高效地计算包内聚性,许多研究者提出了大量的包内聚性度量方法.然而,这些方法主要依赖于包内部的数据流关系,常导致度量结果与实际开发经验相悖.为了解决这一问题,首先以包的职责为基础将包划分为4类.然后,提出了共同重用内聚CRC,并根据包的分类框架讨论了CRC的适用性.CRC的核心思想是若多个类总被共同重用,则它们之间存在紧密耦合.最后,提出了度量CRC的海明内聚度HC.与现有方法相比,HC同时考虑了包内和包间的数据依赖.因而,该方法能够有效地反映包内部类间的语义关系.此外,HC利用包的使用模式提高了度量结果的可区分性.实验研究表明HC能够有效评估包的内聚程度.充分说明了作为HC基础的CRC具有较高的合理性.     

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.     

量子可逆逻辑电路综合的快速算法研究

可逆逻辑有许多应用,尤其在量子计算领域,量子可逆逻辑电路是构建量子计算机的基本单元,量子可逆逻辑电路综合就是根据电路功能,以较小的量子代价自动构造量子可逆逻辑电路.文中结合可逆逻辑电路综合的多种算法,提出了一种新颖高效的算法,自动构造正极性Reed-Muller展开式(RM),在生成量子可逆逻辑电路的解空间树上,采用总体层次遍历,局部深度搜索,借鉴模板优化技术,构造限界函数快速剪去无解或非最优解的分枝,优先探测RM中的因子,以极高的效率生成最优电路.以国际公认的3变量可逆函数测试标准,该算法不仅能够生成全部最优电路,而且运行速度远远超过同类算法.     

基于SAT求解的面向对象程序类型分析

类型分析是面向对象程序分析中的重要环节,精确的类型分析能够提高其它程序分析的精度.由于传统精确分析方法固有的高复杂性,现有的类型分析大都使用粗糙的分析方法.提出了一种基于SAT求解的面向对象程序类型分析方法.该方法用命题逻辑表示类型在变量间的传递关系,将程序抽象成命题公式,并使用高效的SAT求解器求解,从而获得变量运行时的类型集合.该方法是流敏感的,并且具有良好的伸缩性,既可以进行快速但精度低的上下文不敏感分析,也可以进行较慢但精度高的上下文敏感分析.     

面向大数据流量的交互式智能电网通信

大数据流量的轻量化通信可以防止或快速响应网络拥塞的发生,为此设计了一种基于识别模型的交互式电力特征值传输方法.这种交互式智能电网通信分为四个阶段:电流波形采样、电力特征值转换、动态电力特征值间隔选取和电气设备负载识别.当电气设备接入智能电表后,电表会将其测量的原始电力数据上传到物联网(IoT)网关.网关将原始数据转换成...     

基于遗传算法的搜索引擎调度

通用搜索引擎（GSE）通过将用户的请求分发给实际的搜索引擎来为用户提供服务。GSE所选用的实际搜索将直接决定搜索的质量。由于实际搜索引擎的性能及用户的请求是动态改变的,所以固定的实际搜索引擎不利于系统整体性能的优化。文中利用一种模拟自然界生物进化过程的计算模型－－遗传算法来实现GSE中智能代理管理器的调度策略。利用它可以动态优化实际搜索引擎的组合,从而提高GSE的整体性能。     

蜀锦结合竹艺的创新产品设计研究

目的 在蜀锦织造技艺与竹艺面临传承断代、创新不足、运营受阻等诸多严峻挑战的背景下,探究蜀锦结合竹艺的创新产品设计方法,为生活而设计,使非遗焕发新生。方法 首先分别对蜀锦和四川竹艺两种非物质文化遗产的发展现状和美学特征进行分析;其次通过对现售蜀锦及竹艺产品的市场调研,论述了融合二者进行创新产品设计的价值;最后从功能创新、形式创新、工艺创新三个维度探讨了设计创新的具体路径。结论 以“地域文化植入”“现代技术加持”“多元材质结合”的产品研发思路,进行一系列包具、文具、餐具的产品设计实践,将蜀锦与竹艺进行有机融合,不仅能有效控制产品成本、丰富产品品类、形成新的增量,而且能丰富其文化内涵,实现传承传统工艺与满足消费市场的双向平衡,进而达到承扬非遗技艺、助力乡村振兴的目的。     

针对配电线路运行检修策略探析

本文主要对配电线路运行检修技术及防雷对策做出深入探讨,提出自己的见解,为了防止各种故障的出现,确保电网的正常运行,有必要做好配电线路运行检修工作,及时发现并解决缺陷问题。此外,雷电会引起配电线路的短路,影响电气设备的正常工作,严重时甚至会引起设备火灾或爆炸,直接威胁设备和人身安全。本文就这些问题进行了深入的分析,希望对同行工作人员起到一定的参考价值。更多还原