形式背景的几种分离性

利用拓扑方法定义了形式背景的T0,T1,T2分离性,探讨几种分离性之间的关系,并研究诸分离性的性质.证明了诸分离性对兼容子背景是遗传的且被满足一定条件的背景映射所保持.另外,还得到拓扑空间(X,τ)的上述几种分离性与形式背景(X,τ,∈)的相应分离性在一定条件下是一致的.     

面向用例的构件行为适配模型

基于构件的软件工程的目标是对已有软件构件的重用.实际上,由于构成系统的多个构件之间往往存在不兼容的情况,所以大部分构件不能直接集成到应用中.因此在构件集成之前,需要检测其接口的兼容性并进行适配.针对构件行为的不兼容性,提出面向用例的行为适配算法,生成基于Petri网的适配模型.最后通过检验Petri网的活性,从而验证适配模型的兼容性.     

向前向后法证明一阶逻辑的几个定理

向前向后方法是模型论及其应用研究中的一个很重要的工具．一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性,经典模型论中对这些的证明较为繁难．文中使用向前向后方法,对有限语言下一阶逻辑的内插定理和保持定理等几个定理,给出一种简洁的证明．     

反应谱兼容的时频非平稳地震动合成及其对结构非线性响应的影响

基于演化谱和正交HHT方法合成地震动,通过迭代调整时变功率谱,使合成的地震动时程反应谱拟合目标反应谱,提出一种与目标反应谱兼容的时频非平稳地震动合成方法.以El Centro地震加速度时程南北分量作为种子地震动时程,设计与目标反应谱兼容的4组加速度时程,分别对7层和15层的2栋钢筋混凝土框架结构进行非线性时程分析,研究...     

激光与红外复合隐身材料——掺杂半导体

文章从电磁波在半导体表面层的透射与反射的机理出发,提出并分析了以改变半导体薄膜的掺杂浓度来调节它的等离子频率,使它在可见光带及近红外激光处有高透射,在红外区高反射,从而以实现激光与红外隐身兼容。     

居室吸波水泥墙面在兼容电磁波中的环保效应

现代居室中的电磁波对人体造成潜在的威胁 ,本文介绍的吸波水泥墙面在兼容电磁波中可发挥环保效应     

铣刀参数对薄壁零件铣削稳定性的影响

本文通过对斜角切削的几何关系进行分析,得到了斜角切削参数和切削力系数之间的关系表达式,从而在理论上得到了铣刀参数和切削颤振之间的数学关系表达式。并在此基础上研究了在相同的铣削参数条件下,铣刀螺旋角和法向前角对于铣削稳定性的影响,绘制了不同铣刀参数下的轴向切深、径向切深和主轴转速的三维稳定性图。通过对不同参数下稳定性图的研究,发现随着螺旋角和法向前角的增加,铣削的稳定性逐渐增加。     

调相调幅兼容式单边带系统

双边带调幅广播与通信有近百年历史，但这种调幅方式的一大缺点是效率很低。本文提出一种调相调幅方法，使得调幅波上边带被抑制，从而获得效率高、 而又包络无失真的兼容式单边带调幅波。同时普通包络检波的接收机又能无失真地接收这种调幅信号。     

盲人村(一)

<正>马小天和牛一山形影不离,是学校里有名的"小探险家"。峡谷地穴、深山老林……他们到过不少地方。这次,经家长同意,马小天和牛一山乘坐热气球飞上了天空。他们激动不已,可那个容纳他们的吊篮太小,他们不敢做太大的动作,只能坐着或站着,开心地笑着。热气球上升得并不快,他们没感到耳边有空气在流动,但还是伸出手努力感知一下。慢慢地,热气球旁边有燕子飞翔了,他们离云彩越来越近了。牛一山忽然意识到一个问题,问:"马小天,热气球能穿过云彩吗?"     

江淹拟古诗新辩

江淹拟古诗"总杂"中体现了多元、兼容的审美追求;"肖吻"中熔铸了诗人深刻的人生体验.其"凄凉感伤"、"平和澹然"以及"苍壮悲凉"的情感色彩和风格特征,既是作者多元、兼容的审美追求的实践成果,其苍壮悲凉之音,又冲击和高扬了南朝诗歌的情调,也传递了诗人的英特豪情.江淹拟古诗,实乃"坎壈咏怀之作".