程序代码

摘要： 在土木工程施工过程中,施工计算贯穿施工的全过程,施工计算繁杂且易算错,Visual Basic是一种可视化的面向对象的编程工具,适合编写施工计算小程序。施工计算小程序设计包括列出与编程有关的数学公式、程序界面设计、程序代码编写、小程序调试及运行。Visual Basic编程在东川轿子山水库北干管施工计算中进行了有益尝试,让工程技术人员从繁杂的施工计算中解脱出来,取得了良好效果。

摘要： 现在各式各样的移动应用已经成为人们生活中不可缺少的元素,而发现移动应用代码缺陷是移动应用开发人员必须面对的重要且繁杂的工作。分析了移动应用代码特点、代码缺陷定义及常用检测方法,归纳了当前移动应用常用的原生开发模式、基于Web开发模式、以原生技术为主的混合开发模式、以Web前端技术为主的跨平台开发模式、Flutter跨平台开发模式等五种开发模式,提出针对这五种开发模式基于工具的代码缺陷静态检测方案。

摘要： 快速业务销售节奏导致的、以方案为整体的阶段业务预算不能快速准确地与以自然月/季度的财务报表节奏相结合,造成财务数据不及时、不准确,预算管控不力,影响了管理层经营决策。业内经过对工作流程的长期摸索和反复实践,“四管齐下”,即综合运用全面预算的滚动和弹性编制方法,严格业务财务分工及工作流程,对业务方案进行部分必要的限制,最重要的是运用新型实用的表格工具和程序代码,突破制约全面预算管理的时间瓶颈,使预算管理全流程跟踪的及时性得以实现,进一步发挥其控制与监督功能。

摘要： 晚上十二点钟,宋小猫坐在电脑前,正紧张地敲击着键盘,一行行的程序代码出现在显示器上。宋小猫正在编程,他要连接上童多多家的网络监控摄像头。作为一名会电脑编程的小学生,他这样做不是为了对童多多不利,相反,他是要救童多多。

摘要： 【裁判要旨】在计算机软件领域,核心软件的开发是整个软件开发中具有创作性的环节,核心软件的表达是整个权利软件中具有独创性的表达。当权利软件的核心软件与被控侵权软件具有高度同一性,且被控侵权软件出现与权利软件相同特征信息,足以认定两者构成实质性相似。计算机软件的实质性相似既是指程序代码的相似,也是软件整体的相似。如果被控侵权软件和权利软件的部分源代码来自开源软件,但占比低,且不足以推翻软件整体上的相似,则不影响两者构成实质性相似。

摘要： 为了改善数字图书馆中无效链接状况,提高用户和网站管理员的使用体验和管理效率,以某国内数字图书馆官网为例,随机选取NSTL及CALIS成员馆为验证对象,利用预先设计的程序代码,以识别无效链接类型,检验无效链接状况。测试结果表明,同类数字图书馆网站中几乎都存在无效链接,但数量不一、浮动较大,其中最大值为89,最小值为2。“一键式”的程序代码检验方法,在实际工作中帮助网站管理者节省了无效链接检查时间与精力,可准确有效地帮助网站管理者测试无效链接类型和网页状况。

摘要： 为了改善数字图书馆中无效链接状况,提高用户和网站管理员的使用体验和管理效率,以某国内数字图书馆官网为例,随机选取NSTL及CALIS成员馆为验证对象,利用预先设计的程序代码,以识别无效链接类型,检验无效链接状况.测试结果表明,同类数字图书馆网站中几乎都存在无效链接,但数量不一、浮动较大,其中最大值为89,最小值为2."一键式"的程序代码检验方法,在实际工作中帮助网站管理者节省了无效链接检查时间与精力,可准确有效地帮助网站管理者测试无效链接类型和网页状况.

摘要： 在数控机床加工中,涉及到很多参数值,如何确保这些参数值的准确性,提高数控加工的精准度,则需要制造工程师通过软件进行参数的控制.其中CAXA制造工程师软件的出现,在数控加工领域中得到了广泛的应用,对该行业的发展起到促进性作用.CAXA制造工程师能够准确地对零部件图纸进行准确绘制,生成刀具轨迹,生产相关数控系统的代码,准确地进行零件的仿真生产.因此,本次研究中将重点针对CAXA制造工程师在数控加工中的应用展开分析分析,从而提高数控加工的效果.

