基于上下文敏感分析的数据竞争检测方法

为了提高数据竞争检测过程的准确性,提出了一种基于上下文敏感分析的数据竞争检测方法。使用控制流分析构建上下文敏感的调用图,采用逃逸分析查找出可能发生数据竞争的线程逃逸对象,进行上下文敏感的别名分析以减少误报和漏报,通过发生序关系判断消除由于忽略线程交互而导致的误报。依据该方法,在WALA软件分析框架实现了一个数据竞争检测工具ConRacer,并将该工具与现有的检测工具SRD和RVPredict进行了比较。结果表明,与SRD和RVPredict相比,ConRacer的检测准确度最高,不仅可以有效地检测数据竞争,而且可以降低检测过程中的误报和漏报。通过结合上下文敏感分析技术与传统的静态检测技术,ConRacer提高了检测过程的准确性,对发现并发错误和优化软件性能有一定的参考价值。     

MPEC问题的带任意初值的一类算法

研究了求解带线性互补约束优化问题的一种新算法,其中新算法w ∧o可任意选取,算例表明,此算法是有效的。     

关于扩充的逻辑程序

在这篇文章中,我们从理论和实际计算的观点两方面研究了扩充逻辑程序中的经典否定和约束.我们发现,在保持原有程序回答集语义的前提下,经典否定和约束都可以通过引入新的原子来消除.我们的实验结果表明,一般情况下,引入新的原子会增加计算开销,但是这里有一个关于16-皇后问题的例外.     

LRE试验台加注系统故障建模与仿真分析

在对液体火箭发动机试验台推进剂加注系统进行结构分析的基础上,对加注系统进行模块化分解,建立其工作过程模型,分析了动态系统中故障注入的方式,对加注系统的两种典型故障进行了故障建模与仿真分析,仿真结果很好地描述了故障状态下加注系统的工作性能,通过分析仿真结果能进一步丰富和完善试验台故障知识库。

Abstract：

Based on the structural analysis for LRE test-bed propellant filling system. The filling system was modularized and its working model was built. The method of injecting fault was analyzed. Two typical fault modes were injected into model and the simulation results were analyzed. The results described preferably filling system＇s working capability in fault condition. The simulation results and analysis can also be used to enrich and perfect the fault knowledge base of test-bed.     

关于整数线性规划代理对偶间隙的注记

将有效不等式的概念应用于整数线性规划的代理对偶问题 ,给出弥合整数线性规划的代理对偶间隙的方法 .数值例子表明所给出的方法在改进定界结果方面是有效的 .     

具有中国特色的企业员工帮助计划（EAP）本土化模式研究进展

员工帮助计划（Employee Assistance Program,简称EAP）是组织提供的,旨在帮助员工解决可能影响其工作表现和职业心理健康的多种策略的整合.本文在文献研究的基础上,主要从员工帮助计划的概念、国内外的发展等方面归纳了当前研究的进展,结合中国特色与现状,初步构建了具有中国特色的企业员工帮助计划模式.     

聚集策略下的模件化建筑设计方法及应用——以中国科学院大学科教园区为例

 大学的功能逐渐从“基础教育”转变为“研究型培养”，中国科学院大学大力倡导“产-学-研”与“科教融合”的发展思路。从自然界“聚集”现象出发，通过分析“聚集”的目标，以中国科学院大学在3个城市中的科教园区为例，提出了以师法自然和中国传统工艺生产的“模件化”为“聚集”策略下的建筑设计方法；该方法强调规划与设计中结构秩序的重要性，以典型模件单元的建构作为设计组织的起点，将模件单元在结构秩序基础上形成同构异型的多样化组合方式，最终形成不同的尺度层级；展示了“模件化聚集”方法在创造“科学共同体”上的优势，3个案例也呈现出该设计方法历时性的传承、延续和演变。     

曙光油田杜家台油层开发方案设计

曙光油田具有良好的油气潜力。对其主要油层杜家台油层开发层系进行划分与组合,在对开发方法进行对比的基础上,创新地采用了火烧方式,以井距为100 m、反九点井网开采形式,最终在较短时间内,采收率达到35.2%,取得了良好的经济效益,该设计方案可为曙光油田其它油层的开发开采提供借鉴。     

远程实验系统设计与实现

针对很多学校基础电子电路实验室资源不足,提出了一种基于互联网络的远程试验系统解决方案。从而更有效合理地利用现有资源,达到资源共享的目的。由于这个系统是一个庞大的综合项目,仅对某些服务器端试验箱的硬件设计和单片机软件实现作一个介绍和说明。     

TD57的词法新算法及其应用

针对TD57版本3(TAP3)基于ASN．1的二进制数据结构,定义的电讯业务中漫游数据文件交换的格式标准,不能直接被编码和解码程序使用。通过分析TD57的词法关键字及其关系,给出了将TD57转换为编码和解码程序使用的向导数据结构算法,通过电讯业务实践验证新算法使编码和解码程序与标准TD57互相独立：基于此开发了TAP3的编码和解码程序,由于编码和解码程序直接以此结构为向导,它更易于应用和维护。