一个出具证明编译器后端的设计与实现

设计并实现一个类C语言PointerC的出具证明编译器后端。该后端采用最强后条件演算同步处理整型断言和指针断言实现整型验证条件和指针验证条件的证明,能够完全自动地产生目标级程序的指针安全性证明,处理常见递归数据结构中的非一致性别名问题。后端包括独立的定理检查器,能够检验携证明代码的完整性。     

浅谈本县数字电视的发展

为了加快本县数字电视的发展,本文提出了加快推进双向网络改造,提高整改率,提升服务质量,大力发展业务等当前切实可行的措施,随着三网融合进程的加快,宁海广电力争在激烈的市场竞争中巩固自身地位,扩大市场份额。     

多车道场景下的视频车辆测速方法

针对目前大多数测速算法无法完成多车道场景车辆测速的问题,提出了一种用于多车道场景下的视频车辆测速算法.该算法对传统的虚拟线圈技术进行改进,将虚拟线圈分为分界检测区域和触发检测区域,有效的完成了多车道场景下多目标车辆的检测.同时在测速过程中,以几何中心作为特征对目标车辆进行跟踪,推导出车辆在图像中的位移.与传统方法相比,...     

高频群脉冲电化学加工电流检测电路设计

主要介绍了高频群脉冲电化学加工的基本原理,重点分析了加工过程中电流检测及短路保护措施及电路设计方案,其次介绍了待检测的电流信号形式及电子功率器件——绝缘栅双极型晶体管（Insulated-Gate Bipolar Transistor,IGBT）.针对应用实例,选择的电流测量方法为电流-磁场转换法的霍尔传感器.阐述了保护电路的设计,并分析了电路的性能,证明能够满足加工需要.     

16J轮辐冲孔落料模设计

介绍了16J轮辐冲孔、落料模的设计及制造新思路。该模具结构合理，使用方便，满足轮辐模具生产要求。同时该模具独特的凸、凹模镶块组合设计，满足了模具制造工艺要求，使模具加工方便，且省时节料，不仅降低了模具成本，还保证了模具精度要求。     

遵从自然过程的城市河流和滨水区景观设计

试以城市中一类特殊的自然景观要素———城市河流和滨水区为对象 ,探析城市化对水滨自然过程的影响 ,并提出遵从自然过程的系统化设计途径。     

基于监测实例的摩擦学系统状态辨识的知识获取

对于摩擦学系统监测样本相对比较少或者投入运行时间不长的机器,研究如何实现其摩擦学系统的智能状态辨识具有重要意义。建立基于摩擦学状态监测实例和决策树的知识获取方法模型,并应用于船舶柴油机摩擦学状态辨识的知识获取,利用获得的知识对测试集进行状态识别,取得良好的摩擦学状态辨识结果,从而为从监测实例中挖掘摩擦学状态辨识知识提供方法与手段支持。     

造纸行业的集约化需要适度

1 造纸行业集约化现状 我国造纸企业规模普遍偏低是-直以来的现实,尽管国家-直提倡造纸行业集约化生产,近几年产业集中度的发展仍然有限.据2006年统计数据,我国拥有木浆企业50余家,平均产能仅10万吨/年,远落后于发达国家水平(30万吨/年).     

县域景观游憩服务评价——以四川省武胜县为例

游憩发展潜力是乡村振兴的重要维度,系统评价区域游憩服务并将其用于土地利用决策是引导区域可持续发展的重要策略。 以四川省贫困县武胜县为例,尝试从县域尺度对游憩服务进行建模与制图评价,从游憩吸引力和游憩使用度两个维度对县域游憩资 源进行系统评价,并分析其空间异质性。结果显示,高吸引力 - 高使用度的游憩服务主要集中于人口密度较高、具有特色景观的城 镇中心及其周边;河流沿线属于高吸引力的游憩服务区,具有开发潜力;县域景观中近四成面积不具有游憩开发的价值。县域游憩 服务的评估与制图既是描绘生态系统对人类福祉重要性的有效手段,又为规划设计决策提供依据,是区域可持续发展前瞻评价。     

木瓜中齐墩果酸和熊果酸提取工艺的研究

用正交试验法对木瓜中的齐墩果酸和熊果酸的提取工艺进行研究。在单因素实验基础上,采用L9(34)正交实验考察提取时间、提取温度、料液比、原料粒度对提取得率影响,用高效液相色谱法测定齐墩果酸和熊果酸含量,确定最优提取工艺。齐墩果酸最佳提取参数为95%的乙醇、温度为60℃、时间3h、料液比为1∶8、原料粒度40目、提取2次。熊果酸最佳提取参数为95%的乙醇、温度为60℃、时间3h、料液比为1∶6、原料粒度60目、提取2次。该工艺为齐墩果酸和熊果酸的工业化提取提供理论依据。