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

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

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

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

几乎弱θ加细空间

证明了如下结果:①空间X是几乎弱θ加细空间,当且仅当X是几乎离散弱θ加细可膨胀的,并且X的每个开覆盖,U={Uα∶α∈∧},都存在X的稠密子集D和U的开加细V=∪n∈ωVn,使得(V) x∈D存在n∈ω和α∈∧,有x∈Uα,并且st(x,Vn)(∈)∪β≤αUβ;②如果X=Ⅱα∈∧Xα是|∧|—仿紧空间,则X是几乎弱θ...     

我国原煤产量的灰色预测研究

煤炭资源不可再生,是保障国民经济发展的基石,故煤炭产量预测意义重大。利用灰色系统理论对我国原煤产量进行预测,构建预测模型,根据预测2012年我国煤炭产量达42亿吨,2015年达60亿吨。并对预测过程软件实现,采用MATLAB建立小型预测系统。     

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

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

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

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

试论汉字形体的形态

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

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

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

《孟子》训诂札记

《孟子》训诂札记叶斌《孟子》一书，作为儒家经典之一，为之注疏者自然不在少。旧注如汉赵岐的《孟子章句》、宋朱熹的《孟子集注》、清焦循的《孟子正义》，新注如杨伯峻的《孟子译注》，影响都是很大的。前人时贤的这些努力，已使《孟子》训诂大体可通。但毋庸讳言，已...     

多agent系统的联盟框架及形成机制

基于集合分割、Rough集理论、大系统控制论和人工社会理论对多agent系统协作的联盟框架及形成机制进行了研究,提出了2类6种联盟框架.在知识层次上定义了联盟精度等概念,并给出了联盟形成的算法描述,算法易于编程实现,并给出一个应用实例,有效解决了agent的能力和任务所形成的知识集合边界不分明的问题.