代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

Java面向对象语义的一种代数描述方法

运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了Java面向对象语义的一种代数描述模型的框架.     

铁链间反铁磁二模激发及其平方根代数描述

对具有反铁磁相互作用的一维双铁链的非线性激发,采用双子格模型,考虑外加势能的影响,从薛定谔微分方程推导出非线性激发的二模矩阵形式和对应的哈密顿量,并进一步得到系统的二次量子化形式及纯量子哈密顿量在Fock态下的矩阵形式。鉴于此系统含有非厄米项和复共轭项,利用非线性平方根代数对该系统进行重新描述。重新描述的哈密顿量和角动量都出现了非线性平方根代数的生成元。重新描述的系统角动量不再保持封闭性,角动量随时间演化的方程也不再封闭。     

Impacts of grassland fence on the behavior and habitat area of the critically endangered Przewalski’s gazelle around the Qinghai Lake

The trend of fencing grassland as livestock paddocks is spreading on the Eurasian steppe,however,its impacts on grassland wildlife are little known.In order to explore such impacts,we carried out a field study on how grassland fencing impacts Przewalski’s gazelle(Procapra przewalskii),a species listed as EN(Endangered) by SSC/IUCN,on the Qinghai-Tibet Plateau.The results revealed that(1) in the fenced areas,daily movement distance of Przewalski’s gazelle was 5081±1187 m(Hudong-Ketu) and 4110±912 m(Yuanzhe),which was much shorter than the 7223±546 m recorded in an unfenced area(Kuaierma);(2) the feeding bout duration of Przewalski’s gazelle was much shorter in the fenced habitat;(3) the frequency of walking along both high or low fence lines reached about 81%;while the frequency of jumping across the low fence line was only about 1.2% and frequency of crawling through the bottom of the high fence lines was about 17.8%;(4) the size of post-fencing habitat decreased to about 20% and 6% of the sizes of pre-fencing habitat in Hudong-Ketu and Yuanzhe areas respectively,but no clear change in the size of habitat area was found in the unfenced Kuaierma area;and(5) the fence lines impaired the possibility of gazelles to escape from predators and occasionally trapped the Przewalski’s gazelle which failed to jump over the fence lines.Death occurrence of Przewalski’s gazelle in the intensively fenced area,including gazelles strangled by fence lines and predated by wolves,reached 5% of the population size in Yuanzhe and up to 15%-20% in Hudong-Ketu.This study highlights the negative impacts of grassland fencing on Przewalski’s gazelle and proposes measures for integrating conservation of this gazelle with livestock management practice.     

交换Banach代数上线性系统的实现

研究变换Ｂａｎａｃｈ代数Ｗ上线性系统的实现理论，对给定的Ｗ上的真有理矩阵函数，利用其矩阵分式描述，构造了其可控形和可观测形的实现；进一步应用Ｇｅｌｆａｎｄ交换，，证明了其所有的极小实现都是严格等价的。     

C*-代数正元的比较

讨论由林华新引进的一种C~*-代数的正元的比较理论.以算子理论的方法详细讨论原始定义中所包含的具体信息,得到这种比较理论的等价定义,并给出常用的基本性质和初步的结果.最后讨论了与通常投影比较的异同以及给出对单C~*-代数的一种描述.     

拉回Dirac结构

引入了关于李双代数胚态射的运算，讨论了它的运算性质，并利用极大迷向子丛的对偶特征对对拉回Dira。结构做了新的描述，推广了已有的结论。     

一类高级Petri网:XML代数网

综合运用Petri网和XML代数的理论和方法,提出XML代数网.通过对代数高级网在XML代数下的解释和赋值,给出了XML代数网的形式化定义,从而建立了XML代数网的规范化描述.哲学家问题的实例研究展示了XML代数网在动态系统建模和仿真中的应用.研究的结果表明XML代数网作为一种工具对XML应用领域的建模和分析具有实际意义.     

具有真正并发语义的面向约束的实时进程代数

对于标准进程代数,通过加入因果和时间约束,对前缀操作项进行扩展,使得处理后的演算,保持定义简单,表达力增强,能够描述实时系统,并且具有真正并发语义。     

基于工作流的电子商务交易订购系统建模

随着Intemet的高速发展和普及,电子商务已成为当前社会和经济发展中的一种重要交易方式.工作流技术的出现和迅速发展为电子商务系统业务流程的建模和实施提供了重要的技术支持.基于工作流技术为电子商务交易订购系统建立形式化模型.首先通过进程代数CSP的语法进行了定义,并采用CSP对常见的工作流模式进行描述.其次,应用工作流的CSP 描述对电子商务交易订购流程进行建模.该模型符合原子性要求,能够对电子商务交易订购过程中的系统响应、并发控制等一系列关键问题进行描述,有助于解决当前电子商务系统存在的诸多问题.     

底部间隙对防风网抑尘效果的影响

分别对开孔率为0.273的非平面型防风网与0.264的平面型防风网进行了风洞试验研究,并且采用热线风速仪获得了不同底部间隙率（G/H=0.000,0.025,0.075,0.125,0.150,0.175和0.200）的非平面型和平面型防风网尾流区风速分布的数据.通过试验数据计算出不同底部间隙非平面型与平面型防风网尾流区的减风率,并对其进行了分析比较.综合分析可得：非平面型与平面型防风网模型均在底部间隙率（G/H）为0.150时,尾流区具有较好的风速分布和减风率,防风网的抑尘效果最优.     

保护电网故障诊断系统

设计了一种电网故障诊断系统，它通过电流、电压传感器将电网两侧这两种物理量测出，再经过变换器将其值送到计算机。计算根据这些数据分析、判断电网有无故障。若有，给出故障位置，并报警，打印等。     