摘要： 夫琅禾费圆孔衍射实验中,理论的推导和接受屏上衍射图样的分布一直是教学的重点。而现有的光学教材,对夫琅禾费圆孔衍射图样形成的理论推导大多是采用极坐标的方法,致使演算冗长,教学方法单一。因此,本文提供了一种较为简单的利用柱坐标来推导夫琅禾费圆孔衍射理论的方法,并且对其成像的原因进行了分析和相关结论作出了归纳。在此基础上,利用MATLAB强大的可视化功能,对圆孔衍射的整个过程进行计算机仿真,从而得到相应的仿真图像,动态展示衍射图样的形成过程。

摘要： 研究采用Power MILL软件平台及后处理构造器,以i5系统AC摇篮式五轴联动加工中心为试验研究对象,定制一款适合i5系统AC摇篮式五轴联动加工中心的后处理文件,以整体叶轮零件加工为例对后处理进行了试验验证,试验结果表明:使用该后处理产生的NC程序代码,通过Vericut软件仿真模拟和实际加工时未出现欠切、过切和报警等异常现象,加工后的叶轮尺寸公差和表面粗糙度能够达到Power MILL加工策略所设置的各项精度要求,验证了后处理的可行性和正确性,为其他数控系统和特种加工数控设备建立后处理研究提供了借鉴。

摘要： 数据结构在计算机编程方面具有重要作用,识别程序代码中使用的数据结构对理解代码有着重大的作用.本文提出了一种基于本体技术来识别程序代码所用数据结构的方案.首先根据数据结构的信号建立其OWL本体知识库,然后为所有程序代码建立对应的OWL本体实例,最后使用本体推理技术识别出程序代码中使用的数据结构.经实验表明,该方法能够自动而快速的识别程序代码中使用的数据结构.

摘要： 互联网、机器学习、人工智能等技术的迅速发展以及大量开源软件和开源社区的出现给软件工程的发展带来了新的机遇和挑战.目前在互联网上已经存在了数十亿行的各类程序代码,这些代码中存在着各种知识,尤其是众多已被广泛使用、高质量的软件代码,由此催生了利用大规模代码资源中蕴涵的众多知识进行智能化软件开发的新思路.它试图充分利用互联网中存在的代码资源、知识和群体智慧,以有效提高软件开发的效率和质量,其核心技术是程序搜索与构造,具有非常重要的理论与应用价值.目前该方向的研究工作主要集中在代码搜索、程序合成、代码推荐与补全、缺陷检测、代码风格改善、程序自动修复等方面.从以上几个方面对当前的主要研究工作进行综述,对具体的理论和技术途径进行梳理,并在最后总结了目前该领域研究过程中面临的挑战,给出了建议的研究方向.

摘要： 随着高性能计算技术和约束求解理论的发展,符号执行再次成为学术界和工业界的研究热点.路径爆炸和约束求解是制约符号执行走向大规模应用的两大瓶颈.许多典型的符号执行优化技术都是关注于如何提高运行时的符号执行效率,而忽略了待分析程序本身对符号执行带来的性能影响.为了提高符号执行的效率,本文针对实际应用场景,提出需求驱动的符号执行技术.其基本思想是利用编译器首先将用户感兴趣的函数作为目标函数,然后将目标函数的参数作为关键变量,通过对源程序进行关键变量分析,利用编译器有目的地缩减程序规模,来提升随后的符号执行效率.这为符号执行提供了一种新的思路.理论分析和初步实验表明,需求驱动的符号执行技术,可以有效地提升利用符号执行工具分析程序代码的效率.

摘要： 为了实现不同格式管线数据的转换,本文介绍了一种以Excel为平台以VBA、ADO、ADOX为工具开发管线数据转换工具的方法.实验表明，通过在Excel VBA环境下编写程序代码的方法成功实现了mdb管线数据库的转换，只要进行几项必要的设置，点击按钮即可完成。但程序仍有不足之处，数据转换工作不集中进行时，管线编码的对照关系就不能集中存放，不便于工作效率的提高，因此程序还有待于优化。通过本程序的编写，笔者认为Excel VBA功能强大且编写简单，非常适合于非专业编程人员开发应用于实际工作的小程序，从而提高工作效率。

