分析与验证相关论文
家蚕（Bombyx mori）是鳞翅目昆虫的代表,也是重要的经济昆虫。家蚕核型多角体病毒（B.mori nuclear polyhedrosis virus,Bm NPV）属于杆状......
目的：优选广式凉茶解酒晶的最佳醇提取工艺,为该中药制剂的开发利用提供实验依据.方法：在单因素试验的基础上,以乙醇浓度、提取......
以现代信息、管理技术为基础,阐述基于三维数字化模型、同一数据源的产品研发制造模式.通过三维数字化集成技术,以及产品全寿命周......
智能家居平台的构件适应与协同问题是平台研发和运行过程中需要解决的关键问题。由于缺少形式化的理论研究，目前对该过程及结果......
介绍了水空中冷器安装框架运行开裂后的失效模式分析过程,对造成开裂失效的各种影响因素作了分析与验证,根据失效机理可知，存在两种......
本文以高校幼儿园建筑设计为典型实例,在教学中贯穿数字模型辅助设计,对活动空间、后勤辅助空间、办公空间进行功能排布，对重复单元......
为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。Abdelmajid在Kerberos协议中添加用户物理位置作为新的认证因......
形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于Promela语言,将P.......
对地铁施工及运营阶段进行的形变监测,可有效保证隧道结构的稳定与周围环境的安全。现有的精密工程测量方法,如收敛计、全站仪等变......
概率密度演化理论可以实现多自由度非线性结构的随机响应分析。在基于点演化的数值求解过程中，离散代表点的选取具有关键意义。......
本文利用着色Petri网的建模的方法和工具CPN Tool,建立了TCP协议数据传输过程的着色Petri网模型,得到模型的了可达树,通过可达......
本研究在压克力灯具设计发展过程中，藉由评价钻石车工之要素则与设计方法，套用在灯饰设计过程中，并将易组装与产品系列化作为灯饰......
组件技术是目前软件开发的主流技术，而如何验证组件组合的正确性是一个值得关注的问题。使用行为协议建模组件组合，结合例子研究将行......
连续梁桥是具有较好抗震性能的桥型之一.本文以昆石线某桥工程进行抗震分析为背景,利用连续梁桥的等效模型的简化分析,探讨伸缩缝......
新的化学课程标准强调，必须加强科学探究的教学，科学探究的思维程序提出问题、理论分析、猜想与假设、分析与验证等几环节，近年来各地......
该文通过作者由室内模拟试验得到的考虑渗流作用下的土的应力应变关系，以比奥固结理论为基础，将其推广应用于考虑土体粘弹性特性，利用......
著名的科学家牛顿说过：“没有大胆的猜想，就做不出伟大的发现。”在科学发展史上很多伟大的发明与发现都是源于猜想的，猜想是科学探究......
随着信息技术的发展和普及,软件在计算机系统中的作用越来越重要.软件的可信性受到了日益广泛的关注.高级语言编写的软件必须经过......
基于某产品壳体用50SiMnVB钢在冲拔过程中毛坯内膛出现椭圆形凹坑疵病的现象,采用理化检测和工艺试验等手段对该疵病产生的原因机......
基于某产品壳体用50SiMnVB钢在冲拔过程中毛坯内膛出现椭圆形凹坑疵病的现象．采用理化检测和工艺试验等手段对该疵病产生的原因机理......
针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描......
全球电子设计创新领先企业Cadence设计系统公司宣布推出Cadence Interconnect Workbench。Interconnect Workbench是一种软件解决......
通过对某军工产品用50SiMnVB铜在加热过程中，横向断裂疵病产生的原因机理进行了分析与验证，准确地找到了该问题产生的原因，并在后续生......
目的研究某产品关键零件用壳体823钢在冲拔过程中．毛坯内膛出现侧壁拉裂和底部缩孔疵病的原因。方法通过理论分析毛坯在冲拔过程中......
针对HJ-1A卫星发射状态的特殊性,使用有限元计算和相似性类比推算的方法,详细分析了正样状态HJ-1A卫星对于运载力学环境的适应性,......
文章根据搅拌车制动时的受力分析，计算制动力分配系数、同步附着系数、制动减速度和制动距离。借助MATLAB软件校核制动稳定性，并进行......
为贯彻落实十九大报告提出的质量强国战略,由北京卫星环境工程研究所和浙江大学联合主办的“服务中国制造,助力质量强国——机电产......
作者几年来提出广义与狭义管理熵理论的研究范畴,应用其理论与方法来度量与评价企业系统的复杂性,如管理系统、生产系统等.在 2003......
辐射定标是定量遥感的前提,其精度直接影响遥感数据定量应用的可靠性和准确性。研究者们提出了多种在轨辐射定标方法,包括星上定标......
基于某产品关键零件用壳体823钢在冲拔过程中毛坯内膛出现侧壁拉裂和底部缩孔疵病的现象，通过理论分析毛坯在冲拔过程中的变形机理......
结合理论计算和试验,分析了192N型柴油机冷起动困难的原因,通过改变柱塞配油斜槽的结构参数以及调整喷油泵的供油量,解决了192N型......
物联网边缘计算服务部署的密集性和多样性等,导致服务存在数据保护和服务可靠性方面的问题,为此设计物联网边缘计算的服务容灾架构......
通过微信环境下高职学生参与式学习的实践应用过程进行观察与统计分析,本文验证了基于微信技术的高职学生参与式学习的有效实施性,......
在有关金融问题的理论研究和决策过程中,往往将金融的发展可动员更多的国内储蓄,提高投资效率,从而促进经济的增长作为一个既定的......
介绍了合同能源管理模式及节能量的分析与验证,分析了通信行业合同能源管理模式的应用、存在问题和主要风险评估,提出了通信行业合......
介绍了一种新型基于齿轮齿条传动的二冲程发动机的设计方案,它是以一双齿条和一对不完全齿轮以及锥齿轮系为核心结构,通过不完全齿......
机载设备适航性就是将机载设备安装在军用航空器上时要保证航空器能够适合飞行、保证航空器飞行安全性的能力,是验证机载设备确保......
通过对六足步行机器人步行足的运动学分析，按照坐标系的建立原则，选取机构中的转动副作为关节变量，推导出各关节的广义变换矩阵，得到了......
随动系统作为火炮的重要组成部件,其中执行电机结构强度对火炮性能有很大影响。为满足执行电机冲击载荷强度要求,以某随动系统执行......
