多区间上非线性程序的终止性判定

主要解决了如下形式的程序的终止性判定的问题:wh ile(x∈Ω)do{x:=f(x)}end,其中,x为程序变元,Ω(Ω=(a1,b1‖∪‖a2,b2‖∪…∪‖an,bn),其中,‖∈{(,),[,]},n∈N*)是间段并集,f是一个多项式函数。证明了:当φ(b1)φ(a2)>0,…,φ(bn-1)φ(an)>0(其中,φ(x)=f(x)-x)时,这类区间上的非线性程序不终止的必要条件是:在Ω内部或者边界上存在不动点。如果不动点仅仅在Ω内部,则上述结果是充要条件。通过添加一定的约束条件,对于仅区间边界有不动点的情况,也给出了判定的方法。对一类多项式函数的终止性给出了完备性的算法(TNPSI)。

DKK1促进非小细胞肺癌线性程序性坏死和血管生成拟态形成

目的:探讨非小细胞肺癌(non-small cell lung cancer,NSCLC)中DKK1影响线性程序性坏死(linearly patterned programmed cell necrosis,LPPCN)和血管生成拟态(vasculogenic mimicry,VM)的机制。方法:收集人NSCLC标本173例,H&E染色检测LPPCN,CD31/PAS双染检测VM,免疫组织化学检测DKK1及相关蛋白表达,分析其临床病理意义及相互关系,进而裸鼠H460-DKK1移植瘤体内验证研究假设。结果:NSCLC中14.45%(25/173)存在VM,49.71%(86/173)具有LPPCN,LPPCN(+)组25.6%(22/86)形成VM,二者均与分化差、TNM分期晚、易复发转移和预后差相关。VM(+)组和LPPCN(+)组DKK1均高表达,均与VE-cadherin、MMP-2、β-catenin核表达及Twist1正相关。H460-DKK1移植瘤模型证实DKK1促进VM和LPPCN及相关蛋白表达上调。结论:DKK1引起的β-catenin、Twist1表达上调可促进NSCLC中LPPCN和VM形成。

区间上非线性程序的终止性判定

分析了如下类型程序的终止性:While x∈Ωdo{x:=f(x)}end.其中,x是程序变量,Ω是一个区间,f是一个连续函数.这类程序被称为区间上非线性程序.证明了上面程序不终止的必要条件是函数在区间内部或边界上有不动点.如果不动点不在区间的边界,则上述结果是充要条件.仅仅在区间边界上有不动点的情况下,对函数略加限制,也建立了相应结果.特别地,对逐段多项式连续函数程序的终止性给出了完备判定算法.

适用于导电样品TPD线性程序升温及数据采集系统

本系统以ＰＣ机为核心，利用多路数据采集和数模输出卡，以软件方式对自制的低压大功率电流放大器进行ＰＩＤ控制，从而实现集成导电样品快速线性程序升温的监控和ＴＰＤ数据的采集一体化。系统已经成功应用于实验。

一类循环条件非线性的程序终止性

针对Tiwari提出的线性循环程序的终止性判定问题,提出了循环条件为齐次多项式的非线性程序的不可中止性判定的理论证明,然后将程序终止性判定问题转化为参数半代数系统的求解。在求解中,借助强有力的代数符号工具DISCOVERER,解决了计算机浮点计算所造成的近似误差,精确地判定这类程序的不可终止性。最后,通过计算代数理论,把循环条件推广到了非齐次多项式,并且进行了验证。通过理论的证明和实验的验证,解决循环条件是非线性的一类循环程序的方法是高效合理的。

一类线性循环程序的终止性判定

提出一种判定这类线性循环程序是否终止的新方法,该方法通过分析循环变量每次迭代后的状态,最后得到循环条件的满足与否只是与变量的初始值和迭代的次数有关,从而判断该循环程序是否终止。根据该方法,不但能判断这一类程序是否终止,对于不是对所有输入都终止的程序,还能够给出程序终止的输入条件。

串行线性赋值循环程序的终止性判定

对于并行赋值的线性循环程序,已有文献通过矩阵特征值方法来判定其终止性,但该方法并不适用于常见的串行赋值程序。该文通过把串行赋值程序转换为并行赋值的程序,再利用矩阵特征值和特征向量来对程序的终止性作出判定,从而扩大了该方法的应用范围。

我国企业环境审计的主要内容及非线性审计程序研究

文章分析了企业环境审计的主要内容,其内容包括合规性审计、环保资金审计、环境管理体系审计、清洁生产审计、废弃物和有害物质的处理审计、环境友好型产品审计和环评报告审计,并探讨了企业环境审计的非线性程序,最后对如何在我国更好地开展环境审计提出了几点建议。

