函数式程序设计语言的一种功能性语义模型

本文形式地塑造了函数式程序设计(FP)语言的一种功能性(operational)语义模型∑。它是一种二联体:∑=(Ω_A(A,P,Γ,I′,Z′)×Π(B,P,Γ,I′,Z′)×Ω_D(A∪D,P,Γ,I′,Z′)× W(F,R,G,J′,Y′),M),该二联体的前项是称之为状态集的一有限集,后项称为运控自动机。Ω_A(A,P,Γ,I′,Z′)、Π(B,P,Γ,I′,Z′)、Ω_D(A∪D,P,Γ,I′,Z′)、W(F,R,G,J′,Y′)分别是地址空间A上的对象树集、地址空间B上的对象林集、地址空间A∪D上的对象林集、地址空间F上的函数森集。它们相应地为下列各FP语言成分造了型:对象、对象参数、作用过程中作为工作量的对象和归约成的中间结果对象、诸函数(诸定义函数及直接作用于对象的函数)。运控自动机M以状态中函数森这一分量来对状态中对象树那一分量进行对象树的结构变换和对(对象树的)各树叶施行相应的种种运算。“一个具体的FP程序作用于一个具体的对象”这一计算,功能地可塑造成带初始状态(Ω_A~(o),Π~(o),Ω_D~(o),W~(o))的语义模型∑~(o)=(Ω_A(A,P,Γ,I′,Z′)×Π(B,P,Γ,I′,Z′)× Ω_D(A∪D,P,Γ,I′,Z′)× W(F,R,G,J′,Y′),M,(Ω_A~(o),Π~(o),Ω_D~(o),W~(o))),其中则Ω_A~(o)=Ω_D~(o)。 根据FP语言的功能性语义模型,可设计“实现FP语言的多微处理器复合体”的     

迅驰AthlonXP-M齐上——微星首次进军中国笔记本电脑市场

3月上旬,微星公司与美国Averatec公司(简称A R T)联手在北京推出了数款笔记本电脑。巧合的是,此次发布的两款主力机型中,其中一款是基于A M D公司A t h l o n X P-M处理器的AVERATEC3200,另一款则是采用迅驰技术的AVERATEC5100。据悉,A V E R A T E C3200采用了A M DAthlonXP-M2000+处理器,装配256MBDDR333内存,12.1"TFT显示屏,内置Combo,重1.6kg。需要指出的是,该产品在无线连接方面甚至更强于采用迅驰平台的A V E R A T E C5100,它是采用连接速率为54Mbps的802.11g无线连接技术。此外,目前为配合新品上市,购买此…     

一种值得探讨的动力线载波方案

<正> 一、引言载波信号f(t)=Acosωrt可分三种基本类型:当幅值A=O(代表数字“0”)或A=A(代表数字“1”)时,称作ASK信号;当角频率ω_t=ω_0(代表数字“O”)     

图上STEINER树问题及其近似算法

1.图上STEINER树问题是NP-完全的 著名的网络上Steiner问题是:对给定图G=(V,E),其中V=PUS,在边集E(G)上定义权函数f:E(G)→Z~ ,构成网络N(G,f)。要求在网络N(G,f)上寻找一棵子树T=(Y,u),使得P(?)Y,且     

steiner树问题的近似算法

著名的Steiner树问题是,给定图G=(V、E),QV,在边集E上定义权函数f:E→Z~+,要求在图G上找一子树T=(Y,U),使得QY且 ∑_(c∈U)f(e)达到极小以后,我们称该问题为ST问题,R.M.Karp曾证明ST问题为NP-完全的,本文作者曾提出图上Steiner树问题:在图G=(V,E),QV上,要求一子树T=(Y,     

热敏电阻新的数学模型及其在温度—频率变换器中的应用

众所周知,半导体热敏电阻的电阻值R(Ω)和绝对温度T(K)之间通常用下式表示: R=Ae~(B/T)式中A——T趋向于无穷大时的电阻值 B——具有温度量纲的常值系数实践证明,用式(1)来拟合热敏电阻的数学模型,当温度范围在75K以上时,会带来明显的误差,从而使采用热敏电阻的测温仪表的测温精度大为降低,文献〔1〕提出如下的改进公式:     

简易逻辑笔

在检修微机、仪器仪表的数字电路时,常需判断其逻辑状态。常用的CMOS电路,它的低电平近似等于Vss(电源电压负端),高电平近似等于V_(DD)(电源电压正端),一般不超过18V。根据上述参数,设计了该逻辑笔,其原理如附图。元件选择 R1为100k;R2、3为510Ω;LED为红绿发光二极管;CD4011为数字集成电路。工作电路当供电电压为5V,输入为低电平,Usr≤3.8V(实测)时,经C、A二次反相为低电平,D输出高电平,则绿LED发光。当输入     

J.Kuntzmann报告:关于微分方程积分方法的新近改进

这篇文章对新的积分法有两个创议: 1)应用R.Geschino较早的想法P.T.La-urent建议对方程组X″=X(x,t)取龙格-库塔型公式,在计算x_(i+1)~′时用X的q+1个值。只要在X的公式中不出现x′,上述方法就可     

