形式化方法在机载电子硬件研制中的应用研究

详细设计规范是机载电子硬件适航性设计流程中的关键文档.通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性.以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程.试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期.     

多态π演算的互模拟等价关系及其公理化

类型系统在分布式系统理论中有着非常重要的作用。在为π演算引入多态类型系统后,需要对新的环境下进程的等价关系进行研究。在多态类型系统下,环境只能得知进程中通道的抽象类型,而无法得知通道的具体类型,此时环境的区分能力被削弱,所得到的互模拟关系更为粗糙。本文在以往文献研究的基础上给出了多态π演算互模拟的一个公理系统,并证明了公理系统的一致性和完备性。     

复合寻路策略在手机游戏中的应用研究

复合寻路算法成功应用于手机游戏CrazyWar。该寻路算法包含三个寻路模块:直线寻路模块、A*寻路模块、航点寻路模块。提出的复合寻路算法先通过航点算法得到一个总体的大致路径,再在寻路精细方面由直线寻路模块和A*寻路模块处理,从而解决了A*寻路模块中随搜索地图增长而资源消耗也呈几何增长、大范围搜索耗时过长以及提高估值因子所带来的路径准确度降低的缺点。通过理论分析和实际应用表明:复合寻路算法在寻路速度、资源消耗、寻路效果上均优于单一寻路算法,具有很好的推广性与实用价值。     

四值I^2L电路的输出电流信号综合技术

四值Ｉ~２Ｌ电路的输出电流信号综合技术邓小卫，吴训威（杭州大学电子工程系杭州３１００２８）ＳＹＮＴＨＥＳＩＳＴＥＣＨＮＩＱＵＥＦＯＲＯＵＴＰＵＴＣＵＲＲＥＮＴＳＩＧＮＡＬＳＩＮＱＵＡＴＥＲＮＡＲＹＩ~２ＬＣＩＲＣＵＩＴＳ￥ＤｅｎｇＸｉａｏｗｅｉａｎｄＷ...     

下一代防火墙--深层检测

随着国内信息化网络建设的不断发展．对网络安全的需求也越来越高．这样也就推动这众多的网络安全厂商不断地推出适应用户需求的产品。防火墙可以说是首当其j中。     

互联网语境下二十八星宿角色造型设计研究

为了传播中国古代星宿文化,文章对二十八星宿形象进行相应的设计与创作,以中国古代寺庙壁画与雕塑为参考,采取互联网语境下的造型设计思维与方法,寻找传统星宿元素与当代设计语言的契合点,进而设计出全新的二十八星宿形象。得到卡通化的二十八星宿造型。为相关的动画角色创作提供参考。     

从镍铬合金残料中再生电解镍

为了满足国家对镍的需要,第三冶炼厂1965年初就着手进行了从镍铬合金残料中再生电解镍的工作,从5月份起,已正式生产出较高纯度的电解镍。再生过程包括火冶和水冶两个部分。火冶部分以镍铬合金残料(大多数是鉋花状)为原料,在电弧炉经过初步净化分离铬、铅、锌等杂质,使镍含量由原来的70％左右富集到90％以上,再浇铸成适应电解所需的阳极板。水冶部分是将阳极板在盐酸溶液中电溶成氯化物溶液,并经过中和除铬,离子交换除锌,通氯气氧化及加纯碱中和除铁、钴、铜、铅等净化作业,最后用蒸馏盐酸调节pH值,加热后送入隔膜电     

银沸石去除二氧化碳气中分子态碘的实验研究

银沸石去除二氧化碳气中分子碘的实验研究,是为高温气冷堆燃料后处理中,控制放射性碘在燃烧尾气中的排放水平而进行的。文中描述了实验系统流程,碘的去除因子和吸附容量的测定方法,给出了实验结果。这些结果表明,银沸石是去除分子碘的理想吸附剂。