基于符号ADD和线性多分支程序的分类算法安全评估

分类算法是机器学习和数据分析中重要的算法.当需要对分类算法本身以及算法的输入数据进行隐私保护时,就出现了分类算法安全评估问题.针对现有的分类算法安全评估协议效率较低的问题,文章给出了一种基于代数决策图和线性多分支程序的解决方案.首先,设计了基于代数决策图的安全函数评估协议,用以安全评估决策函数;其次,引入了线性多分支程序的概念,用其对分类算法进行表示.最后,借助线性多分支程序和基于代数决策图的安全函数评估协议,给出了一个私有线性多分支程序的安全评估协议.对新的协议的正确性和安全性进行了分析和证明.实验数据表明,与原有的解决方案相比,新的协议在效率上有明显的提高.

线性降解程序变湿法研究青霉素钾的稳定性

报道了一种新的研究湿度对固体药物稳定性影响的试验方法——线性降解程序变湿法。按照这一变湿规律进行程序变湿药物稳定性试验能最大限度地使药物在高湿和低湿范围内降解程度一致,提高了试验的精密度。作者以青霉素钾为模型药物,采用线性降解程序变湿法和指数程序变温法进行试验,求得了Ea,m,A和t0.9等动力学参数。结果表明,新方法测定结果的精密度明显优于文献报道的程序变湿变温法。

一个具有粗差剔除功能的线性回归程序

探讨将统计判断准则应用于一元线性回归中粗大误差剔除的方法 ,通过VisualBasic中的Ms FlexGrid等高级控件编写了一个直观、简便的线性回归应用程序 .程序实现了数据输入、数据编辑、粗差剔除和曲线拟合的界面可视化 .

一个基于线性遗传程序设计的关联规则挖掘算法

介绍了一种基于线性遗传程序设计()的关联规则挖掘算法。该算法从个体的表示方法和种群结构入手,提出用一个知识库存放LGP描述式(),并提出多目标机制,以达到简化个体的表示,提高种群中个体的多样性,以及使用户能够引导搜索过程的目的。

面向对象的三维壳体非线性有限元程序设计方法

面向对象的有限元程序设计可以大大提高程序的模块化和代码的重用性。本文将结合三维壳体单元模型的特点,介绍如何对其进行面向对象的程序设计。根据非线性有限元的求解步骤,把整个程序框架划分成一些基类,并派生出相应的子类。本文只对其中的几个类(包括它们的派生类)进行重点阐述,并说明它们之间是如何来传递消息,这包括单元类、材料类、非线性方程求解器类、总装类和分析类及它们的子类。

弹塑性静力非线性分析程序EPSNAP介绍

结构非线性分析程序 EPSNAP(Elasto- plastic Static Nonlinear Analysis Program)可用于分析梁、杆、索组成的结构 ,并可对失稳具有分枝路径的结构进行全过程跟踪分析。本文简要介绍该程序的分析理论及基本功能 ,并采用典型算例进行分析验证。结果表明 。

有界闭区间并上的非线性循环程序的终止性验证

利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性。最后,给出计算实例演示该算法的算法步骤。

基于k阶秩函数的线性赋值循环程序的终止性分析

循环程序的终止性是确保循环程序完全正确的必要条件。如果给定的线性赋值循环程序不存在传统定义的线性秩函数,那么基于传统定义的秩函数终止性证明方法将失效。基于Anx的精确计算,对传统的秩函数概念进行了扩展,提出了k阶秩函数的概念。使用RegularChains软件包给出了合成k阶秩函数的具体方法。实验结果表明,相比于传统定义的线性秩函数,k阶秩函数的适应范围更广。对于不能用传统定义的秩函数证明其终止性的部分循环程序,可以基于k阶秩函数来证明,从而体现了所提方法的优越性。

TBNONLIN-简便实用的非线性拟合程序及其药学应用

目的 :解决药学研究中较难解决的非线性拟合问题。方法 :以tb BASIC语言编写了TBNONLIN程序。结果 :用编制的TBNONLIN程序较好的解决了一些非线性拟合问题 ,如多指数曲线和威布尔分布的拟合、肝肠循环过程药动参数的计算、生理药动模型的求解和组织药物浓度的预报等。结论 :该程序简单易学、自定义功能强大、实用。

StatisPro软件简介及其在定量测量程序线性评价中的应用

美国临床和实验室标准化协会（ClinicalandLaboratoryStandardsInstitute，CLSI）发布的一系列指南是临床检验实验室所广泛采用或参考的技术文件。其中方法学评价（MethodEvaluation）系列指南分别对临床实验室检测方法（或称测量程序）的线性（1inearity）、精密度（precision）、准确性（accu—racy）、可比性（comparability）、