针对一阶逻辑中项结构比较复杂、语法与语义特征难以抽取的问题,基于项在文字替换过程中的Herbrand语义特征,分析其制约因素和度量规则,给出项稳定度的定义并提出一种基于稳
时间序列数据的高维性是影响数据查询代价的主要因素,降维技术是时间序列数据查询优化的有效手段。原有降维技术近似体积的无界性,造成索引阶段不能充分实现点过滤,影响了查
没有意境就没有诗歌。我国古诗词的创作非常注重表现意境。因为意境能够引起人们的美感，“晴空一鹤排云上”描绘的是秋天的优美景象；“大漠孤烟直，长河落日圆”是写边塞的壮丽景
采用累积距平曲线与Mann-Kendall法对太湖西苕溪流域降水、潜在蒸散发和径流序列进行趋势分析。结果表明,流域径流与潜在蒸散发在95%的置信水平下为下降趋势,而降水无显著变
中茶108（国品鉴茶2010013），是由中国农业科学院茶叶研究所培育成的茶树新品种，2010年通过国家级茶树新品种鉴定。中茶108为特早生品种，一芽一叶期与一芽二叶期分别比特早芽种龙井4
合成孔径雷达（SAR）图像中固有的相干斑噪声，严重影响了图像分割算法性能。为了改善SAR图像分割质量，本文提出了一种联合PM扩散模型和各向异性MRF模型的图像分割方法。首先对传统P
随着国家经济的快速发展,中小企业尤其是钢贸企业的融资需求日益旺盛,为了适应和满足钢贸商的融资要求,自2008年开始,以上海地区商业银行先行,开始开展钢贸动产质押融资业务,
老年人是社会的资深公民、是家庭的尊者,国家、社会和家庭有责任、有义务为他们提供维持生存的物质和劳务帮助,保障他们“老有所养”。其中妥善处理占全国总人口70%以上的农村居民的养老问题,是我国社会保障体制建设以及和谐社会构建的当务之急。为此,我国开展了大量的工作,各地区进行了不懈的探索和创新,农村社会养老保险取得了一定成果,但同时也暴露出诸多问题。一、农村社会养老保险现状截至2006年底,我国累计参加农村社会养老保险的人数为5374万人,比2005年下降1.25%;全国农村养老保险基金积累总额354亿元,比上
研究了带有多个温贮备部件的机器维修问题,系统中有R个修理工,修理工进行同步多重休假,同时考虑了顾客止步和中途退出的现象。文中利用马尔可夫过程理论建立了系统稳态概率满
近年來出土的戰國楚簡和秦汉簡帛中，發現了不少詩賦作品，其中又以楚簡詩賦的發現最為大量和集中。楚簡中的詩賦作品，主要有詩經體和楚辭體兩種體裁，其中絕大多數是傳世未見的佚篇