点接拟梯子的L(2,1)-标号

图G的L(2,1)-标号是从顶点集V(G)到非负整数集的一个函数f,且使得当d(u,v)=1时,有|f(u)-f(v)|≥2;当d(u,v)=2时,有|f(u)-f(v)|≥1.不妨设最小标号为0.那么,图G的L(2,1)-标号数λ(G)是G的所有L(2,1)-标号下的跨度max{f(v);v∈V(G)}的最小值.定义了点接拟梯子,并完全确定了点接拟梯子的L(2,1)-标号数.

点接拟梯子的L(1,1)-标号

图G的一个L(2,1)-标号就是从顶点集V(G)到非负整数集的一个函数f,使得d(u,v)=1时,有|f(u)-f(v)|≥1;当d(u,v)=2时,有|f(u)-f(v)|≥1,其中u,v是图G的顶点.不妨设最小标号为.那么,图G的L(1,1)-标号数λ(G)是是G的所有L(1,1)-标号下的跨度max{f(v);v∈V(G)}的最小数.完全确定了点接拟梯子的L(1,1)-标号数.

利用数据点定位的矢量地理数据数字水印算法

在矢量地理数据遭受数据拼接或数据更新攻击时,由于不含水印数据点过多,目前的稳健水印算法检测非常困难。针对这一问题,利用脆弱水印技术,提出一种基于数据点定位的矢量地理数据数字水印算法。在稳健水印嵌入的同时,利用矢量地理数据坐标点的特征映射生成脆弱水印信息,并根据精度要求采用量化思想进行水印嵌入,实现对每个数据点的篡改定位,从而排除不含水印数据点的干扰,实现对矢量地理数据版权信息的可靠检测。试验结果表明,提出的算法能够有效抵抗数据拼接和数据更新攻击,减少了不含水印数据对水印检测的干扰,提高了水印检测结果的正确性。

基于元数据和反射的面向方面软件演化方法

面向方面软件中的基础程序的结构信息发生变化后,会导致意外的连接点丢失问题.其原因在于连接点的定义紧紧地依赖于基础程序的结构,这种紧密的耦合严重阻碍了面向方面软件的演化.提出一种基于元数据和反射的面向方面软件演化方法.在连接点定义和基础程序之间加入概念层,以实现连接点定义和基础程序结构的解耦.概念层模型用于描述基础程序的逻辑信息、物理信息,以及这两类信息之间的映射关系.基于Java Annotation元数据机制在基础程序中使用逻辑信息对程序结构进行标注,同时,使用逻辑信息定义连接点.根据基础程序中定义的元数据对基础程序进行转换,自动生成元对象,基于反射机制实现基础程序演化后连接点的正确匹配.详细阐述了函数、构造函数的转换算法.该方法较好地解决了面向方面软件中由于基础程序结构信息的变化而导致的连接点丢失问题,有助于构建可适应的面向方面软件.

面向方面程序设计语言研究综述

作为控制软件复杂性、提高软件模块化程度、增强软件开发灵活性的重要技术手段之一,面向方面程序设计语言经过十多年的发展,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域。基于该领域近十年来的研究进展,分析总结了面向方面程序设计语言中的主要语言特性和关键实现技术;按照不同的语言特性对面向方面程序设计语言进行分类,并探讨了其发展与研究方向。

双相不锈钢管子与管板胀接工艺研究

主要研究双相不锈钢管子与管板胀接工艺,选取液压胀管的方法进行胀接试验,并对胀前和胀后的管子分别进行尺寸检验、点腐蚀试验、金相观察、硬度测量等试验来验证胀接工艺的可行性,从而确定了最佳的胀管压力。

舰艇末端防御火力交接优化研究

在分析舰空导弹和火炮各自火力防区的基础上,对二者的火力重叠区进行了研究。通过分析不同火力交接位置对两型武器系统拦截次数和杀伤概率的影响,建立了某一火力交接点下舰艇末端防御武器系统射击效率模型,并进行了仿真。仿真结果显示,存在一定区域,当舰空导弹和火炮在该区域进行火力交接时,整体防空射击效率较高。

