AECOPD中医辨证分型决策树模型

以临床急性加重期慢性阻塞性肺疾病的中医辨证分型诊断数据为基础,数据挖掘方法应用与中医经验分析及传承.共收集原始AECOPD病案447例,采用C4.5算法建立了AECOPD辨证分型决策树模型,为该病的中医证候学研究提供有价值的参考依据.     

一种支持软件界面自动生成的模型

为实现软件用户界面的工程设计，本文介绍了一种支持用户界面自动生成的界面模型FMP。它分别用内部模型和外部表示模型来阐述界面的描述和展示。本文的方法已经的到全面的实现。它使得软件界面的设计变成用户对界面需求的定义过程。     

一种基于对象模型的DTD生成方法

随着Web应用的发展，XML已成为Internet上数据表示和交换的标准，如何设计出结构良好的XML文档成为当前迫切需要研究的问题。本文由数据库设计角度出发，将XML文档类型定义(DTD)看作逻辑模型，提出了一种由对象概念模型到DTD的转换方法。     

中医辨证的乏晰模型——一种中医辨证的量化方法

本文从二值逻辑的中医辨证模型引入中医辨证的乏晰模型,介绍了在简化了的情况下中医各辨证纲领组合的隶属度的计算方法.这一模型揭示出中医辨证量化的可能,并指出乏晰数学应用于中医辨证的有利特点.最后,对乏晰数学在中医理论研究和应用方面的前景提出了一些看法.     

中国蒙医整骨术骨折分型两种判据及其因果关系

目的:研究中国蒙医整骨术的骨折分型两种判据及其因果关系.方法:基于中国蒙医整骨术对骨折类型的10种分类及其大量临床应用实践,用现代生物力学原理及方法分析验证骨折类型线性与力性分类的科学合理性及其因果关系.结果:中国蒙医整骨术的骨折分型线性判据与力性判据,二者互为因果、完美统一.结论:中国蒙医整骨术骨折分型两种判据是骨折及其类型诊断的根本依据.     

一种基于模型检验的类测试用例生成方法

提出一种新的自动生成类测试用例的方法.使用符号执行从类源代码抽取对象的状态和行为,以一个四元组抽象描述类,并转化成等价的Kripke结构.使用CTL公式描述测试覆盖标准,然后把这组CTL公式和描述类状态行为的Kripke结构输入模型检验工具,并利用模型检验工具自动生成相应的证据路径,最后将路径转化成满足相应覆盖标准的类测试用例.该方法直接从源代码生成测试用例,并使用贪心法约减冗余用例以降低测试成本.实验表明该方法生成的测试用例具有较高的覆盖率.     

一种模型驱动的原型生成方法研究实现

随着模型驱动技术的重要性与日俱增，一系列基于模型的软件开发策略也日益被提出．提出一种模型驱动的原型生成方法，即从包含类模型与形式化约束的UML模型自动生成原型．该方法基于UML模型与OCL约束的形式化表示，对UML模型特别是静态结构部分作出形式化表示，并通过示例给予分析．基于类模型及形式化约束，原型按以下步骤生成：首先从类模型中生成实体对象集合（entity object set，EOS）；然后从类模型中生成包含操作按钮的原型界面；最后生成操作及约束的处理程序．为生成原型，须将类模型及约束条件转换成可执行的原子操作代码．这些原子操作用来创建、删除或更新对象，或者用来创建、删除对象间的关联关系．基于Java语言开发出一个从UML模型生成原型的支持工具，并通过一个简单的示例论证该方法的可行性．     

一种新的点云模型控制网格的生成方法

控制网格是三维模型表示成位移细分曲面的关键.针对采用紧缩包围盒方法在处理表面有大凸大凹的点云模型时所出现的问题,提出了一种新的从点云模型中重建其表面控制网格的方法.该方法首先将点云的包围盒均分为n×n×n个小体元,然后,通过一种类似三维种子填充的算法对点云外部的小体元做上标记,并删去这些小体元,最后从剩下的体元外表面上产生一个初始的控制网格.实验结果表明,该方法不仅能快速地产生位移细分曲面的控制网格,而且能更好地逼近于原模型.     

基于一种扩展分层有限状态机模型的测试生成

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.     

一种基于噪声生成模型的语言消躁算法

