软件人情感控制广义模型

借鉴大系统控制论中广义模型化方法,建立了软件人情感控制的广义模型. 提出了行为受理智和情感共同控制的观点. 从功能上将软件人情感控制模型划分为感觉模型、思维模型和行为模型,并给出了感觉模型、思维模型、行为模型三者之间的关系模型以及思维模型和行为模型两者之间的关系模型.     

锂离子电池系统建模仿真

动力电池测试是动力电池研究的基础,而建立和选择合适准确的电池模型对于电池管理系统开发具有重要意义.为了解决电动汽车仿真时电池模型选取的问题,分别系统的建立了Thevenin模型,Gassing模型以及AVL电池模型,其中,Thevenin模型和AVL电池模型实质上分别为一阶等效电路模型和三阶等效电路模型,而Gassing模型是一种半机理半经验模型.三种模型在非极限工况下,都具有较高的精度,Thevenin模型和AVL电池能够更加准确地描述电池极化环节,AVL电池模型和Gassing模型在剧烈变化工况下误差很小,而Gassing模型能够很好地描述电池在极限工况下的动态特性,且可以反映出温度与内阻的动态变化.     

基于时间自动机的UML模型转换与验证研究

针对无法对UML模型进行形式化验证的问题,提出在元模型层将UML模型转换为时间自动机模型并进行验证的方法.形式化UML状态机的结构,抽象出UML和时间自动机的元模型,利用模型转换语言ATL对UML元模型和时间自动机元模型构造映射规则,实现UML模型到时间自动机模型的转换,在模型验证工具Uppaal中对转换结果进行形式化验证.最后进行实例研究,结果表明了此方法的有效性和先进性.     

一种新的软件测试过程模型

通过对传统模型Ⅴ模型的分析,找出Ⅴ模型存在的不足,提出一种对V模型改进的新模型,这一模型能尽早地发现错误,提高测试的覆盖率.     

利用扩展的Petri网模型形式化业务场景模型

UCM模型作为一种图形化的业务场景模型,其场景设计可以表示需求和产生规格,驱动设计和系统演化,UCM模型的正确性影响软件开发的质量.鉴于形式化模型可以验证其正确性,提出了一种利用扩展的Petri网模型,应用模型驱动实现业务场景模型的形式化方法.该方法通过细化Petri网模型中的Transition结点,从而有效的描述业务场景模型中的路径决策和动态行为.通过对UCM模型和扩展的Petri网模型的抽象语法定义,利用模型驱动方法定义了UCM模型元素形式化映射为Petri网模型元素的规则,并根据其规则设计了映射算法;在Eclipse平台上使用ATL语言实现了模型的形式化映射;应用Web Payment实例演示了UCM模型的形式化分析结果.     

足部复合模型建立及其应用

文章利用逆向工程原理与技术,建立了人体足部骨骼、软组织模型以及复合模型,进而建立了足部有限元模型。对足部有限元模型进行了有限元模拟分析,验证了其有效性;作为足部模型的一个应用,利用足部模型建立了鞋楦模型,然后根据该鞋楦模型试行设计出不同的鞋模型。     

蒸发波导预测模型研究

利用海上试验采集的波导数据,对比分析了蒸发波导Paulus-Jeske模型和A模型在我国海域的适应性.结果表明:多数情况下Paulus-Jeske模型的适应性优于A模型,但在较低风条件下,A模型适应性较好.根据两种模型的适应性特点,将Paulus-Jeske模型和A模型结合建立了混合模型.通过仿真分析和试验数据的检验可知,混合模型相对Paulus-Jeske模型对气海温差的敏感性和预测准确性有所改善.     

气象因素对对流层改正模型的影响

