< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先
< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后...
< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后...
PWM控制电机,用PWM控制电机,熟悉定时器Timer A/B的编程方法。用Timer A作为脉宽调制信号产生的定时器.了一个函数F_Pwm(int a,int b) 用于PWM设置,传入两个参数第一...
使用UDP实现两个进程间的通信 (编写 A 与 B 两个端点的Java程序)...
使用UDP实现两个进程间的通信 (编写 A 与 B 两个端点的Java程序)...
里面有相应的hpunix(HP-UX hpl1000 B.11.00 U 9000/800 (tb)),linux(Red Hat Linux release 9 Kernel 2.4.20-8),w...
提出了基于B/S 和C/S 组合结构的七号信令网络监测管理软件系统体系结构。这种结构是典型的三层体系结构:客户显示层、中间业务逻辑层以及数据层,同时对每层中涉及到的相关技术进行了阐述,并给出了...
·期刊论文:基于Snake模型的B超心脏图像的腔体分割及算法研究...
对数回归方程 LogarithmRegress.cs 方程模型为 Y=a*LnX+b public override double[] buildFormula() 得到系数数组,存放顺序与模...
B/S版ERP安装方法 1、安装IIS5.0、Microsoft .NET Framework 1.1及SQL Server2000 2、将目录Copy_of_ERP和webctrl_clie...
高斯亚当消去法 GAUSSJ(A[],N,B[])用这个子过程实现高斯亚当消去法...