【摘 要】
：
已有的方面交互分析方法大多未考虑共享注入点的检测，从而影响了它们的实际应用。针对这一问题，基于面向方面软件体系结构描述语言AC2-ADL，提出了一种基于逻辑的软件体系结构层
【机 构】
：
武汉纺织大学数学与计算机学院,福建师范大学软件学院
【基金项目】
：
（国家自然科学基金）,（湖北省教育厅科学技术研究项目）,（福建省自然科学基金）,（福建省教育厅科技项目）
论文部分内容阅读
已有的方面交互分析方法大多未考虑共享注入点的检测，从而影响了它们的实际应用。针对这一问题，基于面向方面软件体系结构描述语言AC2-ADL，提出了一种基于逻辑的软件体系结构层共享注入点检测方法。首先基于一阶逻辑，给出了软件体系结构层注入点和切点指示器（pointcut designator，PCD）的形式化描述方法。在此基础上，应用一阶逻辑公式的合一思想，提出了软件体系结构层共享注入点的相关定义及定理，并进一步设计出软件体系结构层共享注入点的检测算法。该研究成果可为在其他面向方面软件体系结构描述语言定义的体
其他文献
据悉，最近一期的美国《科学》杂志以研究论文形式发表了我国国家自然科学基金项目成果“冰期～间冰期印度夏季风的动力学”，并作专题评论。“鹤庆古湖泊沉积物的分析对印度季风动
摘 要：现代城市的综合竞争力和可持续发展的能力的重要因素之一是城市的人居环境的建设水平。在特定意义上讲，城乡规划是城市的环境规划，城市建设是为市民的工作、生活创造良好环境的建设。通过加强和改进城市规划工作，促进城市健康发展，为人民群众创造良好的工作和生活环境。本文主要对新型城镇化背景下城镇化、城乡规划的概况及城乡规划转型存在的问题进行了分析，并提出了几点措施。 关键词：新型城镇化；城乡规划；转型
摘 要：本文针对小型餐厅的低成本装修要求提出了多种装饰装潢方法。 关键词：小型餐厅；装饰；装修 随着经济的发展和社会的开放选择创业的人越来越多，很多的创业者往往会选择从开一家小型餐厅开始。餐厅的筹备包括选址、房屋租赁、工商执照办理、卫生许可办理、工作人员雇佣等多个环节。其中有一个重要的环节就是餐厅的设计与装潢。 小型的餐厅设计一般包括硬装修和软装修。硬装修指室内设计与室外设计，室外设计包括门
摘 要：数控系统的干扰源是多渠道的，对于不同的现场，应有不同的处理方法，因此在抗干扰设计中应综合考虑各方面的因素，只有正确和合理的电气设计、接地与屏蔽的抑制方法，才能使机床系统稳定、可靠的工作。 关键词：数控机床；电气安全；研究；应用 引言： 随着数控机床在我国加工行业的普遍应用，数控机床维修人员的技术提升能力远低于数控机床的发展。 本人作为一名数控机床维修技术员时刻关住着该行业各种技术的
近日，一家公司发布了他们最新研制的世界首款个人机器人助理——月神（LUNA）。月神能够完成几乎所有的家务工作，从帮主人遛狗到为主人提供饮品等等。它由LINUX操作系统控制，并配有WiFi、触摸屏操控区、摄像机、扩音器、音響等一系列扩展插槽。 （科技日报）
多粒度粗糙集已成为近年来研究的热点之一。定义了支撑函数,并讨论了支撑函数的性质;通过支撑函数建立了基于序信息系统的一般多粒度粗糙集模型,给出了上下近似算子的定义,并
据香港文汇报报道，爱因斯坦被誉为现代物理学之父，他其中一个著名理论，就是没有任何物质的运动可以超越光速。围绕有关基础，学界多年来于科研上更取得不少进展。今年，香港科技大学
摘 要：本文扼要介绍了火力发电厂提高锅炉热效率的方法。在火力发电厂锅炉设备运行过程中，努力设法提高燃煤机组锅炉的热效率，降低燃料消耗量，提高锅炉的经济性，是十分重要的。 关键词：锅炉；热效率；排烟热损失；固体未完全燃烧热损失 1.概述 锅炉是利用燃料燃烧所放出的热量加热工质生产具有一定压力和温度的蒸汽的设备，在火力发电厂燃煤机组锅炉设备运行过程中，设法提高锅炉的热效率，降低燃料消耗量，提高锅
[目的]为了有效地抑制桑园杂草。[方法]用土壤处理除草剂50%乙草胺乳油、72%都尔乳油、50%敌草隆可湿性粉剂、25%绿黄隆可湿性粉剂对夏伐后裸露的桑园土壤进行均匀喷雾,调查4
脑电图(electroencephalogram,EEG)信号智能识别是癫痫病检测的重要手段。传统的智能识别方法在进行检测时,都假定智能模型训练采用的训练样本集和测试样本集满足同一分布特征,但在实际应用时,此假设条件过于苛刻,当训练和测试数据对应的场景有一定漂移时传统方法不再适用。针对上述情况,将近年来广受关注的对分布差异性场景具备较好性能的迁移学习方法引入到脑电图识别中,使得最终所得的模型对训练