初步探讨气压P、气温T和水气压e对各对流层模型(Hopfield模型、Saastamoinen模型、EGNOS模型和UNB3模型)结果的影响.研究表明,EGNOS模型和UNB3模型随各气象因素的变化情况基本吻合.随着气压升高,各模型干(总)延迟量逐渐增加,且该变化并非线性,存在微小的波动;随着气温升高,Saastamoinen模型干延迟恒为常数,其他两个模型干延迟则逐渐增加,各模型湿延迟逐渐减小,Hopfield模型所得的总延迟量呈抛物线状(先减小后增加),EGNOS模型和UNB3模型的总延迟量则逐渐增加;随着水气压的升高,各模型湿延迟量逐渐增加,其中Saastamoinen模型、EGNOS模型和UNB3模型的湿延迟量随水气压变化的幅度接近,略小于Hopfield模型的湿延迟量.     

适于嵌入式英语发音评价系统的英美音融合方法

为提高发音质量评价性能,并压缩声学模型规模以适于嵌入式实现,提出一种英音和美音模型的融合方法。该方法基于声学距离和替代概率将声学模型划分为可替代模型、可融合模型和孤立模型。抛弃可替代模型,保留孤立模型,基于模型插值归并可融合模型。引入最小置信度和最大支持数控制参与归并模型的数目。实验结果表明:融合模型与单口音模型相比,说话人级别的相关性提高了14.1%;融合模型与混合模型的性能相近,G auss ian分量数目压缩了10.7%。本方法在保证发音质量评价性能的条件下,明显压缩了模型数量。     

几种散射辐射模型精度的对比

通过对既有散射辐射模型的分析,结合上海地区太阳辐射实测数据,建立了各向异性散射辐射新模型,其后从天气类型、朝向、季节和倾角等方面对新模型及既有模型的精度进行了对比分析.对天气类型的研究表明,阴天或多云天时,Klucher模型、Hay模型及Skartveit和Olseth模型与实测值较为吻合;但晴天时,Perez模型和新各向异性散射辐射(NADR)模型更佳.对朝向的研究表明,对于东向和北向,Perez模型和NADR模型较为准确;而对于南向和西向,Liu和Jordan模型,NADR模型较为准确.对季节的研究表明,夏秋季Perez模型和NADR模型较为准确;秋冬季Liu和Jordan模型,NADR模型较为准确.对于倾角的研究表明,Klucher模型与实测值较为吻合,各类散射辐射模型在计算倾角较小的倾斜面散射辐射精度优于倾角较大的情况.对天气、朝向、季节和倾角等多因素的综合考虑表明,Temps和Coulson模型,Gueymard模型准确性相对较低,而NADR模型的准确性最高.     

空域相关滤波法在突变检测中的应用

为有效检测含噪信号突变点,研究了小波变换的空域相关滤波算法,并应用其分析和处理突变信号.应用Matlab分别对信噪比为15.7133 dB、10.1305 dB、5.7688 dB含噪突变信号进行仿真,结果证明,空域相关滤波算法在不同信噪比下具有良好的适应性.在信噪比为15.7133 dB时,分别运用小波阈值滤波算法和空域相关滤波法对突变信号进行处理,得到平均重构误差分别为1.1636和0.93906。证明了空域相关滤波法在突变点检测中的优越性.     

单边符号空间上的一类变号移位映射

在单边符号空间上构造了一类变号移位映射,证明它与通常的移位映射σ拓扑半共轭,得到这类映射具有连续性和在Li-Yorke意义下的混沌性。     

关于“八七会议”会址的争议

“八七会议”是在极其秘密的情况下召开的。关于“八七”会址,在20世纪50年代曾流传有是在江西九江的说法;周恩来后证实“八七会议”不是在九江开的,而是在武汉开的;陆定一也曾两次赴汉实地寻找,指认开会的地方就是汉口鄱阳街139号2楼;1972年,邓小平曾写材料,回忆说会议是在汉口德租界一个俄国人家里开的;1979年,郑超麟去汉口鄱阳街踏勘“八七”会址,认为“八七”会址是“汉口的鄱阳街123号”。最终被确定的会址是汉口的鄱阳街139号。     

中美几何教学中信息技术的比较

