实现"或逻辑"线性约束的结构型控制器设计方法综述

基于受控Petri网的离散事件监控器按实现形式可分为逻辑型控制器和结构型控制器．由于结构型控制器具有控制动作的计算速度快，被控对象和监控器的描述形式统一等优点，而受到很多研究人员的青睐．然而，由于“或逻辑”线性约束条件的非凸状态空间的本质，用结构型控制器实现该线性约束条件将比较困难．在本文中，作者首先回顾了这一问题的起源及其意义，接着详细讨论了当前用结构型控制器实现该类状态规范的主流方法及它们各自存在的优缺点，并就某些方法提出了改进措施．最后，作者对今后的研究方向进行了预测和展望．     

信息系统开发中的需求分析

论述了信息系统开发过程中需求分析阶段的七个关键过程：确定系统目标、明确用户需求、形成，用户需求报告、设计系统界面、设计逻辑模型、完成系统需求说明书和形成文档。着重阐述了用户需求报告、系统界面形成的过程，并强调了开发过程中文档的重要性。     

技术治理中技术人工物的底层属性逻辑探析

技术人工物的本体属性经过还原后存在多种争议，造成使用者和设计者在对其认知和行为方式上的困扰。本文通过技术人工物的“两重性”和“三重性”的溯源；伦理实在性的前提批判；伦理本体属性的考量和“四重性”的实践进路，四个层面解析技术人工物底层属性逻辑的问题，以期伦理转向视角为技术人工物的技术治理提供一些解决思路。     

利用互联网检索专业信息

文章从利用搜索引擎，利用网上数据库、利用行业信息网站等几个方面较为详细地介绍了专业信息的网上检索途径，并系统介绍了网上专业信息的检索方法与技巧，为科技人员的专业信息检索提供了有益的参考。     

逻辑模糊 生活模糊和情报模糊

通过逻辑模糊、生活模糊和情报模糊的比较、分析,找出三者之间的区别,归纳出情报必需量化的结论。     

博弈视野中的逻辑推理问题

博弈逻辑 (gamelogic)是随着博弈论的迅速发展而形成的一门新的学科 ,是一种行动逻辑。博弈逻辑研究的是理性人在互动中的推理问题。在博弈行为中存在演绎推理和归纳推理 ,这两种推理既有联系又有区别。     

如何整合并购企业的企业文化

针对并购企业比较容易失败的现象，引出要整合并购企业的企业文化，指出了并购过程中文化整合容易出现的问题，在这个基础上，提出了导致问题产生的四个因素，即经营宗旨、价值观念、行为规范、工作风格，找出文化差异，然后讨论了文化整合的三个策略和方法，文化吸收和同化策略、文化混合策略和文化共生策略。     

在Linux下如何不停机进行磁盘空间的管理

LVM(逻辑卷管理程序)可以不停机进行磁盘空间的管理：硬盘的多个分区由LVM统一为卷组管理，可以方便的加入或移走分区以扩大或减小卷组的可用容量，充分利用硬盘空间；利用LVM可以构建逻辑卷，随时扩展，非常方便。LVM的工作原理和操作步骤。     

解读"人的理性为自然界立法"

"人的理性为自然界立法"的提出有深刻的历史渊源.它的实质在于,人类必须运用理性思维(合逻辑的推理)来整理加工感性经验,必须运用先天的理智法则来建构自然科学体系.人类运用先天的理智法则构建起的关于自然界的知识之所以能被经验证实,是因为"人类头脑中的理性与自然界中被观察到的秩序具有一种深层的一致".此外,"人的理性为自然界立法"也是西方科学的特质.     

数字时代高校图书馆评估指标体系刍议

本文指出了制定高校图书馆评估指标体系的重要意义，论述了图书馆评估指标体系的逻辑构建原则。并就数字时代高校图书馆评估指标体系的主要内容进行了分析和探讨。