动态优先系统及其Petri网语义

优先关系是并发系统控制的重要手段。文中提出一种动态优先系统（∑,D）,其中∑是有界Petri网,D是描述变迁之间优先关系的动态结构。然后采用变换技术分别给出安全的和有界的动态优先系统的Petri网语义：通过引入广义补位置和优先变迁,并对非安全系统的某些变迁进行分解,根据（∑,D）构造相应的Petri网∑D。最后利用步序列证明了∑D在不破坏动态优先结构D的规格说明约束的前提下,尽可能地保持了∑的并发语义。     

浅议灌区用水信息化管理

文章根据水利灌区信息采集及传输的实际需求,在进行需求分析的基础上,依据信息点的类别、选择不同的网络传输方式进行探讨,同时,应尽力利用现有的社会或自有通讯资源,以减少通讯基础设施投资和管理维护升级费用,有利于灌区信息化的可持续发展。     

浅析泵站电气设备的维修方法与实践

文章阐述了掌握通用机电设备及维修的基本理论和基本技能的必要性,就具有从事通用机电设备、自动化设备与生产线的安装、调试、运行、检测、维修和机电设备工作的能力展开论述。     

基于HOG和block权重的快速人体检测方法

为解决HOG行人检测过程缓慢的问题,在梯度向量直方图HOG中引入block权重的概念,通过合理筛选block,组成行人的特征向量,然后使用线性SVM作为分类器,重新进行学习,达到减少信息冗余、提高检测效率的目的。在INRIA库上进行实验,结果表明,通过合理选择block,能够在不影响检测效果的情况下,显著减少block的数目,达到提高检测速度的目的。     

对象在类型系统λω×≤中的表示

类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 ,并对它们的特点进行了总结与比较     

关于研制1000kV级特高压变压器若干问题的探讨

介绍了国内外１０００ｋＶ级特高压输电线路发展和变压器研制的情况，对我国超高压及特高压输电线路的发展作了预测。阐述了国外１０００ｋＶ级特高压变压器有关参数，着重分析了我国沈阳，西安，保定三大变压器制造企业研制特主压变压器的可能性，并对为缓解大变压器厂应具备的条件提出了建议。     

Formation mechanism of barium titanate nanocrystalis under hydrothermal conditions

Growth units and the crystallization habit of BaTiO3 nanocrystals have been investigated. It has been proposed that the growth units of BaTiO3 were surface hydroxylated Ti(OH)62- octahedra. The relationship between crystal morphology and the variation of the current intensity in the solution has been obtained through the measurement of the OH in the solution and the hydrothermal experiment with superimposed direct electric field. Based on the computation of the stability energy of the growth units, the relationship between the crystallized morphology of crystallites and the most favorable growth units under different conditions has been derived. It has been found that there is structure similarity between anatase (TiO2) and BaTiO3 from the crystal chemistry viewpoint, so they are soluble in each other, which can serve as a reasonable explanation for the abnormal phenomenon of the retention of cubic substable phase at room temperature.     

一种基于空腔振动的新型智能流量计

利用流体流过管道沿壁矩形空腔而产生振荡的原理，应用电子技术和单片机技术，提出了一种适用于气体大流量测量的一体化智能型空腔流量计。具体介绍了空腔流量计的结构、系统硬件组成和软件设计。在分析测试结果的基础上归纳了仪表的特点，认为该流量计新颖、简易，是一种具有发展前途的流量仪表。     

远传水表抄表系统设计与实现

从系统的结构、通信程序和管理软件设计的要点，介绍了一种远传水表系统的设计和实现。物业公司的计算机系统经集中器、采集器可以读取各个水表的实际数据，并且由管理软件实现客户注册、计费、生成帐单等功能，建立完整的数据库。     

山地小杂果优质高效栽培管理技术

近些年,海东以小杂果为主的经济林业逐渐成为本地农户脱贫致富的好项目。但是,该项产业的蓬勃发展,离不开优质高效栽培管理技术的推广和应用。结合相关文献查阅,根据一线工作经验,就优化栽培管理技术分别从建小杂果园、幼龄园管理、龄园管理等几个方面做要点阐述,为今后科学种植提升小杂果产量做技术指导。