算法程序

摘要： 在对一些技术产品的习以为常的使用中,人们往往容易忽视那些已然成熟的技术成果在成为如今的样子之前,需要突破哪些技术上的瓶颈,而人类的思维,又在这些突破过程中起到某种作用。在信息技术教学中,教师们相对熟悉的,往往是与某种实际需求达成有关的活动设计,如综合使用算法程序、数据库、电子开发板、单片机、传感器、芯片等软硬件的单元进行有创造性的设计制作,但却容易忽视这些软硬件单元本身作为一种技术成果,在其功能实现的过程中所蕴藏的思维方法上的价值。这一点可以通过分析文献数据库中一线教师提供的教学活动设计案例的种类得到验证。

摘要： 在信息的智能传播中,算法常以"技术中立"的姿态标示着信息传播的客观性回归与在场.然而,算法也存在偏见性的一面,给智能传播生态带来了诸多负面效应,需从伦理原则、主体责任、数据准确以及第三方监管等多角度协同采取治理措施.

摘要： 传统上被视为计算机领域的算法日渐成为社会和经济运行管理的核心,算法的大量应用带来公共部门治理困境。本期专题"算法行政"的两篇文章,试图从算法官僚和算法程序的视角回应算法应用对公共部门带来的治理困境及应对策略。《控制算法官僚:困境与路径》从规范意义探讨控制算法官僚的三个问题:何为算法官僚?算法官僚的控制困境有哪些?如何控制算法官僚?文章认为,被赋予决策权力的算法官僚越来越多地被用来推动.

摘要： 人工智能创造物的应用已逐步出现,随着人工智能的发展,其创造物的专利保护问题也亟待解决.从理论角度,相关的专利理论能够为其提供正当性.从现行的法律制度出发,符合我国专利保护的客体正面要求,其核心程序的算法不会受《中华人民共和国专利法》第二十五条规定排除的"智力活动的规则和方法"所限制.人工智能创造物的出现导致现行专利法审查标准失灵,新颖性方面会导致在先技术范围的扩大以及"圈地运动"的出现;创造性方面对本领域技术人员的水平提出更高的标准,并会影响其判断;实用性方面则考虑到人工智能创造物的不可预测性,需要进行前置性的筛选.

摘要： 在专家智能到通用智能的跨越过程中,传统研究也长期忽略了这样一个关键性因素。那就是机器人需要具有一种独特的能力:因果推断能力。因为专家系统对人类智能的模拟是针对某个特定的任务制定的算法程序,例如下棋、语音识别等。而要达到通用智能,就需要机器能够根据周边的复杂环境进行反应作出推理。

摘要： 智能新闻的本质是算法所引起的新闻采写和传播革新。与新闻生产相关的人工智能包括机器学习、自然语言、语音处理、视觉信息等技术。人工智能注重用户的兴趣与体验,并将其反馈到新闻生产和分发流程中,算法是这一过程中的核心元素。

摘要： 对于离网型风光储互补发电系统容量匹配和设计计算,目前较为通用的商业软件是由美国国家可再生能源实验室NREL研发的HOMER混合电力系统分析设计软件及hybrid2软件.由于该类软件建模原理尚未公开,同时需要输入指定的数据资料,无法完全满足各种实际情况.文中经研究后以赵述岛实际风速测量数据、蓄电池实际使用情况、NASA辐射数据为算法数据源,建立离网型风光储系统容量优化匹配模型及算法程序,并利用该程序进行实例分析和计算.

摘要： 形式化验证对保证软件的正确性和可靠性具有十分重要的意义。定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具。本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序循环不变式,提出了一种使用Isabelle定理证明器对算法程序进行机械验证的方法。该方法既克服了传统手工验证过程的繁琐性和易错性等缺点,又达到"提高验证效率和保证算法程序高可信"的目标,具有很好的实用价值。

摘要： PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于形式化证明的求解算法问题的递推关系;并在此基础上,自然地导出循环不变式.在得到简短、易于理解、高可靠性的Apla算法程序之后,通过转换工具自动生成Java,C++等可执行程序.

摘要： 在基于积极集SQP的拟序贯算法研究基础上,提出了基于原-对偶内点法的拟序贯化工过程优化算法.拟序贯算法分为模拟层和优化计算层双层.模拟层中使用正交配置法同时离散状态变量和控制变量,变量的边界约束加于配置点上.同时,每次NLP迭代均求解离散DAE系统,消除等式约束和状态变量,从而减小NLP问题的规模.最新研究表明,在大规模优化问题中内点法相对于积极集SQP算法具有明显优势,因此,优化计算层中用原-对偶内点法来求解NLP问题.使用FORTRAN语言独立编写了整个算法程序,并通过热集成精馏系统最优控制的动态优化问题验证了算法的有效性.结果显示,该算法具有求解大规模动态优化问题的能力.

