简介：摘要：在严寒地区，太阳能—土壤源热泵复合式系统能够为建筑供热供冷。为最大程度开发利用太阳能集热系统，论文利用复合式系统中的太阳能集热系统实现建筑物非供暖期时的热水供应，通过与其他常规热水供应系统的对比，发现太阳能热水系统具有良好的经济性和环保性，从而为太阳能 -土壤源热泵复合式系统的应用和推广提供参考依据。

简介：模糊逻辑模型和交股模型是心理语言学有关言语感知研究中解释言语听辨机制的重要模型理论。模糊逻辑模型运用模糊逻辑和原型的两个概念生动明确地描述了言语听辨的过程和言语在记忆中的储存情况。交股模型将各个层面的因素及影响都包括在言语听辨的过程中。然而，这两个模型也有各自的局限性。模糊逻辑模型主要强调语音因素的作用，而交股模型则误将听辨过程看作是去除交股中与目标词不相似词的过程。本文通过对两个模型局限性的解析，将二者的优点重组，以寻找一种更为合理地解释言语听辨过程的新途径。

简介：由于私营部门所有权、经营权及最重要的二十世纪九十年代投资，近年来英国铁路得到了新生。国家铁路系统分散成很多独立公司，该行业已经发生了根本性的变化，耘蕾公司銎营着各种各样的活动。传统上国有经营者持有的技术和技巧现在已经转入私营部门，而多领域公司的引入已经从其它行业带来了知识和实践。

简介：归纳出对在线社交网络研究具有挑战性的一些课题,介绍描述用户关系的逻辑模型（粉丝模型）,提出逻辑关系寓意邻接矩阵（粉丝矩阵）。用此模型展示对微博平台Top-X信息查询的聚合-排序-删除算法。进一步应用映射和化简概念将上述Top-X信息查询算法扩展于并行计算环境,给出映射关注和化简粉丝在Ha-doop系统联机实现的算法。粉丝模型和相应的算法实现了对新浪微博74.7GB和Twitter的101GB实际数据的多种约束下信息查询和微博转发预测,特别是在Hadoop系统联机环境下,新方法的信息化简和计算性能明显提高。

简介：文章介绍了一种Agent的逻辑设计,给出了一种以事件为中心的Agent模型,并给出了其类定义原型.

简介：逻辑信息系统采用一致的方法并利用逻辑程序对信息进行刻画、查询,最后借助信息进行导航、分析和更新。逻辑在逻辑信息系统中,尤其在数据库模型中发挥着重要的作用。为此给出了逻辑信息系统的规则以及建立在系统基础上的程序。在逻辑程序中,通过对逻辑的内涵概念和外延概念的解释,可以对不同的逻辑程序进行优劣的比较,从而为选择最佳的逻辑程序提供标准。

简介：逻辑层次模型是心理学的一个理论,现被广泛用于教练技术及管理咨询中。教练与教师的角色非常相似,从教师的角色定位及任务进行分析,与逻辑层次的六个层次恰好一一对应,分别为指导者、教练、教师、导师、支持者、唤醒者的角色。而这六种角色,自下而上,又体现出教师的进步与成长。

简介：网络通信效能的建模仿真是网络中心战（networkcentricwarfare,NCW）信息增值链条仿真研究的重要组成部分。在HLA（highlevelarchitecture）分布式虚拟战场环境中进行NCW信息网络的建模仿真,有＂分散式＂和＂集中式＂两种实现途径。本文通过对网络中信息传递过程的分析,分别给出了两种仿真途径的通信模型组成和仿真实现逻辑。对于＂分散式＂通信仿真,引入了多个功能函数对消息的各个处理流程及通信链路性能进行功能性建模;借助网络仿真工具构建NCW跨层的网络通信协议栈模型,从而实现NCW虚拟战场＂集中式＂通信仿真。这两种仿真途径的逻辑实现方法为在HLA分布式虚拟战场中进行NCW通信仿真研究提供了一种解决思路,对NCW网络化信息增值的效果研究具有实际意义。

简介：

简介：【摘要】在信号与系统及自动控制原理的学习中，经常对单入-单出系统进行分析，主要设及系统的传递函数，一个系统的传递函数是系统的固有属性，随着输入信号的不同，系统产生的响应也随之发生变化。在自动控制原理中，传递函数的零、极点情况不一样，对系统的稳定性至关重要；在信号与系统中，信流图的分析也离不开传递函数，信号经过多个子系统的传递及反馈，最终分析得到时域表达式，经复频域变换得到。在系统分析与设计过程中，需要针对具体问题和设计要求选择合适的模型结构，以利于突出模型特点，从而分析过程简便和物理意义明确，同时，模型转换可避免重复建模，提交设计效率。本文就Matlab模型转换常用函数命令结合具体实例进行分析，从而加深对模型转换命令的掌握的理解。

