检索结果-内蒙古大学图书馆

计算机工程与应用 2013年第14期49卷 39-44,80页

作者：谢国珍马晓星南京大学软件新技术国家重点实验室南京210046

动态更新的研究已变得越来越重要,应用程序生命周期中需要不断进行更新,以修复程序中的错误或者为其添加新的功能。一般更新方式是关闭应用程序、安装更新,然后重启新版本的应用程序,而动态更新可以在程序的运行过程中使程序完成更新,... 详细信息

动态更新的研究已变得越来越重要,应用程序生命周期中需要不断进行更新,以修复程序中的错误或者为其添加新的功能。一般更新方式是关闭应用程序、安装更新,然后重启新版本的应用程序,而动态更新可以在程序的运行过程中使程序完成更新,免于重启的麻烦。另一方面,很多应用程序需要不间断的运行,短时间的中断会造成巨大的损失,这也使得动态更新的研究成为必然。针对不同的语言,有一些不同的更新技术,关于C语言,目前动态更新的研究都还停留在实验室阶段,投入到实际运用的很少。程序正确性是动态分析研究中一个重要的方向,目前C语言的动态更新正确性研究还都停留在语法层面的正确性,没有涉及的程序更新前后的逻辑正确,针对这一不足,旨在Ginseng平台上,对C程序动态更新逻辑正确性上做出改进。

关键词：动态更新程序正确性逻辑正确性基于约束分析

来源：评论

学校读者我要写书评

暂无评论

C语言程序动态更新中的逻辑正确性

C语言程序动态更新中的逻辑正确性

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：谢国珍马晓星南京大学软件新技术国家重点实验窒南京 210046 南京大学软件新技术国家晕点实验室南京 210046

动态更新的研究己变得越来越重要，应用程序生命周期中需要不断进行更新，以修复程序中的错误或者为其添加新的功能。一般更新方式是关闭应用程序、安装更新、然后重启新版本的应用程序，而动态更新可以在程序的运行过程中使程序完成更... 详细信息

动态更新的研究己变得越来越重要，应用程序生命周期中需要不断进行更新，以修复程序中的错误或者为其添加新的功能。一般更新方式是关闭应用程序、安装更新、然后重启新版本的应用程序，而动态更新可以在程序的运行过程中使程序完成更新，免于重启的麻烦。另一方面，很多应用程序需要不间断的运行，短时间的中断会造成巨大的损失，这也使得动态更新的研究成为必然。针对不同的语言，有一些不同的更新技术，关于C语言，目前动态更新的研究都还停留在实验室阶段，投入到实际运用的很少。程序正确性是动态分析研究中一个重要的方向，目前C语言的动态更新正确性研究还都停留在语法层面的正确性，没有涉及的程序更新前后的逻辑正确，针对这一不足，本文旨在Ginseng平台上，对C程序动态更新逻辑正确性上做出改进。

关键词：动态更新程序正确性逻辑正确性基于约束分析

来源：评论

学校读者我要写书评

暂无评论

C语言程序动态更新中的逻辑正确性

引用

中国科技期刊数据库科研 2016年第11期 203-203页

作者：杜进六盘水师范学院计算机科学与信息技术系贵州六盘水553000

由于应用程序需要不断地更新使用周期,所以针对动态更新方面的研究越来越受人们所关注,在动态更新方面可以对新功能进行补充或者修复程序错误来实现。文章首先论述动态更新的技术,然后对技术更新过程中涉及的安全问题进行剖析,然后总结... 详细信息

由于应用程序需要不断地更新使用周期,所以针对动态更新方面的研究越来越受人们所关注,在动态更新方面可以对新功能进行补充或者修复程序错误来实现。文章首先论述动态更新的技术,然后对技术更新过程中涉及的安全问题进行剖析,然后总结逻辑正确性的概念,目的就是想解决当前技术中存在的一些逻辑性的错误,从而得到如何实现逻辑的正确性等技术的分析。

