摘要：超小型，高性能。输入输出可达384点。程序容量32K步，可充分确保注释区域。配置RS485端口，温度调节简单。

摘要：超小型，高性能。输入输出可达384点。程序容量32K步，可充分确保注释区域。配置RS485端口，温度调节简单。

摘要：XSP-35系列生物显微镜采用模块化设计，组合灵活。光学系统设计优异，光学零件均镀膜，成像清晰，像质锐利。该仪器所有主要部件采用金属零件并实行精密加工，是一款性价比非常高的显微镜。该仪器适用于中学、大中专院校、医疗卫生机构、检验检疫和临床检验之用。

摘要：超小型，高性能。输入输出可达384点。程序容量32K步，可充分确保注释区域。配置RS485端口，温度调节简单。

摘要：形式化验证的代码生成工具软件ModelCoder在安全关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流软件开发方式。由形式化验证的代码生成工具软件ModelCoder我司自主开发的ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。Lustre转C