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

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

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

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

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

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

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

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

试论汉字形体的形态

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

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

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

司法实践中的司法政策研究

司法政策一直是影响我国司法实践工作的重要措施。汶川地震期间,最高人民法院发布了《关于依法做好抗震救灾期间审判工作切实维护灾区社会稳定的通知》,对抗震救灾和灾后重建期间发生的七类犯罪行为依法从重处罚①,利用出台司法政策的方式,对特定时期、特定事件中人民法院的审判工作进行指导。     

硫酸镁佐治毛细支气管炎50例疗效观察

目的 探讨硫酸镁佐治毛细支气管炎的临床疗效.方法 对照组采用综合疗法如:抗感染、吸氧、吸痰、口服咳喘合剂、美喘清及静脉滴注激素等平喘治疗,治疗组在上述综合治疗基础上加用25%硫酸镁稀释静脉滴注治疗,两组进行疗效判定比较.结果 使用硫酸镁佐治毛细支气管炎,疗效明显优于对照组,治疗组有效率达98%,明显高于对照组(P<0.01).结论 硫酸镁佐治毛细支气管炎安全有效.     

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

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

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

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