关键词：动态更新 C语言逻辑正确性技术约束分析

来源：评论

学校读者我要写书评

暂无评论

一类真值表与统计相结合的研究方法

引用

计算机科学 2014年第B11期41卷 15-20,38页

作者：王树西夏增艳对外经济贸易大学信息学院北京100029 北京邮电大学民族教育学院北京102209

从人力资源管理的实际问题出发,创新性地提出了真值表与统计相结合的研究方法,利用真值表计算员工激励模型正确性概率,从而判定员工激励模型的逻辑正确性。在分析国内外相关研究工作的基础上,给出一类通用的算法,并进行了算法实验。算... 详细信息

从人力资源管理的实际问题出发,创新性地提出了真值表与统计相结合的研究方法,利用真值表计算员工激励模型正确性概率,从而判定员工激励模型的逻辑正确性。在分析国内外相关研究工作的基础上,给出一类通用的算法,并进行了算法实验。算法实验结果表明,这类真值表与统计相结合的研究方法,从新的研究视角判定了假设模型的逻辑正确性,具有普遍的研究意义和实用价值。对"真值表+统计"的新研究思路进行了探索。

关键词：真值表方法统计方法假设模型逻辑正确性正确性概率

来源：评论

学校读者我要写书评

暂无评论

面向“执行体”的实时交通控制系统建模与执行策略研究

面向“执行体”的实时交通控制系统建模与执行策略研究

引用

作者：何嘉林昆明理工大学

学位级别：硕士

随着计算机技术的不断发展,智能交通系统的体系结构也越来越复杂,具有分布性、异构性和层次性特点。过去的那种单一模型的仿真环境只能对交通系统部分功能进行建模与仿真,根本无法满足对整个交通系统的建模与仿真。同时,在实现一个交通... 详细信息

随着计算机技术的不断发展,智能交通系统的体系结构也越来越复杂,具有分布性、异构性和层次性特点。过去的那种单一模型的仿真环境只能对交通系统部分功能进行建模与仿真,根本无法满足对整个交通系统的建模与仿真。同时,在实现一个交通逻辑系统模型之前,保证系统运行的逻辑正确性显得尤为重要。针对以上两个问题,本文提出了一种在Ptolemy II仿真软件中构建交通系统的方法；并采用DE域来分析单层交通模型运行时的逻辑正确性和采用PTIDES域来分析多层交通模型中各个节点运行的并行性。其主要工作如下： 1提出了单交叉口交通的建模与执行策略,即单交叉口模型由车辆检测器节点,交通控制器节点和交通灯节点组成。车辆检测器节点发送交通事件给交通控制器节点,交通控制器节点完成交通事件的处理后,向交通灯节点发送交通信号控制指令。整个模型的执行由DE计算模型管理,DE调度器根据事件的时间戳大小异步地调用事件。仿真实验表明了DE域处理事件的可确定性与唯一性。 2提出了区域交通控制系统的建模与执行策略,即将层次化的系统结构进行平面化建模以及将单个节点与它的子节点之间的关系层次化建模。区域交通控制模型具有多层次性特点,最顶层模型采用PTIDES计算模型,其余子模型采用DE计算模型。PTIDES计算模型提高了最顶层模型中各个复合actor执行的并行性以及DE计算模型保证了各子模型执行的可确定性与异步性。仿真实验表明了对于交通系统中无因果关系的节点来说,事件完全可以不按时间戳顺序被处理,从而提高了节点的执行效率。 3介绍了一种快速优先权队列,即日历队列。日历队列是将无穷大的队列划分成若干个有限的队列,每个队列中都根据事件的时间戳大小排序事件。接着介绍了DAG拓扑排序算法,即根据一个actor在模型的拓扑结构排序中的位置给它赋予相应的优先权。值越小,优先权越大。虽然拓扑排序的结果并不唯一,但父结点的优先权始终高于子结点的优先权。本文最后对研究工作进行了总结,指出了今后需进一步深入研究的问题。

