软件编程及调试,实现了人机接口的参数设定、量程变换、去皮功能,数字滤波、分段线性化输出及串口通讯等功能;
互联网摘选
我们利用p级数方法求解多目标规划问题MOP,并用分层法的思想确定权系数。
互联网摘选
利用VisualC++ 、 Fortran和 Matlab的混合语言编程技术, 设计开发了亚临界锅炉启动过程模拟计算软件.
互联网摘选
形式化规范语言Z和Object-Z已经用于描述程序语言语义。
互联网摘选
Research and Verification on the Operational Semantics Model of DFL Programming Language
动态模糊逻辑程序设计语言的操作语义模型及验证
互联网摘选
提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型,并对该模型的正确性和可靠性进行了证明;
互联网摘选
本文提出以合成逻辑(Combinatory logic)作为程序设计语言语义学的数学基础。
互联网摘选
讨论计算机程序设计语言的Domain理论中的拓扑方法。
互联网摘选
它可以用来研究计算机程序语言的指称语义的Domain理论。
互联网摘选
本论文从基本网络套节字开始入手,介绍了一些本系统相关的理论知识,随后详细介绍了五子棋游戏(网络版)的开发过程。
互联网摘选
介绍了Spring的核心技术控制反转(IoC)和面向切面编程(AOP),最后结合一个销售游戏点卡的B2C电子商务系统介绍了如何实施该轻量级解决方案。
互联网摘选
这是所有的远程过程调用(RPC)机制实现的操作语义,因为它是在过程性编程语言和面向对象的编程语言中的标准函数调用语义。
互联网摘选
MapReduce的关键特点是它能够对开发人员隐藏操作并行语义&并行编程的具体工作方式。
互联网摘选
