软件体系结构层切点指示器的形式化描述方法

软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件体系结构层方面的注入位置。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL的抽象语法树形式,设计了一种一阶逻辑语言LL4PCD(Logic Language for PCD)。在此基础上,提出AC2-ADL语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。     

基于灵敏度的呼辽交直流混合输电系统电压稳定性分析

结合呼辽直流输电系统,基于灵敏度分析方法研究了该系统的电压静态稳定性问题。首先,推导了交直流混合输电系统的灵敏度计算方法,在此基础上分别计算交流输电系统几个重要节点电压幅值对直流通道和交流通道输送的有功和消耗的无功的灵敏度矩阵,直流系统不同控制方式对直流系统输送的有功和消耗的无功的灵敏度矩阵以及不同控制方式下几个重要节点的电压灵敏度。结合上述电压静态稳定的灵敏度指标,研究了呼辽交直流混合输电系统的运行控制方式和提高电压稳定性的措施,为呼辽交直流混合输电系统的安全、稳定运行提供技术参考。     

AspectualACME语言切点指示器的形式化描述方法

面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述。针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LIAPCD(Logic Language forPCD)。在此基础上提出了AspectualACME语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。     

基于非线性内点方法的风电接入能力研究

互联电网的风电接入能力是现代电力系统运行和规划的重要问题之一。提出一种基于非线性优化的风电接入能力计算方法。建立了电网风电接入能力问题的优化模型,利用非线性原–对偶路径跟踪内点算法进行求解。给出了具体的计算步骤,并且以IEEE30节点系统为例进行仿真,验证了所提方法的有效性。该方法可以综合考虑系统的运行约束和运行方式,较为准确地找出影响风电接入能力的关键约束。非线性内点算法具有较好的收敛特性,运用该算法可以得到较为准确和符合系统实际运行情况的风电接入功率极限,具有工程应用价值。     

一种支持软件体系结构重用的反射机制RMRSA

软件实现阶段的重用技术,特别是组件重用技术已经取得了巨大的进展。然而,对于软件开发早期阶段的软件资源的重用却进展缓慢。软件体系结构在软件重用中有着特殊的意义。反射机制在代码重用方面取得了成功,但还没有用于软件体系结构及其组成元素的重用。提出了一种支持软件体系结构设计时重用的反射机制,概述了基于反射机制的软件体系结构重用方法。详细说明了反射机制RMRSA的元级体系结构模型和基级体系结构模型,描述了元级软件体系结构和基级软件体系结构之间进行交互和互操作的协议PMB,以及反射机制RMRSA支持软件体系结构重用的过程。利用所提出的基于反射机制的重用方法,设计人员在软件设计阶段,通过重用体系结构及其组成元素来高效地完成软件计任务。     

冲击气压对含层理泥岩致裂形态的影响规律及声发射响应

为获得高压空气冲击致裂煤岩增透过程的动态响应特征，利用自研的高压空气冲击致裂煤岩体真三轴实验系统，开展了各冲击气压下高压空气冲击致裂含层理泥岩实验，得到了泥岩致裂形态规律及在致裂过程中动态破坏特征。实验结果表明：高压气体冲击致裂泥岩过程呈现4个显著阶段，分别为气压上升阶段、气压衰减阶段、气压回升阶段、气压持续降低阶段；当冲击气压较小时，试块产生沿层理的裂缝，当冲击气压增大时，试块出现跨层理破坏，当冲击气压为28 MPa时，试块出现大量的破坏孔洞；声发射信号特征分析发现，随着冲击气压的增大，声发射信号覆盖频段越宽，从RA-AF分析中发现，试块破裂以张拉破坏为主、剪切破坏为辅。     

基于频繁模式挖掘的GCC编译时能耗演化优化算法

演化算法通过搜寻GCC编译器最优编译选项集，对可执行代码的能耗进行改进，以达到编译时优化嵌入式软件能耗的目的.但这类算法未考虑多个编译选项之间可能存在相互影响，导致了其解质量不高且收敛速度慢的问题.针对这一不足，设计了一种基于频繁模式挖掘的遗传算法GA-FP.该算法在演化过程中利用频繁模式挖掘得到出现频度高且能耗改进大的一组编译选项，并以此作为启发式信息，设计了"增添"和"删减"两种变异算子，帮助提高解质量和加快收敛速度.与Tree-EDA算法在5个不同领域的8个典型案例下进行对比实验，结果表明，该GA-FP算法不仅能够更有效地降低软件能耗（平均降低2.5%，最高降低21.1%），而且还能在获得不劣于Tree-EDA能耗优化效果的前提下更快地收敛（平均加快34.5%，最高加快83.3%），最优解中编译选项的相关性分析进一步验证了所设计变异算子的有效性.     

浅谈勘察设计企业知识管理存在的问题及对策研究

勘察设计企业是典型的知识密集型企业,本文基于对勘察设计企业基本特征和发展趋势的研判,提出了当前勘察设计企业实施知识管理的必要性.同时,通过对勘察设计企业知识管理现状的调查研究,归纳总结了企业知识管理存在的主要问题并提出了对策建议,以期促进勘察设计企业实现更高质量发展.     

二乙烯三胺五乙酸浸提-电感耦合等离子体发射光谱法测定土壤中有效态镉

文章建立了一种采用二乙烯三胺五乙酸(DTPA)浸提-电感耦合等离子体发射光谱法测定土壤中有效镉的分析方法。通过工作曲线、精密度、准确度和加标回收等试验对有效态镉测定方法进行确认和实际样品分析测试。在仪器最优工作条件下,该方法有效镉工作曲线相关系数r为0.999 9,检出限为0.005 mg/kg,有效镉的回收率为94.7%~96.6%。对3个国家一级土壤有效镉成分分析标准物质进行测定,测定结果的相对标准偏差RSD(n=6)在2.21%~2.77%之间,相对误差RE在0%~4.47%之间,且测试结果均能够达到参考值的不确定度范围内,表明该方法精密度和准确度均较高,满足HJ 804—2016标准方法要求,适合于土壤中有效镉的测定。