Nonterminating Rewritings with Head Boundedness

We define here the concept of head boundedness,head normal form and head confluence of term rewriting systems that allow infinite derivation.Head confluence iw weaker than confluence,but sufficient to guarantee the correctness of lazy implementations of equational logic programming languages.Then we prove several results.First,if a left-linear system is locally confluent and head-bounded.then it is head-confluent.Second,head-confluent and head-bounded systems have the heau Church-Rosser property.Last,if an orthogonal system is head-terminating,then it is head-bounded.These results can be applied to generalize equational logic programming languages.     

明渠交汇区水位变化特性试验研究

交汇河流在自然界中普遍存在,水流相互作用突出,水位流量关系变化复杂。本文基于物理模型试验探讨了天然河流交汇区水位变化特性,分析了不同干支流来水条件下的水位沿程变化、交汇区典型断面水位流量关系、交汇区泥沙起动流速变化等特性。结果表明,交汇区水位变化的强弱与干支流流量等密切相关,交汇区泥沙起动流速随里程变化与单一河道有明显差异。     

串联法氧化铝生产中的合流脱硅

合流脱硅是简化联合法生产流程、降低能耗的有效措施。因此。国内外业界做了大量卓有成效的工作。串联法的工艺特点，更宜于采用合流脱硅。试验结果表明，串联法采用常压合流脱硅流程可以达到所需要的硅量指数。文中还对合流脱硅的硅量指数、合流点、合流脱硅温度、赤泥种子和添加石灰乳等问题进行了讨论。     

嘉陵江汇流特性统计及分形分析

嘉陵江汇流特性对长江重庆河段的泥沙运动与河床演变影响重大。根据1955~2011年的原型实测水文资料,通过数理统计方法,分析了嘉陵江汇流比的变化趋势和频率分布特性,应用分形几何方法研究了日汇流过程曲线特征,提出采用分形汇流比RD全面量化复杂汇流过程,并探讨了RD的参数构成及变化规律。结果表明：嘉陵江日汇流比R的变幅随北碚站流量Q的增加而逐渐缩窄;各级流量对应的汇流比区间频率具有中间大、两端小的分布特性,累积频率分布曲线呈现两端平缓、中间陡峻的变化特点;分形汇流比RD随流量的增大而增大,全年RD与汛期RD的变化规律基本一致,汛期汇流过程对全年汇流特征影响显著。     

分组语音与数据集成技术的应用

应用分组语音、数据、视频等网络集成技术,将企业内部的语音通信从公众电话交换网（PSTN）转移至企业内部的数据网络上,利用其网络拓扑结构、远程拨号功能和Internet接入等手段,在帧中继、DDN专线和VoIP网络上高效融合数据、语音和视频等通信业务。     

汇流区水土保持综合治理是水库提能达标的重要途径

中坝水库是乐都县湟水南岸山区的一项重要的蓄水灌溉工程,其汇流区严重的水土流失,直接影响到水库的使用寿命,同时上游水源日趋减少,严重威胁着中坝乡十三村群众的饮水及阿兰工业园区用水安全。因此,对汇流区实施水土保持生态工程是一项民心、德政工程,是人与自然和谐相处的具体体现,确保水库安全,使效益正常发挥,做到水资源可持续利用。对汇流区生态建设提出具体对策和主要措施,并对水土保持综合治理工作提出了一些建议。     

新安江模型在汤旺河流域洪水预报中的应用

介绍了新安江模型发展历程,以及模型结构和原理,系统说明了模型参数类型和模型优化方法,通过实例运用三水源新安江模型采用分层分析的方法对模型的参数进行率定,对汤旺河流域日流量过程进行了模拟,模拟分析表明,新安江模型在东北地区洪水预报中还是能很好地应用。     

流域汇流单位线时段转换应用分析

当流域汛期雨情报讯时段在特殊情况下出现变化时,流域汇流单位线必须事先进行时段转换后才能用于实际洪水预报。以实测水文原始数据为依据,根据示例流域在水文预报工作中的特殊需要,采用s曲线法对流域汇流单位线进行了实例转换和应用分析。分析成果符合相关行业规范精度标准,提出了分析成果的具体使用条件和应用范围,成果能够作为备选方法用于实际工作之中。     

Ethnicity, culture, and sexual aggression: Risk and protective factors.

Explanatory models of sexual aggression were examined among mainland Asian American (n = 222), Hawaiian Asian American (n = 127), and European American men (n = 399). The Malamuth et al. (N. M. Malamuth, D. Linz, C. L. Heavey, G. Barnes, & M. Acker, 1995; N. M. Malamuth, R. J. Sockloskie, M. P. Koss, & J. S. Tanaka, 1991) confluence model of sexual aggression, which posits impersonal sex and hostile masculinity as paths to sexual aggression, was consistently supported. Culture-specific moderators of sexual aggression were also identified. Whereas loss of face was a protective factor against sexual aggression in the Asian American samples, it generally was not a protective factor among European Americans. These findings are not a function of actual or perceived minority status. An implication is that theoretical models may need to be augmented with cultural constructs for optimal application in certain ethnic group contexts. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

一种Agent数据库系统框架及其规则并行算法

面向对象方法描述的对象是被动的,与主动机制存在矛盾,不能很好地定义分布式主动数据库中对象的功能和特性.分布式主动数据库中的主动规则还带来了终止性、合流性的问题.首先分析面向对象方法的局限性,将Agent技术、分布式数据库、主动数据库相结合,给出一种面向Agent的分布式主动数据库系统框架.然后在这个框架基础上,提出扩展事件规则图方法和改进的Coffman-Graham规则并行算法,并分析它们的性能.分析结果表明,前者在一定程度上解决了数据库系统的终止性问题,后者在保持合流性的基础上提高了规则并行处理效率.这个框架对研究Agent技术在分布式主动数据库中的应用有一定的启示.