期刊文献+
共找到24篇文章
< 1 2 >
每页显示 20 50 100
基于格值命题逻辑系统LP(X)的不确定性推理 被引量:3
1
作者 周平 姜明 徐扬 《四川师范大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第5期509-511,共3页
讨论了基于格值命题逻辑系统LP(X)的不确定性推理,证明了FMP和FMT等不确定推理规则,为进一步讨论语言值逻辑推理提供逻辑基础.
关键词 格佰命题逻辑系统lp(X) 不确定性推理 语言值逻辑推理
下载PDF
四值非链格值命题逻辑系统LP_4(X)的归结原理
2
作者 孟丹 郑逢斌 +1 位作者 徐扬 秦克云 《河南大学学报(自然科学版)》 CAS 2003年第3期43-46,共4页
基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果,给出了LP4(X)上的归结原理,并证明了其可靠性和完备性.四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构,其上归结原理的研究为归结算法的实现提供... 基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果,给出了LP4(X)上的归结原理,并证明了其可靠性和完备性.四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持. 展开更多
关键词 自动推理 归结原理 格蕴涵代数 非链格蕴涵代数上的四值命题逻辑系统lp4(X)
下载PDF
参数LP系统的三I算法与α-三I算法
3
作者 王庆平 张兴芳 《计算机科学与探索》 CSCD 2008年第2期206-211,共6页
给出了连续三角模族T_(p-L)及其伴随蕴涵算子族R_(p-L)的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族R_(p-L)的三I算法与α-三I算法。
关键词 系统lp 蕴涵算子族Rp-L 三I算法 α-三I算法
下载PDF
XENIX系统下lp系统打印故障分析
4
作者 余莹 刘炜 《微型机与应用》 1996年第5期38-38,共1页
XENIX多用户系统提供脱机打印系统1p,支持多台打印机同时工作,提高了CPU的工作效率,有效地解决了系统的输出瓶颈问题。但在使用过程中,由于设置和操作不当,经常发生一些冲突和故障,本文将分析一些常见故障并给出相应原因分析。 1 确定... XENIX多用户系统提供脱机打印系统1p,支持多台打印机同时工作,提高了CPU的工作效率,有效地解决了系统的输出瓶颈问题。但在使用过程中,由于设置和操作不当,经常发生一些冲突和故障,本文将分析一些常见故障并给出相应原因分析。 1 确定是否为1p系统打印故障 当用命令mkdevlp或1pinit为系统增加1台打印机后,打印机不能正常工作,并不一定是1p的打印故障。在shell提示符$下键入命令date>/dev/1p0,如果打印机能打印出系统当前日期,可以说明通讯电缆及打印机均工作正常。反之则应该检查通讯电缆及打印机自身是否有故障。 当执行命令1p/etc/motd时系统提示:can't access file/etc/motd,这也不算是1p的打印故障。1p命令打印文件的本质就是1p用户(系统用户UID=14,GID=3)读取文件并与打印调度进程1psched通讯。 展开更多
关键词 XENIX 操作系统 lp系统 打印机 故障分析
下载PDF
水稻条斑病细菌(Xanthomolias oryzae pv.oryzicola)Wzt基因参与LPS O-抗原合成和影响细菌致病性 被引量:1
5
作者 龙菊英 张佳环 王金生 《自然科学进展》 北大核心 2005年第10期1195-1203,共9页
ABC-转运系统将同质O-抗原多糖链从细胞质内膜转运到细胞周质空间合成脂多糖(LPS)。通过功能互补和亚克隆序列分析在X. oryzae pv. oryzicola的基因组文库中发现了一个Wzt基因, 该基因编码产物是运输O-抗原的ABC-转运系统的疏水组成部分... ABC-转运系统将同质O-抗原多糖链从细胞质内膜转运到细胞周质空间合成脂多糖(LPS)。通过功能互补和亚克隆序列分析在X. oryzae pv. oryzicola的基因组文库中发现了一个Wzt基因, 该基因编码产物是运输O-抗原的ABC-转运系统的疏水组成部分,为ATP-结合蛋白。为区别基因来源将该基因命名为Wzt_(Xooc). Wzt_(Xooc)编码一个35.9 ku的蛋白质。通过分析发现,Wzt_(Xooc)与数据库中的其他细菌包括水稻白叶枯病菌的ABC-转运系统的ATP结合蛋白质不同。在Wzt_(Xooc)序列中仅发现ATP-结合蛋白中4个保守基序的3个,没有发现ATP-结合位点Walker A(ATP/GTP binding site motif A)。通过基因插入突变得到Wzt_(Xooc)基因突变体Mwzt。LPS分析表明:由于该基因突变使O- 抗原链不能转运通过细胞质膜,不能形成完整的LPS分子,突变体菌落表面丧失了产生大量胞外多糖的能力;突变细菌不产生鞭毛,丧失了游动性和生物膜形成的能力。重要的是突变体在水稻上的繁殖能力和致病性明显下降,证明Wzt_(Xooc)基因与LPS合成及致病性有关。 展开更多
关键词 XANTHOMONAS ORYZAE pv.oryzicola ABC转运系统lpS致病性 水稻白叶枯病菌 基因组文库 O-抗原 lpS 致病性 细菌
下载PDF
amarl(阿玛尼)LP90黑胶唱盘系统
6
作者 学明 《视听前线》 2007年第9期34-37,共4页
近期LP复苏的热潮越演越烈,不少资深老牌均推出新设计的产品应市,而同时,一些新面孔也渐渐浮现出来,而且当中不乏实力雄厚者,amari就是其中的代表者之一。
关键词 amari lp90黑胶唱盘系统 Hi—Fi音响品牌 磁悬浮轴承系统 外观
下载PDF
基于不同影像处理系统构建综合生产体系研究
7
作者 张金梅 李蕾 《测绘与空间地理信息》 2020年第5期70-72,75,共4页
通过研究像素工厂、海拉瓦数据处理系统、LPS/ORIMA系统的不同性能和功能特点,探讨了基于这3种影像处理系统构建航测综合生产体系,进行了系统间的组合与生产流程耦合,发挥了各自软件系统的功能优势,整合优势资源,提高了生产效能和成果... 通过研究像素工厂、海拉瓦数据处理系统、LPS/ORIMA系统的不同性能和功能特点,探讨了基于这3种影像处理系统构建航测综合生产体系,进行了系统间的组合与生产流程耦合,发挥了各自软件系统的功能优势,整合优势资源,提高了生产效能和成果质量。 展开更多
关键词 像素工厂 海拉瓦系统 lpS/ORIMA系统 综合生产体系
下载PDF
Closure Operators of Lattice-valued Propositional Logic LP(X)
8
作者 WANG Xue-fang ZHENG Feng-bin XU Yang 《Chinese Quarterly Journal of Mathematics》 CSCD 北大核心 2005年第3期301-308,共8页
In this paper, closure operators of lattice-valued propositional logic LP(X) are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP(X) is investi... In this paper, closure operators of lattice-valued propositional logic LP(X) are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP(X) is investigated. At the same time, a tool for checking compactness of LP(X) is given. 展开更多
关键词 lattice-valued logic lattice implication algebras closure operators COMPACTNESS
下载PDF
德黑兰地铁动力照明系统的分析
9
作者 贾永新 《地铁与轻轨》 1998年第1期28-31,共4页
我院参加的德黑兰地铁工程是国际投标项目,其合同文本对整个地铁系统的构成、功能、设备等方面均有严格而详细的规定,合同中的技术规范详细记录了这些内容。 通过前期投标、系统设计和施工设计工作,对德黑兰地铁的动力照明配电系统(以... 我院参加的德黑兰地铁工程是国际投标项目,其合同文本对整个地铁系统的构成、功能、设备等方面均有严格而详细的规定,合同中的技术规范详细记录了这些内容。 通过前期投标、系统设计和施工设计工作,对德黑兰地铁的动力照明配电系统(以下简称LPS系统)有了深入的了解。 展开更多
关键词 德黑兰 地铁工程 地下铁路 供电系统 动力照明系统 lpS系统
全文增补中
格值语义归结推理方法 被引量:8
10
作者 张家锋 徐扬 何星星 《计算机科学》 CSCD 北大核心 2011年第9期201-203,210,共4页
归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比... 归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比较性信息的工具,它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质,该类子句集在任意赋值下能分为两个非空子集,接着讨论了这类广义子句集的语义归结方法,并证明了其可靠性和完备性。 展开更多
关键词 格蕴涵代数 格值命题逻辑系统lp(X) 自动推理 语义归结方法
下载PDF
建筑结构中雷电流和磁场分布特性的频域有限元方法分析 被引量:8
11
作者 刘荣美 汪友华 张岩 《电工技术学报》 EI CSCD 北大核心 2013年第S2期140-145,共6页
给出了建筑物复杂钢筋结构体的简化模型,考虑雷电暂态现象产生的电场和磁场的相互耦合,采用基于有限元的频域求解方法,得到了建筑物复杂钢筋结构体中的电流和磁场分布情况,与已有电路方法和试验结果进行比较,验证了提出的频域有限元方... 给出了建筑物复杂钢筋结构体的简化模型,考虑雷电暂态现象产生的电场和磁场的相互耦合,采用基于有限元的频域求解方法,得到了建筑物复杂钢筋结构体中的电流和磁场分布情况,与已有电路方法和试验结果进行比较,验证了提出的频域有限元方法的正确性。给出了四种参数变化情况下,简化模型8根立柱导体中的电流分布百分比及模型上层坐标为(0.05,0.05,1.5)的磁场值的相应变化。结果表明钢筋导体的电导率和直径对电流分布和磁场的影响很小,雷电流的频率对电流分布和磁场影响略大,雷电流的峰值对电流分布无影响而与磁场成正比例变化。这些仿真结果为建筑物的防雷设计提供了依据。 展开更多
关键词 雷电防护系统(lpS) 雷电流 有限元 频域 电磁场
下载PDF
两种天然保鲜剂对冷却猪肉保鲜效果的比较研究 被引量:10
12
作者 肖岚 李诚 辛松林 《中国食品添加剂》 CAS 2007年第1期83-88,共6页
通过比较乳过氧化物酶体系(LPS)与乳酸链球菌素(Nisin)两种天然生物保鲜剂对冷却猪肉的保鲜效果,发现LPS是一种优质安全的天然保鲜剂。对冷藏过程中微生物、感官和理化指标进行检测,结果显示试验组的保鲜效果都显著地优于对照组;经LPS... 通过比较乳过氧化物酶体系(LPS)与乳酸链球菌素(Nisin)两种天然生物保鲜剂对冷却猪肉的保鲜效果,发现LPS是一种优质安全的天然保鲜剂。对冷藏过程中微生物、感官和理化指标进行检测,结果显示试验组的保鲜效果都显著地优于对照组;经LPS处理的冷却猪肉的品质优于Nisin处理的冷却肉。 展开更多
关键词 冷却猪肉 保鲜 乳过氧化物酶系统(lpS) 乳酸链球菌素(Nisin)
下载PDF
乳过氧化物酶体系在冷却猪肉保鲜中的应用研究 被引量:1
13
作者 李诚 肖岚 +2 位作者 谷安超 辛松林 陈代文 《食品科学》 EI CAS CSCD 北大核心 2007年第12期498-502,共5页
为了评定乳过氧化物酶体系对冷却猪肉的保鲜效果,对冷却鲜猪肉分别采用浓度为3μg/ml的乳过氧化物酶体系(LPS)、4μg/ml的LPS、40μg/ml的乳酸链球菌素(Nisin)、3μg/ml的LPS+40μg/ml的Nisin、4μg/ml的LPS+40μg/ml的Nisin等5组不同... 为了评定乳过氧化物酶体系对冷却猪肉的保鲜效果,对冷却鲜猪肉分别采用浓度为3μg/ml的乳过氧化物酶体系(LPS)、4μg/ml的LPS、40μg/ml的乳酸链球菌素(Nisin)、3μg/ml的LPS+40μg/ml的Nisin、4μg/ml的LPS+40μg/ml的Nisin等5组不同保鲜剂处理,以蒸馏水处理做对照,测试猪肉在3±0.5℃保存条件下感官指标、理化指标和细菌总数的变化。结果表明:经LPS处理的冷却猪肉在贮藏过程中的感官指标、理化指标和细菌总数的变化比对照组缓慢,差异达到极显著水平(p<0.01),LPS可有效延长冷却猪肉的保鲜期;LPS处理比Nisin处理的保鲜效果更好,差异达到显著水平(p<0.05);当LPS与Nisin复配时,可以达到更好的保鲜效果,猪肉的保鲜期可达20d以上;Nisin可以减轻LPS导致的猪肉脂肪氧化。 展开更多
关键词 冷却猪肉 保鲜 乳过氧化物酶系统(lpS) 乳酸链球菌素(Nisin)
下载PDF
基于ERDAS 9.1/ER mapper软件快速制作航空遥感DOM的方法 被引量:1
14
作者 卢小平 田继辉 +3 位作者 卢遥 余涛 邓安健 马剑 《河南理工大学学报(自然科学版)》 CAS 2010年第1期56-60,共5页
快速制作航空遥感正射影像图(DOM),不仅能够及时获得动态目标的变化信息,而且可以对突发事件进行及时的动态监测,为现场应急指挥提供第一手翔实的图像资料.利用LPS ERDAS 9.1(含LPS模块)、ER mapper遥感图像处理软件,对基于机载POS系统... 快速制作航空遥感正射影像图(DOM),不仅能够及时获得动态目标的变化信息,而且可以对突发事件进行及时的动态监测,为现场应急指挥提供第一手翔实的图像资料.利用LPS ERDAS 9.1(含LPS模块)、ER mapper遥感图像处理软件,对基于机载POS系统、POSPAC软件数据进行研究,提出一种快速制作正射影像图的方法,并对黄海浒苔地区航空遥感影像进行了验证,结果表明,快速制作的黄海浒苔正射影像达到了预期的精度指标,取得了较好的效果. 展开更多
关键词 正射影像 ERDAS 9.1(含lpS模块)系统 POS系统
下载PDF
百万元 河南联通实施电视网络一期工程
15
作者 张杰 《中国计算机用户》 2002年第8期18-18,共1页
关键词 河南 联通公司 电视网络 lp会议电视系统 网络传输结构
下载PDF
间隔距离问题研究 被引量:2
16
作者 陈军 《电气应用》 北大核心 2013年第2期70-72,共3页
根据有关文献和标准资料,对间隔距离这一防雷措施进行了深入研究,明确阐述了间隔距离的概念、作用、组成形式、计算方法和检查要点。发现新版GB50057—2010《建筑物防雷设计规范》对于间隔距离问题表述尚存在一定不足,尤其是对于防止第... 根据有关文献和标准资料,对间隔距离这一防雷措施进行了深入研究,明确阐述了间隔距离的概念、作用、组成形式、计算方法和检查要点。发现新版GB50057—2010《建筑物防雷设计规范》对于间隔距离问题表述尚存在一定不足,尤其是对于防止第二类、第三类防雷建筑物接闪器对附近金属物或电气和电子系统线路的反击所应满足的间隔距离要求尚不够到位,对此提出了GB50057—2010相关条款的修改建议,供有关方面参考。 展开更多
关键词 间隔距离 雷电防护系统(lpS) 等电位连接 危险火花 高电位反击
下载PDF
精益思想在建设工程项目计划与控制中的应用 被引量:2
17
作者 王正茂 《建筑施工》 2009年第8期710-712,共3页
精益思想是由精益生产发展而来的管理理念,目前,在许多行业得到了发展和应用。通过分析建设工程项目管理中传统的计划与控制方式及其存在的问题,提出将精益思想运用于建设项目中的精益项目计划与控制体系,并对体系的构建及应用前景进行... 精益思想是由精益生产发展而来的管理理念,目前,在许多行业得到了发展和应用。通过分析建设工程项目管理中传统的计划与控制方式及其存在的问题,提出将精益思想运用于建设项目中的精益项目计划与控制体系,并对体系的构建及应用前景进行了研究。 展开更多
关键词 精益思想 计划与控制 lp系统 即时控制
下载PDF
发电厂建筑物防雷措施的优化
18
作者 宫厚良 《工程建设与设计》 2016年第10期43-45,共3页
阐述了防雷所遵循的基本原则,分析了防雷的措施以及选择这些措施的流程,简要介绍了风险评估理论方法。结合案例,介绍了风险评估在发电厂建筑物防雷措施选择中的应用,提出了在建筑物防雷中可采纳的几点建议。
关键词 建筑物防雷 雷电防护系统(lpS) 风险评估
下载PDF
Web-based supplier relationship framework using agent systems 被引量:1
19
作者 Oboulhas Conrad Tsahat Onesime 徐晓飞 战德臣 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2004年第1期54-59,共6页
In order to enable both manufacturers and suppliers to be profitable on today’s highly competitive markets, manufacturers and suppliers must be quick in selecting best partners establishing strategic relationship, an... In order to enable both manufacturers and suppliers to be profitable on today’s highly competitive markets, manufacturers and suppliers must be quick in selecting best partners establishing strategic relationship, and collaborating with each other so that they can satisfy the changing competitive manufacturing requirements. A web-based supplier relationships (SR) framework is therfore proposed using multi-agent systems and linear programming technique to reduce supply cost, increase flexibility and shorten response time. Web-based SR approach is an ideal platform for information exchange that helps buyers and suppliers to maintain the availability of materials in the right quantity, at the right place, and at the right time, and keep the customer-supplier relationship more transparent. A multi-agent system prototype was implemented by simulation, which shows the feasibility of the proposed architecture. 展开更多
关键词 web-based supplier relationship management supplier selection linear programming (lp) multi-agent system (MAS)
下载PDF
提高办公自动化网安全构想
20
作者 霍领乐 郭新海 +1 位作者 秦宏伟 耿琳莹 《中国新通信》 2017年第2期41-42,共2页
本文针对当前计算机安全形势和办公自动化网的建设需求,在深入研究LPS系统的基础上,为实现安全保密工作的精细化管理,提高工作效率,本文设计了一种新的办公自动化网络架构及部署方案。
关键词 网络安全 lpS系统 办公自动化 网络架构
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部