蕴涵式命题真值规定的现实意义

本文通过对蕴涵式命题真值规定的解读，建立了真值的大小变化与具体事件往好或往坏变化的联系，论述了蕴涵式命题定义中的真值规定完全适用于现实生活中对自然语言命题的真假判断，从发展的角度举例论述了蕴涵式真值规定的合理性和有效性，这对人们如何更好地用命题逻辑的方法判断自然语言命题是否合乎逻辑意义重大。     

10kV柱上断路器远程监控系统设计

介绍了10kV往上断路器远程监控系统的总体结构设计，其中包括终端的软硬件设计，通信系统，上位机系统的软硬件结构设计。     

《尚书》饮食文化研究

《尚书》是我国最早的政事史料汇编，内容纷杂，其中部分史料反映了许多有价值的古代社会的饮食文化：丰富繁多的饮食物，新颖精致的酒器物和鉴往开来的饮食观。它是研究我国古代社会和传统文化不可或缺的重要组成部分。     

包装设计的时代坐标

历史的车轮总是不停歇地飞转，不知不觉地我们已经站在了世纪之交的十字路口，人们的脑海中仿佛又出现了高更的话语：“我们从哪里来，我们往哪里去”。种种的选择摆在了人们面前。在这种情况下，对于现代包装设计的发展来说，也是一个重要时刻。     

试论商品住宅的需求特性

简单论述了商品房的二重属性，并从影响城镇住房有效需求的因素分析中考察了城镇往房的需求特性。     

世界管理经典知识文摘

上古时代，黄帝带领了六位随从到贝茨山见大傀，在半途上迷路了。他们巧遇一位放牛的牧童。黄帝上前问道：“小孩，贝茨山要往哪个方向走，你知道吗？”     

瓦斯爆炸过程中爆炸波的结构变化规律

在实验的基础上，研究了管内瓦斯爆炸过程中爆炸波结构变化规律。研究结果表明，管内瓦斯爆炸过程中所产生的爆炸波有两个峰值，第一峰值为爆炸波压力，第二峰值压力为火焰到达后加热气体升压所致。形成激波后，爆炸波两峰值往下游传播越来越靠近，测试结果与爆炸传播理论是相互验证的。     

直流电机正反转无级调速电路

通常直流电机的正反转调速是通过继电器的转换或用两套控制线路来实现的。这种转换使得电机方向的改变不连续，特别是对往运行系统很不实用，本文介绍一种新的控制电路，能很好地实现这个功能。     

电厂废水处理工程数学建模及计算机控制

对生产过程用机理方法推导数学模型生往很困难但却十分有效。基于一个成功的实例，本对电厂废水处理工程的数学模型的推导，控制方案的选择，计算机系统的实现作了详细的论述。     

工程可行性论证结论模式的探讨

目前人防工程可行性论证部分往 只以定性分析为主，本文提出了采用多目标合意度决策法，定量地对工程可行性论证中提出的不同设计方案进行方案评优分析，这样可使可行性论证的结论部分更加科学。     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

单面约束系统的微分变分原理与运动方程

研究单面约束力学系统的微分变分原理和运动方程。方法利用Ｄ＇Ａｌｅｍｂｅｒｔ原理建立Ｄ＇Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理．Ｊｏｕｒｄａｉｎ原理和Ｇａｕｓｓ原理,结果与结论得到系统的微分变分原理和带乘子的Ｅｕｌｅｒ－Ｌａｇｒａｎｇｅ形式,Ｎｉｅｌｓｅｎ形式和Ａｐｐｅｌｌ形式的运动方程。     

q-树的重构性

q 是一个正整数,所谓 q-树的图是递归定义的:最小的 q-树是完全图 K_q,一个 n+1阶的 q-树是通过在 n 阶 q-树上加上一个新点并连接这点与 n 阶 q-树中任意 q 个互相邻接的点而获得,其中 n≥q.1-树我们通常称为树.在本文中,证明了对任意正整数 q,q-树是可重构的.     

β-环糊精-毛细管区带电泳分离扑尔敏对映体

采用毛细管区带电泳模式,以β-环糊精为手性选择剂分离了药物扑尔敏的光学对映体.考察了在不同背景电解质 pH 值尤其是较低 pH 值下环糊精浓度对对映体表观淌度差的影响,并研究了有机改性剂尿素在分离中的作用.     

层状球形夹杂复合材料的弹性模量

利用层状球形夹杂在无限大基体中的局部化关系及平均应力场理论,给出了一种方法来分析含 n 种层状球形夹杂所构成复合材料的弹性模量.对于文献给出的空心玻璃球和高分子基构成的复合材料,该理论的预测与实验吻合很好.当表层稍失时,该理论退化为传统的 Mori-Tanaka平均应力场理论.     

CVD涂层硬质合金刀具的失效机理

通过系统的实验研究和理论分析,揭示了 CVD(化学气相沉积)涂层硬质合金刀具在磨损和破损状态下的不同的失效机理,并在机理分析的基础上,阐明了涂层硬质合金刀具对于切削条件的特殊适应性.     

特征关系与工艺决策

从并行工程的原理出发,提出了一个基于特征的并行 CAPP 系统.在特征建模的基础上,系统能够推理特征之间的关系,产生零件的特征向量图;利用加工知识库,通过动态规则匹配,系统可以确定特征的加工方法、加工参数及其加工顺序;通过优化确定最佳的工艺计划.