中美两国均十分关注信息技术对数学教学的影响,但在几何教学中又呈现出不同的特征:美国课堂以学生操作为主,我国则以教师演示为主;美国主要用于学生改变图形、提出猜想等探究性活动,我国则主要用于教师画图、呈现问题情境等方面.比较还发现,两国教师在应用信息技术时存在盲目性.要进一步推进几何教学现代化,则迫切需要认清计算机辅助几何教学所具有的优势.以几何画板为例探讨了信息技术的优势:更有效地作图、几何探究和体会证明的必要性;同时也指出了实践中存在的误区:随意呈现几何图形、利用度量功能机械地“发现”几何关系及盲目地进行计算机模拟.     

基于Schnorr数字签名的顺序群签名方案

给出基于Schnorr数字签名体制的顺序群签名方案.描述了这个顺序群签名体制的密钥生成、群签名生成和群签名验证过程,指出它们对群签名的有效性.讨论这个群签名体制的安全性,利用计算复杂度理论证明了它对抗被动攻击和Schnorr数字签名体制是同样安全的.     

似双星树Hn(p,2)由它的Laplacian谱确定

恰有一个顶点度大于2的树称为似星树,定义恰有两个顶点度大于2的树为似双星树.通过分析顶点的度序列,结合其线图的性质,证明似双星树Hn(p,2)由它的Laplacian谱确定.     

位移反分析的人工神经网络方法研究

各种传统位移反分析方法的反分析模型非常复杂,求解亦非常困难．本文应用人工神经网络原理,建立了位移反分析的人工神经网络方法,并应用该方法对所设定的一标准弹塑性问题的力学参数进行了反演,反演结果表明,所建立的位移反分析的人工神经网络方法具有模型简单、求解快捷等优点,且其精度亦能达到工程应用要求,因而可以在工程实际中应用。     

半无限规划的一个ODE型滤子算法

借助于NCP函数和滤子技术,提出了求解一类半无限规划问题的ODE型的滤子算法．该算法在每一步迭代时,仅需求一线性方程组系统．从计算的角度来说,这一技巧一般可减少计算量．在适当的假设条件下,该算法还是整体收敛的．     

科举与社会流动性--看王安石论宋人"自进"

在宋人王安石看来,“自进”是“不得已”士人的合理选择,“自进”有“道”。同时,“自进”人存在身份和资格上的限制。首先,“自进”与庶民无关,平等有限;其次,它要限制“势家官户’’子弟,保护弱势地主子弟。所以,就王安石看来,北宋科举未能激起结构性的社会变动,科举“自进”只是一种必要但有限的士人流动方式。     

Centennial changes of drought/flood spatial pattern in eastern China for the last 2000 years

The statistical characteristics of the bicentennial changes of the drought/flood spatial pattern over the eastern part of China have been analyzed from 101 AD to 1900 AD, and their relationship with the cold/warm climatic variation in the same time span are discussed as well. The main conclusions are as follows. (I) During the period of the 2nd ～ 11th centuries, the spatial pattern of drought/flood in the eastern part of China was characterized by thc east-west differentiation. Namely, it was dry in the west (northwest) while it was wet in the east (southeast). (ii) From the 12th to 15th centuries, the east-west differentiation coexisted with the south-north differentiation, and the former was still the dominant pattern. (iii) However, the dominant spatial pattern changed to the south- north differentiation during the 16th ～ 19th centuries, namely, it was dry in the north and wet in the south. As for the dry-wet demarcation line. It shifted westward in warn times, and once reached Datong-Taiyuan-Xi' an-Hanzhong; whereas in cold times, it retreated southeastward and reached Ji' nan-Heze-Nanyang. Furthermore, the transmeridian (W-E) dry-wet demarcation line was replaced by the meridian (N-S) dry-wet demarcation line during the two coldest periods. Moreover, in cold times, it was dry in northern China, and it was wet in the middle and lower reaches of Changjiang River and regions south of Changjiang River; in warm times, however, it was wet in northern China, and was dry in eastern China, especially in the lower reaches of Changjiang River and regions south of Changjiang River.