排序方式: 共有70条查询结果,搜索用时 31 毫秒
61.
本依据《马占山将军》等资料,对《在历史巨人身边——师哲回忆录》中关于马占山的几点史实逐一指明,以期这部作臻于完善。 相似文献
62.
对改进的链式推理技术的进一步探讨 总被引:2,自引:0,他引:2
刘晓霞 《西北大学学报(自然科学版)》1994,24(5):399-402
指出了传统正向链和逆向链的推理存在的问题,也分析了改进的正向链推理存在的问题。在这基础上继续改进,其方法是每一条规则不仅有一个激活值和一个用以记录其前提已匹配个数的计数器,还增加了一个合一参数表。在推理算法中每当一条规则被执行后,将计数器置于“0”,可以再激活。这种方法也适合带变量的规则系统。 相似文献
63.
彭桂芳 《东莞理工学院学报》1996,3(1):96-99
本文通过对调查研究,比较系统地总结出当前珠江三角洲地区企业会信息失真的特征,并针对实际情况提出解决企业会计信息失真的建议和对策,对于提高企业会计信息的真实性有一定的实用价值。 相似文献
64.
曹世君 《科技情报开发与经济》2007,17(23):65-66
介绍了医院图书馆如何运用XML和Java等技术对医院临床事实数据进行整合,为用户提供一个统一的检索平台。 相似文献
65.
赵青东 《南阳理工学院学报》2014,(1):22-26
事实劳动关系制度存在偏离劳动法宗旨、法律规则失调的缺陷,应把其纳入劳动合同制度加以改造,具体的路径是把"用工"作为劳动合同订立的一种形式,以"用工"建构的劳动权利义务作为未来订立的劳动合同的基本内容。 相似文献
66.
形式逻辑处理的对象主要是超主体的、客观的事实问题,是一种无主体逻辑、必然性逻辑、静态化逻辑、程式化逻辑。由于事实与价值存在深刻的异质性,因而不可能简单地照搬、套用形式逻辑处理主体性、相对性的价值问题。由于逻辑是对人的生活实践的提炼与总结,生活实践中关于事实和价值问题的思考,对于各种事实和价值问题的解决,都可以并且应该上升、提炼、总结为逻辑的格、式与规律、规则,从而实现逻辑学的发展和飞跃。立足人们的价值生活实践,处理价值现象、反映价值思维的价值逻辑应具有如下基本特性:实践性、主体性、具体性、生成性。 相似文献
67.
谓词/变迁系统对一阶谓词公式的建模 总被引:1,自引:0,他引:1
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构造一阶谓词公式对应的谓词/变迁级的"事实变迁"表示的方法,克服了已有相关建模方法中存在的不足,为一阶谓词公式的自动化建模提出了新的思路。最后,探讨了一阶谓词公式的谓词/变迁系统模型在谓词逻辑推理领域的应用及其意义。 相似文献
68.
分析了以“事实为依据,法律为准绳”基本司法原则的法哲学依据,讨论了。事实认定”与“法律适用”的认识论特征,指出了由于认识论原因,自由裁量原则上不可避免. 相似文献
69.
相位差的数字化测量研究 总被引:22,自引:0,他引:22
吴俊清 《应用基础与工程科学学报》2005,13(1):99-104
分析了基于DFT/FFT谱分析及互相关法检测正弦信号相位差的原理,重点讨论了这两种相位差检测方法所产生的误差及误差校正方法.针对混有噪声的正弦信号,分析了检测精度及影响精度的因素.利用虚拟仪器技术,构建了基于这两种相位差检测算法的检测系统.实验证明,与传统的模拟电子器件相比,这两种方法具有运算速度快、精度高、抗干扰能力强等特点. 相似文献
70.
灌浆期不同温光对水稻叶、籽粒可溶性蛋白质及可溶性糖动态变化的影响 总被引:17,自引:0,他引:17
本文探讨温度和光强互作对水稻灌浆生理的影响 .1 材料与方法1 .1 实验设计供试品种为特三占 (劣质 )、毅丰 4 8(毅夫×丰澳占 ,优质 ) .植株在大田的自然条件下生长至孕穗 ,然后材料分两组 ,一组放在人工气候箱的高温条件下 ( 33℃昼温 /夜平均温 ) ,一半用50 %的遮光网遮光 ;另一组为大田的适温条件 ( 2 1℃昼温 /夜平均温 ) ,一半用 50 %的遮光网遮光 .抽穗受粉的当天选择生长一致的单稻穗挂牌标记 ,以后每隔 5d随机抽取标记的稻穗每次 6穗 ,重复 3次 .1 .2 测定方法可溶性蛋白质含量用考马斯兰G - 2 50染色后在 595nm处比色测定 … 相似文献