一种新型二维小角度测量补偿器的研究

针对国内一维电容水泡补偿器的各种缺陷,提出了光电补偿器的方案,设计了总体构成,分析了测量角度与输出信号的关系.实验表明,补偿器的测量精度达到了设计要求,平均测量精度为1.5″~2″,可满足现场测量需要.     

数学教学中教师提问的作用研究

研究在由学生主动建构的数学教学环境中教师提问的重要作用．教师的提问不仅能引起学生和教师之间的交流，更可以引起学生之间的交流．教师提问给了学生主动建构知识并积极获取知识的机会．     

坚持把发展第一生产力摆在第一重要位置

江总书记在"5·31"重要讲话中指出,"必须把发展作为党执政兴国的第一要务,不断开创现代化建设的新局面."这一重要思想,闪烁着马克思历史唯物主义的光芒,对于我们实践"三个代表",推进实际工作具有很强的现实指导意义."发展"首先是指生产力的发展,把发展作为第一要务,就是要把发展生产力作为第一要务;生产力有多种表现形式,科学技术是第一生产力,必须把发展第一生产力放在第一重要位置.     

树立大科技观念开创新发展局面--关于厦门科技工作的若干思考

江泽民总书记在"七一"讲话中强调科学技术是第一生产力,而且是先进生产力的集中体现和主要标志,号召我们大力推动科技进步和创新,不断地用先进科技改造和提升国民经济,努力实现我国生产力发展的跨越.党和国家还把科技发展放到与改革开放同等重要的地位,作为先进生产力发展的核心和动力.厦门市委第九次党代会又提出了建设科技之城的宏伟目标,科学技术当前在我国、厦门市所受到的重视是空前的.加入WTO后,我国科技事业又迎来了难得的发展机遇.面对新的形势,树立大科技观念,站在全市科技事业整体发展的高度构建科技工作新的发展格局,并以此为基础部署和抓好各项具体的工作,已成为最重要和急迫的任务.     

软件安全分析的有穷自动机模型

目的 为在软件设计与开发早期阶段对软件安全模型进行有效分析和验证.方法 软件安全分析验证法与形式化建模方法.结果 提出了一种安全扩展确定有限自动机(safety extended deterministic finite automata,SEDFA).在使用UMLsec建立软件安全相关的非形式化模型基础上,通过SEDFA准确的描述能够表达安全交互的序列图.首先创建序列图中单个对象的自动机,其次构造对象积自动机,从而得到表示系统整体交互的SEDFA.结论 为系统安全属性的验证提供了基础,可作为下一步生成软件安全测试用例.     

采用模型检测器的软件安全模型验证方法

针对软件开发过程中安全性分析与设计不足的问题,在研究现有软件安全性建模及形式化验证技术的基础上,提出了一种适用于面向对象的软件安全性建模与验证方法.建立软件安全属性的非形式化UML模型,采用安全扩展有限自动机创建其形式化模型,并使用线性时序逻辑描述安全属性,将形式化模型与安全属性共同作为模型检测器的输入,得到模型是否满足性质的验证结果,从而实现了软件安全设计与验证技术的有机结合.实验结果表明,该方法能够在软件设计初期对所涉及的安全性进行有效分析与验证.     

一种基于本体的支持QoS的Web服务组合方法

引入本体ontology来描述web服务,对语言网格中的语言服务进行形式化描述,形成一个规范与标准,并重点结合服务质量指标QoS进行服务组合,以提高语言网格中组合服务的质量.实验结果表明,该方法能更好满足用户的需求.     

黄陵地区延长组长6段深水砂岩储层特征分析

以鄂尔多斯盆地黄陵地区延长组长₆段为研究对象,基于区内丰富的钻井取芯、测录井及分析化验资料,对长₆段深水砂岩特征及不同砂体类型储层之间的差异性进行了分析。结果表明,根据砂体形成机制及其构造特征的不同,研究区砂体类型可划分为砂质碎屑流砂体、砂质滑塌砂体及浊流砂体3大类。其中,砂质碎屑流砂体的石英、长石含量及结构成熟度相对较高,储集空间以长石溶孔和残余粒间孔为主,储层物性也明显优于其他两类砂体。进一步分析发现,由于结构成熟度和矿物含量的差异,砂质碎屑流砂体成岩早期抗压实压溶作用更强,中晚期易溶矿物溶蚀增孔、构造破裂增缝等建设性成岩作用也较为强烈,从而决定了砂质碎屑流砂体是研究区最有利的储集岩体。     

数值积分函数对超声波流量计精度的影响

针对数值积分函数在超声波流量计计量过程中会引入固有误差的问题,对常用的4种积分函数在Re为1.0×103～1.0×107区间的固有误差进行了比较.通过建立超声波流量计数学模型,结合发展管内流速的分布规律,计算各积分函数的2～5个声路的误差,得到了误差分布曲线.研究结果表明:各积分函数的声路数越多,引入的固有误差越小,当Re大于等于1.0×105时,各积分函数的引入误差随着Re的增大逐渐趋于稳定.在声路数不受限制且管路流量检测范围内会出现最大引入误差时,Gauss-Legender积分具有明显优势.当Re大于等于8.0×103、小于等于4.0×105时,Tailored积分具有较小误差,而Owics积分更适用于声路数受限制和Re大于4.0×105的管路流量检测.     

面向对象的DSS模型库管理系统设计

通过分析DSS模型库的特点，介绍了一种基于面向对象数据库的DSS模型库管理系统的设计，讨论了模型表示，模型库的结构、模型库的维护等技术。