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

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

毛蚶及其酶解产物的功能性评价和比较

目的:对毛蚶及其胰蛋白酶水解产物进行功能性评价和比较。方法:通过正交实验优化胰蛋白酶水解条件,并对毛蚶水解产物和毛蚶进行蛋白含量、氨基酸成分和抗氧化活性的检测和比较。结果:通过胰蛋白酶的水解,毛蚶的营养价值和肽含量明显提高,并表现出更强的抗氧化活性。结论:胰蛋白酶处理过的毛蚶具有更明显的药用活性,为进一步研究后者的药用价值提供依据。     

110kV变电站综合变电楼钢结构技改方案分析

本文提出＂两型一化＂变电站建设的钢结构建筑体系技改方案,同时评估了其建设的经济效益和环境效益。     

试论汉字形体的形态

本文试图对传统有所突破，从更多的角度论述汉字形体的形态，揭示汉字形态的丰富性，以开拓字义分析、字形分解等方面的视野。     

基于神经网络的综采工作面技术经济指标预测

应用人工神经元网络系统理论 ,基于神经网络的自学习方法 ,在对西山煤电集团东曲矿综采工作面大量实际资料进行统计分析的基础上 ,就工作面日进度、日产量、回采工效率、坑木消耗、配件消耗等 1 1项综合技术经济指标进行预测 ,预测结果精确度较高与实际相吻合 .为解决煤矿综采工作面计划、生产、管理的预测决策问题提供了一种新的研究方法.     

盾构施工时桩身参数对侧桩位移的影响

针对苏州轻轨1号线盾构隧道的施工情况,采用三维有限元数值模型,研究盾构施工对不同刚度及边长桩基的影响.结果表明:当盾构施工时,不同刚度桩身均偏向隧道移动,隧道轴线处的横向位移均最大.桩身横向位移最大值、竖向位移均随桩身刚度增大而变小,而且桩顶的竖向位移均大于桩底的竖向位移;当桩身弹性模量大于10GPa时,桩身竖向沉降减小不明显.随着桩身边长的逐渐增大,盾构施工引起的桩身最大横向位移、竖向位移、桩顶与桩底的竖向位移差均逐渐减小.盾构施工时应当监控桩基隧道轴线处横向位移及竖向沉降.     

脑机接口的延展认知解释争议与表征机制

脑机接口通常以延展认知方式加以解释并认为该技术系统能够延展人类行为者的认知过程.而近年来针对该解释也产生了诸多反对观点.基于对认知定义、熟练性以及生成认知这三个争议点的说明,本文认为延展认知模型并不适用于解释脑机接口.通过对该技术认知与功能实现机制的分析,表征更具备针对该技术的解释力,同时借助表征解释亦能澄清上述争议中...     

DSR路由信息存储的无线TCP性能改进方法

当使用TCP业务作为负载时往往会影响TCP性能。这是由于在多路径传输时频繁的帧失序会造成发送端不必要的超时重传,严重影响TCP性能。本文提出了一种路由信息存储策略,在发现路由中断时发送端进入”冻结”状态,当判断帧丢失是由路由中断引起后,使用存储路由信息,避免由于频繁重新发起路由请求造成TCP性能下降。试验证明,使用基于路由信息存储方法在节点运动剧烈时,可以有效地提高无线TCP性能。     

不同库区水位下坝基地震液化的有效应力分析

采用基于有效应力的完全耦合动力分析方法和Cyclic mobility动力本构模型,以某水库大坝作为工程实例进行分析,讨论在设计水位和死水位情况下坝基的地震液化可能性.计算结果表明,Cyclic mobility本构模型可以很好地模拟饱和砂土的液化.通过分析可以得出如下结论:在死水位情况下坝基的液化区域较设计水位情况下减少,但由液化所引起的上游变形明显增大,因此设计时需要对此引起注意.     

闽南地区农村住宅安全性现状及防灾建议

在对厦门市海沧区近9 000栋农村住宅的安全性和耐久性现状普查基础上,分析该地区农村住宅的结构类型分布特点和不同类型房屋的安全性等级分布.针对该地区农村住宅存在的安全性和耐久性问题,提出该地区农村住宅防御自然灾害,特别是防御地震灾害的相关建议.