|
搜索
搜 索
高等教育领域数字化综合服务平台
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。
西南交通大学
2016-06-27
一种嵌入式微处理器非可克隆函数密钥认证系统和方法
本发明公开了一种嵌入式微处理器非可克隆函数密钥认证系统， 包括嵌入式端、烧写设备端和 PC 端，嵌入式端包括 PUF 待分析数据 提取模块以及 IAP 模块，烧写设备端包括待烧写程序处理模块，PC 端 包括嵌入式认证程序生成模块、PUF 分析模块、数据库模块、散列数 据生成模块、以及帮助数据生成模块，PUF 待分析数据提取模块用于 多次提取 SRAM 中的初始上电数据，并将数据发送到 PUF 分析模块， PUF 分析
华中科技大学
2021-04-14
一种基于控制系统可信架构的TPCM模块及可信检测技术
本发明提供了一种基于控制系统可信架构的TPCM模块，包括内部总线，以及连接到所述内部总线的TPM处理单元、程序存储器、配置存储器、数据存储器、完整性检测单元，还包括总线仲裁管理单元；本发明还提供了一种基于上述TPCM模块的可信检测技术，包括可信设备的信任链生成和传递，以及可信操作系统中可信进程的基本信息的完整可信检测和可信进程加载的可执行文件的完整性与可信性检测。本发明提出了结合功能安全与信息安全，结合外部防御与内部防范，覆盖硬件配置、软件编程、网络通信、实时运行、工程维护等设计、运行、服务全生命周期的控制系统可信可控架构及可信检测技术，保证了工业控制系统的可靠性、安全性实时性、可用性、可维护性。
浙江大学
2021-04-11
铸片系统
主要用于实验用铸片的冷却成型，隔膜通过热值相分离形成微孔。
设备操作：
· 靠辊采用液压缸向前后移动，移动距离100mm
· 靠辊与定型辊的间隙精度0.005mm，光栅尺显示
· 三辊可整体前后移动500mm，上下移动距离200mm
· 换热辊辊面为镀铬镜面抛光，跳动≤0.005mm
· 每个换热辊采用独立的伺服电机驱动，速度精确且单独可调
· 每个换热辊上设有硅胶刮油辊
· 出口换热辊上设有硅胶压辊，避免铸片打滑
· 换热辊采用交叉对流流道，保证辊面温度均匀（±0.5℃）
· 换热辊通过水冷控温，冷却水由1台模温机提供，可根据工艺要求设定不同的冷却温度
设备特点：
· 结构紧凑，清理方便
· 可进行流延成型或堆料成型的研究
规格型号：
· 辊面宽度400mm（其它宽度可选）
· 冷却辊直径315mm
· 结构形式——三冷却辊
青岛中科华联新材料股份有限公司
2021-09-03
滚筒式上粉机
1.产品适应范围广泛，适用于淀粉、面粉、唐扬粉等多种底粉的上粉工序。
2.采用上落粉加底粉方式将产品埋入粉中裹附，适用于粉量稍大的产品预上粉。
3.多种调节机构调节上粉量，采用快装设计、清洗方便。
4.整体SUS304不锈钢制作、结构合理、性能可靠，生产速度可调，适应不同生产要求。
青岛锐智智能装备科技有限公司
2021-06-17
分布式小型光伏电站系统设计仿真实训
本仿真实训要求学员根据常见60KW以下小型分布式光伏电站项目需求书要求，到现场进行测量、采集项目所需数据，然后回到办公室使用设计软件进行项目设计，并且做出系统分析结果、施工图以及施工材料清单。
1.1. 场景设计
虚拟场景包括办公设计场景，楼顶建筑场景；
场景模型主要包括：办公室建筑模型、办公家具、办公设备、长度测量工具、方向测量工具、楼顶建筑模型等
设计软件模拟包括：阴影阵列分析软件、CAD制图软件、倾角分析软件、系统分析模拟软件
1.2. 互动设计
在办公室里使用电脑了解项目需求书，根据提供的信息收集项目所在位置的地理与环境信息
到现场使用长度与方向测量工具测量设计所需数据
回办公室使用各种专业设计软件对该项目进行系统设计。
广东顺德宙思信息科技有限公司
2025-06-02
一种基于片上系统的无线温湿度监控节点及其监控方法
本发明公开了一种基于片上系统的无线温湿度监控节点及其监控方法，所述无线温湿度监控节点包括均单片机CC430、数字温湿度传感器SHT11、聚合物锂电池、天线、32.768kHz的低频晶振、26MHz的高频晶振和JTAG调试口。本发明利用无线温湿度监控节以及其监控方法，不仅在环境的安装部署上极为简便，在维护或者改装变迁上也非常方便；另外本发明是休眠和工作之间来回切换，极大程度的降低了功耗，而且也有效的避开了多个节点之间的相互干扰。
四川大学
2016-10-27
一种石墨烯片上可调电感及其制造方法
本发明公开了一种石墨烯片上可调电感及其制造方法，包括石墨烯线圈层、绝缘介质层、电极控制 层、以及衬底，石墨烯线圈层为片上电感的主体部分，设于衬底上方；绝缘介质层覆盖在石墨烯线圈层 上；电极控制层位于绝缘介质层上并处于石墨烯线圈正上方；通过电极控制层在石墨烯线圈上施加可变 栅压，石墨烯线圈层的电感值随之发生改变；首先在催化膜上生长出层状石墨烯；然后将层状石墨烯转 移至衬底上；将石墨烯膜图形化成石墨烯电感线圈；在石墨烯电感线圈上淀积一层的绝缘介质层
武汉大学
2021-04-14
分布式小型光伏电站系统施工建设仿真实训
分布式小型光伏电站系统施工建设仿真实训让学员以现场施工工程师的身份根据提供的项目说明书、施工图纸和材料到现场进行小型电站的模拟施工，提高学员的实践能力和动手能力。
1.1. 场景设计
虚拟场景主要由厂户楼顶施工场景组成；
场景模型主要包括：厂户建筑模型、支架基础桩、支架前后立柱、横梁、侧梁、接地扁钢、晶硅光伏组件、边压块、中间压块、接线盒、连接线、直流汇流箱、进线、出线、熔断器盒、断路器、避雷器、逆变器、PVC保护线管、五金螺丝螺母、安全帽、施工工具等
1.2. 互动设计
在施工场景看懂图纸，检查施工物料
根据提示到指定位置使用工具把支架、光伏组件、汇流箱、逆变器一一安装起来
进行组件阵列间串联和并联接线
进行防雷焊接
施工完成后进行投切并网操作
场景植入VR太阳模块，精准计算该项目所在位置的太阳位置，太阳高度角和方位角，在虚拟场景中全时仿真太阳产生的阴影。
广东顺德宙思信息科技有限公司
2025-06-02
多翅片降膜蒸发紧凑式海水淡化系统
1 成果简介本系统采用了一种多翅片降膜蒸发方式，通过高效降膜蒸发、膜态冷凝等强化传热传质技术，有效提高了单位体积装置淡水产率。其产淡水效率比目前市场上其他蒸发式产品更高， 70℃时单位体积产淡水率即可达到 135kg/(m3·h)，温度更高时产淡水率将进一步提高。在产淡水量相同的情况下，本系统的结构更紧凑、反应更迅速。系统样机见图 1。 本系统采用多种创新性设计，降低了系统能耗，更加节能环保。本系统可利用的热源形式和温度范围更广，热源温度在 50℃左右时系统即可产出淡水，可利用蒸汽、热水、太阳能、地热水和废热气等热源，应用前景广阔。 本系统采用一体化设计，使结构更为紧凑，外界环境一定震动时仍能正常工作，方便搬运、携带，可靠性好。图 1 多翅片降膜蒸发紧凑式海水淡化系统样机 图 2 多翅片降膜蒸发紧凑式海水淡化系统淡水产量随热源温度变化曲线2 应用说明此系统可充分利用低品位热能，如地热、工业废热、交通工具废气余热等低温热源（ 50~100℃），适用范围较广。大规模的海水淡化设备可以与大型火电厂、化工厂等相结合。小规模的海水淡化设备可以利用太阳能加热设备等，淡化后的水可直接饮用。3 效益分析此系统设计上的创新与优化使得投资成本大为降低。运营成本非常低，每天仅需 2 度电。目前市场上常见的反渗透膜式海水淡化设备的单位产淡水量所需成本是此系统的 10~30 倍，预计此系统一年半即可收回成本。
清华大学
2021-04-13