基于CPi-calculus的网格服务行为研究

当前基于网格服务组合的编排方案（choreography proposals）只给出服务描述层面上的定义,没有提供任何推导方法来保证基于此编排方案的服务的一致性。如何验证组合服务行为的正确性和有效性是当前亟需解决的一个研究课题。形式化方法提供了行之有效的建模、推导和验证机制。本文给出网格服务组合基调,基于此基调分析了网格组合服务的动态交互行为特性,提出基于CPi-calculus（Conditional Pi-calculus）的网格组合服务的行为交互模型（IABM）,并给出组合服务交互行为的形式化描述,最后进行交互行为的模拟验证。该网格服务行为交互模型为今后网格服务的组合优化工作提供了代数推导依据。     

一种非可规约循环的投机并行方法

传统的并行编译器在处理非可规约循环时一般使用结点分割法,但由此带来的代码复制是不可避免的。本文使用投机的方法来挖掘非可规约循环的并行性,该方法在编译时查找程序中的非可规约循环,在运行时使用＂持续引用＂策略预测该循环的入口,进而实现非可规约循环的并行化。     

±800 kV直流输电系统的可靠性及其提高措施

±800 kV特高压直流输电系统是世界上电压等级最高的直流输电系统，承担着大容量、远距离输电和联网的任务，因此特高压直流输电系统的可靠性是系统安全运行的重要指标，通过对国内外已有常规直流输电系统可靠性数据的收集、整理，分析了特高压直流输电系统的可靠性，同时基于马尔可夫原理建立特高压直流系统的可靠性模型，通过软件进行分析计算，提出了±800kV直流输电系统的可靠性设计指标，并提出了一些改进措施以提高特高压直流输电系统的可靠性。     

含B闪锌矿三元系半导体BxIn1-xP和BxGa1-xP带隙理论预测

利用第一性原理计算方法,用广义梯度近似 (GGA) 处理电子之间的交换关联能,计算了BxIn1-xP,BxGa1-xP的带隙结构.BxIn1-xP的带隙弯曲参数b _Eg (Γ)=4.32eV,b_Eg(X) =1.8eV,它从直接带隙转变为间接带隙时B的含量为0.47;在小量B的掺入下,可使BxIn1-xP的带隙变小,在x=0.15时带隙达到最小值1.33eV.BxGa1-xP的带隙弯曲参数b_Eg(Γ)=1.37eV,b _Eg(X)=2.46eV,在整个组分内是间接带隙.BxIn1-x-P,BxGa1-xP有较大的带隙弯曲参数,是由于组成它们的二元系之间存在较大的晶格失配.     

旋转导向钻井系统中振动加速度的消除方法

在钻井过程中,钻头切削岩层、钻柱与井壁的碰撞,必然造成钻井工具的振动,这些振动会在测斜加速度传感器的输出上得到反映,使其不能真实地反映井眼姿态的变化。为及时得到准确的井眼姿态,有必要研究振动条件下传感器的输出规律,进而消除振动的影响。从室内模拟振动实验的原始数据入手,通过Matlab对传感器输出信号进行功率谱密度估计,得出了振动频率与转速的大致关系,并设计了具有针对性的滤波器。通过对实验数据分析处理,振动干扰信号的能量得到大幅衰减,测斜传感器3个敏感轴的输出波动明显减小,提高了姿态测量的准确性,从而验证了该方法在旋转导向系统中是可行的。     

长江电力检修厂首次承担三峡枢纽水工建筑物的检修

长江电力检修厂首次承担三峡枢纽水工建筑的检修，检修工作已于2007年年底正式开始。在2007-2008年度的三峡水电站冬季检修中，除了对机组进行常规检查和重点维护检修项目外。还增加了枢纽水工建筑物检查、维护工作。对大坝深孔流道过流面检查与维护是检修工作中重要的一项。     

冲向Dreamlands

近期法国蓬皮杜艺术中心举办的dreamlands展览首次探讨了世界博览会、国际展览会、主题公园以及机构如何影响了城市理念以及城市的使用方式。这些由拼贴所创造的艺术副本,不断地被真实的复制着,虽然在审美上似乎有点媚俗,然而正是这些看似自我封闭的世界却经常给予20世纪的艺术、建筑和都市     

宁夏移民安置地剩余劳动力转移研究——以贺兰县南梁台子移民地为例

以宁夏贺兰县南梁台子移民安置地为例，运用剩余劳动力的计算公式计算了当地的剩余劳动量，并从转移劳工的结构、转移模式、转移区域、从业结构及收入等方面进行了分析，探讨了影响移民区劳务输出的因素，提出了促进其剩余劳动力转移的几项对策，即加快土地制度改革、疏通从业信息渠道、加强劳务人员培训、加快非农产业的发展．可为宁夏移民区剩余劳动力的转移提供借鉴．     

杆件纵横弯曲振动性能的研究

研究了纵横弯曲杆件的动力性能 ,推导出了纵横弯曲杆件的振幅计算公式 ,并分析了激振参数对杆件动力性能的影响 ,提出了在实际工程中减小杆件振动的一些措施。     

Barber Osgerby,设计双子星

被称为英国设计双子星的Edward Barber和Jay Osgerby都出身于1969年。1996年,他们共同成立了Barber Osgerby工作室,以流畅而又极简的设计风格、材料和技术的创新而闻名。你们是学建筑的,怎么会做起产品的?建筑的项目太有限了,而我们想要挣钱。(笑………)产品设计有更多的机会和可能性。