微封装功率MOSFET应用连载（七）——低电压直流固态继电器电路（下）

实验电路实验电路1(图5) Vcc=5V、V_(∞N)为高电平时约5V。负载电流I_L为0.9A(用5Ω/5W电阻作负载),用1kΩ串接LED作负载通断指示。根据Vcc及I_L的大小,光耦可选择4N25,功率MOSFET 选择单P管S9430。     

二种过渡元素和一种非过渡元素间形成三元金属间化合物的规律

利用Villars原子参数Rsp、VE、XMB研究二种过渡元素 (TandT′)和一种非过渡元素 (M )间形成三元金属间化合物的规律。若M的XMB大于 1 4 5,则当T为前过渡金属而T′为后过渡金属时它们之间可形成三元金属间化合物。本文亦研究了含两个后过渡金属或两个前过渡的T T′ M系的三元金属间化合物的规律。     

交流电子“保险盒”

这里介绍一种适合于家庭供电线路使用的交流电子"保险盒",它具有和普通保险丝一样的"保险"功能,又具有普通保险丝所没有的动作迅速、可重复使用(省去更换保险丝的麻烦)等特点。本制作涉及市电,不具有电工知识的读者请不要动手制作,总之要注意安全。一、工作原理交流电子"保险盒"的电路如图1所示,它实际上是一个过电流保护开关。220V交流电经电源变压器T降压、晶体二极管VD2半波整流,电容器C2滤波后,输出约12V直流电,供控制电路工作用电。R1是串接在用户相线L回路中的检测电阻器,其阻值仅为0.2Ω(可变);对主电路不会有什么影响,通过它的电流是用户各用电器电流的总和。当通过R1的电流达到3A(有效值)时,R1上的电压U1(有效值)=0.6V,Um(峰压)=2~(1/2)     

具有最佳连通性超图和容错多总线系统的设计

1.具有最佳连通性的超图 设日=(V,E)是一个连通超图,若V’(?)V,而H\V′为不连通超图或平凡图,财称V′为H的分离点集,记点数最少的分离点集中点的数目为K(H),叫做H的(点)连通度。若E′(?)E且H╲E′不连通,则称E′为H的分离边集,记边数最少的分离边集中边     

水位自动控制器

本文介绍一种以CC4069为核心的水位自动控制电路。线路简单,工作可靠,且较好地解决了水泵电动机缺相运行的问题。一、基本原理控制电路如附图所示,其关键部分是由反相器A、B和R3、R4组成的施密特触发器。其上、下阈值电压由R3、R4确定为V_(T )约为6V,V_(T-)约等于4V。水位控制系统的控制要求为:(1)当水池水位低于水池低水位L时,水泵电动机运行,开始进水。当水位升高到水池高水位H时,停止进水。(2)水位控制既能自动进行,也可以手动操作。     

CFan双周榜

MTV中国劲歌排行榜2月榜单国际榜1.ISTIL.L.......................B..A.C.K..S.T.R.E..E.T..B.O..YS......2.CHECKONIT...................B.E..YO.N.C..E..K..N.O.W.L..E.S3.L.O.V..E........................A.S.H.L..E.E..S.I.M..P.S.O..N......4.ADVERTISINGSPACE............R.O.B..B.I.E...W.ILLIAMS5.LETTHEREBELOVE............O.A.S..I.S.....6.WHENYOU.....................W.E..S.T.L.I.F..E.V.S...D.I.A.N.AROSS7.I\'MFEELINGYOUSANTANAFEAT...M.ICHELLE…     

