简介：

简介：

简介：考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.

简介：介绍了时序逻辑单元和组合逻辑单元发生单粒子效应的机理,以反熔丝型FPGA芯片ActelA54SX32A为实验对象,设计了3种典型的链电路系统。在中国原子能科学院HI-13串列静电加速器上采用Br离子对电路进行辐照实验,在频率为20MHz的条件下,3个链电路的翻转截面分别约为3.268×10-3cm2,7.449×10-4cm2和3.988×10-4cm2。实验结果验证了在0.22μm工艺条件下,时序逻辑单元比组合逻辑单元更加敏感,并且在包含两者的电路中,组合逻辑单元会屏蔽部分单粒子效应。最后,针对电路中不同逻辑单元,给出了两种加固方法。

简介：在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.

简介：逻辑推理的方法和探索工具——类比思维若谷数学学习能使人聪明，故人们称数学是“思维的体操”类比思维就是“思维体操”中非常重要，非常关键的一节，著名数学教育家波利亚曾说过：“类比是获得发现的源泉，是最富创造性的逻辑推理方法和探索工具”。实际上，类比是根据...

简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。

简介：慕尼黑工业大学和亥姆霍兹慕尼黑中心的Xos6LuisDedn—Ben和DanielRazansky已实时演示了三维多谱光声生物成像。在光声成像技术中，激光束首先被生物组织吸收，然后促使一种特有的声信号形成，而这种信号又会以与超声波相同的方式被检测到。这种技术在体内生物过程的成像方面起着重要作用，因为它在深层组织中具有优越的光学对比度和较高的空间分辨率。

简介：企业组织架构,是指企业按照国家有关法律、法规、股东(大)会决议和企业章程,结合本企业实际,明确股东(大)会、董事会、监事会、经理层和企业内部各层级机构设置、职责权限、人员编制、工作程序和相关要求的制度安

简介：爆炸逻辑网络是用炸药非常规爆轰特性实现的传爆序列，它由多个爆炸逻辑单元（逻辑零门、与门和破坏性交叉通路）组成，主要运用在定向战斗部等常规武器系统中，起引爆控制作用。2005年，研制出爆炸逻辑零门（设计参数间隙L为0．3～2．1）、破坏性交叉通路（设计参数夹角动35°～60°）。但是作为应用技术，爆炸逻辑网络的可靠性关系到整个武器系统可靠性，关系到武器能否准确打击预定目标。

简介：双天线GPS提供的载体姿态信息与惯性导航系统信息进行融合可提高组合导航系统的性能。由于在实际应用中,GPS接收机可能会受到某种干扰无法提供舰船航向信息,从而降低传统卡尔曼滤波器的性能。因而提出了一种新的基于模糊逻辑控制的自适应卡尔曼滤波器。改进后的卡尔曼滤波器使用两个模糊逻辑控制器来调整两个系统的组合模式,并且根据卡尔曼滤波器的内部状态、GPS工作状态和舰船运动状态来计算卡尔曼增益。通过使用INS和GPS的实测数据验证,这种基于模糊逻辑控制的自适应卡尔曼滤波器能有效的提高INS/GPS组合导航系统的性能。

简介：创新组织内持续知识共享可以从根本上提高创新组织的创新速度。在重点分析微观企业创新组织内知识共享特征的基础之上,采用复制动态的演化博弈来研究创新组织内知识共享行为的演化轨迹;研究发现：只有当共享主体双方协同收益均大于共享成本时,才有可能演化为双方均知识共享或均知识不共享的两种演化稳定策略,至于最终演化状态为均共享还是均不共享,又受到各模型参数变化的影响,降低共享成本、提高知识型员工的知识共享能力、共享知识量和人际关系损失成本概率、并建立一定的激励机制对于促进创新组织内知识共享行为的发生效果显著。