关键词：分布性异构性层次性逻辑正确性并行性实时性

来源：评论

学校读者我要写书评

暂无评论

一种变电站一键顺控不停电验收系统及方法

一种变电站一键顺控不停电验收系统及方法

引用

作者：殷丽丽王绕霞 210012 江苏省南京市雨花台区花神大道23号8号楼5F8503室

本发明公开了一种变电站一键顺控不停电验收系统及方法，所述系统包括顺控主机、数据通信网关机、智能防误主机、站控层交换机和一键顺控自动验收装置，所述顺控主机、数据通信网关机、智能防误主机以及一键顺控自动验收装置均与变电站... 详细信息

标准号: CN115907654A

本发明公开了一种变电站一键顺控不停电验收系统及方法，所述系统包括顺控主机、数据通信网关机、智能防误主机、站控层交换机和一键顺控自动验收装置，所述顺控主机、数据通信网关机、智能防误主机以及一键顺控自动验收装置均与变电站中的站控层交换机连接；所述顺控主机与智能防误主机、数据通信网关机和一键顺控自动验收装置组成一个和变电站现场运行设备没有任何电气连接的封闭测试环境，本发明通过一键顺控自动验收装置将配置文件、验收策略和顺控主机响应的结果进行综合比对，根据比对结果自动生成测试结论，准确、可靠、快速的实现了对顺控主机的顺控票正确性、双确认正确性、操作条件识别正确性以及双防误逻辑正确性的定量测试验收。

关键词：验收装置数据通信网主机防误主机关机变电站站控层智能交换机连接逻辑正确性比对结果测试环境测试验收电气连接配置文件运行设备主机响应自动生成不停电验收比对防误交换机测试封闭

来源：评论

学校读者我要写书评

暂无评论

一种基于程序分析多维质量评价的程序语言教学实践平台

一种基于程序分析多维质量评价的程序语言教学实践平台

引用

作者：李兆鹏顾建平王柏郑有红 230088 安徽省合肥市高新区文曲路355号403室

本发明公开了一种基于程序分析多维质量评价的程序语言教学实践平台，该平台包括：第一终端，用于在附着的网络下向网络设备发送第一请求；网络设备，用于在接收到第一请求时，生成第一结果和第一层次作业评价数据，并向第一终端发送第... 详细信息

标准号: CN113360372A

本发明公开了一种基于程序分析多维质量评价的程序语言教学实践平台，该平台包括：第一终端，用于在附着的网络下向网络设备发送第一请求；网络设备，用于在接收到第一请求时，生成第一结果和第一层次作业评价数据，并向第一终端发送第一结果，第一结果用于表征程序作业是否可执行并满足逻辑正确性；第一终端，还用于向网络设备发送第二请求；网络设备，还用于在接收到第二请求时，生成第二结果和第二层次作业评价数据，并向第一终端发送第二结果，第二结果用于表征程序作业的代码综合质量，结合上述两次结果，网络设备还用于生成作业的综合评价，本发明实现根据学生作业完成过程的结果反馈，更方便、全面、高效的对作业进行多维度综合评价。

关键词：网络设备程序作业终端发送综合评价作业评价发送终端逻辑正确性程序分析程序语言教学实践结果反馈学生作业质量评价多维度可执行多维附着网络

来源：评论

学校读者我要写书评

暂无评论

供电系统母联备自投微机保护装置新型校验系统及方法

供电系统母联备自投微机保护装置新型校验系统及方法

引用

作者：彭绍川周健康陈涛杨帆陈敏 657800 云南省昭通市水富市云富街道办事处云天大道37号

本发明公开了一种供电系统母联备自投微机保护装置新型校验系统及方法，设计一个BZT专用校验控制箱，用其代替校验BZT保护动作逻辑时所需要的1#、2#进线开关运行信号、以及BZT可靠动作跳1#、2#进线开关。此方法将该装置的校验分为了逻... 详细信息

