搜索结果: 1-15 共查到“知识库 计算机科学技术 程序设计”相关记录70条 . 查询时间(0.09 秒)
isQ量子程序设计与验证平台
isQ 量子程序设计 验证平台
2023/3/16
isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序设计、编译、模拟、分析与验证等系列工具，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。
支持社会技术系统构造的程序设计模型和语言
社会技术系统 多Agent组织 基于组织的程序设计
2016/6/6
互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点，如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。通过将社会技术系统视为多Agent组织，把社会组织学的概念和思想引入到面向Agent程序设计范畴，提出了以Agent、组织、角色和职位为核心的基于组织程序模型来支持社会技术系统的开发；通过对多Agent组织不同层次动态性的识别和分析，设计了一组程序设计机制...
支持社会技术系统构造的程序设计模型和语言
社会技术系统 多Agent组织 基于组织的程序设计
2016/7/14
互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点，如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。通过将社会技术系统视为多Agent组织，把社会组织学的概念和思想引入到面向Agent程序设计范畴，提出了以Agent、组织、角色和职位为核心的基于组织程序模型来支持社会技术系统的开发；通过对多Agent组织不同层次动态性的识别和分析，设计了一组程序设计机制...
面向对象程序设计课程的感性化教学应用
面向对象 程序设计 感性化教学 课程改革
2012/9/11
面向对象程序设计类教学中存在课程内容零散、难度大、考核内容与教学重点不尽吻合，学生兴趣不浓、动手能力较差等诸多问题，有必要对其进行改革。本文从着重培养学生的动手能力和再学习能力等方面介绍如何用感性化教学进行面向对象程序设计课程教学的改革。
动态数据库功能在B/S结构程序设计中的实现
动态库 动态表单 元数据
2012/11/14
基于元数据的思想实现了B/S(Browser/Server)结构系统中在客户端对数据库、 数据表和字段编辑的一种动态实施方案, 给出了该方案的设计原理, 并与静态数据库和其表单的建立进行了比较. 实验结果表明, 该方案有效、 可行。
提出了一种基于流演算的动态规划程序设计语言DPPLFC(dynamic planning programming language based on fluent calculus)。通过定义动作表达式来描述顺序、并发、非确定选择等复杂动作，解决了FLUX不方便用户编程的问题。DPPLFC的动态规划算子是当在线执行的状态与前一次离线执行相对应的状态不同时才进行再次离线执行，改进了基于情景演算的动态...
遗传程序设计分析股价移动平均及中长期走势
遗传程序设计 适应性函数值 移动平均线 FFT滤波
2010/8/24
将遗传程序设计应用到股票价格分析，在股票市场各种因素相互作用与影响很难厘清的情况下，只从个别因素（价格）入手，测试对单一因素预测所能达到的效果；提出了两种预测方法：对不同尺度的股票移动平均线进行预测和对股票价格数据进行平滑预处理之后所进行的中长期预测。通过遗传程序设计算法，寻找前几个时间单位的股票价格对本期股票价格影响的经验公式，以期反映价格变动的规律。计算机实验模拟表明，该方法对于平均线的预测和...
基于VB的PC机与单片机间串口通讯及程序设计
串口通讯 MSComm VB 单片机
2016/9/14
针对PC机与单片机之间的串口通讯，介绍一种利用VB6.0的串行通讯控件实现PC机和单片机间的串口通讯的方法，并给出了详细的程序设计。该系统通过调试，已成功的应用到项目中，运行稳定、可靠，能满足设计的需求和功能，对开发类似的系统具有很好的参考价值。
TMS320C672x DSP引导程序设计
数字信号处理器 引导程序 RS232协议
2010/2/20
针对TMS320C672x DSP引导装载过程开发困难的问题，提出一种新的引导程序开发方法。在单片机内，设计从RS232接口到DSP中的SPI接口的数据转换程序，实现PC直接与DSP通信，在PC上使用VC对引导程序进行编译。应用结果表明，该方法使开发过程更方便、快捷。
无线传感器网络终端引导程序设计
自组织网络 无线传感器网络 移动终端 引导程序
2010/1/28
针对无线自组织对等网络的结构特点及对无线可移动终端的需求，分析Linux操作系统的启动过程，给出无线传感器网络可移动终端5段式引导程序的设计方法，对引导程序实现的4个关键环节的配置和设计进行说明。调试结果表明引导程序可成功地运行在自主设计的无线终端硬件平台上。
一种新型程序设计范型概述
生成式程序设计 元程序设计 模型驱动
2009/12/10
介绍了一种新型程序设计范型——生成式程序设计提出的背景和意义、概念、分类、研究概况、存在的问题以及进一步的研究方向。
面向对象程序设计与结构化程序设计的比较
面向对象 程序设计 结构化程序设计 封装
2009/11/11
利用面向对象程序设计方法开发复杂系统具有较好的可靠性，可重用性，可扩展性和可维护性，比较了ＯＯＰ与ＳＰＰ，讨论了ＯＯＰ的优点和不利因素，以及如何进行面向对象程序设计及由ＳＰＰ转向ＯＯＰ方法。
基于求解状态的递归程序设计公式化方法
递归 程序设计 公式化方法 求解状态
2009/11/4
讨论了递归程序设计的公式化方法，指出现有方法的不足，并提出了一种新的基于求解状态的递归程序设计公式化方法，在一定程度上达到了递归程序设计公式化、简单化的目的。最后通过两个具体例子，说明了如何使用这种新的公式化方法进行递归程序设计。
基于MCP2515的多路CAN总线接口及驱动程序设计
MCP2515 多路CAN总线接口 驱动程序
2009/8/19
在铁路系统中，为了保证列车的安全运行，需要对铁轨及周围状况进行实时检测。目前采用的方法是在铁路沿线安装多个检测设备，用于检测洪水、大风、泥石流等自然灾害及轨温等参数。这些设备一般采用的通信方式是RS232、RS485或CAN，并通过专线连接至监控中心的各个监控设备。这种方式极大浪费了线路资源，也不易于设备的统一管理。因此，需要一种安装在铁路沿线的设备，它将附近的检测设备发送的信息统一收集并通过一条...