μ—Petri网多微处理机实现的设计方法论

本文探讨在以多微处理机实现μ-Petri网(一种加以半解释的安全Petri网)这一工作中可遵循的设计方法论。先定义μ-Petri网可描述相当广泛类型的并行异步过程的控制结构。引入μ-Petri网的标准型式后,将μ-Petri网转换成标准的异步时序线路,再写出此异步时序线路在容许输入序列集下的转移/输出表(编了码的流程表)。分裂转移/输出表(如果给定的μ-Petri网规模相当大,特别是p结点为数相当多,因而此表也相应大),提出相应的多微处理机总体结构。以M—6800微计算机族为例,阐明如何实现μ-Petri网成多微处理机系统。     

自动机Petri网逐层加细法应用于多微处理机系统的设计

本文提出设计多微处理机系统的一种有条理的统一的方法,它基于—Petri网(所谓“自动机”联成的Petri网)逐层加细这一思想。待设计的计算系统所要完成的算法先策略地勾画成最高一级的—Petri网,而后,类似于结构程序设计那样,自顶向下,从最高一级—Petri网这一模型逐步成层次地在解释上加细—Petri网的各结点(p结点解释以数据结构,t结点解释以运算),最终达到用具体的自动机描述各t结点的功能(它们对输入p结点进行处理,将结果传递给输出p结点)。据此,可着手以互连的微处理机群(必要时,补充以随机逻辑)实现出来。作为例子,文中还提出在通用意义上的多微处理机系统,它实现所谓的扩充von Neumann总体结构,其中用并行计算的一图程序类(它实质上又是一类Petri网)代替了通常的串行计算程序。以M6800微计算机族为基础,阐明如何用本文提出的设计方法来实现扩充von Neumann总体结构。     

用Petri网模拟Turing机

本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”。由于Turing机的带子是潜在无穷长的,因而所用的Petri网的p结点集和t结点集也不可能是有限的,该Petri网将是无限的ZP网[1](具禁止弧的Petri网)。     

一种扩充PC并行支路数的实用方法

基于Petri网模型，提出一种扩充可编程控制器（PC）并行支路数的实用方法，从而克服PC用于多路并行控制时存在的局限性。该方法在用于某厂多路故障报警系统的PC程序设计中获得成功。     

基于面向对象有色Petri网的FMC模拟系统

分析了采用面向对象有色Petri网对FMC进行建模和分析的优点,并提出了将解释Petri网与面向对象有色Petri网相结合实现FMC模拟系统的方法。     

Pelof语言的一种操作语义模型

Pelof 是一种融合 Petri 网、逻辑和函数三种风格的作用式并行程序设计语言.它的基本成分是谓词和函数,Petri 网体裁提供并行控制的工具.文献[5]中给出了 Pelof 语言的文法及设计思想.本文在文献[1,2]工作的基础上,以 FFP[3]为抽象机,采用形式化的方法为 Pelof 语言塑造了一种操作语义模型.     

约束优化问题的异步并行拟牛顿方法

提出了一种求解等式约束优化问题的异步并行拟牛顿方法 .若假设目标函数 f和约束函数h至少三次连续可微 ,且△h(x)对任意x∈Rn 均为满秩矩阵 ,证明了所提出的异步并行算法是 q—超线性收敛的 .     

正态分布随机Petri网的串并行结构化简

基于正态分布随机Petri网的串行和并行两种基本结构的化简开展研究,推导出在正态分布广义随机Petri网中化简串行模型的等价理论公式,即合成执行时间为各个变迁的执行时间之和,仍服从正态分布,并且合成均值等于所有变迁执行时间的均值之和,合成标准偏差等于所有变迁执行时间标准偏差的方和根。还提出了并行模型的模拟仿真计算方法,分析了两个并行变迁独立不同分布时的情况,并给出了近似估算公式,在公式中,均值较大的变迁权重较大。     

主动网络研究综述

主动网络技术是一种新型的网络体系结构.其基本思想是使用一种可移动的程序代码替换现在的IP报头,网络的中间结点提供一个运行环境解释并执行数据包中携带的程序或利用其携带的参数执行已在结点上的程序,由程序决定对数据包的具体操作处理.利用主动网络,用户不但可以完成传统网络的数据传送功能,而且可以传送程序代码以供中间结点或远程主机在本地执行,面向用户实现服务定制和新应用的快速配置.主动网络技术仍需进一步研究.     

基于Petri网的函数式程序的結构程序設計方法

本文提出一种“用来开发规模不小的、并发的函数式程序(FP程序)的结构程序设计方法”,它基于一种“带解释的Petri网图式(ISPN)”。待解的问题写成以ISPN表达出来的形式说明。由于ISPN能逐步求精,自顶向下的结构程序设计方法也能移用于开发(大型并发)函数式程序。最后阶段,根据文中提出的形式化了的法则,可以将ISPN表示成函数式程序。     

科学解释和人文理解

