并行异步过程多微处理机—控制器设计方法论的探讨

本文探讨:用来控制并行异步而无干扰的诸过程(其中可以有微计算机)的那种控制结构被实现成多微处理机—控制器时可依循的设计原理和方法。为了适应多微处理机的应用,本文用多种语义给予表示并行系统的 Petri 网模型以半解释,其中 p 结点可被解释成带引燃号的定长向量,t 结点可被解释成(内部)过程。称这样半解释的 Petri 网为 MP 网。MP 网可用来描述并行系统的微控制、宏控制、或微宏混合控制。利用多微处理机来实现 MP 网,此多微处理机—控制器用来控制并行异步的过程,它们并行地异步地进行工作而无干扰。文中提出根据MP 网设计多微处理机—控制器的一般原理和方法的基本思想。分解 MP 网成各子MP 网,这些子 MP 网分别以微处理机实现之,而它们所共享的那些 p 结点实现成为它们相互间通讯用的邮箱。所有这些微处理机通过邮箱联系起来,组织成所要设计的多微处理机—挖制器。以微计算机族 M6800为例来阐明本文提出的方法论基本思想。本文未臻形式化阶段,基本上以直觉的形式叙述基本思想,而未完全论证,还不是完备的方法论,仅供讨论。     

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

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

用Petri网模拟Turing机

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

自动机与程序設計

本文提出“状态自裂变的自动机(automata with spontaneous fissionstates)”这样一类扩充自动机。藉此,定义(顺序)程序设计这一活动的含义:它是状态自裂变自动机(SF自动机)的一种“逻辑设计”。也就是,(i)根据问題的要求,设计出SF自动机的状态转移图,(ii)设计出状态转移图上(要求帶转移/输出标记的)那些箭弧的标记,(iii)以开发计划所要采用的程序设计语言的诸语言成分作为“硬件”的元件组,把带标记的状态转移图“逻辑设计”(实现)成所要的程序。这样一来,我们把程序设计这一活动纳入到自动机实践领域里来。     

供需网的IDEF0模型构建及MIFPN模型转换

将IDEF0模型与Petri网相结合,对多信息流系统进行功能描述和动态行为关系分析,提出了多信息流Petri网(MIFPN)的定义,给出了IDEF0至MIFPN转换的规则方法.在此基础上实现对多功能开放型企业供需网系统的功能分析与设计.     

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

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

基于Petri网的动态工作流在信用担保系统中的应用研究

以Petri网为建模工具,考虑在原有静态工作流网基础上,实现对其进行动态定义和动态修改。针对典型的担保业务流程,对担保业务进行基于Petri网的动态工作流建模,并将系统付诸实现。     

具有Neumann边值的齐次p-Laplacian方程的指标分类理论

通过建立指标分类理论讨论了一维p-Laplacian方程(φp(u′))′+q(t)φp(u)=0,a.e on[0,1]在Neumann边值u′(0)=0=u′(1)条件下平凡解和非平凡解的存在性,其中φp(s)=s p-2s,p>1,q∈L∞(0,1)。     

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

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

一个瞬态特性的自动测量系统

在电冰箱的电气系统中常用正温度系数热敏电阻(PTC)元件作为无触点启动开关,以取代传统的单臂式或重力式电磁启动开关,为了鉴定此种热敏电阻的性能,通常要测量它的启动时间t_s及残余电I_(60(p—p)),本文阐述了为此目的而设计的由TP801A单板计算机构成的自动测量系统的硬件组成及软件。     

近乎線性微分方程系的週期解

