Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…     

中枢记忆性T细胞和效应记忆性T细胞

免疫记忆是适应性免疫应答的重要特征,其细胞学基础的阐明是疫苗开发和疾病预防的关键。近年来的研究表明,记忆性T细胞可以被进一步划分为中枢记忆性T细胞和外周记忆性T细胞2个亚群,它们的分布和功能迥异,在生物学特性上也不尽相同。二者关系的深入探讨对于免疫记忆的认识和疾病防治均具有重大的理论和实践意义。     

基于信息博弈的多源信息融合方法

针对多传感器信息融合系统中的信息冲突,结合博弈论的原理,在考虑信息冲突环境下局中人最优策略和最优支付的情况下,提出了求解信息冲突环境的信息博弈融合方法.首先通过信息熵的形式将多信息器表示成多源信息,并将多源信息的信息冲突过程抽象成为信息博弈过程,多传感器系统通过信息博弈的过程实现整个系统的信息收益最大化.通过对空调机调速器运行工况评价的实验分析,证实该方法在保持调节性能的同时,能从冗余的多源信息角度对系统的被控参数做出调整,各种动态品质特性优于传统的方法.     

基于通信顺序进程的并发DEDS的规范和证实

在实时通信顺序进程（TCSP）的基础上对离散事件动态系统（DEDS）进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果，根据离散事件的特点作了符号语义上的改进，就两个具体的例子——自动导引小车（AGV）和火车道口系统道口系统建立了TCSP模型，给出了它们需要满足的特性，并据此确立了控制方法和综合后的系统模型。     

河南省汝阳洞沟铅矿基本地质特征与找矿方向

汝阳洞沟铅矿严格受断裂构造所控制,产在构造破碎带内,属构造蚀变岩型矿床.本文综合研究了该矿体的地质特征,并指出在蚀变破碎带内发育硫化物及多金属矿物组合的地段,是寻找矿化富集的主要地段,旨在外强及深部找矿,以实现扩大矿产资源量.     

网络环境下图书采访预订数据库的建设

本文联系本馆的图书采访工作情况，针对2000年引进北京传技信息系统有限公司TOTALSⅡ图书馆自动化系统的实际应用，重点对该系统图书采访预订数据库中的主要功能及采访数据库与编目数据库的关系加以论述。 1 图书采访预订数据库建设的必要性 近年来，图书出版业的快速发展与出版物多渠道报道发行给图书采访工作带来许多困扰。文献量的增多，用户需求量的增加和多样化信息需求的增长，传统手工目录已显出手续繁多，占据空间大，功能少，检索费时，数据共享性能差等弊端。因此图书采访预订数据库的建设则成为图书采访工作自动化的首…     

跨国公司R&D投资战略转变的特点

一、海外研发实验室逐渐由母国向他国转移 对2003年<财富>排列的世界500强跨国公司的母公司及海外分支机构的914家实验室调查显示,英国、德国、意大利、荷兰和瑞士跨国公司的实验室超过50%设在国外,位于加拿大、英国、意大利、荷兰和其他欧洲国家的实验室,有超过50%的实验室属外国所有.目前,欧美跨国公司的海外R&D活动,约占其总研究开发活动的1/3.羡国跨国公司国外R&D支出占国内R＆D支出的33%,欧盟为42%.日本跨国公司过去的R&D活动主要安排在国内进行;20世纪90年代以来,日本企业R&D国际化步伐明显加快,国外R&D支出比例高达57%.     

如何防治温室黄瓜霜霉病

如何防治温室黄瓜霜霉病开封县农科所徐林黄瓜霜霉病是温室黄瓜最易发生的一种病害。发病初期叶背面呈水渍状小斑点，扩大后呈多角形黄褐色病斑，有灰褐色霉状物。防治方法有以下几方面。１、预防为主，加强中心病株调查，把病菌消灭于初发期。揭苫后察看黄瓜植株，特别是...     

矩阵本征值求解物质绝对熵的方法

本文采用BASIC语言，编制了应用微型计算机计算物质的统计熵约程序，并在IBM-PC和APPLE-E机上通过。对于较难计算的转动熵，应用了哈密顿矩阵的对角化得到的本征值的求算方法。