《原则与参数》评介

《原则与参数》一书是由Ohio州立大学语言学院教授Culicover所著的教学用书。该书于1997年由牛津大学出版社正式出版发行。该书介绍的“原则参数”理论由以下几个子理论组成：题元理论、X阶标理论、格理论、约束理论、管辖理论、控制理论、界限理论。全书共分为十章,前两章介绍一些生成语法的基本概念和术语．后8章分别介绍各个子系统。该书是对句法理论的一个最基础的介绍,是理解当前句法革新的理论基础。     

一些随机序之间相互关系的研究

主要对2个随机变量X和Y在常用随机序下的情况进行了研究,验证了在一定的条件下,普通随机序可推出失效率序、反失效率序、平均剩余寿命序,以及增凸序可推出平均剩余寿命序,是对随机序之间相互关系的推广及完善.     

基于描述逻辑的能力需求模型验证方法

针对C⁴ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWL DL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。     

基于混杂系统的温室天窗温度系统建模

温室天窗温度系统可以看作是一个混杂动态系统,由于天窗的动作与控制对象温度之间的关系可以通过温度状态的值和操作约束来确定。在建立温室温度系统机理模型的基础上,将对于温度控制的操作约束和温室天窗开关动作等以命题逻辑表述,并将这些命题逻辑转化为混合整数线性不等式,然后引入辅助变量,将辅助变量和不等式约束统一到温度系统的离散状态空间模型中,构成了温室天窗温度的混杂逻辑动态模型。仿真试验表明,所建立的温度混合逻辑动态模型能较好模拟和控制室内温度。     

证伪主义的再度审视——兼谈证伪与证实之逻辑路径

证伪主义自产生之日起,就在科学、哲学乃至社会各界广受关注并被一再引用.重新审视其产生实质、演变过程、内在逻辑机理并予以科学评价,是我们正确对待理论,正确运用理论的前提和保障.     

Genetic-fuzzy HEV control strategy based on driving cycle recognition

A genetic-fuzzy HEV control strategy based on driving cycle recognition (DCR) was built. Six driving cycles were selected to represent different traffic conditions e.g. freeway, urban, suburb. A neural algorithm was used for traffic condition recognition based on ten parameters of each driving cycle. The DCR was utilized for optimization of the HEV control parameters using a genetic-fuzzy approach. A fuzzy logic controller (FLC) was designed to be intelligent to manage the engine to work in the vicinity of its optimal condition. The fuzzy membership function parameters were optimized using the genetic algorithm (GA) for each driving cycle. The result is that the DCR_fuzzy controller can reduce the fuel consumption by 1.9%, higher than only CYC_HWFET optimized fuzzy (0.2%) or CYC_WVUSUB optimized fuzzy (0.7%). The DCR_fuzzy method can get the better result than only optimizing one cycle on the complex real traffic conditions.     

论逻辑的自然与自然的逻辑

"能高度逻辑地思维"是智慧与非智慧的唯一区别与分水岭,而人类能逻辑地思维是长期进化自然形成的。人类一旦学会逻辑地思维,其认知的获取与传承也根据逻辑而进行,人类认知的逻辑传承就成为自然而必然。由此,不仅存在人类认识自然的相同逻辑范式,而且一切自然皆逻辑,自然是逻辑的标准。     

功能性食品配料β-葡聚糖的制备研究及产业化

21世纪以来,在普通食品中添加安全、营养和特定功能配料的功能性食品,成为近年世界食品工业新的增长点。功能性食品配料也因此成为国内外争相研究、开发的热点,β-葡聚糖就是国内外争相研发的功能性食品配料之一。     

一种简便的μ子寿命测量实验设计

设计和研制了一种简便的宇宙线μ子寿命测量的实验装置.该装置采用大面积闪烁体探测器,利用可编程逻辑阵列(field program mable gatearray,FPGA),并通过电子学脉冲计数法,实现对宇宙线μ子的衰变寿命测量.测量结果与文献中给出μ子寿命精确值比较,误差小于3.5%.该实验原理及测量方法简单,测量条件要求不高,可用于大学物理实验教学.相关实验方法也可应用到其他一些粒子寿命及时间测量的实验中.     

一类带不连续约束优化问题的研究及应用

带不连续约束的非线性优化问题在描述许多工程、经济管理问题时有着广泛的应用,而对这类问题的求解比较复杂.针对约束含跳跃间断点的优化问题进行研究,首先通过连续延拓来构造连续函数,然后通过引入逻辑变量,建立了此类问题的混合整数优化模型.作为模型的应用,给出了一个计算实例.