摘要：介绍了一个就线性时段特性验证实时系统正确性的工具的设计思想以及相关算法 .使用时间自动机作为实时系统的描述模型 .同时 ,为了便于描述并发实时系统 ,使用带共享变量和通道的时间自动机网作为模型描述并发实时系统 .在检验时间自动机网时 ,用户可以使用工具提供的合成程序将其合并为一个时间自动机然后进行检验 .由于时间自动机的状态空间是无穷的 ,通过引入整数状态和状态等价关系的概念 ,将整个状态空间划分为有限的状态等价类空间 .模型检验过程只需要通过对等价类空间的搜索就可以完成 .但往往等价类空间的规模很大 ,超出了现在计算机的处理能力 ,原始搜索算法仅仅在理论上是可行的 .为了增强工具的使用性 ,工具中使用的算法运用了一些优化技术来避免对等价类空间的穷尽搜索 ,使得工具在使用时具有比较好的时间和空间效率 .

摘要：该文提出了基于系统辨识的显微镜点扩散参数提取方法 ;在此方法基础上设计并完成了标定试验 ,建立了显微镜点扩散参数和被观察物体Z坐标之间的映射关系 ;作为其应用 ,实现了一个具有显微图像效果的微操作拟实环境 ,当拟实环境中虚拟微操作工具Z坐标发生改变时 ,显微图像中虚拟微操作工具的像的模糊度随之发生变化 ;人眼观测表明 ,它与实际显微图像的微操作工具的模糊程度变化符合得很好 ;整个系统表现出高精度和很好的实时性 .

摘要：以天麻和花草茶为原料,通过单因素试验和正交试验研究了花草茶最佳浸泡时间、天麻汁酶解条件、天麻花草茶复合饮料调配和澄清工艺,并对产品质量和功能性进行评价。结果显示:天麻汁最优酶解条件为:加酶量0.1%、酶解温度50℃、酶解时间2 h、料液比1:60;花茶草在85℃下的最优浸提时间为40 min;复合饮料调配最优工艺为:天麻汁40 m L、花草茶浸提液100 m L、蔗糖10 g、卡拉胶0.002 g、柠檬酸0.2 g;复合饮料最优澄清工艺:加入2%浓度的澄清剂A组分在40℃下水浴2.5 h,随后加入4%浓度的澄清剂B组分并在30℃水浴保温3 h。制得的复合饮料风味独特、质量稳定,其总酚含量为653.2 mg/L、天麻素含量为22.19 mg/L、DPPH·自由基清除率为95.8%。

摘要：利用SWAT模型,基于GIS技术和流域DEM,构建了丹江口水库流域农业非点源污染基础信息库,并根据实测资料对模型的参数进行了率定和验证,在确定模型适用性的基础上分析了流域农业非点源污染负荷的时空分布特征,模拟计算了流域内主要的土地利用类型的单位面积农业非点源污染负荷量。结果表明:研究区农业非点源污染负荷年内分布不均,污染负荷与降雨量具有较强的相关性,氮负荷同月径流的相关系数为0.896,磷负荷同泥沙负荷的相关系数为0.920;氮、磷等营养物质的流失量具有较大的空间差异性,且不同土地利用方式下单位面积的农业非点源污染有较大的差别,耕地和裸露地的单位面积污染负荷均较高,而林地单位面积的泥沙负荷污染负荷最低,其单位面积的泥沙负荷、吸附态氮、溶解态氮、吸附态磷和溶解态磷分别为7.15t/hm2、8.92kg/hm2、8.35kg/hm2、8.07kg/hm2、0.06kg/hm2;设计不同的情景,模拟了不同施肥量和水土保持措施对农业非点源污染物产出的影响,与基准情景相比,发现减少化肥施用水平对研究区农业非点源污染总氮和总磷负荷削减比例较大,采取退耕还林和还草两种水土保持措施能有效减少流域泥沙负荷和农业非点源污染负荷。

摘要：本文在描述了程序设计范型的特性之后 ,详细地介绍了代码组件的组合重用方法 ,提出并论述了代码组件的组合重用是一种新程序设计范型的观点 .本文还详细地描述了这种新程序设计范型的特点 。

摘要：本文采用低电压高线性度宽输入范围跨导运算放大器设计实现四阶Chebyshev低通滤波器,对所设计的四阶Chebyshev传输函数应用两个双二次节Gm-C滤波单元级联实现,3.3V电源电压的全差分跨导运算放大器在1V输入信号范围内Gm值的线性度波动小于0.5%,0.5μmCMOS工艺MOS管级的计算机仿真结果表明所提出的电路方案正确有效,适于全集成。

摘要：旅客列车车厢内发生火灾时,火灾烟气的运动状况直接影响旅客的人身安全,往往造成重大的人员伤亡和巨大的财产损失。采用模型实验、数值模拟的方法对运行的旅客列车经过隧道发生火灾时车厢内烟气层高度的特征进行了研究,将旅客列车卧铺车厢处理为多个受限空间的组合,研究了车厢内烟气层高度在开口不同状况下的变化规律。模型实验与数值模拟相结合为列车车厢火灾研究提供了理论分析模型和实验研究方法,研究成果为车厢防火设计提供了重要的技术依据。

摘要：现代制造系统中 ,计算机辅助加工计划 ( CAPP)起着非常重要的作用 ,它是从计算机辅助设计 ( CAD)到计算机辅助制造 ( CAM)不可缺少的中间环节。在允许作业柔性加工的基础上 ,本文提出一种新的两目标机器加工排序问题。由于该加工排序是一个 NP-完全问题 ,进而构造了一个新的遗传算法求解该问题的非劣解解集。数值计算表明 ,该方法对两目标的柔性加工排序问题是有效的。

摘要：航空制造企业属于军工企业,具有国防性质,其合作创新不同于一般企业的合作创新。分析了航空制造企业合作创新特点,构建了合作创新网络模型;归纳并分析了航空制造企业合作创新的三种模式,即政府指令型、政府推动型和企业主导型;最后提出了相关政策建议。

摘要：蜂巢芯空腹楼盖是近年来新开发的现浇混凝土空心楼盖内模形式,具有减轻结构自重、降低层高、降低综合造价、缩短施工工期、提高隔音隔热性能等特点。施工难点分析表明,这种新型楼盖技术的关键施工技术是芯模的抗位移和抗破损,并提出了控制措施。定性的效益分析和定量的指标分析均表明,蜂巢芯空腹楼盖比传统梁板楼盖和密肋楼盖有着明显的经济性优势。