ID 原文 译文
57108 该机制实现了众包工人和发包方的信息交换,并通过随机质量审查来为诚信/失信工人提供动态的经济激励/惩罚. Thismechanism enables information exchange between crowd-sourced workers and requesters, and leverages a ran?dom inspection strategy to assign financial incentives/punishments to honest/dishonest behaviors accordingly.
57109 本文通过大规模的仿真实验来对该机制进行验证. To validate our mechanism, we conduct an extensive simulation.
57110 实验结果表明该机制具有良好的有效性和高效性,能够通过极小的代价让能力强但失信的工人在任务提交前改正行为做出诚信决策. The results show this mechanism is effectiveand efficient to motivate workers to behave in a trustworthily manner and capable of changing the behavior ofdishonest workers with minimal extra cost.
57111 信息物理融合系统(cyber-physical system, CPS)是"人–机–物"三元融合模式背景下新型软件基础设施的重要一环. Cyber-physical systems (CPS) represent an important part of the software infrastructure in theternary human-cyber-physical universe.
57112 为了处理不断涌现的新环境、新模式和新平台, CPS软件必须具备一定质量保障水平的可成长和可持续演化能力.然而CPS软件在与环境交互过程中所必然面对的环境非确定性给CPS软件的质量保障带来了新的挑战.本文深入分析了环境非确定性中的感知非确定性和规约非确定性分别给软件测试研究带来的挑战.为了应对这些挑战,提出了一个迭代式的研究框架,用于有效测试受环境非确定性影响的CPS软件.基于该研究框架,介绍了现有CPS软件测试技术研究进展,并重点介绍了3种考虑环境非确定性的软件测试技术,分别解决CPS软件测试中的测试输入生成、测试预言生成和环境适应性评估问题.本文基于一个自适应自控小车的CPS软件实例,初步验证了所介绍方法测试CPS软件的有效性. In this new era, the CPS software should be continually adapting andevolving. Such constantly-growing CPS software is capable of handling emerging software environments, develop?ing models, and executing platforms. However, environmental uncertainty poses challenges to CPS testing. In thisarticle, the challenges of CPS testing caused by environmental uncertainty are studied. A comprehensive analysisof the impact of environmental uncertainty on CPS testing is conducted, and a research framework for effectiveand efficient testing CPS is proposed. Based on the proposed framework, the state-of-the-art testing CPS softwareis discussed, and three testing techniques that address environmental uncertainty are introduced, including a testinput generation approach (SIT), a test oracle generation approach (CoMID), and an environmental suitabilityevaluation approach (SynEva). The experiments are conducted using an illustrative self-adaptive robot car, andthe obtained experimental results show that the three proposed approaches can provide effective CPS testing.
57113 专利导航是利用专利信息资源, 引导和支撑技术与产业良性发展的基础性研究与推广工作. Patent navigation is a basic research and promotion process to guide and support the benign develop?ment of technology and industry by using patent information resources.
57114 本文综述了由国家专利导航项目 (高校) 研究和推广中心完成的《虚拟现实相关技术专利导航分析报告》的部分成果, 该报告对我国以及全球主要国家和地区在虚拟现实技术领域的专利申请进行了分析, 从专利视角绘制了关键技术研发路线, 导航相应的知识产权布局策略, 对如何推动我国在新一轮技术竞争中降低对外部技术的依存度、培育创新主体的创新竞争力, 以及确保国家技术安全提出了建议和措施. This article summarizes the achievementsof the report “Patent Navigation Analysis Report on Virtual Reality and Related Technologies” by the NationalPatent Navigation Project (University) Research and Promotion Center. The mentioned article analyzes patentapplications in the field of virtual reality technology in China and major countries and regions around the world,and draws the key points from the patent perspective. Following the direction of technology research and de?velopment, the corresponding intellectual property rights layout strategy is guided. The article also providessuggestions and measures on how to promote the reduction of the dependence on external technology in thenew round of technology competition, cultivate innovative competitiveness of innovators, and ensure nationaltechnological security in China
57115 软件可靠性评估是确定软件能否交付使用的关键步骤. Software reliability assessment is a key step that determines whether the software can be deliveredfor the use or not.
57116 针对软件可靠性评估中测试资源受限的问题,本文阐述一种软件可靠性评估的控制论观点,采用反馈与自适应控制策略指导软件测试过程,介绍一种基于梯度下降方法的软件可靠性评估方法. Because only limited testing resources are allowed for software reliability assessment, thispaper proposes a software cybernetics perspective that introduces feedback and self-adaptive control to guidethe software testing process in the software reliability assessment. Also, an adaptive testing strategy based ongradient descent is proposed for software reliability assessment.
57117 理论与实验结果表明,基于软件控制论的可靠性评估方法能够在有限的测试资源下获得精度高、稳定性好的可靠性评估结果. The theoretical and experimental results showthat reliability assessment methods based on software cybernetics can achieve highly precise and stable software?reliability-assessment results using restricted testing resources.