C-OWL2∶OWL2在云模型上的扩展

为了表示现实生活中广泛存在的模糊性和随机性不确定知识,引入云模型对OWL2语法进行了不确定扩展,提出不确定本体语言C-OWL2.这种方法不改变OWL2的现有结构,用OWL2的注释属性annotation进行语法扩展,并给出了相应概念、角色等的C-OWL2语法,最后举例说明其具体使用方法.研究结果表明,该方法将OWL2本体分为精确部分和不确定部分,并且当不考虑不确定部分时,不影响精确部分知识的表示和推理;该方法是对模糊描述逻辑功能的扩展,解决了OWL2语言只能处理精确本体的问题.      

带弹性支撑杆轴向振动问题的精确有限元解

研究了带弹性支撑杆轴向振动问题的精确有限元求解方法.基于齐次控制微分方程的通解构造了新的单元形函数,建立了精确的动力分析有限单元,提出了利用有限元方法精确地确定振动频率和振型的迭代算法.最后通过数值算例,验证了该有限元方法的有效性.     

一种确定三维锥束CT精确重建域的方法

三维锥束CT精确重建是近几年图像重建领域的研究热点,完全条件、源点轨迹和重建方法是精确重建的主要研究内容。在已知源点轨迹形状和尺寸的情况下,确定物体精确重建的区域,是一个在实际应用中需要解决的重要问题。基于3D Radon变换的性质和三维锥束CT精确图像重建的一般公式,提出了一种在锥束源点轨迹给出之后确定物体精确重建域(ERR)的方法——“Radon壳图解法”。该方法使原有分析复杂轨迹ERR的工作大大简化,且更加直观、有效,使精确重建方法向实际应用又前进了一步。     

归结原理在不精确推理中的应用

归结原理是定理机器证明中的一种基本技术.在知识工程的研究中,需要处理不确定和不精确的知识,本文讨论了采用可能性理论表示不确定命题和谓词的方法,以及如何应用归结原理来进行不精确的推理.     

剪应力作用下断续节理岩体的强度特性

利用裂纹孤立原理结合裂纹线场理论,研究剪应力作用下断续多节理线尖端的精确弹性区应力场和脆断区应力场,将精确弹性区应力场和脆断区应力场匹配,确定了脆断区长度和荷载之间的关系,继而从理论上确定了断续任意多节理岩体的强度．该方法可以解决任意多节理岩体的强度特性问题,而且得到的是精确的理论解．     

偏微分方程解的一种新求法

求非线性偏微分方程的精确解是非常重要的.为了获得它的精确解研究人员做了大量的工作.本文获得了Burgers方程和Boussinesq方程组的全新的精确解.具体的方法如下:首先对方程进行行波变换得到新方程,之后给定它的拟解,将拟解代入新方程,而得到一个方程组,借助计算机代数系统Mathematica解此方程组,以确定拟解,即为全新的精确解.这种方法求得Burgers方程和Boussinesq方程组的精确解,包含了某些文献的结果,也修正了某些文献的结论.这种方法可以求一系列的偏微分方程的精确解.     

基于单变量系统时域指标的LQSF加权矩阵Q的确定方法(Ⅱ)

本文提出了一种新的基于单变量系统时域指标的LQSF加权矩阵Q的确定方法,这种方法的特点是,能在同时满足系统指标和二次型性能指标的情况下,比较精确地确定加权矩阵Q。     

利用计算机软件确定电位滴定法中的滴定终点

采用Origin，Statistica，MS Excel等软件处理电位滴定法中的滴定数据，与传统的终点确定方法进行比较，提出较为精确的滴定终点确定方法。     

爆炸产物JCZ状态方程的单组分当量值的确定方法

本文提出了一种确定Jacob?—Cowperthwaite—Zwisler状态方程单组分当量分子阱深?和σ的改进方法。此法用调整爆炸产物比热比的方法代替降低化学能方法,从而使确定单组分当量值的方法得到了显著改进。奥克托金炸药爆炸产物的单组分当量值已被精确地求得,并与TIGER编码的结果取得一致。这种单组分当量JCZ方程首先被用于燃烧转爆轰模型研究。它对奥克托金炸药的C—J特性给出了足够精确的预测。     

分析转移矩阵方法确定多层平板光波导TM模的色散方程

分析转移矩阵方法(ATMM)能精确地确定平板光波导的模式特性。本文利用ATMM，导出了非对称多层平板光波导和对称多层平板光波导的TM模的精确色散方程。     

基于XML的ASP.NET的开发与应用

