艾伦·伍德资本主义起源理论建构的系统分析

艾伦·伍德分析与批判了广泛流传的资本主义商业化起源模式,以此为逻辑起点,从英国农业实践的视角出发,确立了其理论的核心要义即农业资本主义起源学说,与此同时,伍德考察了产权转变与阶级斗争对资本主义起源产生的推动作用,从双重维度建构起其理论的逻辑进路。系统分析伍德的资本主义起源理论,厘清各要素在资本主义起源过程中发挥的作用,有助于我们正确认识资本主义体系的本质属性与内在矛盾,从整体上把握资本逻辑系统性的根源。     

伍德与哈维新帝国主义理论之系统比较

作为西方马克思主义的代表人物,伍德与哈维强调资本主义对新帝国主义形成与发展的核心作用,但围绕资本积累的逻辑起点与资本扩张的政治经济逻辑以及资本帝国的内生矛盾,二人存在着不同的见解并进行了数次直接的理论交锋与对话。本文拟系统比较分析伍德与哈维的新帝国主义理论,深入挖掘二者理论致思理路的异同,回应资本主义发展的现实,促进我们理性认识与分析当前国际国内形势。     

验证电子商务协议的新逻辑分析方法

通过典型实例分析,发现并指出SVO逻辑在验证电子商务协议中存在的缺陷,并在此基础上,充分考虑交易信道的可靠性和交易实体的诚实情况,对其分析框架进行扩展,提出一种验证电子商务交易协议的新逻辑分析方法.新逻辑分析方法符合电子商务协议运行特征,不仅可以静态验证协议的不可否认性,而且可以动态验证协议的公平性.同时,对协议的分析只依赖协议的运行环境,不需人为引入初始化假设,是一种更为严密的形式化分析方法.最后,以经典协议对新方法的正确性、有效性进行验证.     

基于统计模型检测的DFT定量分析方法

动态故障树(dynamic fault tree, DFT)是对系统进行安全性分析的重要手段,基于马尔可夫链的DFT求解方法存在3个难题:一是仅可分析故障概率为指数分布的系统;二是无法分析共因失效情况;三是可能导致状态空间爆炸。因此提出一种基于统计模型检测的DFT定量分析方法。首先将DFT分解为动态逻辑门、基本构件、共因失效关系、门门和门构件间的逻辑关系;其次将动态逻辑门、基本构件和共因失效关系基于随机混成自动机形式化规约;然后通过逻辑关系重构自动机,形成随机混成自动机网络;最后通过分析一个具有共因失效关系的服从多失效概率分布的飞机结冰探测系统,表明所提方法的有效性。     

"全球化"的复杂性反思

全球化是一个动态的、内在地充满矛盾的过程，它包含着使我们人类既有可能发展，也有可能退化的普遍复杂性和矛盾；它只有通过对世界各个民族、国家和地区经济、政治、化的互相适应、互相趋同，通过对一系列矛盾的协调和消解才能顺利实现。中国对经济全球化要采取理智实在的态度，要对“接轨”和“赶超战略”等重大战略问题进行总体反思，以真正做到从国情出发、自主地制定和实施现代化战略；当然这也不排斥向任何一种值得借鉴的发展模式学习；更为重要的是，在当今复杂多变的时代情势下，无论是进行独立选择还是借鉴学习，都应该是一个及时更新的动态过程，是一个不断探索的过程。     

OWL-S服务操作语义的Petri网描述新方法

提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描述的逻辑基础,一个OWL-S原子进程可以作为一个动态描述逻辑动作进行描述,实现了对OWL-S原子进程的动态执行和相关执行条件静态逻辑推理的有机结合,进一步通过将Petri网与动态描述逻辑的动作理论结合,得到OWL-S进程（尤其复合进程）操作语义的Petri网描述,为组合语义Web服务的自动组合和动态性质分析提供了更为有效的逻辑依据和方法。     

建立公共知识逻辑系统的方法论

公共知识逻辑系统是建立在模态逻辑、认知逻辑、动态逻辑等逻辑分支系统发展的基础上的。其语义是用克里普克可能世界语义学进行刻画的,利用模型定义“满足”概念,利用框架解释“有效”概念,其语形对应的是一个可证公式的集合。公共知识逻辑系统的语言扩张是在基本静态逻辑语言的基础上,加入条件概念并遵循规约公理而实现的。所以,公共知识逻辑系统并不是一成不变的,而是随着主体认知的提升而不断改进和发展的。     

