基于扩展Petri网的软件服务模型设计方法

为了提高复杂软件服务系统的构建效率,文章提出了一种基于扩展Petri网的软件服务模型设计方法。首先,该方法将注册的软件服务转换成Horn子句,并将用户需求转换为Horn子句的事实和目标,接着通过逻辑推理来构建完整的软件服务流程,将得出的Horn子句映射至扩展Petri网上,构建出满足用户需求的抽象服务集,最后通过案例验证了该方法的可行性。     

结合结构面统计的侧向岩石压力计算方法

岩体抗剪强度取决于结构面分布及其性质,侧向岩石压力的计算常用岩体等效内摩擦角参数,而边坡规范中岩体等效内摩擦角的取值难以反映实际岩体结构面分布及其性质的影响。为确定合理的支挡结构侧向岩石压力值,提出对现场岩体结构面性质包括产状、隙宽、迹长、间距、粗糙度进行统计,进而结合现场结构面统计的蒙特卡洛随机模拟结果和RMR地质评价系统,对岩体结构面进行定量评价。利用评价结果和Hoek-Brown准则拟合得到岩体等效摩尔库伦强度参数,由此计算侧向岩石压力。通过与现有方法进行对比发现,采用本方法得到的岩体等效内摩擦角计算所得的侧向压力更符合实际。     

学习先进 续写忠诚——云南消防部队掀起学习彭开福同志先进事迹热潮

连日来,驻守在云岭大地的广大消防官兵掀起了一场“学习彭开福先进事迹、争当忠诚消防卫土、作‘三个代表’忠诚实践者”的高潮,广大官兵表示,要向彭开福同志那样,为了消防工作勇于开拓,敢于创新,攻坚克难,争创一流的消防业绩,为社会营造一个良好的消防安全环境。2002年4月12日,彭开福同志病倒在工作岗位上后,云南省公安消防总队立即对彭开福事迹进行了整理,并邀请了中央驻滇及省内各大新闻媒体进行现场采访和广泛报道,尤其是4月26日     

消防功模欢聚在“八一”前夕

云南省公安消防总队于2003年7月16～18日在总队培训基地召开了第二届功椟座谈会，各支队政委和功模代表、“模范消防警官”彭开福的妻子陆建翔等60余人参加了会议。会议由总队副政委付亚莲主持，总队政治部主任郑锡祥全面回顾总结了全省消防部队立功创模活动情况，功模代表进行了经验交流，总队王子岗总队长、陈德国政委出席了会议。     

混搭演绎家居经典——美兆家具“一挚Ⅱ”方元、玲珑系列

与近千方桂湖为伴,日听潺潺流淌的桂溪流水,此番人与自然和谐相处的境界,是否已触动了你？轻轻一点体验的按纽,一幅呈现自然舒适的绿色生态家居的画面徐徐展开,向来崇尚＂以人为本＂人文设计理念的设计师,运用混搭的家装展现了设计艺术与人居环境和谐完美的融合,让每个置身其中的人都放慢脚步,感受大自然的宁静与平和。     

2012IHA创新设计大奖获奖作品呈现

2012年度IHA创新设计产品大奖在2012国际家居用品（芝加哥）展上揭晓,本年度共有400件设计作品参与2012年度IHA创新设计大奖的角逐,共有12位设计师的12件创新设计获得本年度此项殊荣。     

锚固条件下矿用锚索中纵向导波传播特性的实验研究

实验研究了矿用锚索的锚固段长度对纵向超声导波L(0,1)模态的衰减与群速度的影响。首先,通过简化为细直杆的钢丝中纵向超声导波的频散曲线分析了无锚固矿用锚索中该模态的传播特性。然后采用厚度振动型压电陶瓷片在水泥锚固条件下的矿用锚索中进行穿透法的实验,得出频段20-500 kHz内L(0,1)模态的幅值,确定了该压电陶瓷片对水泥锚固条件下的锚固矿用锚索的最佳导波检测频率为280 kHz。在此基础上,研究了280 kHz附近频率点下L(0,1)模态的幅值与群速度随水泥锚固段长度增加的变化规律。最后,对矿用树脂锚固条件下的矿用锚索进行了穿透法的实验,该实验结果与水泥锚固条件下的锚固矿用锚索的实验结果相符合。这些实验为利用纵向超声导波测量锚固条件下矿用锚索的长度奠定了基础。     

新书目

国际光学工程学会会议录馆藏新目录第三届国际固体现光器在ICF中的应用会议=Third international conference on solid state lasersfor application to inertial confinement fusion//Proc.SPIE.-1998.V.3492(1/2).-535p第三届国际固体激光器在ICF中的应用会议=Third international conference on solid state lasers for application to inertial confinement fusion//Proc. SPIE.-1998,V.3492(2/2).-509pNIF激光系统的性能等级=NIF laser system per-formance ratings//Proc.SPIE.-1998,V.3492(SSppl.).—150p