搜索筛选:
搜索耗时0.0885秒,为你在为你在102,285,761篇论文里面共找到 24 篇相符的论文内容
发布年度:
[期刊论文] 作者：肖力田,
来源：系统工程与电子技术 年份：1999
针对工程设计图档管理系统的特点，从图档关系模型、版本控制、图像压缩和模糊检索等几个关键环节提出了优化的模型方法，节省存储空间和加快智能化检索速度，在实际应用中取得了很......
[期刊论文] 作者：肖力田,
来源：工程设计CAD及自动化 年份：1998
...
[期刊论文] 作者：肖力田,
来源：计算机应用与软件 年份：2004
本文针对工程设计中电子化审核、校对、会签等工作 ,应用基于Schnorr的群体数字签名方案 ,解决了电子化作业的安全性问题。对所设计的顺序和同时群体签名方案 ,进行了验证和安全性、抗攻击性分析......
[期刊论文] 作者：肖力田,
来源：中国勘察设计 年份：2005
根据建设部有关工程勘察设计信息化建设"十五"规划要求,总装备部工程设计研究总院从数值计算、力学分析、三维设计与仿真、虚拟现实及与之相配套的数据管理、网络系统平台等...
[期刊论文] 作者：肖力田,
来源：工程设计CAD及自动化 年份：1997
...
[期刊论文] 作者：肖力田,
来源：计算机学报 年份：1993
在人事管理中有许多不确定和模糊的因素,有时在某种情况下模糊因素对决策是非常重要的.如果我们要在管理决策中利用人工智能,必须处理好模糊因素以及建立合适的决策模型.本文...
[期刊论文] 作者：肖力田,
来源：小型微型计算机系统 年份：1990
随着数据库的广泛应用,通常使用的DBASEⅢ已不能满足要求,而SQL越来越显示出比DBASEⅢ优越的功能。早在1986年它已是ANSI标准,这里的一个实例是利用SQL的强大查询功能,支持知...
[会议论文] 作者：肖力田;,
来源：第十二届全国工程建设计算机应用学术会议 年份：2004
根据建设部勘察设计协会有关工程勘察设计信息化建设"十五"规划要求,总装备部工程设计研究总院从数值计算、力学分析、三维设计与仿真、虚拟现实及与之相配套的数据管理、网...
[期刊论文] 作者：肖力田,,
来源：系统工程与电子技术 年份：1999
针对工程设计图档管理系统的特点,从图档关系模型、版本控制、图像压缩和模糊检索等几个关键环节提出了优化的模型方法,节省存储空间和加快智能化检索速度,在实际应用中取得...
[期刊论文] 作者：肖力田,
来源：工程设计CAD及自动化 年份：1997
...
[会议论文] 作者：肖力田,
来源：第十一届全国工程建设计算机应用学术会议 年份：2002
智能化CAD图库系统关键在于建筑工程图基本部件的生成与修改的智能化,为设计和绘图方法在各种标准图形的变形和修改方面提供了极大的方便性,本文介绍了基于建筑施工图设计的智能化CAD图库的实现技术方法,并对应具备的功能进行了讨论.......
[会议论文] 作者：肖力田,
来源：企业信息化高级论坛暨全国第12届CAD/CG学术会议 年份：2002
本文介绍了一个基于工程建筑设计的智能化CAD核心系统的组成,智能参数化的绘图子系统、图形库管理子系统和界面子系统是该智能CAD的核心子系统,文中介绍了这些子系统的原理、功能和实现技术.......
[期刊论文] 作者：肖力田,常波,
来源：工程设计CAD及自动化 年份：1997
...
[期刊论文] 作者：肖力田, 李孟源,,
来源：计算机辅助设计与图形学学报 年份：2006
针对住宅建筑设计的特点,为住宅建筑智能CAD进行了知识库系统的结构设计,定义了系统模型和推理机制,并对设计结果的优选从理论上和算法上进行了研究;对知识库系统中的推理机...
[期刊论文] 作者：李孟源,肖力田,
来源：西北工业大学学报 年份：2019
发射场新型智能控制系统采用了现场无人值守、远程控制,为了确保自动控制系统高安全、高可靠性和强适应性,其中的关键是冗余技术。因此,提出了全自动远距离的智能冗余控制方...
[会议论文] 作者：肖力田,郝雪莹,
来源：中国科协首届学术年会 年份：1999
...
[会议论文] 作者：肖力田, 顾明, 孙家广,,
来源： 年份：2004
针对航天发射场PLC(programmable logic controller)嵌入式软件测试,总结了现有嵌入式软件测试的研究,具体分析了静态测试与验证、真实测试、硬件检测器测试、插装测试和仿真...
[会议论文] 作者：肖力田,顾明,孙家广,
来源：2007全国软件及其应用学术会议 年份：2007
针对PLC(programmable logic controller)嵌入式软件测试,总结了现有嵌入式软件测试的研究,具体分析了静态测试与验证、真实测试、硬件检测器测试、插装测试和仿真环境测试的技术,以及在PLC嵌入式软件测试中存在的问题等。为了解决这些问题,从基于控制对象的仿......
[会议论文] 作者：肖力田,顾明,孙家广,
来源：2011年中国智能自动化会议 年份：2011
为了使用形式化方法对PLC程序的正确性验证奠定基础，研究PLC程序语言的指称语义定义，以实现对PLC形式化定义和检测验证。基于程序建模，定义了PLC程序指称语义的格局、程序语言的语义函数及函数，为其模型检测和定理证明提供了基础。......
[期刊论文] 作者：童庆,肖力田,刘国安,傅盼盼,,
来源：中国仪器仪表 年份：2020
基于安全通信的角度,结合EPA总线通信开放实时以及BLVDS特有的电气特性,从优化通信结构、实现密文传输等方面进行了系统安全通信设计.基于EPA与BLVDS总线的通信系统从3个方面...
相关搜索：