系统存在方式的共性问题

自美籍奥地利理论生物学家路德维希·冯。贝塔朗菲于本世纪40年代中期正式提出一般系统论至今,系统科学经历的还只是一个从产生到发展的阶段。 贝塔朗菲当时主要是基于他在20年代提出的生物机体说,并根据科学的不同领域中十分普遍地使用着与系统概念极其类似的诸多概念,希望能以逻辑和数学的形式来揭示这种现象之所以发生的内在必然性,阐述和导出能适用于由整体性、组织和动态等观念表征其特征的一般性原理,而提出科学研究方法中的一般系统论,并试图以此说明由这种一般性原理体现出的科学发展的一体化趋势。 贝塔朗菲对发展系统科学的贡献总体说来只是提出了问题,重要的成果不是很多。分析     

基于多Agent动态影响图的协作实现

将MAIDs在时间上进行扩展,提出一种新决策模型——多Agent动态影响图（MADIDs）,对动态环境中的协作关系进行建模;给出MADIDs的一种分层分解的分布近似方法,进而通过将决策结点和效用结点的推理引入到BK算法中,给出MADIDs环境模型的一种扩展BK（EBK）近似推理算法;引入一种BP神经网络学习MADIDs的局部效用函数。最后,针对一个表示协作关系的MADID模型,进行算法比较和仿真实验,实验结果显示了MADIDs模型的有效性。     

战场态势信息数据模型研究

战场态势信息数据模型是战场态势可视化系统的基石,但对它的研究还处于起步阶段,因此迫切需要系统地研究战场态势信息的数据模型.提出了物理数据模型和逻辑数据模型的概念,将战场态势信息数据模型分为两个层面:通过将数据库结构分为基本表、控制表、动态表三部分,设计了一个支持动态扩展、多用户并发访问等特性的静态、动态态势目标一体化存储的物理数据模型;通过提出并引用"快照"的概念,在逻辑层面消除了静态与动态态势目标的区别,设计了内存结构一致的高效逻辑数据模型.具体分析了在模型实现与系统开发中的几项关键技术,并在实际工程应用中验证了该模型的可行性与合理性.     

面向C4ISR能力分析的领域特定描述语言

针对在C4ISR能力需求分析中,UML对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向C4ISR能力分析的领域特定描述语言构建方法,并利用UMLProfile扩展机制,设计了适用于该语言的对象建模方法,在此基础上,研究了基于描述逻辑符号推理系统的领域特定模型一致性、完整性验证方法.最终,采用一个野战装甲车维修领域特定模型验证案例,说明了该方法的有效性和可用性.     

基于Gamma滤波的压电陶瓷动态迟滞建模研究

融合Gamma滤波和PI模型的结构,提出压电陶瓷的动态迟滞模型.借鉴PI模型的结构, 对Gamma滤波的各个环节的输出通过RBF神经网络进行静态非线性变换,并在其后与一个动态神经网络串联, 构成了一种新的神经网络迟滞模型.与静态PI 模型不同,由于新模型中含有动态的类迟滞算子与动态神经网络串联.所以, 所提出的迟滞模型是一种动态的迟滞模型.对压电陶瓷实际测量数据逼近和预测的结果表明,所提出的动态迟滞模型精度高,具有较强的泛化能力.     

基于模糊Petri网的空战战术决策研究

空战过程中由于空战态势的不确定性,战术决策也应作为一个动态的不确定性决策问题进行研究。针对该不确定性动态决策过程,在分析超视距空战战术决策的基础上,综合利用模糊逻辑理论与Petri网理论的优点,构建了超视距空战机动战术的模糊推理规则,提出了超视距空战战术决策的Petri网模型,并对该模型进行了仿真分析。此模型的仿真结果表明该模型能够提高决策的自动化和智能化程度,这是一种快速、实用、直观的方法。     

试论科学、技术、经济间的关系

