基于PAT树的程序静态分析方法

软件测试是软件工程的重要组成部分，程序静态分析技术是软件测试中静态测试的基础，该技术通过对程序源代码进行分析以发现其中的错误．文章提出了一种程序静态分析方法，建立了一个树形结构的模型PAT（Program Analysis Tree）形式化描述了Java程序，准确地描述了Java程序的逻辑结构．最后给出了一个基于此模型的程序分析方法．     

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．     

基于Web交互式的DS-CAI可视化算法实现

该文是对DS-CAI（数据结构CAI）程序的具体实现．首先介绍程序可视化原理并回顾了程序相关的数据结构知识——BF匹配算法，接着对算法程序可视化进行详细描述，最后采用基于Web的JavaApplet技术实现了可视化算法演示程序．     

一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．     

对称群标准正交不可约表示矩阵计算新方法的程序化

进一步完善了对称群的标准正交不可约表示矩阵计算新方法，实现了该方法的程序化．该程序可以移植到有关的多电子理论方法计算程序，也可以作为独立的程序用于计算表示矩阵．此外，列出一些简单表示的内禀矩阵．     

过程提取用于改善程序模型检测的可伸缩性

针对目前基于谓词抽象的程序模型检测工具很难处理大规模软件的现状，提出用过程提取技术对待检的源代码进行预处理，以改善程序模型检测的可伸缩性．首先，将程序中一个选定的语句集合提取出来并包装成一个独立的过程，然后在原程序的相应位置用一个过程调用替代，进而将大型程序分解成语义一致的小型过程的集合．由于模型检测算法中的过程总结边可单独计算，所以过程提取使整个程序的模型检测任务模块化，当程序对某过程进行多次调用时，利用总结边可以避免对过程体内状态空间的重复搜索，从而降低了模型检测算法在空间：和时间上的开销．理论分析和实验表明，所提技术能有效缩短大型程序的模型检测时间，并在程序的转换中不会改变原程序语义，满足了程序模型检测的安全性要求．     

水面舰艇轴系强度计算程序

轴系强度计算在舰艇轴系设计中起着重要作用，根据HJB60-91标准，采用VC 语言开发了轴系强度计算程序．介绍了计算程序的原理、使用方法和特点．通过验证，表明该程序计算结果精确，可用于舰艇轴系强度计算。     

FoxBASE通用查询程序设计

介绍了一种ＦｏｘＢＡＳＥ中数据库的通用查询程序．利用该程序，可以实现数据库的任意条件查询、增加、删除、修改等相关操作，并可利用宏代换对不同的数据库进行操作．该程序可以极大地减轻编程工作量．     

钢骨混凝土抗火性能非线性分析

进行了12个钢骨混凝土柱火灾下反应的试验．利用有限单元法和有限差分法的混合解法，编制有限元计算程序，得到钢骨混凝土柱的温度分布和极限承载力的数值计算方法．通过程序计算与火灾试验结果的对比分析，验证了分析理论和计算程序的可靠性．通过各种受火时间、长细比和偏心距的钢骨混凝土柱抗火性能的计算，得出了相应的极限承载力计算公式．     

BP神经网络在入侵检测中的应用

对如何检测未知入侵手段的问题进行了探讨．在被监测程序输入条件已知情况下，借助程序行为简档，给出了一种基于BP神经网络的入侵检测方法，阐述了所用BP神经网络的基本结构以及训练方法，最后在LINUX环境下进行了实验验证．结果表明，在程序行为简档内容比较清晰的条件下，运用BP神经网络检测入侵，可在一定程度上提高入侵检测系统的难确检测率．     

基于信息熵的武汉市近110年气温变化特征研究

利用1906-2015年武汉市逐月平均气温数据,采用Shannon熵、Renyi熵和Tsallis熵等方法分析了不同时间尺度下武汉市气温的变化特征;利用边际熵分析了月时间尺度气温变化特征,季节年代分配熵和年份年代分配熵分析气温年代(10a)的季节和年际变化特征.结果表明:(1)武汉市近110a2月的月均温最稳定,变异性最小;5月的月均温最不稳定,变异性最大.(2)武汉市近110a夏季均温在8个年代稳定性最差,变异性最大;春季均温在3个年代稳定性最差,变异性最大,5个年代稳定性最好,变异性最小.(3)武汉市近110a的年均温变异性呈周期性变化,变化周期为30年,未来10a武汉市年均温将趋于稳定.     