超短波对空通信台加入定向机后会产生一种令人非常难受的噪声，该噪声为加性有色噪声，其原因是定向机用于控制天线的周期信号及其谐波分量耦合进接收电路所造成的。在基于语音生成模型的语音增强算法的基础上提出了一种基于噪声生成模型的语音消噪算法，成功的消除了该噪声。本算法也适用于其它加性有色噪声的消除。     

最小生成树的又一种生成法

提出一种关于最小生成树的生成法, 此方法是在一个给定的网络中,首先找到一条权最大的边,判断此边的 2个结点在不经过此边的情况下是否有另路相通,若相通则删除此边.否则, 保留此边,再寻找所剩余的权最大的边, 作类似的处理,直到在原网络中剩下的边为顶点数减 1 为止, 由此即得最小生成树.与传统的 Prim 算法及 Kruskal 算法相比较, 此法在点多而边数相对较少的网络中,能迅速地找到它的最小生成树.     

一种改进的高分卫星影像数字表面模型生成方法

针对高分辨率卫星立体影像生成数字表面模型(DSM)过程中由于影像几何和辐射差异造成匹配困难和误匹配等问题,综合运用尺度不变特征转换(SIFT)算子和归一化互相关(NCC)算子,并考虑核线和视差约束,提出了一种基于三角网视差约束的影像分层匹配方法,同时对匹配窗口进行自适应优化改进,实现特征点、格网点和特征线的匹配,从高分辨率卫星影像生成DSM.将提出的方法应用于上海崇明WorldView-1和浙江舟山资源三号卫星影像生成对应区域的DSM,与地面控制点和已有DSM对比分析,高程精度与像素分辨率相当,验证了所提出方法的有效性.     

一种改进的高分辨率卫星影像数字表面模型生成方法

针对高分辨率卫星立体影像生成数字表面模型(DSM)过程中由于影像几何和辐射差异造成匹配困难和误匹配等问题,综合运用尺度不变特征转换(SIFT)算子和归一化互相关(NCC)算子,并考虑核线和视差约束,提出了一种基于三角网视差约束的影像分层匹配方法,同时对匹配窗口进行自适应优化改进,实现特征点、格网点和特征线的匹配,从高分辨率卫星影像生成DSM.将提出的方法应用于上海崇明WorldView-1和浙江舟山资源三号卫星影像生成对应区域的DSM,与地面控制点和已有DSM对比分析,高程精度与像素分辨率相当,验证了所提出方法的有效性.     

一种中医辨证的数学模型分析

本文尝试性地把数学与中医学联系起来,特别是用数学建模思想把数理逻辑与中医辩证论治结合起来进行了分析和有益的探索,并建立了相应的数学模型。     

一种基于深度生成模型的ADS-B信号增强和目标识别方法

自动相关监视广播数据(automatic dependent surveillance-broadcast, ADS-B)信号在航空领域通信中占据非常重要的地位,其检测、分析对航空运输安全保障意义重大。ADS-B信号常常带有噪声或干扰,这使得直接解码的准确性受到影响。为了更好地捕捉ADS-B信号的信息提升其准确性,提出了EASTR深度学习模型。所提模型首先使用基于非因果扩张卷积和残差网络结构的方法,对原始含噪ADS-B信号进行降噪与增强;随后,经过降噪处理的信号被转换为星群图像,再利用多层感知机进行分类识别。收集了5 000条来自不同飞机的ADS-B信号数据,在此数据集上将EASTR与其他同类模型进行比较。实验结果表明：不同信噪比下EASTR均在准确率上优于其他模型。通过消融实验验证了数据增强模块的效能。     

一种基于条件生成对抗网络的模型化策略搜索方法

模型化强化学习是深度强化学习领域中的一种有效学习模式,能够缓解强化学习在实际应用中样本利用率低的瓶颈问题.然而,受环境复杂性及动态性影响,学习得到准确的状态转移环境模型极具挑战.为此,本文提出一种基于条件生成对抗网络的复杂环境中有效的模型化策略搜索强化学习方法.该方法首先利用条件生成对抗网络对环境中的状态转移函数学习,...     

一种快速的等值线生成算法

本文提出了一种新的等值点位于网格点时,对等值点的调整方法;在分析已有等值线追踪算法的基础上,提出了一种基于TIN网格的快速等值线追踪算法,实验表明该算法具有较高的执行效率.