标准号: CN115963346A

本发明公开了一种供电系统母联备自投微机保护装置新型校验系统及方法，设计一个BZT专用校验控制箱，用其代替校验BZT保护动作逻辑时所需要的1#、2#进线开关运行信号、以及BZT可靠动作跳1#、2#进线开关。此方法将该装置的校验分为了逻辑校验部分和联动校验两部分，用专用校验控制箱模拟在运行中的断路器进行动作逻辑校验，验证该装置动作逻辑正确性，完成逻辑校验后，在生产装置允许时进行联动校验，从而保证整套备自投装置校验的完整性和正确性。本发明自主设计的BZT专用校验控制箱结构简单、制作成本低，电气控制原理简洁易懂，在对BZT进行校验时，不会对在运生产装置造成影响。

关键词：校验进线开关逻辑校验生产装置控制箱联动供电系统电气控制原理微机保护装置备自投装置控制箱结构逻辑正确性保护动作动作逻辑校验系统运行信号装置动作备自投断路器母联验证制作保证

来源：评论

学校读者我要写书评

暂无评论

一种接口调用方法、系统、计算机设备和存储介质

一种接口调用方法、系统、计算机设备和存储介质

引用

作者：李承龙陈琦周凌波李政蒿程胜儒 410000 湖南省长沙市高新开发区尖山路39号中电软件园一期10栋厂房401

本申请涉及一种接口调用方法、系统、计算机设备和存储介质。其中，方法包括：接收接口调用方传输的接口调用指令，确定待调用的标准接口；向接口调用方提供SDK工具，以便通过SDK工具捕捉接口调用方触发的调用事件；在调用事件不成功时... 详细信息

标准号: CN117349041A

本申请涉及一种接口调用方法、系统、计算机设备和存储介质。其中，方法包括：接收接口调用方传输的接口调用指令，确定待调用的标准接口；向接口调用方提供SDK工具，以便通过SDK工具捕捉接口调用方触发的调用事件；在调用事件不成功时，通过SDK工具原样无损重试调用事件，直至接口调用方成功调用目标标准接口。采用本方案能够解决接口调用方处理各提供方不一致的问题，实现接口调用方的解耦和减负，并保证接口重发后各系统的数据完整性和逻辑正确性。

关键词：接口调用调用事件标准接口调用计算机设备逻辑正确性数据完整性存储介质调用目标接收接口不一致提供方触发减负解耦无损重发重试捕捉指令成功传输申请保证

来源：评论

学校读者我要写书评

暂无评论

一种用于大数据清洗的异常检测和消除的方法

一种用于大数据清洗的异常检测和消除的方法

引用

作者：文晓飞刘缨缨 710000 陕西省西安市雁塔区青龙东路青龙寺公园西侧1号

本发明提供了一种用于大数据清洗的异常检测和消除的方法，该用于大数据清洗的异常检测和消除的方法基于大数据分析的模式确定数据异常状态检测模型，并根据该数据异常状态检测模型对信息数据中的异常部分进行标定处理和消除处理，以实... 详细信息

标准号: CN111010393B

本发明提供了一种用于大数据清洗的异常检测和消除的方法，该用于大数据清洗的异常检测和消除的方法基于大数据分析的模式确定数据异常状态检测模型，并根据该数据异常状态检测模型对信息数据中的异常部分进行标定处理和消除处理，以实现对该异常部分的纠正，这样能够提高对海量信息数据进行异常检测和消除处理的效率，并且还能够避免发生异常检测和消除错误情况，此外，该方法还对该信息数据进行关于不同数据区间的修正处理，从而保证被消除异常后的信息数据仍然能够保持数据文本的完整性和数据文本的逻辑正确性，以确保后续对信息数据进行分析处理的便捷性和有效性。

关键词：信息数据异常检测大数据数据文本数据异常状态检测清洗逻辑正确性分析处理海量信息模式确定数据区间修正处理便捷性标定纠正分析保证

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：