泰国《转基因生物食品标识通知》评析及对我国的启示

泰国公共卫生部发布的《转基因生物食品标识通知》已于2022年12月4日正式生效。其主要规则包括：标识范围种类与标识豁免明确化、标识阈值与标识方法等要求精细化、阴性标识与合规过渡期等标识规定合理化。针对我国《农业转基因生物标识管理办法》的修订，提出细化标识范围、设置标识阈值、施行标识豁免、规范阴性标识、规定追溯标识、明确合规过渡期的完善建议，以更好地规制转基因生物食品标识制度的现存问题。     

Approving Measurement Systems when Using Derived Values

This article presents a methodology for approving a measurement system when the variable of interest is not directly measured. Rather, the manufacturer measures some other related variables to derive or predict the quality characteristic. To approve the measurement system, one must estimate error in each measured value and then, using either variable transformation or a Taylor series approximation, propagate these errors through the calculation to obtain an error distribution for the derived values. An evaluation of a measurement system used to measure the friction of automotive brake pads—derived from force and torque measurements—demonstrates the methodology.     

Ada's derived types and units of measure

Types in programming languages cannot model many properties of real world objects and quantities. Consequently, many errors resulting from the inconsistent usage of program objects representing real world objects and quantities cannot be detected automatically. For example, the real variables PRICE and WEIGHT, representing the price of diesel fuel and the weight of a person, may be inadvertently added, giving a non-sensical value; such an error cannot be detected by a compiler. The programming language Ada introduces the concept of derived types to tackle this problem. An alternative solution to this problem is the incorporation of units of measure as a new data attribute. Derived types only partially solve the problem of detecting the inconsistent usage of objects; some valid usages of objects are also not allowed. Moreover, the solution is inelegant and inconvenient to use. On the other hand, specification of units of measure solves the problem elegantly and conveniently. The two solutions are compared and analysed. Several ways to implement units of measure in Ada are examined.     

A FORTRAN decoder and evaluator for use at operation time

Except for normative components, the calculation of which is sufficiently involved to require a separate subroutine, the compositional “derived variables” of chemical petrology may be cast readily in the form of simple arithmetic expressions. With regard to the design of petrographic data bases and their associated information systems, the practical question is whether these should be processed by the base builder, so that the values of each derived variable are incorporated in the base, by an ad hoc subroutine linked to the information system prior to each retrieval or reduction, or by permanent elements of the information system. The third option requires intrinsic capability for decoding and evaluating expressions received as character strings at operation time. Subroutines DKDXPR and EVLXPR provide that capability. Calling program IMDEVL provides a convenient conversational device for testing DKDXPR and EVLXPR.     

类的多态性研究

从必要性入手探讨多态性的由来,从内存管理机制探讨多态性的实现机理.     

基于与状态无关的激活集的包含派生谓词的规划问题求解

派生谓词是PDDL2．2语言的新特性之一。在2004年的规划大赛IPC-4上，许多规划系统都无法求解包含派生谓词的两个标准竞赛问题。在经典规划中，派生谓词是指不受领域动作直接影响的谓词，它们在当前状态下的真值是在封闭世界假设中由某些基本谓词通过领域公理推导出来的。本文提出一种新的方法来求解包含派生谓词的规划问题，即用与状态无关的激活集来取代派生谓词用于放宽式规划中。     

区块链技术在地学数据共享中的应用可行性分析

地学数据共享是地学研究的重要内容,也是挖掘地学数据、避免地学数据重复采集的重要途径,是现代数据密集型科研范式下地学研究的重要基础,因此,如何打破地学数据“孤岛”、实现不同地学数据便捷获取、保障数据安全、提升和扩展地学数据贡献者权益保护是地学数据共享中急需解决的问题。区块链技术的兴起,为地学数据价值外化途径扩充、提升数据安全和地学数据贡献者权益保护带来了新的可能。在系统梳理地学数据共享现状、存在问题、区块链基本原理、特点、底层架构以及应用现状的基础上,探讨区块链技术在地学数据共享中的应用可行性以及应用场景,阐述区块链技术在地学数据共享中的应用挑战,以期为地学数据共享领域区块链相关研究与应用提供参考。     

C++程序设计中的对象实例化方法研究

文章对c++普通类对象、聚集对象和派生类对象的各种实例化方法及注意点进行了探讨。熟练掌握c++对象实例化方法,对加强理解c++支持的面向对象特性———封装性、继承性和多态性,提高OOP编程能力,有一定的参考价值。     

Windows下的硬件中断处理

Windows下的硬件中断首先从Vhard-wareInt类中派生出一个类,定义构造函数并重载各个信号处理程序.调用类VhardwareInt的构造函数,指定IRQ.再在VxD初始化时,用new动态创建其派生类对象实例,对重载的中断通知处理程序编程.最后调用钩挂函数(hook)中断处理程序.成功钩挂后,还可调用Physical Unmark成员函数,确保允许中断处理.     

The Greve in Chianti project

The power station at Greve was designed to gasify RDF pellets, and to use the resulting LEG to raise steam to drive a turbine to generate electricity. The existing plant comprises two CFBGs which operate alternately to supply LEG to a single boiler. The steam turbine operates at about 30 to 40 per cent of its nominal rating of 6.7 MW_c. Although the plant has, since 1993, operated with some success, unexpected fouling of the boiler has occurred. This has caused a significant reduction in the operational availability of the power station and the resultant loss of electricity production has had a negative effect on the economics of the plant. It is proposed to install a second line, incorporating a new boiler, between one of the two existing gasifiers and the steam turbine, which will incorporate a novel combination of technologies to clean the gas produced. Fouling should therefore be reduced, increasing the operational availability of the power plant and restoring its economic viability. The implementation of the new gas clean-up system, supported by the European Commission's THERMIE Programme, will demonstrate the economic and technical viability of the production of electricity via the gasification of RDF.