n值Lukasiewicz命题逻辑系统中公式的绝对真度理论

在n值Lukasiewicz命题逻辑系统中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离空间中是连续的.     

基于节能服务的嵌入式低碳服务机制研究

碳排放依赖型企业在引入嵌入式低碳服务(embedded low-carbonservice)时往往面临着低碳节能水平信息不对称带来的项目风险.鉴于此,在低碳经济背景下,本文考虑了低碳服务商(lowcarbon service provider)的投资水平和低碳节能能力不可观测情形嵌入式低碳服参与主体间最优激励契约的设计问题.同时对该情形下的最优激励契约进行了分析.应用嵌入度刻画嵌入式低碳服务参与主体间的价值共同度,分析了嵌入度对最优激励契约的影响.研究表明,低水平的嵌入度将使得低碳服务商承担更大的项目风险,同时形成需要低碳服务商每期预付节能保证金的合同模式.高水平的嵌入度能促进嵌入式低碳服务的低碳减排效率.     

脑脊液置换抢救蛛网膜下腔出血16例分析

16例蛛网膜下腔出血,临床上行脑脊液置换,减少血液对脑膜的刺激,使头痛减轻,并能清除血管活性物质,减轻脑血管痉挛迟发反应,因此减少并发症。     

变频空调器除湿运行模式下风机风量的优化实验研究

建立了变频空调器变风量性能测试实验台,标定了风机风量与风机供电电压之间的关系,研究了变频空调器在除湿运行模式下风机风量对除湿效果的影响规律,实验结果表明：变频空调器在除湿运行过程中存在着最佳除湿风量,最佳除湿风量随压缩机频率的增加而增加。     

线路勘测设计中的三维可视化协同环境

设计一个线路勘测设计的三维可视化协同环境，应用主席一委员模式的会议系统结构，以协同可视化设计层和协同管理层为核心的系统框架以及分布式加锁策略等实现多用户间的协同管理。同时，在三维可视化环境中，将每个线路模型的空间对象表示为Agent模型，它由具备推理能力的行为和描述对象空间特征的几何模型组成，以此实现多用户环境下线路的三维可视化协同设计与评价。     

LINUX的系统调用与函数调用

介绍了LINUX系统调用和函数调用的区别及联系，一般地系统调用与函数调用在形式上并没有什么区别，但是系统调用与函数在执行效率、所 完成的功能和可移植性方面却有很大的区别，函数库中的函数尤其是与输入输出有关的函数，大多数必须通过LINUX的系统调用来完成。     

有关中国企业跨国经营的若干思考

随着世界经济一体化的发展,企业经营国际化,资本市场全球化,国际贸易自由化以及世界经济区域集团化将构成世界经济发展的重要特征。各国经济不仅在商品市场上的对外依赖性增强,而且在资金、技术、劳务等方面的联系更加紧密,参与国际分工成为各国经济迅速发展的重要因素。十多年来的改革开放政策为中国经济的发展注入了活力,综合国力得到增强,但面对激烈竞争的国际市场,中国的企业,特别是大型企业和企业集团能否参与国际化生产和经营体     

微生物灭钉螺研究现状

介绍有关微生物灭钉螺方法和途径的研究现状，分别叙述了一般微生物灭螺试验及效果，并简要说明了灭螺微生物的初筛和两种微生物杀螺常用的实验方法，初步探讨了灭螺机理及对今后工作的意见。     

水机调速器模型的仿真问题分析及改进

水电仿真中关键的模型是水机调速器模型,针对水电仿真系统中的调速器非线性数学模型问题进行分析.在建模过程中采用分段解析、拟和的方法,推导出了水电仿真中水机调速器开机和甩负荷过程数学模型,解决水机调速器中开机过速和甩负荷过程中振荡不收敛问题.水电仿真2.0和3.0版本性能评价表明,该模型在性能上优于传统的调速器仿真模型,在丰满水电仿真系统中运行良好.     

刍议信用证的利弊

信用证被誉为国际贸易的生命线,它的重要性不言而喻;了解它的利弊对于国际贸易的发展有非常重要的重要,扬长避短,为了国际贸易更大空间的发展,是本文最大的目的。