三江源区高寒草甸生物多样性影响因子分析——以称多县珍秦乡高寒草甸为例

文章以三江源区玉树州称多县珍秦乡围栏禁牧高寒草甸和围栏鼠害治理高寒草甸为研究对象,进行高寒草甸生物多样性影响因子的研究,研究结果表明:1.围栏禁牧和围栏(适牧)鼠害治理对提高草地群落生产力有一定效果;2.围栏禁牧对于草地生物多样性丰富度的增加效果不明显,围栏鼠害治理的同时进行适度放牧有利于草地生物多样性增加;3.高寒草甸草地生物多样性的主要限值因子是温度,而不是水份.     

世界男子110m栏成绩演变与技术发展趋势

采用文献资料法、比较法、逻辑归纳法、数理统计法等对30年来世界男子110m栏历年前10名成绩及110m栏世界纪录成绩的演变和部分中外优秀男子110m栏运动员成绩技术参数进行了深入剖析。分析得出：世界男子110m栏成绩近30年稳步提高；起跑反应快、分栏时间短、最大栏间速度出现时间早且持续时间长是当今世界男子110m栏技术发展趋势。     

智能化电子围栏系统的设计研究

智能化电子围栏系统集防御、威慑、报警于一体,能够适应大范围,全天候的管理要求。本文主要介绍研究智能化电子围栏系统的必要性以及整体设计方案。本系统框架采用模块化,基本分为三个模块：（1）前端围栏模块,（2）电子围栏主机模块,（3）中心控制模块。     

不同形式导流屏导流效果数值模拟

导流设施可分为实体式和百页式2种类型。为了分析2种形式导流屏的导流效果,建立了飞机尾喷气流场的模型,分别模拟不同形式导流屏的导流效果。模型采用笛卡尔坐标系和结构网格,采用标准格式离散方程,采用SIMPLE算法来计算压力与速度的耦合。分析结果表明:设置导流屏导流效果明显,实体式屏若导流屏过高或过陡,并容易产生横溢气流;百页式导流屏让气流沿页板方向向后上方扩散,它对气流的阻力较实体屏小。     

基于经典余弦窗三谱线插值FFT的谐波参数估计

针对快速傅里叶变换（FFT）处理信号时出现的频谱泄漏和栅栏效应问题,利用真实频点附近幅值最大的谱线及其两侧的谱线,给出了基于经典余弦窗三谱线插值FFT的谐波分析方法,并结合最小二乘及多项式拟合方法,推导出谐波参数的修正公式.仿真实验结果表明,相较于传统FFT方法,基于经典余弦窗三谱线插值FFT法能够更好地抑制频谱泄漏和栅栏效应的影响,谐波参数检测精度也进一步提升.     

基于Open CV围栏合规性摆放检测方法研究

近几年,可视化设备应用的普及,使得目前图像信息资源庞大,图像信息作为一种极为重要的信息,它与整个人类的生活息息相关。同时,我国工程建设行业蓬勃发展,使得施工现场数目迅速增加,施工安全问题的重要性成为亟需解决的问题,如何充分利用目前已有信息资源实现由于围栏摆放不合规导致的施工安全隐患的检测与告警,文章提出了一种基于Open CV的围栏合规性摆放检测方法。利用Open CV对目前电力施工现场可视化设备所收集的海量视频图像信息,对于施工现场围栏摆放的合规性进行检测。通过对于施工现场图片的处理,首先对于图象中目标围栏部分进行预处理,并通过连通区域分析算法与区域生长算法相结合,实现对于该围栏群围栏部分的提取以及缺口存在性的初步判断,然后训练专用于检测围栏缺口的分类器对于存在缺口的围栏群进行再次检测,并对检测结果中缺口数量进行统计。通过对于测试集样本进行检测,分析分类器检测结果,总结并解决分类器检测结果不准确的问题,对分类器重新训练并优化,最终该算法可以实现对于围栏摆放合规性的判断。通过一系列图像处理算法的应用以及专用分类器的训练,以缺口数量作为判断围栏摆放是否合规的突破口,首次实现了使用Open CV对电力施工现场围栏群摆放是否合规的检测,并为该类特征模糊物体的检测拓展了思路.     

非均匀孔隙率防风抑尘网优化设计

基于均匀孔隙率抑尘网后呈现贴附涡旋贴附的流动状态,提出将抑尘网从下到上划分为孔隙率不同的三部分,建立非均匀孔隙率下,露天堆场周围空气流场的数学模型.运用Fluent 6.3,模拟9种非均匀孔隙率组合下网后的空气流动和堆面受力.结果表明:三层非均匀抑尘网的设置可人为引导网后空气运动的微环境;网的上、下部孔隙率(ε_H,ε_L)不变,中部孔隙率(ε_M)从0.3增至0.6时, 料堆的迎风面流场先减弱后增强, ε_M=0.4时,获最佳减速效果;上部孔隙率从0增至0.2时,ε_H=0.1时最优;调整网下部孔隙率,ε_L=0.2时最佳;孔隙率组合ε_H∶ε_M∶ε_L=0.1∶0.4∶0.2以最大限度地虚弱迎风面受力而获最小剪切力,与均匀空隙率(ε=0.3)网相比减小66.1%,与上、下两层非均匀网(ε_H∶ε_L=0.1∶0.3)相比减小31.2%,抑尘效果最佳.     

从电位分布看我国水库溢洪道电栅拦鱼设施的逃鱼问题

本文讨论了水库拦鱼电栅的电势分布,绘出了电栅阵列的等势面.说明由于全部等势面都穿过电栅阵列产生大量逃鱼通道而引起大量逃鱼.指出减少逃鱼的主要途经在于使造成逃鱼通道的等势面不穿过电极阵列。