简要介绍了XML语言的基本概念和主要优点及ASP.NET平台.在此基础上重点介绍了XML的用途、文件结构,以及基于ASP.NET的开发模式.详细介绍了采用ASP.NET中的类来转换、显示XML文档和利用ADO.NET对关系数据库中数据和XML数据相互转换,从而提高应用程序的效率和应用范围.最后总结了XML在企业系统改造应用中的优势,并展望了XML应用于Web的发展前景.     

96例肝硬化并食管胃底静脉曲张分析

目的了解肝硬化患者食管胃底静脉曲张程度与门、脾静脉内径的关系和出血情况。方法分析96例失代偿期肝硬化患者的临床资料,包括胃镜检查所见食管胃底静脉曲张程度,腹部B超所测门静脉内径、脾静脉内径。比较出血组与非出血组门静脉主干、脾静脉内径及其与食管静脉、胃底静脉曲张程度的相关性。结果肝硬化出血组门静脉主干和脾静脉内径均比非出血组增宽（P〈0.01）。食管静脉曲张严重程度与门静脉主干内径正相关（rs=0.332,P=0.001）,胃底静脉曲张严重程度与门静脉主干内径正相关,但无统计学意义（rs=0.184,P=0.073）。食管静脉曲张严重程度与脾静脉内径正相关（rs=0.281,P=0.006）,胃底静脉曲张严重程度也与脾静脉内径正相关（rs=0.330,P=0.001）。结论通过腹部B超测量门静脉、脾静脉增宽程度可判断门脉高压和食管/胃底静脉曲张程度,并预测食管/胃底静脉曲张破裂出血的风险。     

新疆城市生态系统的发展与水资源

文章介绍了新疆温带干旱、半干旱气侯的特征。作者根据地貌的形态结构将新疆的绿洲划分为四种类型相应的形成四种类型的城市生态系统。阐述了新疆城镇的特点。干旱、半干旱地区的城镇发展的主导因子是水资源,水质是建立城镇的基础,水量是城市发展的依据。该地区水循环决定着建城后气候因子的动态变化、绿色覆盖率、城镇农业经济。最后作者提出几项合理管水用水的对策,并提出以古城的消失为戒,应用生态学原理规划与设计生态城市。     

基于电阻抗成像的土壤测控系统

土壤水分盐分是植物生长和评估环境的重要指标,为了解决传统检测方法不能反映土壤水分盐分的空间分布、破坏土壤结构等弊端,本课题提出了基于电阻抗成像(EIT)的土壤电阻抗成像(SEIT)系统,文中主要工作是SEIT系统的仿真研究及其测控系统。首先通过建立数学物理模型,设置边界条件,进行SEIT正问题和逆问题的仿真分析。然后通过对测控系统功能分析,提出了整体框架,并选择合适的芯片完成硬件的设计,并提出了控制程序的流程。最后将硬件电路和控制程序相结合进行调试,验证了SEIT测控系统的硬件电路设计的正确性和控制程序的合理性。     

山区河谷-水系演化及环境效应研究——以金沙江为例

随着河流地貌学研究的深入,河谷-水系演化及环境效应成为了国內外重要研究领域。首先对河谷-水系演化及环境效应研究的国内外进展进行回顾与前瞻。金沙江可谓是山区河谷-水系演化的典型代表,以金沙江河谷-水系演化及环境效应研究为例,认为:河谷-水系变迁及环境效应实质上是区域性陆地地表环境演变的过程,也是深切河谷区中最基本最重要的演变形式,是中外地学研究急需解决的重要科学问题;立足于基于区域自然地理背景的河流地貌学研究,以河流地貌学为主进行自然和人文的多学科理论与方法的拓展性研究,系统全面地从地质历史和发生学角度分析研究山区河谷-水系及环境效应得到机理性和科学性的认识;将构造与构造运动、气候变化、层状地貌、河谷沉积等综合系统研究,将长时间尺度河谷-水系演化与现代地理过程、格局、特征、效应相结合,既揭示山区河谷-水系发育史,又构建现代河谷地域系统高梯度效应框架体系,突显流域系统演化和系统论的理论与应用,可促进河流地貌学的进一步创新,以及大江流域水系与河谷地貌的应用研究。     

环颈雉食管和气管的血液供应研究

用血管铸型法和大体解剖学方法对 5只环颈雉的食管和气管的血供进行了解剖学观察 ,结果表明 :分布于食管的动脉有颈总动脉食管支、食管升动脉、颈升皮动脉食管支和食管降动脉 .分布于嗉囊的动脉有嗉囊左、右前动脉和嗉囊左、右后动脉 .分布于气管的动脉有自颈总动脉分出的气管支、气管升动脉和气管降动脉 .分布于肺外支气管的动脉有由颈总动脉发出的支气管支 .回流食管和气管颈段前部的静脉汇入下颌静脉 ;回流食管和气管颈段中后部血液的静脉汇入食管气管静脉干 ;回流食管胸段前部和气管胸段大部血液的静脉汇入食管气管静脉干 ;食管胸段中后部和气管胸段后部以及支气管血液的静脉直接汇入颈静脉根部 .嗉囊左后静脉汇入食管气管静脉干 ,嗉囊左、右前静脉和右后静脉直接注入左颈静脉     

