论文部分内容阅读
命题逻辑公式中的冗余子句及冗余文字
【机 构】
：
西南交通大学数学学院,四川,成都,610031
【出 处】
：
中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会
【发表日期】
：
2012年10期
其他文献
2月6日，交行甘肃省分行科技金融特色支行在兰州挂牌成立。根据战略合作协议，交行还将共建项目、企业信息库，对有望进入高新技术企业行列的创新型企业进行重点培育，充分展示金融资
2014年12月10日，招行宣布其新一代移动金融产品正式面世，首次实现手机与银行卡真正意义上的合二为一，将银行卡的所有功能集成到手机上。用户可通过手机进行大额、小额安全支付，手
中国汽车工程学会理事长付于武目前表示，国内无人驾驶的技术路线图已经存在，两个月之内就会发布，而这也将成为我国无人驾驶领域公布的首个标准。与此同时，百度已完成无人驾驶汽车
5月23日，国务院新闻办公室举行新闻发布会，请科技部部长万钢介绍《国家创新驱动发展战略纲要》（以下简称《纲要》）的有关情况，并答记者提问。万钢表示，《纲要》的一大亮点是对产业
高速公路作为交通行业非常重要的一部分,要在当前的市场背景下得到发展,对高速公路经济体制的创新是非常必要的。本文针对市场背景下高速公路经济管理体制创新进行深入研究探
基于三相异步电机绕组方式的磁场式时栅位移传感器,通过旋转磁场得到行波信号强度较弱,并容易受到周围磁场的干扰。为了进一步提高时栅位移传感器行波信号的强度,提出一种基
褐藻酸、褐藻酸盐是非常重要的工业原料。由于其具有无毒、抗氧化、生物相容性高等优点,被广泛应用于各个领域中,近年来国内褐藻酸工业发展迅速,但生产及应用方面仍存在不足,
2015年12月12日，兴业银行“云闪付”投入使用，可实现移动设备的线下非接触支付与远程在线支付。据介绍，“云闪付”比扫码支付更简便，线下支付时只要在带有“闪付”标志的POS机前
日前，交通银行正式对外发布其小微金融O2O创新产品——“好生意”。该产品基于互联网＋云端技术，整合软硬件平台，为小微商户提供了线上线下（O2O）一体化收单、商品管理、财务管理、理
“理实一体化”教学模式是指在教学过程中改变传统课堂教学模式,将理论与实践相结合,以学生为中心,以就业为导向,通过教师课前设置教学目标和任务,引导学生边学边做。在课堂