现代社会中,科学、技术、经济与社会四者之间的关系日益密切。可至今人们对其间的作用机制并没有一个令人满意的明确认识。本文拟对前三者间的关系作一个初步分析。 一、科学与技术的关系 在科学与技术的关系上学者们有着不同的理解。本文准备历史地考察这一问题。 1.历史地考察 首先列举几件事实:在新资本主义制度的刺激下,工人们关于矿山,磨坊和船舶等的种种技巧使雷奥那多·达·芬奇将机械学推进了一大步,而在这之前对机械学并没有什么理论上的研究与突破;.望远镜的偶然发现使伽利略发展了光学理论;而磁学的进展则是由指南针的发明引起的;18世纪以后人类进入了     

Agent计算的理论

提出了Agent的一种新的体系结构。首先简单介绍了经典的BDI模型,以及基于正规模态逻辑存在的一些问题。然后给出了构成该新Agent体系结构各个认知成分的语义定义,分析了Agent是如何基于该体系结构来进行技术计算的,最后再研究和验证在动态、不确定的Multi-agent系统中Agent计算的活性和安全性问题。为研究Agent计算理论打下一定的基础。     

任务流驱动的指挥信息系统动态超网络模型

针对传统指挥信息系统建模方法在描述系统内在机理时存在的片面、静态和同质化等问题,提出任务流驱动的指挥信息系统动态超网络建模方法。首先构造指挥信息系统多作用域结构空间,通过使命任务空间、逻辑功能空间和物理实体空间及其相互作用关系,描述指挥信息系统内在运行机制;在此基础上,用超网络理论描述指挥信息系统功能网络,进而构建了任务流驱动的指挥信息系统动态超网络模型,并定义了相关参数。最后通过仿真分析验证了模型的有效性和可用性。     

罗宾·布莱克本政治哲学思想对新资本主义的系统批判

罗宾·布莱克本是当代英国杰出的新马克思主义思想家,面对发达资本主义国家在采取新战略和新措施后仍然存在的诸多矛盾,他从国家、企业和人出发,立足于国家经济结构的调整、企业管理革命的规划以及社会弱势群体的关注,试图通过剖析隐藏在资本主义经济关系和社会结构中的所有权来展开对新资本主义的系统批判,进而为实现社会的政治民主、经济正义和生活平等等政治哲学问题做出贡献。     

新运营时代的逆向物流研究进展与展望

新运营时代绿色管理成为一种常态,逆向物流成为时代议题,学者们围绕逆向物流模式以及逆向物流可持续发展问题展开了众多讨论.尽管并没有形成定论,但就逆向物流研究的基本框架和关键问题取得了众多基本共识,从而推动逆向物流研究在过去十几年中的快速发展.新运营时代的逆向物流研究更加注重市场需求,而不仅仅是利益驱动.针对逆向物流发展的新模式、消费者在逆向物流发展过程中扮演什么角色等重要问题,相关理论研究取得了重要进展,为未来研究奠定了基础.本文系统梳理了近十几年来逆向物流研究所取得的主要成果和最新进展,对逆向物流研究演进的内在逻辑进行了归纳总结,并在此基础上指出了逆向物流管理研究的未来发展方向.最后,论文总结了现有逆向物流管理研究成果对于我国学者深入开展逆向物流研究的启示.     

大学、企业、政府协同创新系统生成发展的机理研究——基于CAS理论的视角

大学、企业、政府协同创新做为一种复杂的创新组织模式,是一个典型的复杂适应系统。从复杂适应系统理论的视角审视,适应性主体是协同创新系统生成发展的基本动因;聚集是协同创新系统生成发展的基本特性;标识是协同创新系统生成发展的"向导";非线性协同作用是协同创新系统生成发展的内在动力;流的畅通是协同创新系统生成发展的必备条件;多样性是协同创新系统生成发展的原因和结果;内部模型与积木组合是协同创新系统生成发展的核心机制。     

我国风险投资网络社群:结构识别与投资绩效

风险投资网络社群是风险投资网络发展的一种内在规律性的表现。它不仅是风险投资机构在网络空间中所呈现的聚集现象,而且也是一种介于整体网络与自中心网络之间,建立在风投机构相互偏好基础之上的亚组织形态。本文选取2003-2013年我国风险投资事件为研究样本,动态识别了我国风险投资网络社群结构,实证检验了网络社群对风险投资机构投资绩效的影响。结果表明:我国风险投资网络存在社群结构,且随着网络规模的扩大,社群结构现象愈来愈显著;网络社群对以项目投资结果和投资效益衡量的风险投资机构投资绩效均存在显著的正向影响。