1.現在計劃對下列形式的微分方程系討論它的週期解存在問題: dx/dt=A(t)x+p(x,t)。 (1) 这里x,p(x,t)是表示m維向量,A(t)是m階方陣。並且要求A(t),p(x,t)滿足下面的條件: (ⅰ) A(t)是t的連續,週期函數,不妨假定週期是π。 (ⅱ) p(x,t)是(x,t)的連續函數,對t來說也是週期為π的週期函數。 (ⅲ) p(x,t)滿足關係式:|p(x,t)-p(x',t)|≤g(t)|x-x'|,“| |”表示向量絕對值。那末A(t),g(t)在某些條件限制下,可以斷定(1)式微分方程系的週期解是存在的,而且這週期解是漸近稳定的。     

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

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

微处理机自适应滤波器

本文描述一个自适应雷达动目标滤波器的实验装置。该装置采用8085A微处理机系统和MPY8HJ硬件乘法器。文中首先讨论了所用的自适应算法,然后敍述了微处理机实现自适应滤波器时应考虑的主要问題(量化噪音、软件及硬件设计),最后给出了实验结果。     

初中生乐观倾向的现状调查研究

目的:调查初中生的乐观倾向的现状,分析可能影响初中生乐观倾向的因素,以便为初中生的心理健康教育提供必要的参考.方法:采用乐观量表(LOT—R)对260名初中生进行调查.结果:初中生总体上乐观倾向不明显(M±SD=2.65±0.43),在性别、是否独生子女、父母婚姻状况等方面不存在明显的差异(t＝1.170,p＞0.05)；但初中生在年级和家庭氛围上都存在显著差异(F=7.456,p＜0.01；F=5.443,p＜0.001).结论:初中生的乐观倾向与年级和家庭氛围有关.     

奇阶中立型微分差分方程的渐近性和振动性

考虑奇阶中立型微分差分方程 [x(t)+Px(t-(?))]~(n)+qx(t-θ)=0, t≥t_0 (1)这儿n为奇数,P、(?)、q、θ为实数,q≠0,我们得到了在各种情形下方程(1)的解的渐近状态,以及方程(1)振动的充分条件,我们的结果扩充了文[2—5]的结果。     

再论函数式程序設计語言的合成邏輯语义学

本文继文献(1)之后,在合成逻辑这一数学基础上,再次探讨函数式程序设计(FP)语言的语义学。FP语言被处理成一种多层次结构的合成逻辑。第一层(基础层)是Curry的合成逻辑。在此层之上,逐次扩展而构造成相继较高的各层。第二层是这样的合成逻辑,它就是所谓的SK归约机。第三层逻辑可说是一种扩充的SK归约机。最后,在第三层的基础上构造出第四层,它就是FP语言。     

漫谈师专图书馆藏书结构

对于“结构”这个词,现在的人们都不感到陌生。《现代汉语词典》解释为:“各个组成部分的搭配和排列”,也可以说是“组成一个系统的各个要素之间的排列秩序”。同样,所谓“藏书结构”,就是指图书馆藏书体系诸要素(学科内容、学术水平、使用的语言文种、时间、文献类型、出版区域等)在该系统范围内的秩序,亦即诸要素相互联系、相互作用的内在方式,规定着不同学科、类型、文种的文献在藏书体系中的比例。实际上,它是人们根据一个图书馆的性质、任务、读者对象等人为设计的一个符合图书馆发展规律     

关于英语被动结构的句法分析

格理论和扩充的投射理论EPP不能对被动结构的推导动因做出完全解释;被动结构的形成与及物动词在句法层面的被动化有关;在Chomsky(1995)最简方案的框架内,运用VP嵌套理论能够对被动句式做出合理的句法解释:NP的前移是为了满足对T的强D特征核查的要求。     

网络传输层协议的随机Petri网模型及性能分析

描述了广义随机高级Petri网(GHLSPN)在计算机网络传输协议的模型与性能评价中的作用, 并对影响网络性能的系统指标进行了讨论;同时考虑了确认控制、窗口流控制和错误重传控制等机制对网络系统的性能影响,克服了以往对网络性能评估的某些局限。     

埃尔金建构主义的逻辑根基

埃尔金以"不当步骤"和"正确物"思想改造传统建构主义,并通过解释名称指称为之作出系统辩护。她强调诠释和理解在解释语言-世界之间关系中的作用,以此批判主流名称指称理论,并对指称概念进行扩充。埃尔金为其建构主义的辩护是不彻底的,但它道出了融合分析哲学和诠释学重构认识论的必要性。