基于逻辑的软件体系结构共享注入点检测方法

已有的方面交互分析方法大多未考虑共享注入点的检测,从而影响了它们的实际应用。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL,提出了一种基于逻辑的软件体系结构层共享注入点检测方法。首先基于一阶逻辑,给出了软件体系结构层注入点和切点指示器(pointcut designator,PCD)的形式化描述方法。在此基础上,应用一阶逻辑公式的合一思想,提出了软件体系结构层共享注入点的相关定义及定理,并进一步设计出软件体系结构层共享注入点的检测算法。该研究成果可为在其他面向方面软件体系结构描述语言定义的体系结构中检测共享注入点提供借鉴和参考。

地质调查剖面图的机助设计制图

地质模型和数学模型的建立是解决问题的关键，从而使“计算机辅助野外地质调查系统”更便利、高效地适用于野外地质工作。实测剖面图是地质调查中，经常用到的技术方法和手段，以利对地质现象更清楚的认识。三联点构造描述方法及剖面图制作，是计算机辅助地质调查中十分重要的研究内容。本文探讨了三联点构造野外描述的内容及顺序、构造级别的划分等。对此选择 Visual C^(++)为开发工具，设汁了实测剖面图子系统。分为数据录入模块、图形绘制模块及成果数据管理模块。同时介绍了实测剖面图的数据结构及图层划分，提出了实现数据录人模块和图形模块的方法。

中学与大学物理“热学”内容衔接知识点研究

由于教学目标、课时安排、教学方法和考核方式的不同,中学与大学物理在许多方面存在脱节的内容和环节。作者以"热学"内容为例,围绕从热学的基本概念到基本规律的主线对中学与大学物理教材之间知识内容的衔接点作了探讨和分析,为大学物理"热学"内容的教学、顺利实现从中学向大学的过渡提供参考。

半固态连接不锈钢-铝合金界面断裂性能分析

采用半固态连接技术制备了不锈钢-铝合金双金属材料,参照ASTM-E813标准,对这种双金属材料界面断裂行为进行了试验及数值分析,以KIC为评价指标,对不锈钢-半固态铝合金界面与铝合金基体的断裂韧性进行了比较。研究结果表明:采用三点弯曲实验方法,可以显著降低界面裂纹尖端的复杂应力水平;半固态连接不锈钢-半固态铝合金界面断裂为典型的脆性断裂,界面临界断裂韧性略低于基体铝合金的断裂韧性。

三棱教学模式——翻转课堂的变式

翻转课堂主要特征是教师课外充分准备,学生课内完善练习,实现了与传统的老师白天在教室上课,学生晚上回家做作业的方式的反转。借助于翻转课堂精髓,创建三棱教学新模式,课前分解成教师外三角循环与学生内三角循环,课中同样分解成教师外三角循环与学生内三角循环;内外循环系统由联结点贯通;课前课中的两个三角形模型相承接,构成一个三棱柱式立体教学系统。三棱教学模式应用于《专升本高等数学》辅导课,效果十分明显。

新型钢结构节点抗震性能有限元分析比较

在地震力的作用下 ,钢结构框架的梁柱节点发生脆性破坏的原因 ,一方面是由于节点设计不够合理 ,另一方面则是由于施工过程中遗留在节点内的一些缺陷所造成的。以弹塑性断裂力学为理论基础 ,用三维有限元的方法 ,对4种含有“人工裂纹”的节点进行了分析比较。计算了这些节点在不同荷载水平下的J积分 。

形式化语言B的面向方面编程扩充

