FKAOS：一种面向Agent需求工程方法

面向Agent需求工程重点研究软件系统的面向Agent的抽象组织形式．本文提出一种新的面向Agent需求工程方法——FKAOS方法．该方法作为较高抽象程度的以Agent为核心的软件系统描述方法能辅助用户和系统设计人员更好地分析和设计系统需求．FKAOS方法通过引入Fuzzy Z语言，扩展经典的KAOS方法，描述多Agent系统中的非确定需求问题．FKAOS方法中的描述视图引入了KAOS方法的目标和责任视图，并添加了一些新的专门描述面向Agent的需求问题的视图和表．本文重点介绍了FKAOS方法的基本元模型概念和相关的主要视图描述模型等内容，并通过一个实例演示了FKAOS方法的实际应用过程．     

基于单片机的数控绕线机的实现

绕线机在电子电气行业中运用十分广泛,它是将线状的物体缠绕到特定的工件上的机器.过去的绕线机控制系统大多采用可编程控制器(PLC)来实现,受PLC运算能力限制造成主轴和持线器的同步不良,致使产品(漆包线)出现重叠和不规则的稀绕问题,从而造成了生产效率的下降和资源的浪费.笔者通过把原来的PLC控制系统改装为单片机控制系统,...     

ERP与ISO9000质量管理体系

本文介绍了ERP的起源和一些基本概念,从管理思想角度入手,比较了ERP和ISO9000质量管理体系的异同,分析了两者的联系以及结合的可能性.认为以ISO9000的理论为基础,结合ERP生产管理思想,再利用ERP软件这一先进的工具,可为企业创造更高的效益.     

ZrO_2陶瓷件高速撞击动态性能的研究

分别制造了陶瓷和合金钢的两种圆柱形构件,并将此两种构件以相同的速度撞击陶瓷/复合材料靶板。结果表明:钢构件在打穿靶板的中间层后,嵌入高强度纤维层,在陶瓷板上留下一个直径与构件相同的孔洞;而陶瓷构件在与中间层撞击后完全碎裂,没有形状完整的构件残留,同时在陶瓷板上留有一个直径远大于构件直径的孔洞。由于陶瓷件在撞击过程中释放了更多的能量,其对陶瓷插板的破坏程度远大于钢件。     

北京谱仪亮度监测器探测器的束流测试和刻度

北京谱仪亮度监测器的探测器在日本KEK进行了束流测试和刻度.在0.25GeV/c到4GeV/c动量范围内,测量了量能器的性能.在电子为1.5GeV/c时,量能器的能量分辨为13%.时间分辨为660ps.定义计数器和辅助计数器的性能也作了测量,半高宽能量分辨率为30—40%,时间分辨为～300ps.实验结果表明探测器的性能可以适用于北京谱仪亮度监测器.     

误差矢量幅度分析及在微波发射机中的应用

数字电路技术日益成熟,传输模拟信号的微波发射机成为影响发射链路信号损伤的重要因素。以EVM作为衡量信号损伤程度的指标,分析了引起EVM恶化的因素。在GMSK恒包络调制体制下,相位噪声是引起EVM恶化的主要因素;进一步得到EVM与相位噪声的关系式,从而得到便于直接测试的单边带相位噪声指标,并应用于样品设计,研制成功了满足弹载环境要求的X波段微波发射机。     

IEEE 802.11i基于Kerberos架构认证的形式化分析

形式化方法对安全协议的分析有着无可替代的优势,串空间模型又是众多形式化方法中有良好扩展性的方法之一。利用串空间模型对IEEE 802.11i的认证方式中基于Kerberos架构认证进行了机密性和认证性证明,并得出其安全性可靠的结论。最后也提出了形式化方法的不足之处和未来研究方向。     

基于IP核的SOC中ADC的测试技术

本文简单描述了SOC芯片测试技术的复杂性，模数转换器（ADC）是SOC芯片中的重要模块，随着器件时钟频率的不断提高，高效、准确地测试ADC的动态参数和静态参数是当今SOC芯片中的ADC测试研究重点。本文重点介绍了一款SOC芯片中高速ADC测试的方法。     

基于单目摄像头的自主健身监测系统

随着在线健身资源的日益丰富,自主健身已成为新的运动趋势。然而由于缺少专业健身教练的动作指导与纠正,自主健身通常无法保障健身效果且容易造成运动损伤,因此需要对健身动作准确性进行实时监测。现有的健身监测设备往往依托大屏幕、深度摄像头或传感器等硬件,存在设备昂贵、安装不便、使用场景受限等问题,较难满足大众健身的需求。随着人体关键点检测技术的不断成熟,通过手机单目摄像头即可实现对人体姿态的识别,且有较高的准确度和速度,使得在手机端实现低成本、多场景的健身监测成为可能。基于以上背景,设计了三维场景下基于角度阈值的健身动作评估算法,依托于手机单目摄像头和3D人体关键点检测技术,实时检测用户健身动作是否标准并通过语音给出相应提示。同时,在安卓手机上实现了原型系统,通过一系列用户实验验证了系统的可用性与实时性,通过与近年相关工作的对比实验,验证了动作评估方法的准确性。结果表明,本文方法与系统被用户所认可,健身动作评估准确率较高、响应速度满足实时性要求。