利用负电阻设计RTD温度传感器应用电路

<正> 在模拟电路设计中,利用往往被人忽略的负电阻,可以简化设计、提高精度、降低成本.比如本文所述用负电阻线性化RTD(Resistance Temperature Detector)温度传感器并去除不期望的互连线寄生电阻.设计一个精确的负电阻并不复杂,可以把一个正电阻放在.一个运放的反馈回路上来精确地构成负电阻.如图1,为得到一个(-R)Ω的负电阻,把一个阻值为RΩ的电阻放在运放输出端至正输入端的反馈回路上,两个10kΩ构成的网络使运放正输入增益维持2V/V.Vin增加1V,则Vout将增加 2V,R上的电流将增加-1(V)/RΩ安培,电路特性等效于一个(一R)Ω的电阻.     

13C代谢通量估计的量子粒子群优化算法

~(13)C标记实验的代谢通量分析(~(13)CMFA)是探索代谢网络的重要途径。~(13)C通量估计是以碳富集度平衡为条件的全局优化问题,带有众多约束条件和存在多个局部极小点等特点,如何高效地求解是~(13)C MFA中的难点,也是实现通量精确估计的关键。量子粒子群优化算法显著特点是控制参数少,设置简单,具有较好的全局搜索能力,适应于通量估计。本文提出量子粒子群优化算法结合最小二乘计算求解噪音环境下的环磷酸戊糖代谢网络的通量,以带约束的最小化问题为目标优化函数,仿真实验验证了量子粒子群优化算法是1种有效的通量估计分析算法。     

DP—851单片机系统的实验与应用（二）

实验证明“0”和“1”是能开关发光二极管的,当发光二极管被点亮时,该管中的电流I_D流通路线见图6,电流I_D从电源E的正极出来,经过发光二极管D、电阻R进入单片机的P1.0口,再经过单片机负电源与电源E负极的连线(虚线)回到E的负极。即是I/O口为0时,电位很低,接近0V,发光二极管的电流能通过I/O口回到电源E的负极去,如果I/O口为1呢?“1”的电位接近5V,和电源E的电压相等。在电位相等的     

对电话振铃测试代用电源的探讨

本刊97年第4期《铃流信号简易不得》一文,谈到用峰值90V、50Hz电源作电话振铃测试,笔者担心会影响机内元件寿命、损坏元件的可能。以HA868(Ⅲ)P/TSD振铃电路为例说明如下。如图所示。(1)隔直电容C在f=25Hz时,Xc=2.894k,X_(CR)=3.518k,I_(CP)=17.5mA,V_(CP)=51V,V_(RP)=35V;R功耗≤300mW;(2)f=50Hz时X_C=1.447k,X_(CR)=2.468k,I_(CP)=25mA,V_(CP)=36V,V_(RP)=50V;R功耗≤600mW,即增至2倍;VD增加功耗约130mW。故R、VD有可能受损减寿。此时为保     

二种过渡元素和一种非过渡元素间形成三 元金属间化合物的规律

利用Villars原子参数Rsp、VE、XMB研究二种过渡元素(T and T′)和一种非过渡元素(M)间形成三元金属间化合物的规律。若M的XMB大于1.45，则当T为前过渡金属而T′为后过渡金属时它们之间可形成三元金属间化合物。本文亦研究了含两个后过渡金属或两个前过渡的T-T′-M系的三元金属间化合物的规律。     

简单方便的ECL电路方波发生器

线路图如右图所示。只需要一只电路、一只电阻和一只电容。容易起振,简单方便。R用电位器,还可连续变频。对于ECL10K电路来说,改变R和C,变频最高可达100MC,最低可小于1周。 在正常使用时 f≈1/[(21n3)·RC 2t_(pd)]≈1/[2.2RC 2t_(pd)]其中t_(pd)是电路本身的传输延迟时间。例如,若t_(pd)=2.0ns,R=200Ω,C=100pf时,那么f≈1/50ns=20 MC。 使用限制:(1)RC串联即为电路的交流负载。当R=0时,电路的交流负载为纯电容C,若C过大(大约在40pf以上),则因振荡幅度太小而不能使下一级门正常开和关。随着R增大,C也可以继续增大。