摘要： 本文借助图论中Hamilton圈的概念,实现了一个遍历全体RGB三原色的算法。该算法具有如下特征:1)在一个遍历循环中,经过所有的可能的三原色,并且变化的过程是平缓的,不会让人感觉到颜色的明显跳跃;2)算法程序代码比较容易实现,且比较简洁.

摘要： 目的：应用Excel对尘埃粒子检测的数据进行处理. 方法：根据尘埃粒子检测数据处理计算原理,利用Excel函数及自定义函数功能编制算法程序,制成模板保存. 结果：应用时录入数据即可得到计算结果,表格简洁明了,具有自明性. 结论：Excel操作简单,功能强大,数据分析精确,可作为尘埃粒子检测数据处理的理想手段。

摘要： 介绍了G.729算法标准，ADSP2191 EZ-KITE Lite平台的硬件设计和ADSP2191的主要特征。分析了在ADSP2191上实现G.729算法的关键技术，对算法程序进行优化，从而在ADSP2191上以较小的运算量实现了G.729算法的全部功能，并通过了所有的矢量测试。

摘要： 本文指出了算法形式化推导在程序设计和软件复用中的作用.通过对算法程序的功能规约进行等价变换,自然而且方便地得到求解问题的设计思想的精确表达,即循环不变式.通过对数组段极值问题的求解,展示了形式化推导不仅可以得到正确、高效的算法程序,而且具有软件复用的功能,并进一步给出了数组段极值问题的多态性实现.

摘要： 本文阐述了一种网片对称剪裁的算法程序,将对称剪裁的原则转化为相应的机器表述,根据网片高度和剪裁斜率求出剪裁符号的排列方法.采用Visual Basic语言编写,为可视化人机对话创造了条件.

摘要： 对利用以往的散点图无法判定的细胞种类进行判定。一种使用神经网络结构的深度学习算法对生物试样所含的细胞进行分析的细胞分析方法，包括：使前述细胞在流路中流过，取得关于在前述流路内通过的各个细胞的信号强度，将与取得的关于各个细胞的信号强度对应的数值数据输入深度学习算法，基于从深度学习算法输出的结果，对每个细胞判定取得了信号强度的细胞的种类；利用前述细胞分析方法，解决了课题。

摘要： 本发明旨在提供使高精度并且高速解析受试体中所含的更多的细胞变得容易的细胞解析方法、细胞解析装置、细胞解析系统、及细胞解析程序、以及训练的人工智能算法的生成方法、生成装置、及生成程序。是由使用人工智能算法而对细胞进行解析的细胞解析方法解决课题，所述细胞解析方法包括：使含细胞的试样流经流路，拍摄通过所述流路内的细胞而生成解析对象图像，从生成的所述解析对象图像生成解析用数据，向所述人工智能算法输入生成的所述解析用数据，由所述人工智能算法生成显示所述解析对象图像中所含的细胞的性状的数据。

摘要： 本发明提供辅助疾病分析的方法、装置及计算机程序、以及训练计算机算法的方法、装置及程序。课题在于，基于各个细胞图像来识别疾病。通过用于辅助疾病分析的方法来解决课题，所述用于辅助疾病分析的方法包含：根据由采集自被检体的试样中所含的多个分析对象细胞取得的图像对各分析对象细胞的形态进行分类，基于该分类结果取得对应于所述试样的细胞形态分类的相关信息，基于所述细胞形态分类的相关信息并利用计算机算法分析所述被检体所存有的疾病。

摘要： 描述了一种计算机实现的、用于创建交通参与者算法以对交通参与者进行计算机模拟的方法，其中所述交通参与者属于被不力地保护的类别的交通参与者，其中在真实的交通环境中借助于安置在所述交通参与者上的传感器在实施至少一个任务期间检测该类别的交通参与者中多个不同的、真实存在的交通参与者的数据，其中由所述数据求取所述交通参与者的运动轨迹，其中由所述运动轨迹计算出用于所述任务的平均运动轨迹和用于偏离平均运动轨迹的带宽。还描述了一种计算机实现的、用于训练至少一个用于机动车的控制设备的算法的方法、一种计算机程序产品以及一种机动车。