简介：近年来,我国各类民间非营利组织快速发展,逐渐成为我国市场经济体系的重要组成部分,并在社会经济生活中发挥着重要的作用。随着我国会计改革力度的加大,非营利组织会计在会计体系、会计准则、会计方程式、会计报表等方面,较好地实现了与国际会计惯例的接轨。自2005年1月1日起开始在社会团体、基金会、民办非营利企业单位和寺院、宫观、清真寺、教堂等范围内实施的《民间非营利组织会计制度》,既充分考虑了民间非营利组织的特性和业务特点,又尽可能借鉴了国际通行的惯例。

简介：通用技术是新课程改革中一门全新的课程，它重在培养学生技术素养和创新思维，指导学生有目的、有计划地去发现问题、解决问题。本文以苏教版《技术与设计1》第五章第一节第2课时的内容“方案的构思方法”的教学为主要实例，谈谈通用技术教学中如何精心组织教学素材，提高课堂教学实效。

简介：UNESCO是联合国教育、科学和文化组织的简称。它在这些领域中的计划，其目的在于把具有相似兴趣的人们联系起来，以便使每个人都从中获益，并且大家都为一个共同的目标工作。在这方面以及在很多目的方面，国际科学组织如(在物理学领域里的)欧洲物理学会(EPS)和国际纯粹和应用物理学联合会(IUPAP)，都是相同的。UNESCO的不同之处在于，它的成员不是个人或私人的职业联合，而是国家。

简介：分析了罗素悖论与康托的实数集合不可数证明及康托定理S〈P（S）证明之间的本质性联系，发现康托的这两个非构造性证明与罗素悖论有完全相同的思路，但是康托犯了两个逻辑性错误而使他误用了这个悖论思路。得到明确的结论：康托在集合论中如上两个证明里的核心部分实际上是罗素悖论的翻版，这两个证明中的思路与做法是错误的，这样的证明结果没有科学性。

简介：宝钢推行标准成本管理制度以来,成本管理的重心转移到了作业区,作业长从以往只管生产、质量转到还必须管现场成本上来。随之,财务人员在成本管理方面扮演了越来越重要的角色,成为降低现场成本的组织者。财务人员构建成本网络,制定成本管理推进的进度、计划,负责培训作业长成本知识和宣

简介：面向对象技术具有封装性，抽象性，继承性及多态性，用这种方法表示模型可支持模型的共享与重用，尤其是支持渐近式构模，文章提出用面向对象方法表示模型，将管理科学的各种模型定义成模型类，实现模型与方法的封装，借助于模型装配语言（MAL）定义复合模型类，解决因模型部件，方法部件和数据部件的分离带来的特性不匹配。

简介：用纳米结构粉末做喂料进行喷涂，缩短了颗粒熔化时间，在有限的飞行时间内，颗粒熔化效果更好，从而制备的涂层孔隙率更小，表面更平整。用ZrO2纳米结构喂料制备了等离子喷涂层，研究了功率、粒度、氧化钇含量等工艺参数条件下涂层的微观组织、孔隙率、相组成及抗热震性能。经X衍射分析表明，原始粉末由m-ZrO2,t-ZrO2,c-ZrO2构成，单斜相的含量为11％，主要由四方相和立方相构成。

简介：本文利用复杂网络理论，采用无标度网络模拟现实的组织模型，并研究知识在这个模型中的传播演化问题。通过模拟发现：知识在组织内的传播，首先和知识传播成功的概率有关，成功传播的概率越高．知识越容易扩充到整个组织系统，但随着时间的延续，系统拥有知识的人趋近于某一确定值；其次知识在传播速度上明显表现出钟状形态，开始传播速度较低，然后传播速度逐渐加快，达到最大值，最后逐渐下降；第三组织规模对知识传播周期基本没有影响。第四当组织内存在拒绝学习知识者，则知识在系统内传播速度将大幅下降，所需周期增加明显；第五考虑知识拥有者因遗忘而退化和知识抗拒者因观念转变而进化的情景，发现遗忘对组织的传播速度的不利影响要超过进化带来的有利影响，因此组织要重点用好知识拥有者，在使用中强化知识记忆，防止知识遗忘。