宜昌市夏季气候舒适性分析

以宜昌市1986-2015年夏季（6~8月）平均气温、平均风速和平均相对湿度的气象资料为依据,利用模糊评判法和人体舒适度指数计算模型,分析宜昌市夏季气候舒适度情况。结果表明：宜昌市6月份很舒适指数最高,不舒适指数最低,平均较热天数为18 d,气候舒适性较好;7月份不舒适指数最高,平均较热天数为19 d,气候舒适性比6月份较差;8月份不舒适指数低于7月份,平均较热天数为21 d,较热天数最多,3个月份的气候舒适性略有差异。在总体上宜昌市夏季气候是较舒适的,而气候不舒适性主要是高温造成的。     

不同pH对糙海参消化酶活性的影响

研究了不同pH条件下糙海参前肠、中肠及后肠的蛋白酶和淀粉酶比活力的变化.结果表明:1)糙海参前肠和中肠在pH=3,后肠在pH=10时,其蛋白酶的比活力最高;糙海参前肠和中肠蛋白酶的最适pH值在酸性范围,后肠蛋白酶的最适pH值在碱性范围;2)糙海参前肠淀粉酶在pH=3,中肠和后肠淀粉酶在pH=7时,其比活力最高,前肠淀粉酶的最适pH值在酸性范围,中后肠淀粉酶的最适pH值在中性或偏碱性范围;3)糙海参的整个肠道均能消化蛋白质与淀粉,中后肠是淀粉消化的主要场所;4)淀粉酶的比活力高于蛋白酶的比活力,这与其摄食底栖藻与腐屑的食性相吻合.     

沾化凹陷构造—热演化研究

根据镜质体反射率利用EASY%Ro动力学模型对济阳坳陷沾化凹陷进行热演化模拟,通过对沾化凹陷四个洼陷20口井的单井热史模拟分析了该区新生代的热演化状况.研究表明,沾化凹陷在地质演化过程中其古地温是逐渐降低的,沙河街组沉积时期地温梯度为3.8~4.8℃/100m,此后其地温梯度缓慢降低至现今的2.9~3.6℃/100m.并且其内部的各洼陷之间的热演化历史存在差异,在整个新生代演化历史中,埕北洼陷的平均古地温梯度最高,其次是孤南—孤东洼陷,桩西—五号桩地区最低,而渤南洼陷则介于它们之间.新生代以来,沾化凹陷岩浆活动(构造-热事件)十分强烈,且这种岩浆活动受基底断裂的控制.各洼陷热演化特征有一定的差异是由于它们处于不同构造部位并且受不同方向和不同发育时间的断裂控制而造成的,也即构造作用和岩浆活动双重作用的结果.     

扁挤压筒挤压的光塑性模拟

文章利用三维光塑性方法,以聚碳酸酯为材料,模拟了具有流线型过渡型腔的扁挤压筒挤压整体铝壁板型材时的挤压变形,获得了三维塑性应变场。结果表明,挤压变形主要集中在流线型型腔内,扁挤压筒型腔内则为难变形区,两者的过渡处存在应变集中现象;变形区内未出现死区;挤压变形沿厚度方向基本成对称分布,有类似于拉拔(中间)、镦压(两侧)以及摩擦力影响(边缘)3个区域,且越到模口处对称性越好。模拟实验获得的应变场为扁挤压筒挤压的数值模拟和优化设计提供了依据。     

湄洲湾秀屿港进港航道悬沙分布特征和运移趋势

湄洲湾秀屿港是福建海岸重要的港口之一,港口发展需要了解湄洲湾海域的海流及悬沙分布变化特征.本研究对湄洲湾秀屿港进港航道3个站位进行周日连续水文、泥沙观测,通过对获取的数据进行分析比较,得出湄洲湾秀屿进港航道泥沙变化特征和运移特征.湄洲湾潮流为正规半日潮流.由于受地形所制约,潮流为比较稳定的往复流.涨、落急时刻流速大,含沙量随之增大并形成于底层.由于湄洲湾无大径流输沙,周边海岸的侵蚀输沙影响也不大,海域悬沙量浓度主要取决于潮流掀沙.本调查区域悬沙的颗粒主要集中在0.004~0.063 mm,现场测定的海流流速与泥沙的启动流速相关,流速与泥沙的浓度基本是正相关关系.湄洲湾余流总趋势是表层向外,底层向内,在近湾顶的秀屿西北海区存在潮汐余流环流,断面净输沙量进大于出.     