摘要： 在用于配准诸如相同对象的至少第一和第二幅数字或数字化图像或截面图像组的生物医学图像的方法中，在第一幅图像或图像组内，通过选择一定数量的像素或体素，来个体化一定数量的界标，即所谓的特征。通过对被选择作为特征的每个像素或体素确定从第一到第二幅或图像组的光流矢量，从第一到第二幅或图像组跟踪被选择作为特征的每个像素或体素的位置。第一和第二幅图像或图像组的配准通过向第二幅图像或图像组的像素或体素应用逆光流来执行。本发明提供自动可跟踪界标选择步骤，即：定义第一幅图像或第一组截面图像的每个像素或体素周围的像素或体素邻域；对于每个靶像素或体素，确定一个或多个特性参数，其作为描述所述靶像素或体素的外观和所述像素或体素窗的每个或部分的外观的参数的函数，以及作为表示所述窗的像素或体素的数字矩阵或所述数字矩阵的变换的一个或多个特性参数的函数被计算。作为靶像素或体素的所述特性参数的函数，确定与有效可跟踪界标相符的像素或体素。

摘要： 本发明公开了一种自动驾驶程序崩溃后的接管算法模块和方法，包括临时接管模块，临时接管模块输入端与自动驾驶程序模块相连接，临时接管模块输出端与车辆线控底盘的输入端相连接，车辆线控底盘的输出端分别与临时接管程序模块、自动驾驶程序模块相连接；当自动驾驶程序模块出现线程崩溃或者报错时，向临时接管程序模块输出请求接管的标志位，这时临时接管程序模块向车辆线控底盘输出控制指令，控制车辆减速并缓慢靠边刹停后退出接管程序。本发明实现了在自动驾驶程序出错或者发生线程崩溃时的安全接管，能够有效避免车辆失控所造成的危害，减少可能造成交通事故的风险，同时避免了由于车辆紧急制动造成的乘坐人员或者物品的磕碰损伤等有益效果。

摘要： 本发明公开了一种基于网络维护迭代算法的HPLC组网程序故障诊断方法，属于低压电力线载波通信技术领域，目的在于解决HPLC批量运行过程中，由于组网程序故障，导致的电网业务运行不畅，却无有效手段进行分析定位的问题。其包括打通低压采集主站、终端、HPLC三个环节数据，对HPLC组网相关的关联请求、代理变更报文、网络拓扑信息的重点要素进行扩展、提取、迭代、分析，实现对现场运行程序组网逻辑是否正常、运行通信环境是否出现波动的初步判断。基于HPLC高通信速率优势，对信息进行扩展、分析，实现组网异常复位、路径断路、路径回环等异常情况的准确定位，通过扩展协议逐级上报，实现低压HPLC组网故障诊断。本发明适用于低压HPLC组网程序故障诊断。

摘要： 一种提升营销资产管控程序效率的终端通信断块续传算法，涉及通信断块续传算法的技术领域，其特征在于：现场终端上传数据过程中，源节点记为S，目标节点记为O，在路由节点N（N不是S且不是O）到路由节点M之间检测到数据上传失败，此时记为t0时刻，进而执行通信断块续传算法。本发明的有益效果在于：在针对面向营销资产管控程序的现场作业终端通信断块续传仿真实验中，本发明相对于传统的全局重传算法能够有效地提高营销现场终端工单、文件、数据的上传的执行效率约10%，数据块重传成功率提升了50%以上，数据传输故障时延平均减低了30%左右，有效降低了流程中流量消耗。

摘要： 本公开提供了一种基于遗传算法的攻击方法、装置、电子设备、存储介质及计算机程序产品，涉及人工智能技术领域，具体涉及计算机视觉、图像识别和深度学习技术，可用于对抗攻击场景下。具体实现方案为：获取目标图像；从初始扰动范围开始，采用遗传算法，在当前扰动范围内基于目标图像确定目标模型的对抗样本，并在未成功确定对抗样本的情况下增加扰动范围以继续对目标模型进行对抗攻击，直至达到预设结束条件；确定基于攻击目标模型而最终得到的攻击数据。本公开可以有效解决直接在较大扰动范围内攻击目标模型而造成的计算成本高、对抗样本的确定效率低的问题，提高了攻击效率。

摘要： 本发明涉及一种基于多目标粒子群算法的程序控制流证明方法，属于计算机信息远程证明技术领域。本发明通过多目标粒子群算法得到最优插桩方案，根据该方案获取目标程序所有可能的控制流数据，将每种输入范围下的控制流数据的哈希值和输入范围存储到服务器。设备收到服务器发起的请求后，根据请求中的输入运行目标程序，在可信执行环境中对动态控制流数据进行哈希运算得到哈希值，对哈希值和请求进行签名生成报告，发送给服务器。服务器收到报告后先验签，再检查请求是否正确，最后将哈希值和预期哈希值进行对比。本发明可以使得资源受限的设备能够以较低的性能开销获得极高的安全性。