XiaoMi-AI文件搜索系统
World File Search System范畴
面向对象软件的形式化验证 2010 - KIT
本卷包含在 2010 年 6 月 28-30 日于法国巴黎举行的面向对象软件形式化验证国际会议 (FoVeOOS 2010) 上发表的受邀论文、研究论文、系统描述、案例研究和立场文件。会后，选定论文的修订版将在 Springer 的计算机科学讲义系列中出版。形式化软件验证已经超出了学术案例研究的范畴，工业界也对此表现出浓厚的兴趣。下一个合乎逻辑的目标是工业软件产品的验证。工业实践中使用的大多数编程语言都是面向对象的，例如 Java、C++ 或 C#。FoVeOOS 2010 旨在促进该领域研究人员之间的合作与互动。FoVeOOS 由 COST Action IC0701 ( www.cost-ic0701.org ) 组织，但它超出了该行动的框架。会议向整个科学界开放。所有提交的论文都经过同行评审，在 35 篇提交的论文中，程序委员会选择了 23 篇在会议上展示。我们衷心感谢所有提交作品供审议的作者。我们还要感谢程序委员会成员以及其他审阅者在审查和选择过程中付出的巨大努力和专业工作。他们的名字列在以下页面中。除了贡献的论文外，F
支援学生自主学习的资源（二）
所有中、小学。) 摘要 本通函旨在告知学校各类额外的网上资源及相关参考资料，让学校在特别假期期间推动学生自主学习。 详情 2. 因应疫情，学校于2022年3月至4月放假。本局于2022年3月7日发出通函第55/2022号，列出各类由校方自行开发的网上教学资源及相关参考资料，以鼓励学生在假期学习。学校可因应本身的情况及学生的学习需要，运用这些资源，让学生善用特别假期，在家中进行网上自主学习，为复课作好准备。 3. 我们已编制额外资源，供教师为学生安排配合课程的延伸学习或自主学习活动（例如主题阅读、互动问答游戏及动画短片），涵盖不同的学习领域/科目/课程范畴。附件列出了推荐资源清单，精选了国家提供的网上教育资源，包括最新的“天宫课堂”视频（https://bit.ly/358KddQchinadaily），其中航天员演示了在微重力条件下进行的多项科学实验（详情请参阅附件第12页）。其他政府部门开发的网上学习资源合集
人事安全听证会 ) ) 提交日期
I. 背景 该个人所从事的职位要求他拥有安全许可。2019 年 7 月，他在雇主的药物测试计划中被随机选中进行测试，结果大麻检测呈阳性。随后，该个人接受了医学审查官和雇主员工关系办公室的采访，他提供了导致其药物检测呈阳性的情况信息。然后，他回复了 2020 年 8 月的 DOE 询问信 (LOI)。DOE 随后要求提供更多信息，因为该个人未能对 LOI 中提出的一个问题作出答复。2019 年 11 月，地方安全办公室 (LSO) 向该个人发出了一封信函（“通知信”），信函表明 LSO 拥有可靠信息，该信息对该个人是否有资格获得访问授权产生了重大怀疑。参见 10 CFR § 710.21。在通知信的附件中，LSO 解释说，贬损信息属于裁决指南 H 的范畴。 1 根据法规，“访问授权”是指一项行政决定，即个人有资格访问机密事项或有资格访问或控制特殊核材料。”10 CFR § 710.5(a)。此类授权在本决定中也被称为安全许可。
可再生能源附录 3
1.1 根据 1990 年《城乡规划法》，地方规划部门负责审议可再生和低碳能源开发提案。1.2 在启动任何可再生能源发电计划之前，建议联系规划部门寻求建议并提交预申请以供审议。1.3 本附录列出了用于开发管理目的的特定标准，用于确定太阳能、生物质/厌氧消化和风能设施的规划申请。这些可再生能源形式的标准在本附录的蓝色框中列出。1.4 符合某些特定标准的家用和非家用微型发电设备可能属于《2015 年城乡规划（一般许可开发）（英格兰）法令》的范畴：通常称为“许可开发权”。因此，符合特定标准的家用和非家用风力涡轮机开发、主动太阳能技术和生物质设施可能不需要规划许可。 1.5 本地方规划中可再生能源政策的背景由《2012 年国家规划政策框架 (NPPF)》、《2015 年可再生和低碳能源规划实践指南》以及部长声明提供；特别是社区和地方政府大臣于 2015 年 6 月 18 日发表的书面部长声明。
建议引用：Mucha, Tomasz；Seppälä, Timo (2020)：人工智能平台——数字平台经济的新研究议程，ETLA 工作论文，第 76 号，芬兰经济研究所 (ETLA)，赫尔辛基
1.人工智能技术的兴起及其在数字平台中的应用 早在移动平台争夺战爆发之前，许多数字平台公司就已经在其内部业务流程或客户服务中使用机器学习算法。iPhone AppStore 于 2008 年中期推出（Ghazawneh & Henfridsson，2013 年）。微软于 2003 年推出了基于机器学习的垃圾邮件过滤功能（Buderi，2005 年）。eBay 至少从 2006 年开始利用机器学习对产品进行分类和搜索 1 。在现代人工智能 (AI) 取得一系列突破和深度神经网络性能改进之后，这些技术变得无处不在，平台公司成为主要提供商（例如，参见 Nilsson，2009 年，第 33 章；Schmidhuber，2017 年）。正如 (Brock & Von Wangenheim, 2019) 所指出的，似乎没有普遍接受的 AI 定义。尽管如此，以下包容性定义，“人工智能。..旨在让计算机做一些事情，当由人完成时，被描述为具有指示智能”（Brooks，1991，第 1 页）不仅涵盖了当今的深度神经网络和更广泛的机器学习，而且还涵盖了 AI 讨论中存在的许多不同观点。尽管定义不明确，但广泛属于人工智能范畴的符号和概率技术已成为实质性发展的目标
人机系统集成架构的风险
美国国家航空航天局 (NASA) 人类研究计划 (HRP) 将其研究分为 5 个要素：人为因素和行为表现 (HFBP)、探索医疗能力 (ExMC)、人类健康对策 (HHC)、研究运营和整合以及空间辐射。各要素每年与称为人体系统风险委员会 (HSRB) 的外部小组进行对接，以报告风险进展。因 HRP 风险研究计划的变化而对风险摘要内容进行的修改需要 HSRB 批准。这包括高级可交付成果或时间表的任何变化，以及影响基线 LxC 风险评级的证据和可交付成果的变化或更新。2016 年，行为健康和表现要素与航天宜居性和人为因素要素合并，创建了 HFBP 要素。 HFBP 要素包括几个涉及人为因素（即归入 HSIA 范畴的风险）和行为健康（即睡眠、行为医学 [BMed]、团队）的风险领域。2018 年，在 HHC 和空间辐射要素的合作下，增加了一种新的研究方法，以评估同时暴露于影响中枢神经系统 (CNS) 和操作相关行为和表现的航天危害的潜在协同效应；拟议的综合战略被称为 CBS（中枢神经系统/BMed/感觉运动）综合研究计划。
将肿瘤学、放射学和核医学整合到治疗诊断学中
将肿瘤学、放射学和核医学纳入治疗诊断学的范畴，存在着错综复杂的困难[1]。数据整合仍然很困难，因为它需要协调来自多种来源、格式和标准的数据，以确保能够做出一致的决策[2]。通过标准化成像过程，诊断准确性大大提高。弥合语言、实践和工作流程方面的差距，阻碍肿瘤学家、放射学家和核医学专家之间进行有效的跨学科合作，这是一个持续存在的问题[3]。由于治疗诊断学的监管和道德考虑，需要额外的安全和隐私措施[4]。在试图权衡可能的临床优势与昂贵设备和培训的费用和资源分配时，情况更加复杂[5]。由于必要的放射性药物稀缺，存在获取问题。为了确保医疗保健从业者能够处理治疗诊断学的复杂性，迫切需要进行专门的教育和培训[6]。在交换患者数据时，采取隐私和安全措施来保护数据至关重要[7]。为了证明其安全性和有效性，需要进行可靠的临床验证。要充分发挥综合治疗诊断学的潜力并提供最佳的患者护理，需要整个医疗生态系统的共同努力，从监管改革到技术进步 [8]。
V o r site o r y 法律技术和
一些科学家表示，“法律技术”一词是由于既定的传统而使用的，并不能真正反映其内容所包含的现象的本质。在法律科学与实践中，通常将一切被称为“法律技术”的东西，更正确地称之为“法律技术”1。虚拟机巴拉诺夫指出，人们不断抱怨缺乏或缺乏执行法律规范和立法行为的机制，呼吁开发新的法律技术。法律技术是形成和实施各种法律实践的一套原则、技术和程序，形成一种“法律技术圈”，其状态取决于特定国家所达到的经济、政治、技术和文化发展水平。法律技术不仅是一套方法，而且是一系列将具有社会意义的信息有目的地转化为新的、有效运作的法律行为的方法2。目前，对法律技术的本质理解有多种观点：1）应用和使用方法和技术来准备和通过法律决定（行为）的程序3； 2）构建可持续法律体系的方法 4 ； 3）开展法律活动，形成稳定的法律体系5； 4）对实施执法活动的基本法律和规则进行科学分类6。一个自然而然的问题是：如果许多科学家都理解旧术语的含义，那么在多大程度上将一个新术语引入法律科学的概念和范畴体系中是合理的？
新时代中国特色社会主义政治经济学
摘要 目的——中国特色社会主义政治经济学体现出进入新时代的特征，其研究对象转向生产力，解放和发展生产力、实现共同富裕成为主旋律，财富超越价值成为经济分析的基本范畴。 设计/方法/途径——中国特色社会主义政治经济学理论体系不能从超越理论出发，而是以问题为导向，引领问题涉及发展阶段和研究层面的问题。 研究结果——经济运行分析以资源优化配置为目标，微观分析注重效率，宏观分析注重经济增长和宏观经济稳定即经济安全；经济发展分析遵循生产力规律，探索发展规律和相关发展理念。创新、协调、绿色、开放、共享等新发展理念推动政治经济学发展理论创新。 原创/价值——因此，政治经济学不能只研究体系，还需要研究经济运行和经济发展问题。因此，政治经济学的理论体系往往涵盖经济制度、经济运行和经济发展（包括对外经济）三大板块，基本经济制度分析需要从共生论的视角理解公有制和非公有制、按劳分配和要素报酬、社会主义和市场经济的关系，从而把制度优势转化为治理优势。关键词 新时代 中国特色社会主义 政治经济学 论文类型 研究论文
可解释人工智能的粒度计算
目的和动机：本期特刊旨在提供一套全面的方法、模型和系统，这些方法、模型和系统都属于粒计算的共同范畴，旨在为机器学习方法和应用提供可解释性。可解释人工智能 (XAI) 将允许领域专家验证黑盒 AI 算法或过程提供的结果，以让他们参与决策过程。为此，XAI 方法应该提供对 AI 模型结果背后原因的清晰理解。在这方面，XAI 方法可以采用信息粒化方法，以分层和/或语义方式聚合数据实例，以提供聚合的、人类可理解的解释；以语义组织的方式表示数据实例（例如通过聚类）以查找类原型或反事实；采用符号或神经符号建模来隔离由特定符号激活的神经网络部分（例如，手写符号可以识别为笔画组）；并获得语义相关的信息颗粒（例如通过表示学习）作为构建解释的概念。此外，一些人工智能方法构建了可通过设计解释的模型，即不需要任何额外的程序来解释其内部模型，因为它们不是黑匣子。当前研究的主要不足之一是了解可通过设计解释的模型在准确性方面是否与需要通过多种方式解释的黑匣子模型兼容。