科技工作者心理健康需求与服务现状

 为了解中国科技工作者的心理健康状况、需求以及相关服务工作的现状，中国科学院心理健康重点实验室分别在2009、2014和2017年进行了3次调查。研究结果表明：近1/5的科技工作者存在一定程度的抑郁表现，11.2%在一年内产生过自杀意念，48.1%具有不同程度的焦虑问题。总体上，男性的平均抑郁水平高于女性，中青年科技工作者的焦虑程度更高；科技工作者存在心理健康服务需求，特别集中在调节情绪、人际交往、教育孩子、职业指导、婚姻家庭、心理疾病的治疗与预防等方面；科技工作者对心理健康服务存在顾虑和观念上的误区，主动求助的阻力较大。与此同时，针对科技工作者的心理健康服务资源仍十分有限，大约67.2%的科技工作者感到无法便利地获得心理咨询服务。由此可知，目前中国心理健康服务体系不系统、不完善，无法满足广大科技工作者的相关需要，建议有针对性的开展和加强科技工作者的心理健康服务建设，注重心理健康知识的宣传和普及。     

免疫计算的测不准有限计算模型

以人工免疫系统为研究对象,采用可信计算和系统论的方法,构建了免疫计算的测不准有限计算模型,将该模型划分为三层,即固有免疫计算层、适应免疫计算层和并行/分布计算层.这种免疫计算方法在数据库查询的基础上匹配了已知异体的特征,识别了已知异体的类型.此外,该方法在抗体规则匹配的基础上学习了未知异体,记忆了新异体的特征,在数据库中添加了新异体的特征.该模型通过毁灭器消除了异体,抑制了异体的复制和扩散,控制了免疫计算的毁灭机制的双刃性,监控了免疫计算的负载平衡,维护了系统的鲁棒性和安全性,克服了免疫学理论的不完备性的影响.实验结果表明,这种免疫计算机制检测了病毒和故障等异体,识别出该异体是"爱虫"病毒及其感染的文件,并消除了异体,抑制了异体的复制和扩散,确保了系统的安全性和鲁棒性.     

哈密坳陷四道沟油气藏特征及成藏分析

四道沟低产油气藏是目前在哈密坳陷内钻探众多构造圈闭后所发现的唯一油气藏。通过对油藏构造、储层特征和油气成藏分析表明 ,四道沟构造存在二期油气运移与聚集 ,第一期形成类似哈 2井三叠系和侏罗系砂岩储层中的沥青 ,它来自三堡凹陷源岩生成的油气 ;第二期为四道沟构造上哈 2、哈 3井储层近源捕获的油气。三堡凹陷源岩在中侏罗统西山窑组沉积以后曾有较大规模的油气生成与运移 ,油气运移路线主要是向东或东北方向。储层物性差、裂缝不发育 ,早期油藏被破坏 ,后期油气源供给不足是四道沟构造上哈 2、哈 3井油气低产的主要原因。该地区下一步油气勘探应围绕三堡生油凹陷 ,以寻找未遭破坏的早期油气藏为勘探方向 ,以三叠系与侏罗系不整合附近的构造圈闭、地层圈闭、岩性圈闭和三叠纪古构造圈闭及裂缝发育带为主要勘探目标     

层序格架内成岩特征差异及其成因机制

综合利用各项资料,结合孔隙演化定量研究方法,对层序格架内成岩特征差异及成因机制进行研究。结果表明:层序格架内成岩特征差异包括层序界面和层序单元两个方面;层序界面对胶结作用和溶蚀作用控制较强,界面附近胶结物含量一般更高,部分层序界面附近溶蚀强度更大;层序单元方面,受层序演化控制,不同单元沉积环境、沉积物特征不同,经历相同的成岩过程后,其压实、胶结、溶蚀作用强度不同;对于压实作用,早期海侵前滨砂岩和早期高位过渡带砂岩强度较高,而晚期海侵临滨砂岩程度较弱;对于胶结作用,早期高位过渡带砂岩、早期海侵前滨砂岩、晚期海侵临滨砂岩胶结强度依次减弱;对于溶蚀作用,早期海侵前滨砂岩、晚期海侵临滨砂岩、早期高位过渡带砂岩强度依次增强。