桃山水库下游灌溉补水量历史问题解析

由于历史的原因,桃山水库一期和二期工程之间,有关水库下游灌溉供水量的介绍和批复等内容出入较大,故直接影响办理农业用水取水许可证。因此,2009年12月20日,受黑龙江省水利厅水政水资源处委托,对省水院编制的《黑龙江省倭肯河桃山水库二期工程水资源论证报告》,特提出文中有关历史问题的解析。     

多地区电力系统频率和交换功率的分散最优控制

本文研究确定型多地区电力系统的频率和交换功率的分散最优控制问题。首先给出一种适于对频率和交换功率进行分散控制的数学模型。其次提出一种具有任意分散信息的分散算法。最后把所提出的算法运用于上面的模型中。数字仿真表明，系统的动态响应非常接近于集中最优系统。     

适应市场经济需要 深化包装教育体制改革

本文首先分析了在市场经济中包装教育与包装工业间的矛盾;然后提出了建立董事会;包装企业带经费指标以及开办辅修专业,自费上学和开展包装基础科学研究等以适应社会主义市场经济需要的招生、分配制度和内部制度改革的设想。     

中日美三国包装高等教育比较

本文在对中日美三国包装教育的发展模式与现状进行比较后,指出中美两国包装教育的发展形式类似,而日本则不相同。本文着重分析了中美两国包装教育的异同;分析了美国包装教育的特点及两国包装教育的发展趋势;提出了进一步发展我国包装教育的对策。     

SPHD钢水脱氧及可浇性研究

介绍了转炉冶炼SPHD钢直接连铸工艺,通过加强对钢水的脱氧,改善钢水可浇性,保证了正常的浇注.     

顶底复合吹炼转炉、LF及薄板坯连铸中氮的变化

通过对唐钢第一炼钢厂转炉、LF和连铸生产过程的研究,讨论了各工序钢水中氮的变化及其影响因素.     

基于SysML的复杂机电系统设计模型形式化扩展与验证

形式化系统验证是保证系统设计正确性的一种重要手段.如何针对复杂机电系统物理与软件相融合的特征,对系统设计的动态特征进行验证,是系统验证研究领域亟待解决的问题.针对这一问题,对系统工程标准建模语言SysML进行扩展,提出了一套形式化系统模型验证方法.首先,以计算树逻辑和基于流的功能表示为形式化基础,形成基于SysML的系统功能建模方法;然后,以混合自动机为基础,建立基于SysML的系统行为建模方法;最后,针对物理与软件子系统的不同动态特征,借助NuSMV模型校验器,以层次化方式实现系统模型的自动验证.以移动机器人系统为例,展示了复杂机电系统设计模型的自动验证过程.     

实体模型的多分辨率中轴生成

针对模型降维的需要,提出一种实体模型的多分辨率中轴生成方法.首先根据模型的层次寻找模型中需要细化的部分,并据此对边界进行体素化;其次使用距离蔓延的方法计算多分辨率体素的距离;最后根据体素的距离计算出多分辨率的中轴体素.实验结果表明,该方法可以以低时间空间代价生成高质量的多分辨率中轴.     

包装机械方案设计的“黑箱—灰箱”理论

运用“黑箱－灰箱”方法建立设计框型、规模转化元及其工艺原理,进而落实技术过程及功能结构。并分别采用黑箱图、黑箱灰化图和灰箱图描述,使方案设计成为一种循序渐进的、不断深化的创造过程。     

多域系统设计的耦合效应识别方法

针对复杂多域产品系统设计中物理效应极易相互耦合影响这一问题,提出一种复杂多域产品系统设计中非预期物理效应的识别方法.首先给出带物理语义的物理效应和构件的表示方法;然后确定构件输出流的局部影响区域;最后根据物理效应定义的触发条件识别非预期物理效应.以电吹风为例对文中方法进行了验证,结果表明了该方法的有效性.