基于Solidworks Simulation的圆柱螺旋弹簧应力分析

弹簧的有限元分析是弹簧应力分析及其设计制造过程中必不可少的过程,ANSYS作为常用的有限元分析软件,分析结果的可靠性毋庸置疑,但其三维建模的复杂性往往给使用者带来很大的障碍,而通过其他三维建模软件导入ANSYS再分析往往也存在模型细节处的失真等问题.论文使用Solid works 三维软件中的Simulation工具,对其所建模型直接进行有限元分析,并与实际圆柱螺旋弹簧试验进行对比,验证其分析结果的可靠性,并对弹簧应力进行近一步分析,为后续弹簧的设计提供依据.     

密码协议的SPIN建模和验证

为了将模型检测这种强有力的系统验证技术应用于网络协议的安全分析,形式化建模仍然是目前的关键问题和难点所在.本文提出了一种基于高级过程描述语言的建模方法.根据入侵者角色和攻击目标的不同,从入侵者的角度分析协议的运行模式,为每个主体建立过程模型,用模型检测工具进行分析验证.对BAN-Yahalom协议的SPIN分析验证了这种方法的可行性.该方法具有一定的通用性,对其它网络协议的分析有很好的参考价值.     

一种对仿真可信度评估的智能专家系统

研究对仿真可信度的评估问题.针对传统的人类专家评估方法其工作量大、信息不确定以及结果模糊等问题,提出一种新型的替代专家的评估仿真可信度的方法,以不确定性知识表示和推理为基础,通过构建智能评估专家系统来实现评估.并对不确定性知识的表示与量度、不确定性推理、以及模糊信息的量化和信息的综合等相关知识进行了详细的描述.以细胞信号转导网络仿真模型的评估为实例进行了演示,演示表明:系统对于其仿真模型的评估实用,结果客观,可信.可与人类专家的决策过程媲美.     

病毒感染模型的定性动力学分析

对持续性病毒感染的动力学模型进行定性分析,通过描述系统的定性状态以及状态之间的转移来对系统的定性行为进行预测.对系统动力学的定性描述进行了扩展,将对应于极值点的定性行为和穿过平衡点的定性行为联系起来;给出了定性状态的生成算法,可以从病毒感染的动力学模型自动生成其定性状态图;给出状态转移算法,实现了定性状态之间的自动转换;分析了病毒感染模型的状态变量和定性趋势,得到系统定性状态之间的转换图,并对其进行了定性仿真分析,该方法为缺少定量信息的病毒感染过程建模提供了一种新思路.     

网络时代量体定制服装规模化生产的方法研究与实践

通过分析量体定制服装规模化生产的主要问题和解决方法，提出了面向量体定制服装规模化生产的、基于网络的集成信息系统结构。讨论了集成中涉及的主要业务过程以及相关的共享数据和信息。重点阐述了实现量体定制服装规模化生产中的两项关键技术：基于规则的知识库技术和服装版型自动转换(变型设计)技术。最后介绍了某公司实际运行的量体定制系统，该系统实现了设计、生产、分销等过程的集成，其中服装的版型自动转换的正确率已达90％以上。     

基于模糊数学理论的大型升船机可靠性分析

通过分析大型升船机可靠性分析的特点,引入了模糊数学理论,客观、合理地建立升船机系统可靠性模糊多目标优化模型,有效利用设计决策者的实践经验、理论知识,使各个子目标在设计决策中进行相互协调,并进行了大型升船机可靠性分配与可靠度计算.     

基于Prewitt算子的新闻字幕检测

新闻视频的标题字幕中包含有丰富的语义信息,是实现自动化视频检索、分析和理解的重要信息源之一。通过对新闻字幕的特点进行分析,文章提出了一种基于Prewitt算子的新闻字幕检测的方法。算法首先对图像进行灰度变换,然后利用Prewitt算子进行边缘检测,最后进行字幕区域的探测与合并,检测出字幕。通过对不同的新闻视频帧进行实验,获得了较高的探测准确率。试验证明,文章提出的方法能够较好的完成新闻字幕检测的任务。     

数据流定性化方法研究

数据流定性化处理，是在考虑噪声影响的情况下，对数据流进行处理，最终将数据流 化分为单调变化的区段．这是定性仿真应用中的一个关键问题．本文在分析基于线性最小方 差拟合的数据流定性化方法的基础上，改进其定性核心函数．提出了基于偏度系数的数据流 定性化方法．并通过具体数据分析，证明了该方法的有效性．     

一种高效的并行定性仿真方法TPQSIM

对定性仿真中流行的ＱＳＩＭ算法进行了较为详细的剖析,介绍了ＱＳＩＭ算法内核函数的动态特性和数据流关系,在此基础上,提出了并行ＱＳＩＭ算法ＴＰＱＳＩＭ,并在曙光１０００并行机上通过实验对该算法进行了评估。试验结果表明,ＴＰＱＳＩＭ算法在效率和通用性等方面均明显超过了国外同类研究成果。     

脑电波的定性复杂度研究

研究脑电波信号分析处理问题,由于不确定的信息较多,传统方法不能有效地从复杂的脑电波信号中获取应用于医学临床诊断的正确信息.分析异常脑电波信号特征,根据定性仿真理论对脑电波信号进行定性化处理,然后进行数据离散化,并根据Lemple - Ziv复杂度度量方法得到脑电波的定性复杂度.利用上述方法对实验数据进行了分析仿真,结果表明定性复杂度不仅可以用来区分脑癫痫波形和正常波形,而且还能很好地刻画癫痫发病过程中的不同阶段,为脑疾病患者的临床诊断提供了新途径.