中国南方中、古生界海相地层油气显示及其表达的油气藏改造信息

对中国南方地面及井下共464个沥青、油、气显示点的层位、产状、改造机制和改造时期统计分析认为:油气显示产状丰富,裂缝(断裂)占优,晶洞和孔隙次之,溶孔和溶洞最少.断裂作用是中国南方中、古生界海相原生油气藏最主要的改造机制,其次是隆升剥蚀作用.不同区块有不同的改造机制,中、下扬子区油气显示与张性正断层及其张节理密切相关,上扬子区为断裂和隆升剥蚀的联合作用.油气显示的原始改造期为燕山晚期—喜山早期,其次为喜山晚期.各构造区块原始油气藏的改造时期不同,中、下扬子区为燕山晚期—喜山早期,上扬子区为燕山晚期—喜山期,江南隆起具有分段性,北段从海西期就开始被改造,直至喜山早期,而中段和南段的改造时期为燕山晚期—喜山早期.     

异辛酸锰的合成研究

对漆料催干剂异辛酸锰的多步合成条件进行了分析研究,提出了用既是沉淀剂又是皂化剂的氢氧化钡代替氢氧化钠,同时投料,同时反应,一步直接合成目标产品的合成路线.产品产率较好,催干效果优良.此法简化了工艺流程,缩短了合成时间,有利于提高产量,增加效益,合成全过程无铅等有毒金属的使用和排放,对环境无污染,对人体无伤害.     

南京市一次大气污染事件时空演化特征及影响因素

利用数理统计和后向轨迹方法,分析江苏省南京市2015年全年空气质量指数(AQI)及1月21—27日各污染指标数据,探讨南京市大气污染时空分布特征及影响因素.研究发现:2015年南京市AQI达到污染程度的天数在瑞金路、迈皋桥最多,在玄武湖最少;AQI值在秋、冬季较高,春、夏季较低,推测南京市AQI主要受不同功能区污染排放和不同季节天气变化控制.在1月21—27日大气污染事件中, AQI在仙林大学城最高,为211.094;玄武湖最低,为168.881. PM_(10)平均浓度在奥体中心最大,为229.472,玄武湖最小,为179.932. PM_(2.5)的空间分布情况与PM_(10)类似, SO_2, NO_2和O_3浓度空间差别不大.在此期间, AQI总体呈波动上升趋势, 21日、24日、26日出现3次高峰, 25日和27日下降. PM_(10)、PM_(2.5)、NO_2浓度变化趋势与AQI呈正相关关系, O_3与AQI呈负相关关系.因此,南京市大气污染在空间上具有明显区域特征,在时间上具有累加特征,同时还受周末效应和天气作用影响;主要污染物为汽车尾气、燃煤燃气和工业废气.气团后向轨迹显示,大气污染源主要来自局地和西北地区, 25日气团方向改变,导致污染物浓度下降,推测南京市大气污染受气团带来的外地污染物及天气变化的综合影响.     

采煤塌陷地土壤氮、磷季节性变化规律研究

以兖州煤矿塌陷地为研究对象,通过分层采集不同水文期的土壤样品,研究塌陷地积水区和非积水区氮、磷变化规律。结果表明,在季节性积水区一个水文年内,土壤中氮元素发生流失现象,全氮流失率达10.03%,碱解氮流失率达30.15%;全磷、速效磷发生沉积聚集现象,其中速效磷的积聚更明显。在非积水区,由于塌陷加剧土壤养分的表聚作用,促使全氮和碱解氮的流失减少。而全磷发生流失,流失率为15.24%。在垂向上,丰水期各指标含量减少的梯度平水期的梯度枯水期的梯度,在0~40cm深度,碱解氮流失率最高为50.6%,速效磷流失率最高为38.11%,在40~60cm变化幅度较小,在60cm深度之下,各指标逐渐成汇聚状态。判定60cm深度为土壤养分的塌陷影响深度。