通用推理和验证系统利用正则匹配算法并引入机器学习算法,实现了智能化形式推理和验证平台,为构建智能系统提供了基本推理模型.将该系统应用于特定领域是重要的应用目标.通过
唐代张固在《幽闲鼓吹》的著作里编造了这样一段故事:有一新鬼,很瘦弱,忽见一肥鬼,就问他何以能如此肥健。肥鬼就说,你只要到人间作祟,人们就害怕,就会给你东西吃。于是瘦鬼
明刻本《盛明杂剧》较为全面地反映了明朝中后期南方士大夫群体的杂剧创作水平与用韵水准。全书基本上以《中原音韵》音系为用韵标准,但因创作地域、作者以及受众的整体“南
最近,日本一家公司提出了一项关于乳化油废水的新处理方法。在常温下,为了和水有亲合性,以前虽然也提出了把变性胺衍生物作为乳胶破坏剂来使用的方法,但是,使用这种破坏剂,使
集体谈判制度是劳动力商品过度市场化的纠偏机制,是市场经济本身所必需的宏观干预手段,即干预收入再分配、避免财产权利集中.工会的议价能力对集体谈判制度的运行效果具有决
赵明和高亮是非常要好的哥们。两个人是同一天入厂,又是同一天调进厂行政处机车班。赵明驾驶铲车,高亮驾驶翻斗车,两个人工作配合的最多、也最默契,大家都称呼他们是“黄金搭
2011年4月28日,中华全国总工会庆祝“五一”国际劳动节大会在人民大会堂隆重召开。共有1221个五一劳动奖章、306个五一劳动奖状和1075个全国工人先锋号获得表彰。
在文[1]中提出如下加强不等式:在△ABC中,证明[3+2(cosA+cosB+cosC)](n2+b2+c2)〉6(ab+bc+ca).
企业在市场经济体制下的竞争是技术创新与技术服务的竞争,开展多种产学研究联合的形式,积极扶持中小企业的技术创新活动,是全面增强我国企业技术创新能力的重要举措。
目的评估快速扩弓加前方前牵引在恒牙早期安氏Ⅲ类错(牙合)矫治中的效果.方法选择12例恒牙早期安氏Ⅲ类错(牙合)前牙反(牙合)患者,用快速扩弓加前方前牵引矫治器进行治疗,治