Ln命题演算中的一种新程度化方法

将Lukasiewiczn值逻辑系统Ln中的矛盾式概念程度化,引入了矛盾度的概念,并且讨论了公式的矛盾度的若干重要性质,进而用矛盾度定义了公式之间的差异度函数ρ',证明了ρ'是一个伪度量,从而在F(S)上建立了逻辑度量空间(F(S),ρ').     

基于 B/S 架构的软件测试度量系统的设计与实现

软件测试度量是对软件测试过程进行量化分析，能够提高软件测试效率。目前主流的软件测试管理和度量工具侧重于对整个测试过程的管理，缺乏对于软件测试结果的统计分析。本文旨在介绍一种基于 B/S 架构的软件测试度量系统，通过对测试覆盖率、测试缺陷等分析统计，为评价软件测试过程提供依据，从而提高软件产品的质量。     

WHO系列营养素度量法模型分析：儿童食品营销限制

目的：总结WHO开发的系列营养素度量法模型，提出我国限制向儿童营销的营养素度量法模型的建议。方法：梳理、比较和分析WHO各个区域办事处的营养素度量法模型的食品类别、计算基准、关键性营养素以及营养素度量法体系。结果：WHO各个区域办事处于2013—2019年开发了限制向儿童营销的营养素度量法模型。WHO的营养素度量法模型采用了相同的计算基准和营养素度量法体系，不同区域办事处根据现状和需求，在食品类别和关键性营养素方面相应优化，同时对我国建立限制向儿童营销的营养素度量法模型提出食品类别、关键性营养素以及阈值调整等建议。结论：基于我国现有的食品成分信息和加工工艺，营养标签的强制性内容标示情况以及我国居民的饮食特点，结合WHO营养素度量法模型经验，为我国构建限制向儿童营销的营养素度量法模型提供了理论支持以及科学依据。     

多阶段资产组合选择均值-VaR模型的研究

建立了多阶段情形下的均值-方差模型和均值-VaR模型，比较了这两种模型的性质，并给出了其最小方差组合性质以及在收益率的均值-标准差坐标下，不同的风险度量方法产生的不同的有效边缘，同时研究了VaR模型置信度趋于1时的极限性质．     

一种新的面向对象概念格属性约简方法

为了研究概念格的属性约简方法，提出了面向对象概念格的可简化属性和不可简化属性，并研究相关性质。给出了面向对象概念格知识约简的判定定理，及相应的面向对象概念格约简方法。本文提出的属性约简方法，不用建立在差别矩阵上面，便可得到形式背景的约简集。     

面向对象技术的软件测试方法探析

为保证软件产品的质量,需要对软件过程进行控制,同时也需要对软件产品本身进行检测,在目前形式化方法和程序正确性证明还无望成为使用性方法的情况下,软件测试在将来的相当长一段时间仍然是软件质量保证的有效方法。面向对象软件的独有特性,如抽象、继承、封装、多态等,使得传统的软件测试技术不能直接应用于面向对象的软件测试。文章探讨了面向对象的测试方法,分析了面向对象的各种特征对软件测试造成的影响。     

不同光谱颜色分组度量的比较研究

比较分析了以主波长、色纯度以及色貌属性等目前常用的颜色属性为度量的光谱分组精度,并提出了一种全新的混合度量光谱分组预测方法。通过实验将本文提出的方法与目前现有的四种方法比较,结果显示,相比于其它方法,本文提出的方法可大幅度节省计算时间,并可获得满意的光谱分组预测精度。     

基于UML的MIS系统开发

统一建模语方（UML）是一种可视化的面向对象的建模语言，可用于对软件系统进行描述和构造软件的系统结构。利用UML进行MIS系统建模，则要先分析用户需求，建立系统的用例、顺序、类、包等视图，再按照软件工程的思想进行编辑。在些过程中，UML能为面向对象系统的开发、软件生产的自动化和支持环境的建造提供一种丰富、严谨、扩充性强的表达方式。     

鲁班尺探究

鲁班尺是在营造建筑，制作器物时，用来度量，下料及选择吉凶压字的专用工具。本文从曲尺与门光尺两个角度阐述了鲁班尺的源流，尺度的演变，形制及尺法，这对于研究中国各时代的社会，文化，风俗，建筑及器物具有一定参考价值。     

基于曶鼎铭文“匹马束丝”的纺织度量考辨

对于曶鼎铭文中"匹马束丝"之"束"的解读,考古学界很少关注,导致出现了一些错误的观点,皆因中国古代纺织度量系统研究缺席所致。基于对中国古代纺织度量的系统研究和分析,文章认为:曶鼎铭文中"匹马束丝"的"束"乃织物规格的度量,1束=5匹,非传统历史学界认为的捆扎容积单位;南唐徐锴的蚕丝度量是有问题的,他把认识问题说成了工艺问题;1两=1匹=2端=4丈=5寻=40尺、1束=5匹、1纯=2两或5两;文学作品中"九张机""百张机""四张机"中的"张"并非织物规格单位而是操作织机的意思。此外,对古代织物精密程度单位"升"进行现代性解读,以期更好地弘扬中国古代纺织文化。     

基于单片机的非接触式扭矩测试系统

针对目前市场上存在的非接触式扭矩测量仪器种类少、接触式扭矩测量方法单一的问题,研制了一套非接触式扭矩测试系统。根据印刷机的扭矩和转速测量要求,利用光电传感器,提出了一种基于单片机的非接触式扭矩方法,设计了一种扭矩测试系统。以单片机(STM8)作为数据处理核心,通过光学传感器测量齿轮转速,经处理得到电机转速,采用功率仪测得电机有功功率。用MATLAB软件开发出扭矩分析平台,计算得出单张纸胶印机试验台扭矩。通过对试验台进行实际扭矩测试,并与采用接触式扭矩传感器测试结果比较,验证了扭矩测试方法的正确性。     

旋转圆盘式干燥机内干燥过程的计算机模拟

以颗粒热传递模型为基础 ,运用面向对象的程序设计思想 ,在 Win2 0 0 0 Visual C 6 .0平台下开发了旋转圆盘式干燥机干燥过程的计算机模拟软件。实例证明 ,该模拟软件是方便、有效、可靠的。     

纺织浆液浓度超声波在线检测系统的研制

介绍了一种纺织浆液浓度的超声波在线检测方法.根据超声波检测原理,在线检测系统由超声波测量装置、接口单元和计算机组成.由超声波测量装置产生检测信号,并通过接口单元输送到计算机,使用LabVIEW虚拟仪器并应用软件进行处理,依据浆液声时与浓度的关系曲线,实时计算得出浆液的浓度并显示在界面上.通过与烘箱烘干法的比较实验证明,研制的纺织浆液浓度超声波在线检测系统的误差小于0.5%.     

智能大厦能源综合管理系统研究

介绍了智能大厦百花广场的能源综合管理系统。该系统由计算机系统、DMX集中抄表仪、脉冲计量表、通讯接口、I^2C总线组成。以冷气、水、电的计费为例,介绍了该大厦特殊的抄表方式－通过采样器将水、电表机械走度信号或风机盘管二通阀的开启时间转换为数字信号,系统软件根据由此产生的数据文件来计算各被测点的实际用量,从而实现了实时测量、远程测量、自动抄表、自动计算等功能.特别是对中央空调系统,实现了按各用户实际作用量进行计量,改变了以往大多数按面积分摊冷气费用的不合理做法,同时达到了节省能源、提高大厦现代化管理水平的目的。     

粮食收购智能定等系统的研究

根据粮食水分和容重确定粮食等级的标准,研究开发了以AT89C51单片机为核心的粮食收购智能定等系统。将模糊神经网络技术应用于该系统中,建构了BP网络─隶属度串联模型。该模型将BP网络的输出作为模糊系统的输入,计算出实测样本属于粮食三个等级的隶属度值,最终输出为测试样本的等级。在虚拟仪器LabVIEW软件平台上开发了系统的工作软件,实现了对水分、容重和等级的一体化检测。实验表明,该系统能够较准确地确定粮食的等级,并具有稳定性好,操作简单,工作界面友好等特点。     

皮革物理性能的计算机检测之一──AD－DESK系统

皮革物理性能的计算机检测是制革和皮革制件工业实现自动化的基础。文章介绍了在试用阶段的皮革物理性能计算机检测系统ＡＤ－ＤＥＳＫ，探讨了软件研制中的几个问题，提出了下一步工作的设想。     

Drape simulation of woven fabrics using a mass-spring system

Abstract

In this paper, a mass-spring system is used to predict the draping behavior of woven fabrics. The material properties important to fabric draping are measured from the Kawabata system and the experimental data are incorporated into the simulation to calculate internal forces, based on which the draping behavior of particular types of woven fabrics is dynamically demonstrated. The hysteresis behavior in mechanical tests of a certain fabric is displayed virtually by calculating the internal restoration forces of the system. To evaluate the validity of the method, both the virtual drape measurement and the real drape measurement are performed to compare the same drape attributes derived from the two measurements. The simulation results and the experimental data are in good agreement.     

改进的M/T法在电机测速中的应用

转速控制系统中,电机转速作为反馈量构成闭环控制。因此,电机转速测量的精度对控制系统性能有着至关重要的作用。文章采用基于一种精度得到较大提高的改进M/T法理论来设计的单片机来测量电机速度。在变频器控制电机中的实验结果表明,使用改进的M/T法测量精度高,测量范围广。     

应用传递矩阵实现空压机消声器传声损失的测量

以方向相反的两列行波为端口参量,研究管路消声器声传递矩阵测量方法,建立测量模型。设计制作扩张腔式消声器,建立管路实验测量系统,对扩张腔式消声器声传递矩阵进行辨识,由传递矩阵得到消声器的传声损失,将测量结果与理论计算结果进行对比。结果表明:以行波为端口参量的声传递矩阵参数具有明确物理意义,分别为管道消声器端口的声压透射系数和声压反射系数;由声传递矩阵测量结果得到的消声器声传声损失与理论计算结果基本一致,验证了测量方法的正确。     

HVI和ART-未来的质量检验仪器

描述了棉纤维在线测试技术。比较了瑞士乌斯特公司生产的HVI和印度Premier公司生产的ART。两家公司采用不同的方法对测试系统的输出参数进行关联和处理,相应的辅助软件也是各自开发的。采用HVI和ART都能对棉纤维的常规性能进行可靠的测试,两种仪器的测试精确度有可比性。