Type system in programming language Gödel

中文摘要：Gödel 语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种 新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Gödel 语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。 英文摘要：Gödel is a declarative logic programming language. It is based on first order logic with a polymorphic many-sorted type system. Having a strong declarative semantic Gödel can be used to realize abstract data types and programming in modules. The type system was introduced and the function of the type system in a logic programming language was discussed

Transcription of turbot Scophthalmus maximus Mx gene induced by polyinosinic-polycytidylic acid given in different ways

以POlyI∶C(又称聚肌胞)为诱导剂,分别通过腹腔注射、浸泡和投喂3种途径诱导大菱鲆SCOPHTHAlMuS MAXIMuS体内抗病毒蛋白MX基因的转录,利用半定量rT-PCr方法检测干扰素下游基因-MX基因的转录水平来确定该诱导剂的诱导效果。结果显示,以上3种途径都能高效诱导MX蛋白MrnA的转录,均在48H之后达到高峰,其中以浸泡的方式更容易诱导MX基因转录,且在120H时仍保持较高水平。MX基因转录的时相变化证明了国产POlyI∶C可以通过多种途径诱导抗病毒蛋白MX的表达,为实际应用中确定用药途径提供了理论依据。另外,实验初步建立了半定量rT-PCr方法,为检测鱼体内干扰素的表达提供了技术方法。Transcription of turbot Mx protein confirmed to be an antivirus factor was induced by PolyI∶C with intraperitoneal injection,immersion and oral administration.Mx mRNA was tested by semi-quantitative RT-PCR to validate the effect of PolyI∶C’s induction.The results illustrated that all the three induction ways could effectively induce the transcription of Mx gene and the peak of Mx mRNA quantity appeared at 48h after PolyI∶C application.The immersion method seemed to be the most effective way to induce Mx mRNA,as Mx mRNA could last more than 120h at a high level.This experiment proved that the homemade PolyI∶C could effectively induce Mx mRNA transcription in different applications,which provided a reference to use PolyI∶C in aquaculture practice.国家863计划(2003AA622070);国家十一五科技支撑计划(2006BAD09A11);行业专项(nyhyzx07-046)共同资

类泛素蛋白及其中文命名

泛素家族包括泛素及类泛素蛋白,约20种成员蛋白.近年来,泛素家族领域取得了迅猛发展,并已与生物学及医学研究的各个领域相互交叉.泛素家族介导的蛋白质降解和细胞自噬机制的发现分别于2004和2016年获得诺贝尔奖.但是,类泛素蛋白并没有统一规范的中文译名. 2018年4月9日在苏州召开的《泛素家族介导的蛋白质降解和细胞自噬》专著的编委会上,部分作者讨论了类泛素蛋白的中文命名问题,并在随后的\"泛素家族、自噬与疾病\"(Ubiquitinfamily,autophagy anddiseases)苏州会议上提出了类泛素蛋白中文翻译草案,此草案在参加该会议的国内学者及海外华人学者间取得了高度共识.冷泉港亚洲\"泛素家族、自噬与疾病\"苏州会议是由美国冷泉港实验室主办、两年一度、面向全球的英文会议.该会议在海内外华人学者中具有广泛影响,因此,参会华人学者的意见具有一定的代表性.本文介绍了10个类别的类泛素蛋白的中文命名,系统总结了它们的结构特点,并比较了参与各种类泛素化修饰的酶和它们的生物学功能.文章由45名从事该领域研究的专家合作撰写,其中包括中国工程院院士1名,相关学者4名,长江学者3名,国家杰出青年科学基金获得者18名和美国知名高校华人教授4名.他们绝大多数是参加编写即将由科学出版社出版的专著《泛素家族介导的蛋白质降解和细胞自噬》的专家

汉字词义联想引起的脑事件相关电位变化

<正> 实验模式:以声音为预备信号,1.5秒后于荧光屏上呈现一个提示字,其后1.5秒再于荧光屏上呈现一个操作字。间隔6—10秒后以同一预备信号导出另一对提示字与操作字,如此重复,每项实验呈现120对字。提示字是常见字,操作字与提示字音同形似。在无关对照实验中则提示字与操作字音、形、义皆异。令被试者于操作字呈现后用其联想出另一个

