本文介绍了数字集成电路设计中静态时序分析（StaticTimingAnalysis）和形式验证（FormalVerification）的一般方法和流程。
这两项技术提高了时序分析和验证的速度，在一定程度上缩短了数字电路设计的周期。
本文使用Synopsys公司的PrimeTime进行静态时序分析，用Formality进行形式验证。
由于它们都是基于Tcl（ToolCommandLanguage）的工具，本文对Tcl也作了简单的介绍。
这两项技术提高了时序分析和验证的速度，在一定程度上缩短了数字电路设计的周期。
本文使用Synopsys公司的PrimeTime进行静态时序分析，用Formality进行形式验证。
由于它们都是基于Tcl（ToolCommandLanguage）的工具，本文对Tcl也作了简单的介绍。
2024/11/2 19:35:57
362KB
1
iOS的demo，SM2加解密算法，SM4加解密算法，SM2+SM3签名验证签名，加解密，和验证签名的话，需要改私钥，请看demo备注打开workspace
2024/11/1 17:38:37
22.94MB
1
非常实用的VB转C#工具，可直接把VB的项目源码转换成C#源码，亲自验证过，简单粗暴好用，可以帮组节省代码转换的时的大量时间，对不懂VB的人有很大帮助！
2024/11/1 4:33:44
6.61MB
1
科研管理系统科研管理系统源码功能介绍：登录模块：用户通过用户名、密码，经过验证如果输入正确，则进入系统；
否则提示用户输入“用户输入用户名或密码错误，请重新输入”，不能进入系统。
系统管理：包括参数设置，项目类别设置，学院设置，学历学位设置，著作类别设置。
用户管理模块：管理员可以增加用户（用户名，密码以及权限授予），修改用户信息，删除用户信息。
科研管理模块：包括横向项目管理、纵向项目管理、论文管理、著作管理、专利管理这几个方面的管理，可以实现对科研项目的增加，修改，删除，快速查询，保存等操作。
系统维护模块：实现数据备份和还原。
科研查询模块：选择查询信息类型，查询条件，输入关键字，然后选择重新检索和在结果中检索，以进一步缩小查询范围。
如果您先查看所有数据，只需选择查询信息类型，然后单击查看所有即可。
您可以选择按不同的条件升序或降序排列。
同时，本系统还实现了双击数据库表格，显示此条记录的完整信息。
否则提示用户输入“用户输入用户名或密码错误，请重新输入”，不能进入系统。
系统管理：包括参数设置，项目类别设置，学院设置，学历学位设置，著作类别设置。
用户管理模块：管理员可以增加用户（用户名，密码以及权限授予），修改用户信息，删除用户信息。
科研管理模块：包括横向项目管理、纵向项目管理、论文管理、著作管理、专利管理这几个方面的管理，可以实现对科研项目的增加，修改，删除，快速查询，保存等操作。
系统维护模块：实现数据备份和还原。
科研查询模块：选择查询信息类型，查询条件，输入关键字，然后选择重新检索和在结果中检索，以进一步缩小查询范围。
如果您先查看所有数据，只需选择查询信息类型，然后单击查看所有即可。
您可以选择按不同的条件升序或降序排列。
同时，本系统还实现了双击数据库表格，显示此条记录的完整信息。
2024/11/1 2:24:23
4.36MB
1
大学基本程序设计项目，通讯录管理系统，除了基本的增添删改等功能，还加了多用户注册登录管理，密码打印星号，验证码等特色功能，部分难点带有注释。
2024/10/31 20:15:16
637KB
1
控制器设计往往需要精确的电机参数值来辅助设计，如无速度传感器控制、矢量控制最优PI值设计、电压源逆变器非线性因素在线辨识/补偿等。
但是随着温度、负载和磁饱和程度的变化，永磁同步电机的定子电感、绕组电阻和转子永磁磁链幅值等参数值大小都会随之而变化(偏离常温下设计值)。
其中，温度对永磁电机参数的影响(尤其是定子绕组电阻和转子永磁磁链幅值)是最明显也是最常见的。
对于定子绕组来说，温度的上升会导致绕组电阻值变大，而对于转子永磁来说，温度的上升会导致转子永磁磁链幅值下降。
当电机实际参数值相对于常温下的设计参数值发生比较大变化时，会对所设计的控制系统性能造成很大影响，甚至会让其无法工作。
因此，现在主流的研究趋势是通过系统辨识理论，利用量测的电机终端信号如定子绕组电流、电压和转速来估算定子绕组电阻和转子永磁磁链幅值的大小，进而在线调整控制器参数和间接估算定子绕组和转子永磁的温度。
本文对该类技术进行了深入和全面的研究，提出该技术的核心是要解决“两个问题”,并在这“两个问题”的基础上提出“三个解决方案”，最终在一套基于矢量控制的表面式永磁同步电机试验平台上进行了验证。
但是随着温度、负载和磁饱和程度的变化，永磁同步电机的定子电感、绕组电阻和转子永磁磁链幅值等参数值大小都会随之而变化(偏离常温下设计值)。
其中，温度对永磁电机参数的影响(尤其是定子绕组电阻和转子永磁磁链幅值)是最明显也是最常见的。
对于定子绕组来说，温度的上升会导致绕组电阻值变大，而对于转子永磁来说，温度的上升会导致转子永磁磁链幅值下降。
当电机实际参数值相对于常温下的设计参数值发生比较大变化时，会对所设计的控制系统性能造成很大影响，甚至会让其无法工作。
因此，现在主流的研究趋势是通过系统辨识理论，利用量测的电机终端信号如定子绕组电流、电压和转速来估算定子绕组电阻和转子永磁磁链幅值的大小，进而在线调整控制器参数和间接估算定子绕组和转子永磁的温度。
本文对该类技术进行了深入和全面的研究，提出该技术的核心是要解决“两个问题”,并在这“两个问题”的基础上提出“三个解决方案”，最终在一套基于矢量控制的表面式永磁同步电机试验平台上进行了验证。
2024/10/31 0:33:31
27.35MB
1
【51CTO.com快译】从安全芯片到匿名服务，本文介绍了如何在网上确保安全和私密的一些工具。
别搞错了：专业的网络犯罪岔子和政府撑腰的网络犯罪分子在试图危及你的身份――如果在家里，窃取你的钱;如果在工作场所，窃取你雇主的钱、敏感数据或知识产权。
大多数用户在使用互联网时都知道计算机隐私和安全的基本知识，包括尽可能运行HTTPS和双因子身份验证，上haveibeenpwned.com验证电子邮件地址或用户名和密码是否中了已知攻击的招。
而这年头，计算机用户要做的不仅仅是加强社交媒体帐户方面的设置。
安全精英人士在运行众多程序、工具和专门的硬件，确保其隐私性和安全性尽可能高。
我们在本文中分析了这一组工具
别搞错了：专业的网络犯罪岔子和政府撑腰的网络犯罪分子在试图危及你的身份――如果在家里，窃取你的钱;如果在工作场所，窃取你雇主的钱、敏感数据或知识产权。
大多数用户在使用互联网时都知道计算机隐私和安全的基本知识，包括尽可能运行HTTPS和双因子身份验证，上haveibeenpwned.com验证电子邮件地址或用户名和密码是否中了已知攻击的招。
而这年头，计算机用户要做的不仅仅是加强社交媒体帐户方面的设置。
安全精英人士在运行众多程序、工具和专门的硬件，确保其隐私性和安全性尽可能高。
我们在本文中分析了这一组工具
2024/10/27 4:01:19
170KB
1
在OpenGL观察实验的基础上，通过实现实验内容，掌握OpenGL中消隐和光照的设置，并验证课程中消隐和光照的内容。
模型尺寸不做具体要求。
要求修改代码达到以下要求：1. 通过设置材料使得桌面和四条腿的颜色各不相同，分别为：(1,0,0),(0,1,0),(1,1,0),(0,1,1),(0,0,1)；
2. 通过设置材料使得茶壶为金黄色；
3. 添加按键处理，移动场景中的光源，并能改变光源的颜色（在两种颜色间切换，颜色自己定义）；
4. 修改茶壶的镜面反射系数，使之对光源呈现高光；
5. 在场景中添加一个聚光光源，其照射区域正好覆盖茶壶，并能调整改聚光光源的照射角度和朝向。
模型尺寸不做具体要求。
要求修改代码达到以下要求：1. 通过设置材料使得桌面和四条腿的颜色各不相同，分别为：(1,0,0),(0,1,0),(1,1,0),(0,1,1),(0,0,1)；
2. 通过设置材料使得茶壶为金黄色；
3. 添加按键处理，移动场景中的光源，并能改变光源的颜色（在两种颜色间切换，颜色自己定义）；
4. 修改茶壶的镜面反射系数，使之对光源呈现高光；
5. 在场景中添加一个聚光光源，其照射区域正好覆盖茶壶，并能调整改聚光光源的照射角度和朝向。
2024/10/26 19:47:05
8.02MB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB