UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

热分析法绘制相图

利用差热分析（DTA）或差热扫描量热法（DSC）绘制相图,能够省时,省力,省样品,且准确性好,以CA／PA为例,详细说明其绘制方法。     

权利冲突保护论——从权利冲突概念角度分析

权利冲突是指两个或者两个以上具有不同法律保护之依据的权利,因权利主体价值利益的差异,以及法律对权利体系规范的不确定性,所导致的权利边界模糊,从而引发权利行使过程中不和谐、矛盾的状态。我们在分析权利冲突产生的原因之后,对权利冲突的解决提出了五个方法:在公权与私权领域以生命权优先为原则;私权领域私权体系规范化原则为前提;个案分析为核心;在充分肯定代表个体利益的权利基础上,坚持代表社会利益的权利适度优先原则;特殊主体权利限制原则。     

Torus网络中非连续处理机分配策略的设计

在多处理机系统中高效的处理机分配策略对提高系统的性能是至关重要的,这需要用最小的时间开销为将要执行的任务找到合适的处理机组.本文针对二维Torus结构的多处理机系统,提出了一种非连续的处理机分配策略.该策略根据系统中空闲子网的情况对请求的任务进行分解,使得最终分配的处理机组保持一定程度的连续度.仿真试验表明该策略能够进一步提高处理机的利用率,降低任务的等待时间,提高整个系统的效率.     

模糊优选动态规划在二维资源分配中的应用

针对量纲不一既有定量指标又有定性指标的二维资源分配问题,引入了指标的相对优属度矩阵并建立数学模型;提出用拉格朗日乘子法降维,再通过多目标模糊优选动态规划分析法进行求解这一算法;最后给出一个具体应用算例,并取得了满意的结果.     

判断电路反馈类型的常用方法的等效性

在判断反馈电路的反馈类型方面,用框图判断直观易懂,但较复杂;实际判断时多用一种简单的经验判断方法.从基本的电路出发,通过电路的适当变形来证明这两种方法的等效性,从而也说明了经验的判断方法是正确的.     

基于最小速率的MIMO多接入信道容量和最优功率分配策略

分析了平均功率受限条件下,基于最小速率约束的MIMO多接入信道容量域,并给出了最优功率分配策略.策略分为两个步骤:第一步分配给每个用户所有信道状态下,保证最小速率的最小功率;第二步采用多级注水分配剩余功率最大化遍历容量.分析表明顺序译码是获取容量的有效手段,数值结果显示出,策略在满足最小速率约束要求下获得了显著的容量增益,取得了很好的性能折衷.     

超冷均匀极化费米气体在共振区三相点附近的相图

研究了超冷均匀极化的费米气体在共振区的相图。在朗道相变理论的框架下, 把热力学势展开到了序参量的六阶, 并且通过比较微观的推导结果与朗道的唯象理论确定出了这些展开项的系数。在温度和费米子极化的相图上得到了三相点的位置。在三相点温度以上, 超流和正常相之间有二级相变。在三相点温度以下, 存在着这两个相共存的相分离区域, 一阶相变的位置被确定下来。     

认知无线电的频谱分配算法

认知无线电的频谱分配问题存在瓶颈用户,针对该问题,分析了并行频谱分配算法和CSGC(color-sensitive graph coloring)算法,提出在CMMB(collaborative-max-min-bandwidth)准则下,用并行分配算法来解决瓶颈用户问题,并对系统时间开销和频谱利用率等性能指标进行了仿真分析.结果表明,并行分配算法和CSGC算法的频谱利用情况大致相当,但并行算法的系统时间开销却明显减少,更有利于满足认知无线电中频谱快速分配的要求.     

阿克提什坎金矿床稀土元素研究

系统地研究了新疆阿尔泰诺尔特地区阿克提什坎金矿床的稀土元素组成特征及热液中稀土元素的配分模型 ,并应用 Grant等位线方法讨论了热液蚀变作用过程中稀土元素的行为。认为在热液蚀变作用过程中 ,稀土元素保持惰性 ,成矿热液与岩浆热液有关 ,赋矿围岩及矿区花岗岩提供了成矿物质。