借助传统编程语言的面向方面编程扩充――AspectJ/AspectC++的技术经验,提出形式化语言B的AOP扩充机制AspectB。分析了B语言针对AOP扩充在连接点范围及正确性验证方面的制约,提出连接点的范围必须限制在IMPLEMENTATION组件中,方面代码的正确性验证必须考虑连接点上下文所涉及的不变性条件。以一个简单图形编辑器为例,在B语言环境中描述面向方面编程的核心概念——连接点、连接点集合、建议代码、方面。

向莆铁路接轨方案研究

研究目的:铁路项目起讫点接轨方案的选择,直接影响铁路网的规划布局和项目的功能定位,如何巧妙地结合当地的自然条件,发掘最合适的路线,确有其深邃的价值,本文主要阐述如何根据路网性质、区域经济、线路走向、作业点布局、工程投资等给合比较,来解决牵涉范围广、涉及因素复杂的铁路项目起讫点接轨问题。研究结论:本文依据海峡西岸经济区的布局和福建沿海城市的特征,提出有价值的终点方案,运用定量与定性相结合的手段,确定终点方案为福州、莆田或同时引入福州、莆田方案的初步意见,经全方位多层次综合比选,并采用多目标决策方法进行综合评价,最终得出同时引入福州、莆田方案综合最优,并予以推荐。

浅析AATM/PAT-B在生产中的应用

文章主要从实际应用的角度出发 ,介绍了自动空中三角测量AATM /PAT -B系统的作业流程以及实际作业当中应特别注意的一些问题 ;总结了AATM/PAT

具有用户参与的面向方面的工程项目管理需求分析

工程项目管理中存在着跨越工程项目多个阶段的多个指标.面向方面的方法是一种适合于描述和解决这种横切问题的方法.但是,面向方面方法难于描述和解决工程项目指标之间的具有演化特征的复杂的耦合关系.本文在分析工程项目指标之间关系的基础上,提出综合用户参与的多态性方法和面向方面的方法,解决了具有演化特征的复杂耦合关系的多指标系统的,使面向方面方法能够有效地应用于工程项目管理信息化的需求分析.

一种数据流上基于滑动窗口的点连接查询处理算法

连接是数据库研究中至关重要的一环,在没有边界、连续的数据流模型中,由于存储有限和实时性需求,连接算法主要基于滑动窗口作近似处理.主要研究数据流上一种特殊的连接,命名为点连接.点连接是指对于任意r∈R(称为主流),有唯一的s∈S(称为副流)与之对应,其中s.a=r.a且s.time最接近r.time(time称为时间特征).因此,流R与流S上的数据属于n∶1的关系.而在真实的分布式环境下,因为网络等原因,流数据到达的时间和顺序往往不一致,导致连接成功率下降.提出一种新的连接查询处理算法,能够在复杂的网络环境下获取更多的连接输出.实验模拟了2种网络环境,分别在数据有序到达和数据乱序到达2种情况下对算法验证,证明此算法比已有算法更优.

晋察冀首府张家口是延安精神和西柏坡精神的连接点

晋察冀首府张家口时期对延安精神向全国的传播起到了重要作用,为西柏坡精神的形成提供了先期实践,是延安精神和西柏坡精神之间的重要连接点。表现在:晋察冀首府张家口时期的民主政治样式,是延安精神传播的政治形态;晋察冀首府张家口时期革命文化兴起,是延安精神传播的文化形态;晋察冀首府张家口时期的城市治理模式,为中国共产党工作重心的转移提供了实践准备。

AOP程序设计方法及其C++语言支持的研究

AOSD(Aspect OrientedSoftwareDevelopment)作为一种通过对软件系统中相互独立的特性进行分离和建模,达到提高模型清晰度、可跟踪性和可维护性的新技术,近年来逐渐成为学术界和工业界的研究热点。在AOSD方法的编程语言支持方面,现有的AOP(Aspect OrientedProgramming)语言的研究和实现多数是基于Java语言,而对C++这个最重要、最广泛使用的编程语言研究甚少。对AOP的核心概念进行了详细介绍,并且深入探讨了C++语言实现AOP支持的方法。