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

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

双PWM变频器整流控制策略的研究

针对变频器对电网造成的谐波污染及无功,给出了矢量控制的变频调速系统及直接转矩控制的变频调速系统不同的整流器控制策略.结果 表明,双PWM变频器无论是在矢量控制系统还是直接转矩控制系统,均可使输入电流接近正弦波,功率因数高,效率高,是高压大容量变频器的发展方向.     

几类笛卡尔乘积图的邻点全和可区别全染色

设f:V(G)∪E(G)→[k]是图G的一个非正常的k-全染色,令权重 φ(x)=f(x)+∑x∈e f(e)+∑y∈N(x)f(y),其中,N(x)={y∈V(G)|xy∈E(G)}对任意的边uv∈E(G),如果有φ(u)≠φ(v)成立,则称f为图G的一个邻点全和可区别非正常k-全染色.图G的邻点全和可区别非正常全染...     

移动网络中的自适应业务带宽调整研究

详细介绍了移动通信网络中的业务带宽调整问题,着重介绍了其中的公平性和开销问题;并介绍和分析了现有的3种带宽调整方案,比较了他们各自的优缺点,提出了一种新的带宽调整方案.该方案采用固定的带宽升降级比率和循环升降级的方法,既保证了带宽升降级时的公平性,又有效地控制了网络开销.计算机仿真结果表明了新的方案具有良好的性能.     

纳米材料的发展与应用

本文阐述了纳米材料的结构、性能、纳米技术的研究领域以及纳米材料在建设、计算机、日常生活、农业、医疗、消防、环保和国防等方面的广泛应用。     

动态语义知识网络构建研究

分析了目前语义知识库研究现状,提出了一种新的语义知识结构模型--以Ontology(本体)概念为理论基础,将现有的中文信息库和离散型神经元网络结构相结合,构建了一个具有自学习、自适应能力的神经语义知识网络模型.     

RT-qPCR检测Wistar大鼠黄嘌呤脱氢酶/氧化酶基因 转录水平方法的建立

目的 建立实时荧光定量(RT-qPCR)检测Wistar大鼠黄嘌呤脱氢酶/氧化酶(XDH/XO)基因转录水平的方法,以在转录水平上对XDH/XO基因进行定量检测。方法 提取Wistar大鼠肝脏组织中总RNA,经逆转录得到cDNA, 以10倍为稀释因子稀释为5个浓度梯度,使用设计的引物序列和内参基因进行RT-qPCR检测,得到XDH/XO基因表达的标准曲线。进而检测Wistar大鼠高尿酸血症动物模型中XDH/XO基因转录水平的变化。结果 RT-qPCR法检测得到的XDH/XO基因标准曲线溶解峰单一,R2接近1,能检测出高尿酸动物模型中XDH/XO基因转录水平的变化。结论 RT-qPCR检测Wistar大鼠XDH/XO基因转录水平的方法具有定量准确,重复性好的特点,可应用于高尿酸血症的发病机理、新药研究等方面。     

锰粉尘云最低着火温度的实验研究

利用G-G恒温炉分别测试了分散压力、质量浓度及惰性粉体对锰粉尘云最低着火温度的影响。结果表明:最低着火温度随分散压力的增大先降低后升高,得到分散压力为0.05 MPa时最有利于锰粉尘云的燃烧,对应的最低着火温度为496℃。最低着火温度随质量浓度的增加呈现先降低后升高趋势,测得最敏感浓度为2.272 g/L,对应的最低着火温度值最小为466℃。采用新的方法,通过改变惰性粉体的粒度来研究对最小点火能影响可以发现:最低着火温度随二氧化硅粒度的减小而升高;粒度一定质量浓度越大对锰粉尘云的燃烧抑制效果越明显。     

皮鞋内腔CT测量仪的扫描运动控制系统

采用工业CT技术解决了皮鞋CAD CAM中存在的皮鞋内腔测量难题 ,同时也完成了X -射线工业CT技术的研究 ,通过对国内外CT技术的研究 ,提出了一个合理的系统配置方案 ,此方案既能满足皮鞋内腔测量的要求 ,同时也能实现普通工业CT测量。提出了简单实用的运动控制系统方案 ,在没有用昂贵的直流伺服控制的前提下 ,达到了很高的运动位置控制。研制出一种简单稳定的检测方法 ,实现了探测器加密运动的精确位置控制。整个解决方案的是令人满意的 ,不仅能满足皮鞋内腔测量的 2 5 6×2 5 6图像分辨率 ,而且最高可以达到 10 2 4× 10 2 4分辨率。     

大规模通信网络中虚通路带宽查表分配算法

现代通信网正朝着支持多种类别的多媒体业务的方向发展,在这种情况下,如何保证网络服务质量,为用户提供更好的服务是当前网络优化中急需解决的重要问题。基于网络的呼叫阻塞率(CBP)对大规模网络中的虚通路进行动态带宽分配管理是一种有效的网络优化方法。但是,如何在指定CBP和业务流负荷下求得带宽值是目前虚通路带宽分配中的难点。提出了一种全新的带宽查表分配算法,该算法通过快速建立指定业务负荷下带宽和CBP之间的关系表格来精确地查找所需分配的带宽值。仿真结果表明,与现有带宽分配算法相比,本文的带宽查表分配算法精度高、计算速度快。