简介：摘要压缩机是压缩式热泵的“心脏”，对压缩机设备进行模型建立，计算机仿真是目前广泛采用的手段。目前对压缩机的数学模型研究，大多数是把压缩机视为一个独立的装置，要准确反映压缩机中各种结构参数对于压缩机性能的影响，模型较繁琐。用仿真方法研究压缩机数学模型，主要工作在于研究出对系统性能有影响的参数1。这也正是本文的研究核心所在。

简介：从行动逻辑的角度来研究基层治理较有代表意义的是政府的“不出事”逻辑和民众的“闹大”逻辑，这两种逻辑分别从单向主体入手展开研究，只能就基层治理中社会冲突的一个侧面进行解释。“不出事”逻辑是政府的行动逻辑，“出大事”逻辑是民众的行动逻辑，而社会冲突往往是双方甚或多方互动的结果，并且行动主体还将根据形势变化来调整行动方式。鉴于此，在详细比较和梳理国家与社会关系理论、理性选择理论、社会冲突理论、胡克定律的基础上，将“不出事”逻辑和“出大事”逻辑通过弹簧模型这一理论模型有机整合起来，提出了基层治理行动逻辑的一种新的分析框架“弹簧模型”。弹簧模型包括一个核心概念、两大行动主体、三种条件因素、四点理论假设。

简介：司法证明需要形式逻辑和非形式逻辑的支持,以接受因果推理、合情推理、回溯推理以及诉诸无知等方式接受逻辑理性的导引。威格莫尔以建构逻辑结构模型的方式解析案件事实证明过程,为之提供支持的则是一种结构主义方法论。但无论是威格莫尔的模型,还是艾伦的改进,都对证据性事实的采信过程重视不够,因而需要一种与常识的剥离。为此,有必要以证据资料奠基证据性事实的采信,进一步明确案件事实认定过程中各个区间的推理适用,以达到分阶段、递进地发挥证据性事实在司法实务中的作用这一目的。以对威格莫尔逻辑结构模型的这一改进分析＂邓玉娇案＂,可以为关于司法证明的理论探究提供新的素材和思路。

简介：认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题，多主体的自认知逻辑系统，是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统，并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论，同时也对该系统的可靠性和完全性进行了证明。

简介：逻辑音频系统是一个由中央处理器(CPu)、存储器(ROM)、输入输出接口(I／O)和总线(BUS)构成的微控制器(Mcpmaincontrolledunit)系统，因将其集成在一块硅片上，所以叫单片机。因手机要存储的资料太多，就另外开出两存储单元(版本、码片)，但人们依然叫它单片机系统，如图1所示。

简介：摘要在设计上，当机组安全受到威胁时，保护系统将自动触发安全注入保护动作，以保证反应堆处于次临界状态、余热导出以及放射性包容，以维持机组在安全状态。我们采集工艺参数，通过逻辑运算，来自动触发安全注入保护动作。但是机组低状态时，VVP001~006MD和GRE023、024MP可能因工艺状态不稳定会导致仪表信号波动，仪表信号闪发质量位信号，将误触发蒸汽管线流量高信号，进而误触发安全注入信号。所以，我们必须采取措施，避免机组在低状态下，由于机组工况的不稳定误触发蒸汽管线流量高信号，进而误触发安全注入信号。

简介：合作治理系统的演化首先需要在理性的博弈竞争中培育积极的合作行为，在竞争逻辑主导的环境中生成合作的逻辑，实现初级合作治理。而后，合作治理系统的演化将指向高阶合作治理，其目标是使合作常态化、开放化和行动化。虽然通过共同利益和博弈情境等制度设计能够在参与者数量较少时生成合作，然而随着高阶合作治理的去主体化现象产生，大量行动者涌入了社会治理领域，此时在制度化的治理已无法继续为如此众多的参与者提供合作的保障，需要去除制度之于行动的优先性，将合作治理放置在行动的框架下，才能够使社会治理系统输出治理服务的能力与后工业化进程中社会表现出的复杂性相契合。

简介：该文介绍了车辆换档控制系统的逻辑表达式及逻辑分析的一般方法,并采用该方法对某种车辆换档控制系统进行分析,证明该控制系统完全满足设计要求.

简介：摘要旁通是保证对部分部件进行维护或试验活动时防止对电站的正常运行及信息指示造成干扰的重要功能。熟练掌握旁通的原理对进行维护活动或周期试验时的风险分析有重要意义。本文从旁通的目的、RPC旁通的实现方法等方面对旁通功能进行逻辑分析。

简介：以通信保障演习系统效能评估为背景，采用层次分析法确定各级指标的权重及排序，运用灰色聚类方法将子效能聚合成体系效能，从而实现了对效能的量化评估。最后，通过实例计算和分析，实现对系统效能的综合评估，所得结论具有一定的参考价值。