基于π演算的软件人群体形式化建模

在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述. 描述了对该系统从分析到设计的整个构建过程,并采用π演算形式化方法对整个系统的信息流和控制流,以及任务之间的4种协作方式进行了建模. 对于不同的应用领域,通过定义相应领域的本体库和所需的角色以及任务分解,即可快速构建相应的应用系统,为分布式系统提供了一种解决方案.     

圆锥凸轮特征造型方法的研究与系统实现

特征造型有利于将零件设计意图传递到后续加工环节,保证设计模型与加工模型数据表达的一致性.以圆锥凸轮机构为研究对象,采用已推导出的圆锥凸轮机构设计模型表达式,在特征造型软件MDT开发平台上,通过API编程,研制了一套具有设计计算和三维特征造型功能的圆锥凸轮机构虚拟设计系统.实例证明该系统具有一定的实用价值.     

沉积地球化学在层序地层分析中的应用

对于层序地层学研究来说最基本的、也是最关键的问题是层序的识别,而层序的识别包括两个方面的内容,一是层序界面的识别,二是层序内体系域构成的识别.层序界面和层序内体系域的识别除宏观的沉积记录分析方法外,还可通过微观的沉积地球化学分析资料来识别.研究表明,在层序界面的形成过程中,伴随着风化作用的进行,在层序界面上的Fe元素以高价Fe的氧化物形式出现;Al含量高,主要为Al的氧化物;K的含量大于Na元素的含量;Th/U比值很大.体系域与REE和微量元素、常量元素含量密切相关,LST(或SMST)期REE含量最低,TST期REE含量逐渐增高至最大,海泛期达到最高, HST期又逐渐下降.LST期,微量元素含量最低,TST期微量元素含量逐渐增高直至最高,HST期微量元素含量又逐渐下降.     

桩板墙桩土作用机理有限元分析

桩板墙是一种已得到广泛应用的新型支挡结构.该文采用数值分析方法对岩土体和桩共同作用下,桩上部岩土体剩余下滑力的作用形式、桩身传力方式、桩身内力的计算方法等进行了分析.得到了板桩墙能够显著改善桩后岩土体桩轴法线方向应力矢量的方向和分布特征,使桩后岩土体的桩轴法线方向的应力矢量分异减小;同时能够将上部坡体和下部锚固段岩土体连接成一个共同作用体,利用其自身强大抗弯能力,在阻止上部变形体出现过大的侧向变形的同时,协调两部分岩土体侧向变形;还能有效改善因开挖引起的坡脚应力集中现象和上部拉应力现象,避免岩土体因过大的应力集中而导致塑性破坏的认识.其分析方法和得到的认识,可为相关工程的优化设计提供参考.     

反应装甲对射流干扰的数值模拟研究

基于爆炸式反应装甲与射流之间相互作用存在诸多影响因素,采用数值模拟方法探讨了反应装甲对射流的干扰问题. 建立了反应装甲和聚能装药的三维有限元模型,选取ALE算法进行数值仿真,得到了不同角度放置的反应装甲对射流的干扰过程和射流被干扰前后的速度梯度曲线. 仿真结果表明,随着反应装甲放置角度的增加,干扰的效果也随之增加. 数值模拟结果与实验结果进行了对比,符合较好.     

应用前哨淋巴结活检术指导乳癌手术方式的临床研究

目的探讨开展乳腺癌前哨淋巴结活检(sentinel lymph node biopsy,SLNB)的必要性、可行性、准确性及临床应用价值.方法应用美蓝5 mL于原发肿瘤上、下、左、右选4点行皮下及乳腺组织注射,5～15 min后仔细解剖,根据蓝染标记切除SLN.所有患者行同期根治术,切除SLN与区域清扫标本同时送病理检查,了解其符合率,并评价SLNB的可行性.结果 30例均进行SLN识别定位,活检后经病理检查有2例错误.1例未取到SLN,故SLN的检出率为96.7%;1例SLN病理呈假阴性.按目前国外SLNB的评价标准,本组SLNB的敏感度为88.9%,准确率为93.3%,假阳性率为0,假阴性率为11.1%.结论乳腺癌SLNB目前在国内外仍处于研究阶段,随着研究的扩大与深入将可能取代常规的ALND.     

基于事例推理的质量故障处理系统设计

在CBR(Case-Based Reason ing)中高速、有效地完成事例的检索,对问题求解的性能有直接影响,当知识库中事例足够多时,事例匹配可能变得简单,但检索的目标却更难达到。为此,以质量管理系统的设计与开发为背景,提出了一种基于事例推理的质量故障处理方法,给出了基于双库结构的质量故障处理系统的总体结构。该设计采用事例推理方法实现故障处理事例的模糊表示,并利用模糊贴近度完成相似处理事例的检索,所描述的事例表示和检索具有很好的实用价值,可使以往的经验及专家知识得以继承,同时有利于质量故障的准确、快速处理。     

两种实用的洪灾损失频率分析方法

为了提高洪灾损失频率分析方法的计算精度、速度和可操作性,利用基于信息扩散理论的风险分析方法和基于实数编码的遗传算法确定参数估计的频率分析法(PⅢ曲线)对洪灾损失频率进行分析,前者弥补了观测样本信息不足的缺陷,而后者克服了传统配线法精度低的缺点,体现了遗传算法的全局寻优能力.实例证明,这两种方法思路清晰,操作简单、通用性强、速度快、精度高,对防洪减灾均具有较好的指导作用.并可推广到其它灾情的风险分析,如气象、地震等.     

近十年海洋来源木霉属真菌次生代谢产物研究进展

木霉（Trichoderma spp.）是一类自然界广泛存在于土壤中的真菌类群,属于半知菌门（Deuteromycotina）丝孢目（Moniliales）木霉属（Trichoderma sp.）。海洋中的木霉属真菌因其高盐、高压和缺氧的特殊环境,能够产生更多结构新颖、生物活性独特的次生代谢产物。木霉属真菌的次生代谢产物主要包括聚酮、肽类、萜类以及其他类型,这些化合物具有细胞毒、抗菌、酶抑制等多种生物活性。本文综述近十年来海洋来源木霉属真菌中分离的新次生代谢产物,并对这些新化合物的生物活性进行归纳总结。     

基于正态灰云模型的装备维修保障系统效能评估

装备维修保障系统是一个复杂系统,对其效能进行评估是检验系统保障能力的重要手段。在分析装备维修保障系统构成的基础上,建立装备维修保障系统效能评估指标体系;考虑评估专家对指标权重判断的不确定性,采用区间层次分析法和三元联系数对指标进行赋权;利用正态云模型改进灰色三角白化权函数,提出一种正态灰云效能评估模型,集成了云模型和灰色评估法在处理模糊性、随机性和灰色性复杂问题方面的优势。最后通过实例分析和集对分析法、分形评估算法,验证了本文提出方法的有效性。