“解释”与“理解”这两个概念,在西方哲学史上分别被用来代表自然科学与人文社会科学的不同方法论,并经历了长期的争论。新老实证主义者皆主张一元的方法论,认为人文社会科学的方法也应以自然科学的精确方法为楷模,它们的目的都在于把握规律。新康德主义、后期维特根斯坦哲学主张“理解”的方法论,强调从“意义”、“价值”的角度来把握人文社会科学的对象。哲学解释学提出了“解释学经验”的概念,将它作为理解的对象,意在把握科学活动与人类行为的本体论前提。笔者则提出“语境论”的解释观,将科学解释与人文理解的不同,归结为问题语境的差别。     

基于Petri网的多Agent系统设计与实现

以面向对象Petri网OPN为语义基础,从软件体系结构的角度,建立了一种直观的多Agent系统模型MASM,可以形象地描述Agent的内部结构和动态行为。为了缩小形式化模型与系统实现之间的差距,基于MASM设计了一个多Agent系统开发工具箱MASDT,提供了多Agent系统的基本实现框架。利用MASM对智能加油站系统进行建模和分析,并用MASDT开发了智能加油站系统原型,证实了所提出的一系列理论和方法对于实际系统开发具有一定的指导意义。     

阐释学“应用”的三种基本形态

阐释活动主要由“理解”“解释”“应用”构成。“应用”作为阐释学的一个核心概念，自古典时期以来至少形成了技艺-方法论、本体论、实践论三种基本形态。它们分别以保存特定文本维持作者原意、证成阐释者自我存在的意义、改变并解释物质生产实践活动为目的。三者在当下共同发展，为丰富意义世界给予了充足的可能性，为构建中国阐释学提供了可资借鉴的路径。     

马克斯·韦伯法社会学方法论探源

通过对马克斯.韦伯的法社会学方法论的考察,发现韦伯独特的方法论不是来自社会学,而是与韦伯的法学教育背景密切关联。从韦伯方法论的两大基本视角(历史的视角和社会的视角)和韦伯方法论中的三个核心概念(理想类型、意义解释和因果分析)可论证说明韦伯方法论的形成得益于传统的法学研究方法和法律思维。     

比较教育学的研究方法

每门科学的研究方法,可以分为三个层次:一是方法论基础;二是研究方法的体系;三是各种具体研究方法。一、比较教育学研究方法的方法论基础科学的方法论是指学者在研究问题时所依据的前提和基本思想。这些前提和基本思想对问题所作的理论解释有决定性影响。比较教育学研究方法的方法论基础是辩证唯物主义和历史唯物主义。不论使用什么方法研究问题,都应遵循辩证唯物主义和历史唯物主义的立场、观点和方法。西方的比较教育学有很多长处。但它的根本缺点是没有严整的体系,没有科学的方法论。这就表现为对个别问题和局部问题的认识和分析是有启发的,有     

法学方法论的哲学基础

本文就我国法理界在法学方法论研究中 ,对作为方法论基础的基本哲学缺乏系统的论证这一不足 ,提出了影响法学方法论的主要哲学有五种 :即实证主义 ;规范主义 ;实用主义 ;马克思主义及哲学解释学 ,并分别就它们对法学思想及法学领域的影响作了系统说明 ,最后从西方哲学及法学的发展说明 ,综合应用各种学说方法论之长 ,进行创造的综合是法学发展的根本之路。     

归因理论在思想政治教育中的应用

社会心理学的归因理论是关于人们如何解释自己或他人行为以及这种解释如何影响他们的情绪、动机和行为的理论。归因理论作为社会心理学中一个重要的理论,在各个领域中都有一定的指导意义。对于思想政治教育工作同样具有重要的方法论意义。在思想政治教育工作实践中,思想政治教育工作者恰当的运用归因理论有助于思想政治教育目标的实现,可以提高思想政治教育工作的有效性,取得事半功倍的效果。     

本体论意义上的法律解释理论

随着20世纪哲学解释学等思想的渗透和影响,传统的方法论意义上的法律解释理论逐渐被本体论意义上的法律解释理论所超越,从而在"解释学转向"的基础上实现"本体回归","解释"遂上升为法概念论的本体。我们需要从知识论上对本体论意义上的法律解释理论进行反思。     

高速SDRAM控制器设计的FPGA实现

同步动态存储器(SDRAM)控制器通常用有限状态机实现,对于一般的设计方法,由于状态数量多,状态转换通常伴随大的组合逻辑而影响运行速度,因此,SDRAM控制器的速度限制了SDRAM存储器的访问速度。该文从结构优化入手来优化方法,利用状态机分解的思想将大型SDRAM控制状态机用若干小的子状态机实现,达到简化逻辑的目的,不仅提高了速度还节省了资源,对该类大型SDRAM控制器的实现有一定参考意义。     

涂尔干的社会学方法论与教育研究

涂尔干是社会学的重要创始人之一,也是教育社会学的主要奠基者。涂尔干的社会学方法论是实证主义的,也是唯理性—科学主义的。他指出社会学研究的对象应是社会事实,这种社会事实是整体的而不是个别的;是普遍的而不是特殊的;是群体行为而非个体行为。涂尔干对教育的研究贯穿于他的方法论中,并集中体现在教育与社会学、教育思想史与道德教育的论述中。对涂尔干的社会学方法论与他对教育的研究进行梳理,尝试重现他对教育与社会关系的真实思想和运用在研究上的方法论,有利于对涂尔干的教育社会学思想做出进一步的解释。