养殖水体中的微型裸腹溞对高浓度鱼类化学信息素的反应:以生命表研究为例

本文通过研究微型裸腹溞的生活史,探讨了当东湖养殖的鲢鳙密度进一步增大时,它们释放的化学信息素对微型裸腹溞的间接作用,同时也讨论了微型裸腹溞在高密度鱼类捕食下种群能够延续的可能机制。在淡水生态系统中,无视力的生物能通过化学物质的交流来感知环境中的捕食压力,从而作出相应的调整策略。本研究结果显示高浓度的鱼类化学信息素对微型裸腹溞的生活史并没有显著影响,意味着微型裸腹溞有可能通过与该鱼类的长期共存而适应了这类物质。但是我们的结果与前人的相比还是存在着很大的差异,尤其是明显提高的总后代数、平均怀卵量和内禀增长力

Type system in programming language Gdel

Gdel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Gdel语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。Gdel is a declarative logic programming language.It is based on first order logic with a polymorphic many-sorted type system.Having a strong declarative semantic Gdel can be used to realize abstract data types and programming in modules.The type system was introduced and the function of the type system in a logic programming language was discussed

长江中下游地区浅水湖泊群中无机氮和TN/TP变化的模式及生物调控机制

对长江中下游地区33个浅水性湖泊的氨态氮(NH_3-N)、硝态氮(NO_3-N)、亚硝氮(NO_2-N)和氮磷比(TN/TP)在生长季节和非生长季节的变化进行了研究。各营养盐浓度之间均呈显著正相关,整体上生长季节的相关性较好。当TP＞0．1 mgL~(-1)时,随TP浓度的升高,非生长季节氨态氮浓度增加较快,硝态氮在生长季节呈增长趋势而在非生长季节有下降的趋势,这主要因为非生长季节超富营养湖泊中的溶氧和温度较生长季节低,而硝化作用对溶氧和温度较敏感所致。当TP为0．035 mg·l~(-1)～0．1 m

NUMERICAL SIMULATIONS OF THE INTERGRANULAR FRACTURE IN NANOCRYSTALLINE Ni

提出了一种针对超细晶和纳米晶金属(主要是fcc金属)晶间断裂的微结构计算模型,即采用基于机制的应变梯度塑性(CMSG)理论描述晶粒内部材料塑性变形过程中的变形、强化和尺度效应;采用黏聚力界面模型来模拟晶界的滑移和分离现象,以及晶间裂纹的萌生和演化,直至晶间断裂导致的材料失效.利用该计算模型模拟了纳米晶Ni的拉伸实验过程,对纳米晶Ni宏观力学行为和晶间微裂纹萌生与扩展之间的关系进行了研究,验证了针对超细晶和纳米晶力学性能的计算模型的有效性;同时,模拟结果表明,非均匀塑性变形导致高应变梯度效应,晶粒塑性变形强化显著,使晶界主导的变形机制对纳米晶金属的整体力学性能产生重要影响

Design and Analysis of General File System in Embedded Multi-media Application

随着嵌入式多媒体技术的日趋发展,越来越多的多媒体娱乐设施已经用于家用起居和娱乐场所。文中旨在提出和构建一个通用的、移植性强的、针对嵌入式系统上多媒体应用的文件系统来管理多媒体数据,提高数据的存取效率和存储设备的空间利用率,从而获得良好的视听效果。通过分析FAT文件系统的性能,以及比较在PC机和嵌入式系统上应用的优缺点,并结合多媒体数据本身的特殊性以及嵌入式的具体应用环境,对其进行改进,以实现优越的性能来适应嵌入式多媒体的应用。With the gradual development of multi-media techniques,more and more multimedia facilities are put into use in home appliances and recreational spots.This article intends to propose and construct a general file system to manage multimedia datum to increase the efficiency of access and storage, which is transplantable and steady in embedded systems.After comparing the advantages and the disadvantages in PC systems with those of in embedded systems by analyzing and comparing the performance of FAT file system, the author tries to improve file systems in embedded systems to adapt the entitative multimedia applications with reference to the particularities of multimedia datum and the environments of embedded system