摘要： 针对1450热连轧多功能仪系统出现通讯故障导致停产的现状,主要通过分析网络设备及完善程序代码两方面因素来提高多功能仪系统通讯性能,保证多功能仪系统数据之间交换的实时性和完整性,从而保证产品质量的稳定受控,提高产能,减少事故时间.

摘要： 本文以3D-plus公司的EEPROM为例,介绍航天产品中使用的扩展EEPROM的SDP的实现方式.重点介绍40位EEPROM的SDP实现方式.文中还提供了其他几种保护措施,为航天产品应用中程序代码的可靠性提供保障.

摘要： 嵌入式RTOS作为核心基础软件,有着广泛的应用.软件测试作为软件质量保障的最重要手段,对嵌入式RTOS进行全面、有效的测试不言而喻.本文主要研究RTOS的各种主要性能指标,以及相应的各类测试方法,包括:覆盖率测试、综合功能测试、性能测试、基准测试等,并介绍各种常用测试工具.

摘要： 嵌入式RTOS作为核心基础软件,有着广泛的应用.软件测试作为软件质量保障的最重要手段,对嵌入式RTOS进行全面、有效的测试不言而喻.本文主要研究RTOS的各种主要性能指标,以及相应的各类测试方法,包括:覆盖率测试、综合功能测试、性能测试、基准测试等,并介绍各种常用测试工具.

摘要： 嵌入式RTOS作为核心基础软件,有着广泛的应用.软件测试作为软件质量保障的最重要手段,对嵌入式RTOS进行全面、有效的测试不言而喻.本文主要研究RTOS的各种主要性能指标,以及相应的各类测试方法,包括:覆盖率测试、综合功能测试、性能测试、基准测试等,并介绍各种常用测试工具.

摘要： 嵌入式RTOS作为核心基础软件,有着广泛的应用.软件测试作为软件质量保障的最重要手段,对嵌入式RTOS进行全面、有效的测试不言而喻.本文主要研究RTOS的各种主要性能指标,以及相应的各类测试方法,包括:覆盖率测试、综合功能测试、性能测试、基准测试等,并介绍各种常用测试工具.

摘要： 一种对包括多个指令的软件代码进行掩盖的方法，包括：由处理器确定针对当前指令的N个先前指令；基于第一函数、第二函数和所述N个先前指令对当前指令进行编码，其中所述第二函数基于所述N个先前指令，并且其中所述第一函数基于当前指令和所述第二函数的输出。

摘要： 一种对包括多个指令的软件代码进行掩盖的方法，包括：由处理器确定针对当前指令的N个先前指令；基于第一函数、第二函数和所述N个先前指令对当前指令进行编码，其中所述第二函数基于所述N个先前指令，并且其中所述第一函数基于当前指令和所述第二函数的输出。

摘要： 本发明提出了一种程序代码管理装置、方法及程序代码管理器，该方法包括：根据预设的功能分支与代码层的映射关系，将各功能分支的程序代码设置在对应的代码层中，以通过不同代码层对对应代码层中的程序代码进行分别管理；对用户预置的代码层中的程序代码进行编译。本发明提出的一种程序代码管理装置、方法及程序代码管理器，通过将程序代码自动设置在不同属性的代码层中，并将程序日志设置在日志层中，通过对代码层和日志层的管理，实现了程序代码和程序日志的高效率自动化管理，有效的增强了程序代码和程序日志的管理效率，缩短了程序员的程序代码和程序日志管理时间。

摘要： 本发明涉及一种用于为便携式数据载体(12)产生加载格式的程序代码(24，30)的方法。根据所述方法，使用伪库(20)，其与存储在数据载体(12)中的库(38)的不同在于，存储在数据载体的库(38)中的至少某些内部功能，在伪库(12)中不存在或被隐藏或被编码。根据用于在便携式数据载体(12)中提供可执行程序代码(40)的所述方法，程序代码(24，30)以加载格式链接至存储在数据载体(12)中的库(38)。本发明还涉及具有相应特征的设备(10，12)以及计算机程序产品。本发明提供用来保密的保护技术，并且允许产生用于便携式数据载体(12)的加载格式的程序代码(24，30)，并且提供便携式数据载体(12)中的可执行程序代码(40)。

