引入Petri网概念的可视编程系统的设计

引进Ｐｅｔｒｉ网概念刻划图标（Ｉｃｏｎ）的动态行为和相互作用并给出一个可视化编程系统．通过例子说明本系统在编程阶段和程序运行阶段所采用的可视化技术     

第十一届禁止原子弹氢弹世界大会的巨大胜利

在日本举行的第十一届禁止原子弹氫弹世界大会,从七月二十七日开始,中間經过国际大会、全体大会、广島和长崎两个大会,已在八月九日結束。这届世界大会是禁止原子弹氫弹世界运动有史以来規模最大、意义极为深远的一次。它充滿了日     

对电解分离和定量分析钢中硫化物夹杂的方法的改进

1.改进电解液组成。使用1%EDTA—2%NaCl—0.25%酒石酸钾钠作电解液,具有快速、简单、经济等优点。硫化物的回收率可达98%以上。2.在上述电解液中电解时,电解液体积为400ml,电解时间半小时,电解试样约0.5克,可不必控制温度和 PH 值。3.用 H_2O_2—Na_2SO_4—柠檬酸钠中性溶液处理电解残渣,测其溶液中之Mn~(2+)含量,再换算成相应之 MnS 含量。用燃烧法测其残渣中含硫总量,再用差减法求出 FeS 的含量。     

絮凝剂在高岭土漂白洗涤中的应用研究

分析高岭土选矿中难洗涤的原因。导出了多级间歇洗涤模型,提出了解决问题的办法,使漂白洗涤过程得到强化,缩短了漂洗时间,降低了用水量。     

基于公交视角的兰州市城市交通发展策略

从城市路网结构、机动车保有量、跨河交通以及市政工程等方面对交通发展的约束进行了讨论.在此基础上,进一步从线路长度、非直线系数、线网密度、首末站点设置等方面进行了系统分析,认为兰州市公交主要存在公交线路普遍偏长、线路非直线系数过大、线网密度差异大、首末站设置不均衡等问题.据此提出了优化路网结构、发展大容量公共交通、合理规划站点、积极开发水上交通、不断提升管理水平等措施,以期对兰州城市交通的持续健康协调发展和国内其他带状河谷城市发展交通提供决策参考.     

疯牛病防治的研究进展

疯牛病是由朊病毒引起的一种致死性人畜共患神经退行性疾病.根据近年来国际上有关疯牛病防治的研究进展,并结合本课题组最近在该领域的研究成果,以新的角度,主要从疯牛病的风险因素、演化、种间传播、防治药物和监控体系等方面做以综述,旨在为我国各级政府在“后疯牛病时期”制定相应的疯牛病的防治政策提供参考.     

Blow-up流形的Gromov-Witten不变量的一个为零定理

 利用GW-不变量在blow-up手术下的退化公式,证明了在一定条件下,任意辛流形的blow-up流形的任意亏格的GW-不变量的为零定理,推广了Gathmann的已有结果。     

p-Laplacian方程组大解的存在性

 为了研究强耦合项的非线性椭圆型p-Laplacian方程组大解的存在性问题,文章运用上下解方法,主要讨论R ^N上一类椭圆型方程组大解的存在性及需要满足的条件。关键在于通过一组不等式的可解性,寻求可解的条件,从而得到方程组大解存在需要满足的条件,即(a-p+1)(e-q+1)相似文献   

民乐县污水处理厂CASS工艺设计及运行效果分析

民乐县污水处理厂采用CASS处理工艺,它的主要特点是高效、稳定、工艺流程简单,在有效去除污水中有机污染物的同时,具有脱氮除磷的良好性能,同时污水处理厂的高度自动化控制水平可以大大降低污水厂的运行成本.此研究介绍了污水处理厂的主要处理工艺,阐述了CASS工艺流程的主体构筑物设计参数及其设备配置,并对运行效果进行分析.结果表明:CODcr,BOD5,SS,NH3-N的去除率分别为86.9%～92.4%、88.7%～95.9%、89.0%～92.1%、89.2%～91.5%,各项出水水质指标达到了城镇污水处理厂污染物排放标准(GB18918-2002)中一级B标准的要求,处理后的水可回用.     

浅谈现阶段高校图书馆的人文关怀

本文分析了现阶段高校图书馆人文关怀的含义、重要性和途径,进一步强调了高校图书馆应秉行人文关怀的理念。