函数在谓词逻辑符号化中的应用

针对不同个体域,用实例讨论了谓词逻辑中命题符号化时函数的引入、函数的作用以及谓词和函数的区别,并给出了错误使用函数的例子,分析了产生错误的原因。     

寻找管理思想演进的逻辑——对管理思想史教学的思考

管理思想史的教学,不是再现全部管理的历史,而是显现管理思想演进的逻辑,这个逻辑一是文化的逻辑;二是人性的逻辑.这不仅是为了准确把握管理的历史,驾驭管理的现在,预测管理的未来,更是让学生掌握一种良好的治学方法,以为今后独立治学、充分借鉴历史进行管理打下良好的基础.     

可编程序控制器的电平信号输入

针对可编程序控制器只接受物理开关量和模拟量,而不能直接输入数字量（电平信号）的现实问题,通过剖析可编程序控制器的原理、结构,对输入电路进行改造处理,从而使可编程序控制器在接受物理开关量和模拟量的同时,也能接受数字量,拓展了其应用。     

基于进化博弈的房地产市场参与主体行为分析

房价的形成是一个非常复杂的博弈机制,是房地产市场主要参与者从自身利益出发与其他参与主体进行博弈的结果。利用进化博弈论分析房地产市场主要参与者之间的行为,发现中央政府基于地方政府的违规概率和监督成本选择其监督行为,地方政府基于中央政府的监督和惩罚力度选择其行为,房地产商基于寻租成本、政府的设租概率和惩罚力度选择寻租行为,信息的不对称使得房地产商选择垄断价格策略,而购房者大多选择即期购买。为促进房地产市场的健康持续发展,中央政府应加大对地方政府违规行为的处罚概率和力度,同时加大对地方政府的奖励力度,政府应加大对房地产商违规行为的惩罚力度,并进一步降低房地产市场信息的不对称性;房地产购买者应保持高度的理性,作出理性的购房选择。     

供应链成员间知识共享行为演化博弈模型

为了研究供应链成员间知识共享行为,在分析成员企业不同选择策略收益的基础上,运用演化博弈理论对供应链成员企业的知识共享行为的演变途径进行了探讨。根据成员企业收益的不同,博弈共有四种情形,而最终的知识共享稳定策略只有两种。研究发现:降低共享成本与风险、提升知识吸收能力与合作效应、加大知识投入量以及建立良好的激励机制是促进供应链成员企业知识共享,提升供应链整体竞争力的必由之路。     

Plant Nutrient Stealers

<正>Parasitic plants comprise about1%of the angiosperm plants,and they steal nutrients and other molecules from their hosts.Compared with fully autotrophic plants,parasitic plants are distinct in their physiology,ecology,and evolution.However,still little is known about the evolutionary origins of plant parasitism and the molecular mechanism underlying the parasitic lifestyle.The plants in the genus Cuscusta(dodders)are obligate parasitic     

三菱可编程序控制器中高速计数器的研究与应用

本文就电气自动化领域广泛使用的可编程序控制器的高速计数器的应用作了详细的说明。由于高速计数器计数频率高,并能跳出可编程序控制器的循环扫描周期,在实际应用中使用价值很高。本文通过举例详细说明了高速计数器与编码器的匹配、最高频率的选取、相关指令与中断的组合运用。     

Improving the learning of Boolean queries by means of a multiobjective IQBE evolutionary algorithm

The Inductive Query By Example (IQBE) paradigm allows a system to automatically derive queries for a specific Information Retrieval System (IRS). Classic IRSs based on this paradigm [Smith, M., & Smith, M. (1997). The use of genetic programming to build Boolean queries for text retrieval through relevance feedback. Journal of Information Science, 23(6), 423–431] generate a single solution (Boolean query) in each run, that with the best fitness value, which is usually based on a weighted combination of the basic performance criteria, precision and recall.     

FPGA动态部分重构的研究及位流信息重构的实现

FPGA动态部分重构是目前可重构系统发展领域的一大研究热点。本文首先分析了基于模块和基于差异的动态部分重构的特点,然后提出了一种基于FPGA位流文件的动态重构方法,它能够克服原有重构技术的局限性。最后对该技术下FPGA信息重构的实现进行了验证。     

提高“数字逻辑与系统”课程的教学实效

为了提高"数字逻辑与系统"理论与实践课程的教学实效,使全体同学对课程感兴趣、听得懂、肯钻研,作者在教学中"合理利用多媒体使教学效果生动化、运用比拟使抽象概念形象化、注重实践使电路功能可视化、重视细节使教学过程精致化",四法运用的实践结果表明:学生对课程教学的满意度、对课程学习的兴趣度和自觉度大增,使教学实效得到有效提升。