摘要： 需要自动确定将要发生由锁冲突引起的性能下降的问题的位置，自动修正该位置的方法。本发明提供将在多线程上工作的程序的程序代码变换为锁冲突少的程序代码的方法。该方法包括：检索步骤，向存储器内读出上述程序代码，从该读出的程序代码检索在同步块内且向对该同步块没有副作用的路径分支的第一条件句；复制步骤，向上述同步块外复制通过上述检索出的第一条件句分支的没有副作用的路径；追加步骤，与上述复制相应地向上述程序代码内追加第二条件句，上述第二条件句是向上述复制的没有副作用的路径分支的条件句。

摘要： 分支要素确定部(110)根据示出多个程序要素和程序要素间的关系的模型图，确定分支的程序要素即分支要素。组确定部(120)根据所述模型图，按照所述分支要素的每个分支目的地确定构成分支目的地的一连串程序要素即分支目的地组。顺序决定部(130)决定各分支目的地组在所述程序代码中的排列顺序。代码生成部(140)根据所述模型图生成程序代码。程序代码按照各分支目的地组的排列顺序包含与各分支目的地组对应的代码。

摘要： 一种用于交换第一可实施程序代码和第二可实施程序代码的方法(300)以及一种控制设备(100)，所述控制设备包括主动存储介质(110)，其中，所述主动存储介质(110)包括用于运行所述控制设备(100)的第一可实施程序代码，并且控制设备包括被动存储介质(120)，其中，所述被动存储介质(120)包括用于运行所述控制设备(100)的所述第二可实施程序代码，并且所述控制设备包括数据包控制单元(130)，所述数据包控制单元构造为用于基于所述方法(300)交换所述第一程序代码和所述第二程序代码。

摘要： 本申请提供一种程序代码在线加载方法、程序代码在线升级方法及系统。一种程序代码在线加载方法：通过在SPI Flash中存放主用程序代码以及备用程序代码，正常情况下CPLD将SPI Flash中主用程序代码加载到本地缓冲器，FPGA将所述CPLD缓冲器中的所述主用程序代码加载到本地，CPLD监测所述FPGA的DONE信号是否正常，若不正常，则CPLD通过SPI总线访问SPI Flash，将SPI Flash中备用程序代码加载到本地缓冲器，FPGA通过总线访问所述CPLD，将所述CPLD缓冲器中的所述备用程序代码加载到本地。

摘要： 本发明提出了一种程序代码管理装置、方法及程序代码管理器，该方法包括：根据预设的功能分支与代码层的映射关系，将各功能分支的程序代码设置在对应的代码层中，以通过不同代码层对对应代码层中的程序代码进行分别管理；对用户预置的代码层中的程序代码进行编译。本发明提出的一种程序代码管理装置、方法及程序代码管理器，通过将程序代码自动设置在不同属性的代码层中，并将程序日志设置在日志层中，通过对代码层和日志层的管理，实现了程序代码和程序日志的高效率自动化管理，有效的增强了程序代码和程序日志的管理效率，缩短了程序员的程序代码和程序日志管理时间。

摘要： 本发明提供一种将软件程序语言来源文件中的断言转换到硬件描述语言来源文件中的系统及方法，在本发明方法一开始，第一来源文件具有以软件程序语言写成的软件程序代码，第二来源文件具有从第一来源文件中的软件程序代码转译而来的硬件描述语言程序代码，但不包含由第一来源文件中的程序代码转译过来的断言，本发明的方法包含：从第一来源文件中读取软件程序断言；定位第二来源文件中第二区块的位置，其中第二区块对应第一来源文件中包含软件程序断言的第一区块；转换软件程序断言为以硬件描述语言写成的硬件程序断言；判断硬件程序代码文件中插入程序断言的第二区块的位置；以及在该位置插入硬件程序断言。